On the Floquet Theory of Delay Differential Equations

We present an analytical approach to deal with nonlinear delay differential equations close to instabilities of time periodic reference states. To this end we start with approximately determining such reference states by extending the Poincar'e Lindstedt and the Shohat expansions which were originally developed for ordinary differential equations. Then we systematically elaborate a linear stability analysis around a time periodic reference state. This allows to approximately calculate the Floquet eigenvalues and their corresponding eigensolutions by using matrix valued continued fractions

SAT based Enforcement of Domotic Effects in Smart Environments

The emergence of economically viable and efficient sensor technology provided impetus to the development of smart devices (or appliances). Modern smart environments are equipped with a multitude of smart devices and sensors, aimed at delivering intelligent services to the users of smart environments. The presence of these diverse smart devices has raised a major problem of managing environments. A rising solution to the problem is the modeling of user goals and intentions, and then interacting with the environments using user defined goals. `Domotic Effects' is a user goal modeling framework, which provides Ambient Intelligence (AmI) designers and integrators with an abstract layer that enables the definition of generic goals in a smart environment, in a declarative way, which can be used to design and develop intelligent applications. The high-level nature of domotic effects also allows the residents to program their personal space as they see fit: they can define different achievement criteria for a particular generic goal, e.g., by defining a combination of devices having some particular states, by using domain-specific custom operators. This paper describes an approach for the automatic enforcement of domotic effects in case of the Boolean application domain, suitable for intelligent monitoring and control in domotic environments. Effect enforcement is the ability to determine device configurations that can achieve a set of generic goals (domotic effects). The paper also presents an architecture to implement the enforcement of Boolean domotic effects, and results obtained from carried out experiments prove the feasibility of the proposed approach and highlight the responsiveness of the implemented effect enforcement architectur

Spatiotemporal communication with synchronized optical chaos

We propose a model system that allows communication of spatiotemporal information using an optical chaotic carrier waveform. The system is based on broad-area nonlinear optical ring cavities, which exhibit spatiotemporal chaos in a wide parameter range. Message recovery is possible through chaotic synchronization between transmitter and receiver. Numerical simulations demonstrate the feasibility of the proposed scheme, and the benefit of the parallelism of information transfer with optical wavefronts.Comment: 4 pages, 5 figure

Ensemble prediction for nowcasting with a convection-permitting model - II: forecast error statistics

A 24-member ensemble of 1-h high-resolution forecasts over the Southern United Kingdom is used to study short-range forecast error statistics. The initial conditions are found from perturbations from an ensemble transform Kalman filter. Forecasts from this system are assumed to lie within the bounds of forecast error of an operational forecast system. Although noisy, this system is capable of producing physically reasonable statistics which are analysed and compared to statistics implied from a variational assimilation system. The variances for temperature errors for instance show structures that reflect convective activity. Some variables, notably potential temperature and specific humidity perturbations, have autocorrelation functions that deviate from 3-D isotropy at the convective-scale (horizontal scales less than 10 km). Other variables, notably the velocity potential for horizontal divergence perturbations, maintain 3-D isotropy at all scales. Geostrophic and hydrostatic balances are studied by examining correlations between terms in the divergence and vertical momentum equations respectively. Both balances are found to decay as the horizontal scale decreases. It is estimated that geostrophic balance becomes less important at scales smaller than 75 km, and hydrostatic balance becomes less important at scales smaller than 35 km, although more work is required to validate these findings. The implications of these results for high-resolution data assimilation are discussed

Experimental observation of spatial antibunching of photons

We report an interference experiment that shows transverse spatial antibunching of photons. Using collinear parametric down-conversion in a Young-type fourth-order interference setup we show interference patterns that violate the classical Schwarz inequality and should not exist at all in a classical description.Comment: 4 pages, 7 figure

Consistency Checking for the Evolution of Cardinality-based Feature Models

International audienceFeature models (FMs) are a widely used approach to specify the commonalities and variability in variable systems and software product lines. Various works have addressed edits to FMs for FM evolution and tool support to ensure consistency of FMs. An important extension to FMs are feature cardinalities and related constraints, as extensively used e.g., when modeling variability of cloud computing environments. Since cardinality-based FMs pose additional complexity, additional support for evolution and consistency checking with respect to feature cardinalities would be desirable, but has not been addressed yet. In this paper, we discuss common cardinality-based FM edits and resulting inconsistencies based on experiences with FMs in cloud domain. We introduce tool-support for automated inconsistency detection and explanation based on an off-the-shelf solver. We demonstrate the feasibility of the approach by an empirical evaluation showing the performance of the tool

Coral restoration effectiveness: multiregional snapshots of the long-term responses of coral assemblages to restoration

Coral restoration is rapidly becoming a mainstream strategic reef management response to address dramatic declines in coral cover worldwide. Restoration success can be defined as enhanced reef functions leading to improved ecosystem services, with multiple benefits at socio-ecological scales. However, there is often a mismatch between the objectives of coral restoration programs and the metrics used to assess their effectiveness. In particular, the scales of ecological benefits currently assessed are typically limited in both time and space, often being limited to short-term monitoring of the growth and survival of transplanted corals. In this paper, we explore reef-scale responses of coral assemblages to restoration practices applied in four well-established coral restoration programs. We found that hard coral cover and structural complexity were consistently greater at restored compared to unrestored (degraded) sites. However, patterns in coral diversity, coral recruitment, and coral health among restored, unrestored, and reference sites varied across locations, highlighting differences in methodologies among restoration programs. Altogether, differences in program objectives, methodologies, and the state of nearby coral communities were key drivers of variability in the responses of coral assemblages to restoration. The framework presented here provides guidance to improve qualitative and quantitative assessments of coral restoration efforts and can be applied to further understanding of the role of restoration within resilience-based reef management

Phase-Locked Spatial Domains and Bloch Domain Walls in Type-II Optical Parametric Oscillators

We study the role of transverse spatial degrees of freedom in the dynamics of signal-idler phase locked states in type-II Optical Parametric Oscillators. Phase locking stems from signal-idler polarization coupling which arises if the cavity birefringence and/or dichroism is not matched to the nonlinear crystal birefringence. Spontaneous Bloch domain wall formation is theoretically predicted and numerically studied. Bloch walls connect, by means of a polarization transformation, homogeneous regions of self-phase locked solutions. The parameter range for their existence is analytically found. The polarization properties and the dynamics of walls in one- and two transverse spatial dimensions is explained. Transition from Bloch to Ising walls is characterized, the control parameter being the linear coupling strength. Wall dynamics governs spatiotemporal dynamical states of the system, which include transient curvature driven domain growth, persistent dynamics dominated by spiraling defects for Bloch walls, and labyrinthine pattern formation for Ising walls.Comment: 27 pages, 16 figure

Frequency selection by soliton excitation in nondegenerate intracavity downconversion

We show that soliton excitation in intracavity downconversion naturally selects a strictly defined frequency difference between the signal and idler fields. In particular, this phenomenon implies that if the signal has smaller losses than the idler then its frequency is pulled away from the cavity resonance and the idler frequency is pulled towards the resonance and {\em vice versa}. The frequency selection is shown to be closely linked with the relative energy balance between the idler and signal fields.Comment: 5 pages, 3 figures. To appear in Phys Rev Let

Treatment Motivation Differences between Minnesota and Methadone Program Patients with Substance Use Disorder in Latvia

publishersversionPeer reviewe