Context-based interaction design for smart homes

This paper presents the notion of Context-based Activity Design (CoBAD) that represents context with its dynamic changes and normative activities in an interactive system design. The development of CoBAD requires an appropriate context ontology model and inference mechanisms. The incorporation of norms and information field theory into Context State Transition Model, and the implementation of new conflict resolution strategies based on the specific situation are discussed. A demonstration of CoBAD using a human agent scenario in a smart home is also presented. Finally, a method of treating conflicting norms in multiple information fields is proposed.

Hamiltonian geophysical fluid dynamics

Hamiltonian dynamics describes the evolution of conservative physical systems. Originally developed as a generalization of Newtonian mechanics, describing gravitationally driven motion from the simple pendulum to celestial mechanics, it also applies to such diverse areas of physics as quantum mechanics, quantum field theory, statistical mechanics, electromagnetism, and optics – in short, to any physical system for which dissipation is negligible. Dynamical meteorology consists of the fundamental laws of physics, including Newton’s second law. For many purposes, diabatic and viscous processes can be neglected and the equations are then conservative. (For example, in idealized modeling studies, dissipation is often only present for numerical reasons and is kept as small as possible.) In such cases dynamical meteorology obeys Hamiltonian dynamics. Even when nonconservative processes are not negligible, it often turns out that separate analysis of the conservative dynamics, which fully describes the nonlinear interactions, is essential for an understanding of the complete system, and the Hamiltonian description can play a useful role in this respect. Energy budgets and momentum transfer by waves are but two examples.

Modeling the effects of anesthesia on the electroencephalogram

Changes to the electroencephalogram (EEG) observed during general anesthesia are modeled with a physiological mean field theory of electrocortical activity. To this end a parametrization of the postsynaptic impulse response is introduced which takes into account pharmacological effects of anesthetic agents on neuronal ligand-gated ionic channels. Parameter sets for this improved theory are then identified which respect known anatomical constraints and predict mean firing rates and power spectra typically encountered in human subjects. Through parallelized simulations of the eight nonlinear, two-dimensional partial differential equations on a grid representing an entire human cortex, it is demonstrated that linear approximations are sufficient for the prediction of a range of quantitative EEG variables. More than 70 000 plausible parameter sets are finally selected and subjected to a simulated induction with the stereotypical inhaled general anesthetic isoflurane. Thereby 86 parameter sets are identified that exhibit a strong “biphasic” rise in total power, a feature often observed in experiments. A sensitivity study suggests that this “biphasic” behavior is distinguishable even at low agent concentrations. Finally, our results are briefly compared with previous work by other groups and an outlook on future fits to experimental data is provided.

Step edges in thin films of lamellar-forming diblock copolymer

Self-consistent field theory (SCFT) is used to study the step edges that occur in thin films of lamellar-forming diblock copolymer, when the surfaces each have an affinity for one of the polymer components. We examine film morphologies consisting of a stack of ν continuous monolayers and one semi-infinite bilayer, the edge of which creates the step. The line tension of each step morphology is evaluated and phase diagrams are constructed showing the conditions under which the various morphologies are stable. The predicted behavior is then compared to experiment. Interestingly, our atomic force microscopy (AFM) images of terraced films reveal a distinct change in the character of the steps with increasing ν, which is qualitatively consistent with our SCFT phase diagrams. Direct quantitative comparisons are not possible because the SCFT is not yet able to probe the large polymer/air surface tensions characteristic of experiment.

Morphology induced spinodal decomposition at the surface of symmetric diblock copolymer films

Atomic force microscopy is used to study the ordering dynamics of symmetric diblock copolymer films. The films order to form a lamellar structure which results in a frustration when the film thickness is incommensurate with the lamellae. By probing the morphology of incommensurate films in the early ordering stages, we discover an intermediate phase of lamellae arranged perpendicular to the film surface. This morphology is accompanied by a continuous growth in amplitude of the film surface topography with a characteristic wavelength, indicative of a spinodal process. Using selfconsistent field theory, we show that the observation of perpendicular lamellae suggests an intermediate state with parallel lamellae at the substrate and perpendicular lamellae at the free surface. The calculations confirm that the intermediate state is unstable to thickness fluctuations, thereby driving the spinodal growth of surface structures.

Applying the chain formation model to magnetic properties of aggregated ferrofluids

The magnetization properties of aggregated ferrofluids are calculated by combining the chain formation model developed by Zubarev with the modified mean-field theory. Using moderate assumptions for the inter- and intrachain interactions we obtain expressions for the magnetization and initial susceptibility. When comparing the results of our theory to molecular dynamics simulations of the same model we find that at large dipolar couplings (lambda>3) the chain formation model appears to give better predictions than other analytical approaches. This supports the idea that chain formation is an important structural ingredient of strongly interacting dipolar particles.

Transcendental Brauer groups of products of CM elliptic curves

Let L be a number field and let E/L be an elliptic curve with complex multiplication by the ring of integers O_K of an imaginary quadratic field K. We use class field theory and results of Skorobogatov and Zarhin to compute the transcendental part of the Brauer group of the abelian surface ExE. The results for the odd order torsion also apply to the Brauer group of the K3 surface Kum(ExE). We describe explicitly the elliptic curves E/Q with complex multiplication by O_K such that the Brauer group of ExE contains a transcendental element of odd order. We show that such an element gives rise to a Brauer-Manin obstruction to weak approximation on Kum(ExE), while there is no obstruction coming from the algebraic part of the Brauer group.

