Interaction between Normative Systems and Cognitive Agents in Temporal Modal Defeasible Logic

While some recent frameworks on cognitive agents addressed the combination of mental attitudes with deontic concepts, they commonly ignore the representation of time. An exception is [1]that manages also some temporal aspects both with respect to cognition and normative provisions. We propose in this paper an extension of the logic presented in [1]with temporal intervals.

Experimental study of the quantum driven pendulum and its classical analog in atom optics

We present experimental results for the dynamics of cold atoms in a far detuned amplitude-modulated optical standing wave. Phase-space resonances constitute distinct peaks in the atomic momentum distribution containing up to 65% of all atoms resulting from a mixed quantum chaotic phase space. We characterize the atomic behavior in classical and quantum regimes and we present the applicable quantum and classical theory, which we have developed and refined. We show experimental proof that the size and the position of the resonances in phase space can be controlled by varying several parameters, such as the modulation frequency, the scaled well depth, the modulation amplitude, and the scaled Planck’s constant of the system. We have found a surprising stability against amplitude noise. We present methods to accurately control the momentum of an ensemble of atoms using these phase-space resonances which could be used for efficient phase-space state preparation.

Trace Semantics for the Owicki-Gries Theory Integrated with the Progress Logic from UNITY

The theory of Owicki and Gries has been used as a platform for safety-based verifcation and derivation of concurrent programs. It has also been integrated with the progress logic of UNITY which has allowed newer techniques of progress-based verifcation and derivation to be developed. However, a theoretical basis for the integrated theory has thus far been missing. In this paper, we provide a theoretical background for the logic of Owicki and Gries integrated with the logic of progress from UNITY. An operational semantics for the new framework is provided which is used to prove soundness of the progress logic.

Quantum mechanics as an approximation to classical mechanics in Hilbert space

Classical mechanics is formulated in complex Hilbert space with the introduction of a commutative product of operators, an antisymmetric bracket and a quasidensity operator that is not positive definite. These are analogues of the star product, the Moyal bracket, and the Wigner function in the phase space formulation of quantum mechanics. Quantum mechanics is then viewed as a limiting form of classical mechanics, as Planck's constant approaches zero, rather than the other way around. The forms of semiquantum approximations to classical mechanics, analogous to semiclassical approximations to quantum mechanics, are indicated.

A Logic Framework of Normative-based Contract Management

We explore of the feasibility of the computationally oriented institutional agency framework proposed by Governatori and Rotolo testing it against an industrial strength scenario. In particular we show how to encode in defeasible logic the dispute resolution policy described in Article 67 of FIDIC.

Contextual Deliberation of Cognitive Agents in Defeasible Logic

This article extends Defeasible Logic to deal with the contextual deliberation process of cognitive agents. First, we introduce meta-rules to reason with rules. Meta-rules are rules that have as a consequent rules for motivational components, such as obligations, intentions and desires. In other words, they include nested rules. Second, we introduce explicit preferences among rules. They deal with complex structures where nested rules can be involved.

The structure of quantum Lie algebras for the classical series, B-l, C-l and D-l

The structure constants of quantum Lie algebras depend on a quantum deformation parameter q and they reduce to the classical structure constants of a Lie algebra at q = 1. We explain the relationship between the structure constants of quantum Lie algebras and quantum Clebsch-Gordan coefficients for adjoint x adjoint --> adjoint We present a practical method for the determination of these quantum Clebsch-Gordan coefficients and are thus able to give explicit expressions for the structure constants of the quantum Lie algebras associated to the classical Lie algebras B-l, C-l and D-l. In the quantum case the structure constants of the Cartan subalgebra are non-zero and we observe that they are determined in terms of the simple quantum roots. We introduce an invariant Killing form on the quantum Lie algebras and find that it takes values which are simple q-deformations of the classical ones.

Classical and quantum noise in electronic systems

We review the description of noise in electronic circuits in terms of electron transport. The Poisson process is used as a unifying principle. In recent years, much attention has been given to current noise in light-emitting diodes and laser diodes. In these devices, random events associated with electron transport are correlated with photon emission times, thus modifying both the current statistics and the statistics of the emitted light. We give a review of experiments in this area with special emphasis on the ability of such devices to produce subshot-noise currents and light beams. Finally we consider the noise properties of a class of mesoscopic devices based on the quantum tunnelling of an electron into and out of a bound state. We present a simple quantum model of this process which confirms that the current noise in such a device should be subshot-noise.

