1 ObjectGEODE and SDL 2 1.

In diesem Papier werden Erfahrungen aus gemeinsamen Projekten des Kunden und der SQS bei der Durchführung proaktiver Qualitätssicherungsmaßnahmen im Umfeld von eingebetteten Telekommunikationssystemen erläutert. Dabei werden insbesondere die Vorteile von frühzeitig ergreifbaren Qualitätssicherungsmaßnahmen mit Hilfe statischer Code-Analysewerkzeuge sowie deren ungefähre Quantifizierung erkennbar.

We show that every real low for Demuth randomness is of hyperimmune-free degree.

For those who know about group cohomology will know that if a group acts freely on sphere, then it has periodic cohomology. Now the group Zp×Zp does not have periodic cohomology, (just use the Künneth formula again) therefore it cannot act freely on any sphere. For those who do not know about group cohomology a finite group having periodic cohomology is equivalent to all the abelian subgroups b...

Three cases of Day/Night Band (DNB) observations of the Visible Infrared Imaging Radiometer Suite (VIIRS) onboard the Suomi National Polar-orbiting Partnership (SNPP) are explored for applications to assess the ocean environment and monitor ocean dynamics. An approach to use the ratio between the target radiance and the reference radiance was developed in order to better assess the ocean diurna...

The pros and cons of using SDL for creation of distributed services. In a competeative market for the creation of complex distributed services, time to market, development cost, maintenance and flexibility are key issues. Optimizing the development process is very much a matter of optimizing the technologies used during service creation. This paper reports on the experience gained in the Servic...

This paper presents a new library of thermal components to be incorporated into the Modelica Standard Library. The goal for this package is to provide a reasonably simple set of basic models and connectors that can be used as the basis for further development in the thermal domain.

The well-known simplex model is extended to a model that may be used for the genetic and environmental analysis of covariance structures. This "double" simplex structure can be specified as a LISREL model. It is shown that data which give rise to a simplex correlation structure, such as repeated-measures data, do not fit a factor-analysis model. The parameter estimation of the simplex model is ...

In this study, the simplex whose vertices are barycenters of the given simplex facets plays an essential role. The article provides an extension of the Hermite-Hadamard inequality from the simplex barycenter to any point of the inscribed simplex except its vertices. A two-sided refinement of the generalized inequality is obtained in completion of this work.

Following the Guidelines for Assessment and Instruction in Statistics Education (GAISE) recommendation to use real data, an example is presented in which simple linear regression is used to evaluate the effect of the Montreal Protocol on atmospheric concentration of chlorofluorocarbons. This simple set of data, obtained from a public archive, can be used to tell a compelling story of success in...