Given a graph $G$, its orientation covering number $\sigma(G)$ is the smallest non-negative integer $k$ with property that we can choose orientations of $G$ such whenever $x, y, z$ are vertices $xy,xz\in E(G)$ then there chosen in which both $xy$ and $xz$ oriented away from $x$. Esperet, Gimbel King showed $\sigma(G)\leq \sigma\left(K_{\chi(G)}\right)$, where $\chi(G)$ chromatic asked whether a...

The crossing number of a graph G is the minimum number of pairwise intersections of edges among all drawings of G. In this paper, we study the crossing number of Kn,n − nK2, Kn × P2, Kn × P3 and Kn × C4.

Solution. Since (ab)(abc) = (bc) and (abc)(ab) = (ac), it is easy to see that the center of S3 is the trivial subgroup. Therefore, the group of inner automorphisms of S3 is isomorphic to S3 and has size 6. On the other hand, S3 has 3 transpositions. These must be permuted by an automorphism of S3, and a nontrivial automorphism induces a nontrivial permutation. This gives an injective homomorphi...

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.