Context. The object calculi of Abadi and Cardelli provide idealized models of object-oriented programming languages [1]. They have rigorously defined semantics, and they are simple since only objects are considered as primitives. At the same time they are expressive enough to encode all common features of practical (i.e., class-based) object-oriented programming languages like classes, subtypin...

A capitalist firm operating in a competitive market is subject to a growth imperative, because uncertainty about the profit rate under a no-growth policy makes the firm’s prospects highly unattractive in finite time and bankruptcy practically certain in the long run. A no-growth policy determines consumption and investment so that they and capital would remain constant over time if the latter's...

The active imperative sentences often tend to sound harsh. sentence has a commanding meaning and ends with an exclamation mark. In the Indonesian language, be more polite, uses word politeness different structure. These polite are called passive sentences. Changing can done mathematically through several stages. stages determining set of word, types, using binary operations obtain rules for cha...

π-calculus is a calculus for modeling dynamically changing configurations of a network of communicating agents. This paper studies the suitability of π-calculus as a unifying framework to model the operational semantics of the three paradigms of programming: functional, logic and imperative paradigms. In doing so, the attempt is to demonstrate that π-calculus models a primitive that is pervasiv...

WITHIN THIS PAST DECADE, there have been more challenges to the admissibility of expert testimony than ever before. The trigger for this flurry of activity was Daubert v. Merrell Dow Pharmaceuticals, Inc., 509 U.S. 579 (1993), which has already changed the way many cases involving mental issues are litigated. At this time, a substantial majority of states follow the federal standard. A minority...

This paper traces the important steps in the history –up to around 1990– of research on reasoning about programs. The main focus is on sequential imperative programs but some comments are made on concurrency. Initially, researchers focussed on ways of verifying that a program satisfies its specification (or that two programs were equivalent). Over time it became clear that post facto verificati...

Online communities in the modern day era are becoming more and more important. This makes it imperative for us to understand the structure of these communities. In addition, content generation sites like Reddit, Tumblr and Quora have an abundance of text in comments and posts which can be used to model the user interactions and network substructures. In this paper, we propose to study community...

it is a great pleasure to receive two valuable comments about our article regarding sudden cardiac death (scd) in young athletes from two well known experts working in the field of preparticipation evaluation and prevention of sports injuries. we, as authors, generally agree with both authors' comments. however, some considerations should be re-emphasized here. .....

The growing presence of Hinduism and its adherents in India’s cyberspace has led to the conceptualization of the categorical identity the ‘Internet-Hindu.’ Using Castell’s theorizing of communication in a network society, this paper articulates a critique on the nature of cyberspace and its use by the Hindu community in the construction of online religious identities. The context of this paper ...