The contribution of classical (beta(1/2)-) and atypical beta-adrenoceptors to the stimulation of human white adipocyte lipolysis and right atrial appendage contraction by novel beta(3)-adrenoceptor agonists of differing selectivities

The role of beta(3)- and other putative atypical beta-adrenaceptors in human white adipocytes and right atrial appendage has been investigated using CGP 12177 and novel phenylethanolamine and aryloxypropanolamine beta(3)-adrenoceptor (beta(3)AR) agonists with varying intrinsic activities and selectivities for human cloned PAR subtypes. The ability to demonstrate beta(1/2)AR antagonist-insensitive (beta(3) or other atypical beta AR-mediated) responses to CGP 12177 was critically dependent on the albumin batch used to prepare and incubate the adipocytes. Four aryloxypropanolamine selective beta(3)AR agonists (SB-226552, SB-229432, SB-236923, SB-246982) consistently elicited beta(1/2)AR antagonist-insensitive lipolysis. However, a phenylethanolamine (SB-220646) that was a selective full beta(3)AR agonist elicited full lipolytic and inotropic responses that were sensitive to beta(1/2)AR antagonism, despite it having very low efficacies at cloned beta(1)- and beta(2)ARs. A component of the response to another phenylethanolamine selective beta(3)AR agonist (SB-215691) was insensitive to beta(1/2)AR antagonism in some experiments. Because novel aryloxypropanolamine had a beta(1/2)AR antagonist-insensitive inotropic effect, these results establish more firmly that beta(3)ARs mediate lipolysis in human white adipocytes, and suggest that putative 'beta(4)ARs' mediate inotropic responses to CGP 12177. The results also illustrate the difficulty of predicting from studies on cloned beta ARs which beta ARs will mediate responses to agonists in tissues that have a high number of beta(1)- and beta(2)ARs or a low number of beta(3)ARs.

Novel solitons in parametric amplifiers and atom lasers

We review recent developments in quantum and classical soliton theory, leading to the possibility of observing both classical and quantum parametric solitons in higher-dimensional environments. In particular, we consider the theory of three bosonic fields interacting via both parametric (cubic) and quartic couplings. In the case of photonic fields in a nonlinear optical medium this corresponds to the process of sum frequency generation (via chi((2)) nonlinearity) modified by the chi((3)) nonlinearity. Potential applications include an ultrafast photonic AND-gate. The simplest quantum solitons or energy eigenstates (bound-state solutions) of the interacting field Hamiltonian are obtained exactly in three space dimensions. They have a point-like structure-even though the corresponding classical theory is nonsingular. We show that the solutions can be regularized with the imposition of a momentum cut-off on the nonlinear couplings. The case of three-dimensional matter-wave solitons in coupled atomic/molecular Bose-Einstein condensates is discussed.

Quantum and classical chaos for a single trapped ion

In this paper we investigate the quantum and classical dynamics of a single trapped ion subject to nonlinear kicks derived from a periodic sequence of Gaussian laser pulses. We show that the classical system exhibits: diffusive growth in the energy, or heating,'' while quantum mechanics suppresses this heating. This system may be realized in current single trapped-ion experiments with the addition of near-field optics to introduce tightly focused laser pulses into the trap.

C(alpha)-HOLDER CLASSICAL SOLUTIONS FOR NON-AUTONOMOUS NEUTRAL DIFFERENTIAL EQUATIONS

In this paper we discuss the existence of alpha-Holder classical solutions for non-autonomous abstract partial neutral functional differential equations. An application is considered.

Refining specifications to logic programs