Equilibrium behavior of symmetric ABA triblock copolymer melts

Melts of ABA triblock copolymer molecules with identical end blocks are examined using self-consistent field theory (SCFT). Phase diagrams are calculated and compared with those of homologous AB diblock copolymers formed by snipping the triblocks in half. This creates additional end segments which decreases the degree of segregation. Consequently, triblock melts remain ordered to higher temperatures than their diblock counterparts. We also find that middle-block domains are easier to stretch than end-block domains. As a result, domain spacings are slightly larger, the complex phase regions are shifted towards smaller A-segment compositions, and the perforated-lamellar phase becomes more metastable in triblock melts as compared to diblock melts. Although triblock and diblock melts exhibit very similar phase behavior, their mechanical properties can differ substantially due to triblock copolymers that bridge between otherwise disconnected A domains. We evaluate the bridging fraction for lamellar, cylindrical, and spherical morphologies to be about 40%–45%, 60%–65%, and 75%–80%, respectively. These fractions only depend weakly on the degree of segregation and the copolymer composition.

Critical behavior of a contact process with aperiodic transition rates

We performed Monte Carlo simulations to investigate the steady-state critical behavior of a one-dimensional contact process with an aperiodic distribution of rates of transition. As in the presence of randomness, spatial fluctuations can lead to changes of critical behavior. For sufficiently weak fluctuations, we give numerical evidence to show that there is no departure from the universal critical behavior of the underlying uniform model. For strong spatial fluctuations, the analysis of the data indicates a change of critical universality class.

A Precise Formulation of the Third Law of Thermodynamics

The third law of thermodynamics is formulated precisely: all points of the state space of zero temperature I""(0) are physically adiabatically inaccessible from the state space of a simple system. In addition to implying the unattainability of absolute zero in finite time (or ""by a finite number of operations""), it admits as corollary, under a continuity assumption, that all points of I""(0) are adiabatically equivalent. We argue that the third law is universally valid for all macroscopic systems which obey the laws of quantum mechanics and/or quantum field theory. We also briefly discuss why a precise formulation of the third law for black holes remains an open problem.

On S-matrix factorization of the Landau-Lifshitz model

We consider the three-particle scattering S-matrix for the Landau-Lifshitz model by directly computing the set of the Feynman diagrams up to the second order. We show, following the analogous computations for the non-linear Schrdinger model [1, 2], that the three-particle S-matrix is factorizable in the first non-trivial order.

Borel-Leroy summability of a nonpolynomial potential

We investigate the perturbation series for the spectrum of a class of Schrodinger operators with potential V = 1/2 x(2) + g(m-1)x(2m)/(1 + alpha gx(2)) which generalize particular cases investigated in the literature in connection with models in laser theory and quantum field theory of particles and fields. It is proved that the series obey a modified strong asymptotic condition of order (m - 1) and have an order (m - 1) strong asymptotic series in g which are shown to be summable in the sense of Borel-Leroy method.

Stability and related properties of vacua and ground states

We consider the formal non-relativistic limit (nrl) of the : phi(4):(s+1) relativistic quantum field theory (rqft), where s is the space dimension. Following the work of R. Jackiw [R. Jackiw, in: A. Ali, P. Hood-bhoy (Eds.), Beg Memorial Volume, World Scientific, Singapore, 1991], we show that, for s = 2 and a given value of the ultraviolet cutoff K, there are two ways to perform the nrl: (i) fixing the renormalized mass m(2) equal to the bare mass m(0)(2); (ii) keeping the renormalized mass fixed and different from the bare mass mo. In the (infinite-volume) two-particle sector the scattering amplitude tends to zero as K -> infinity in case (i) and, in case (ii), there is a bound state, indicating that the interaction potential is attractive. As a consequence, stability of matter fails for our boson system. We discuss why both alternatives do not reproduce the low-energy behaviour of the full rqft. The singular nature of the nrl is also nicely illustrated for s = 1 by a rigorous stability/instability result of a different nature. (C) 2007 Elsevier Inc. All rights reserved.

Infrared chiral anomaly at finite temperature

We study the Schwinger model at finite temperature and show that a temperature dependent chiral anomaly may arise from the long distance behavior of the electric field. At high temperature this anomaly depends linearly on the temperature T and is present not only in the two point function, but also in all even point amplitudes. (C) 2011 Elsevier B.V. All rights reserved.

Dynamical noncommutativity

The model of dynamical noncommutativity is proposed. The system consists of two interrelated parts. The first of them describes the physical degrees of freedom with the coordinates q(1) and q(2), and the second corresponds to the noncommutativity eta which has a proper dynamics. After quantization, the commutator of two physical coordinates is proportional to the function of eta. The interesting feature of our model is the dependence of nonlocality on the energy of the system. The more the energy, the more the nonlocality. The leading contribution is due to the mode of noncommutativity; however, the physical degrees of freedom also contribute in nonlocality in higher orders in theta .