Software Synthesis is Hard -- and Simple

While the components of distributed hardware systems can reasonably be assumed to be synchronised, this is not the case for the components of distributed software systems. This has a strong impact on the class of synthesis problems for which decision procedures exist: While there is a rich family of distributed systems, including pipelines, chains, and rings, for which the realisability and synthesis problem is decidable if the system components are composed synchronously, it is well known that the asynchronous synthesis problem is only decidable for monolithic systems. From a theoretical point of view, this renders distributed software synthesis undecidable, and one is tempted to conclude that synthesis of asynchronous systems, and hence of software, is much harder than the synthesis of synchronous systems. Taking a more practical approach, however, reveals that bounded synthesis, one of the most promising synthesis techniques, can easily be extended to asynchronous systems. This merits the hope that the promising results from bounded synthesis will carry over to asynchronous systems as well

The ixiQuarks: merging code and GUI in one creative space

This paper reports on ixiQuarks; an environment of instruments and effects that is built on top of the audio programming language SuperCollider. The rationale of these instruments is to explore alternative ways of designing musical interaction in screen-based software, and investigate how semiotics in interface design affects the musical output. The ixiQuarks are part of external libraries available to SuperCollider through the Quarks system. They are software instruments based on a non- realist design ideology that rejects the simulation of acoustic instruments or music hardware and focuses on experimentation at the level of musical interaction. In this environment we try to merge the graphical with the textual in the same instruments, allowing the user to reprogram and change parts of them in runtime. After a short introduction to SuperCollider and the Quark system, we will describe the ixiQuarks and the philosophical basis of their design. We conclude by looking at how they can be seen as epistemic tools that influence the musician in a complex hermeneutic circle of interpretation and signification

A Medium Survey of the Hard X-Ray Sky with ASCA. II.: The Source's Broad Band X-Ray Spectral Properties

A complete sample of 60 serendipitous hard X-ray sources with flux in the range $\sim 1 \times 10^{-13}$ \ecs to $\sim 4 \times 10^{-12}$ \ecs (2 - 10 keV), detected in 87 ASCA GIS2 images, was recently presented in literature. Using this sample it was possible to extend the description of the 2-10 keV LogN(>S)-LogS down to a flux limit of $\sim 6\times 10^{-14}$ \ecs (the faintest detectable flux), resolving about a quarter of the Cosmic X-ray Background. In this paper we have combined the ASCA GIS2 and GIS3 data of these sources to investigate their X-ray spectral properties using the "hardness" ratios and the "stacked" spectra method. Because of the sample statistical representativeness, the results presented here, that refer to the faintest hard X-ray sources that can be studied with the current instrumentation, are relevant to the understanding of the CXB and of the AGN unification scheme.Comment: 28 pages plus 6 figures, LaTex manuscript, Accepted for publication in the Astrophysical Journal, Figure 5 can retrieved via anonymous ftp at ftp://ftp.brera.mi.astro.it/pub/ASCA/paper2/fig5.ps.g

An innovative, fast and facile soft-template approach for the fabrication of porous PDMS for oil-water separation

Oil wastewater and spilled oil caused serious environmental pollution and damage to public health in the last years. Therefore, considerable efforts are made to develop sorbent materials able to separate oil from water with high selectivity and sorption capacity. However most of them are low reusable, with low volume absorption capacity and poor mechanical properties. Moreover, the synthesis is time-consuming, complex and expensive limiting its practical application in case of emergency. Here we propose an innovative approach for the fabrication of porous PDMS starting from an inverse water-in-silicone procedure able to selectively collect oil from water in few seconds. The synthesis is dramatically faster than previous approaches, permitting the fabrication of the material in few minutes independently from the dimension of the sponges. The porous material evidenced a higher volume sorption capacity with respect to other materials already proposed for oil sorption from water and excellent mechanical and reusability properties.This innovative fast and simple approach can be successful in case of emergency, as oil spill accidents, permitting in situ fabrication of porous absorbents