The refinement calculus provides a framework for the stepwise development of imperative programs from specifications. In this paper we study a refinement calculus for deriving logic programs. Dealing with logic programs rather than imperative programs has the dual advantages that, due to the expressive power of logic programs, the final program is closer to the original specification, and each refinement step can achieve more. Together these reduce the overall number of derivation steps. We present a logic programming language extended with specification constructs (including general predicates, assertions, and types and invariants) to form a wide-spectrum language. General predicates allow non-executable properties to be included in specifications. Assertions, types and invariants make assumptions about the intended inputs of a procedure explicit, and can be used during refinement to optimize the constructed logic program. We provide a semantics for the extended logic programming language and derive a set of refinement laws. Finally we apply these to an example derivation.

Classical and quantum signatures of competing chi((2)) nonlinearities

We report the observation of the quantum effects of competing chi((2)) nonlinearities. We also report classical signatures of competition, namely, clamping of the second-harmonic power and production of nondegenerate frequencies in the visible. Theory is presented that describes the observations as resulting from competition between various chi((2)) up-conversion and down-conversion processes. We show that competition imposes hitherto unsuspected limits to both power generation and squeezing. The observed signatures are expected to be significant effects in practical systems.

Differences Between ""Classical"" Risk Factors for Infections Caused by Methicillin-Resistant Staphylococcus aureus (MRSA) and Risk Factors for Nosocomial Bloodstream Infections Caused by Multiple Clones of the Staphylococcal Cassette Chromosome mec Type IV MRSA Strain

OBJECTIVE. To identify risk factors associated with nosocomial bloodstream infections caused by multiple clones of the staphylococcal cassette chromosome mec (SCCmec) type IV strain of methicillin-resistant Staphylococcus aureus (MRSA). DESIGN. An unmatched case-control study (at a ratio of 1 : 2) performed during the period from October 2002 through September 2003. SETTING. A 2,000-bed tertiary care teaching hospital affiliated with the University of Sao Paulo in Sao Paulo, Brazil. METHODS. Case patients (n = 30) were defined either as patients who had a bloodstream infection due to SCCmec type IV strains of MRSA diagnosed at least 48 hours after hospital admission or as neonates with the infection who were born in the hospital. Control patients (n = 60) were defined as patients with SCCmec type III MRSA infection diagnosed at least 48 hours after hospital admission. Genes n = 60 encoding virulence factors were studied in the isolates recovered from case patients, and molecular typing of the SCCmec type IV MRSA isolates was also done by pulsed-field gel electrophoresis and multilocus sequence typing. RESULTS. In multivariate analysis, the following 3 variables were significantly associated with having a nosocomial bloodstream infection caused by SCCmec type IV strains of MRSA: an age of less than 1 year, less frequent use of a central venous catheter (odds ratio [OR], 0.07 [95% confidence interval {CI}, 0.02-0.28]; P = .001), and female sex. A second analysis was performed that excluded the case and Pp. 001 control patients from the neonatal unit, and, in multivariate analysis, the following variables were significantly associated with having a nosocomial bloodstream infection caused by SCCmec type IV strains of MRSA: less frequent use of a central venous catheter (OR, 0.12 [95% CI, 0.03-0.55]; P = .007), lower Acute Physiology and Chronic Health Evaluation II score on admission (OR, 0.14 [95% CI, 0.03-0.61];), less frequent surgery (OR, 0.21 [95% CI, 0.06-0.83];), and female sex (OR, 5.70 [95% CI, 1.32-24.66]; P =.020). P = .009 Pp. 025 Pp). Of the 29 SCCmec type IV MRSA isolates recovered from case patients, none contained the Panton-Valentine leukocidin, gamma-hemolysin, enterotoxin B or C, or toxic shock syndrome toxin-1. All of the isolates contained genes for the LukE-LukD leukocidin and alpha-hemolysin. Genes for enterotoxin A were present in 1 isolate, and genes for beta-hemolysin were present in 3 isolates. CONCLUSIONS. ""Classical"" risk factors do not apply to patients infected with the SCCmec type IV strain of MRSA, which is an important cause of nosocomial bacteremia. This strain infects a patient population that is less ill and has had less frequent invasive procedures than a patient population infected with the multidrug-resistant strain of SCCmec type III MRSA. We found that virulence factors were rare and that Panton-Valentine leukocidin was absent. There were multiple clones of the SCCmec type IV strain in our hospital. Children under 1 year of age were at a higher risk. There was a predominant clone ( sequence type 5) in this patient population.