Analysis of foundational problems like “What is computation?” leads to a sketch of the paradigm of abstract state machines (ASMs). This is followed by a brief discussion on ASMs applications. Then we present some theoretical problems that bridge between the traditional LICS themes and abstract state machines.

T HE IEEE International Solid-State Circuits Conference (ISSCC) is the flagship conference of the IEEE Solid-State Circuits Society and the foremost global forum for presenting advances in solid-state circuits and systems-on-a-chip. Last year, the IEEE TRANSACTIONS ON BIOMEDICAL CIRCUITS AND SYSTEMS highlighted select papers from the ISSCC 2010 on topics related to biological and healthcare app...

Despite having a number of years of experience, adaptive case management (ACM) still does not have a theory that would differentiate it from other paradigms of business process management and support. The known attempts to formalize Case Management do not seem to help much in creating an approach that could be useful in practice. This paper suggests an approach to building such a theory based o...

A key feature of collaboration in science and software development is to have a log of what and how is being done for private use and reuse and for sharing selected parts with collaborators, which most often today are distributed geographically on an ever larger scale. Even better if this log is automatic, created on the fly while a scientist or software developer is working in a habitual way, ...

As everyone known the significant progresses have been achieved on tokamaks, which means that the scientific feasibility of tokamak reactor for fusion energy has been achieved (Q=1). But for commercial power plan the economics will be very important. Therefore to find improved (advanced) confinement operation model is the popular topic always for tokamak research. On other hand if any tokamak o...

In a moment of collaboration lasting 17 seconds in a middle school classroom, a small group of students learned how to conduct scientific experimentation using a particular artifact. They made this knowledge visible for the group, repairing confusions and establishing a shared understanding. A micro discourse analysis of this moment illustrates the complexity of collaborative learning and of it...

An adsorption equilibrium and a kinetic study of Bacillus atrophaeus on Single-Wall Carbon Nanotubes (SWCNTs) were here performed to provide the basis for developing biosensor devices for detecting threatening micro-organisms in water supply systems. B. atrophaeus spores and carbon nanotubes were subjected to a batch adsorption process to document their equilibria and kinetics. Here, commercial...

According to Rollins and Witts (The D'Oyly Carte Opera Company in Gilbert and Sullivan Operas), the first visit consisted of a tour of H.M.S. Pinafore and The Pirates of Penzance for part of two weeks at the end of January and beginning of February 1882. During the week beginning 30 January, the Company visited Drogheda (two days), Dundalk (two days) and Omagh (one day). The following week (Feb...

There are few robust solutions to the doublet-triplet splitting problem in supersymmetric GUT theories. One of the more promising solutions is the Higgs as pseudo-Goldstone boson mechanism. In its minimal implementation, such a solution places an additional restriction on the parameter space of the minimal supersymmetric standard model. A testable consequence of this constraint is an equation f...