The Sound Design Toolkit

The Sound Design Toolkit is a collection of physically informed sound synthesis models, specifically designed for practice and research in Sonic Interaction Design. The collection is based on a hierarchical, perceptually founded taxonomy of everyday sound events, and implemented by procedural audio algorithms which emphasize the role of sound as a process rather than a product. The models are intuitive to control \u2013 and the resulting sounds easy to predict \u2013 as they rely on basic everyday listening experience. Physical descriptions of sound events are intentionally simplified to emphasize the most perceptually relevant timbral features, and to reduce computational requirements as well

Phytochemical investigations on Artemisia alba Turra growing in the North-East of Italy

Artemisia alba Turra (Asteraceae) is an Euro-Mediterranean plant used in Veneto (North-East of Italy) as traditional medicine for the treatment of various diseases. A. alba is a taxonomically problematic species, characterized by common polymorphism leading to a quite high variability in secondary metabolites content. Nonetheless, the phytochemical knowledge on its phytoconstituents, especially non-volatile components, is limited. In the present paper, the phytochemical composition of a tincture obtained from the aerial parts of A. alba growing in Veneto is presented. Extensive chromatographic separations led to the isolation of three new sesquiterpene derivatives, whose structures were elucidated by 1D and 2D NMR experiments and mass spectrometry. Furthermore, flavonoid composition and volatile constituents of the tincture of A. alba were preliminary studied by HPLC-MSn and GC-MS, respectivel

Automata for true concurrency properties

We present an automata-theoretic framework for the model checking of true concurrency properties. These are specified in a fixpoint logic, corresponding to history-preserving bisimilarity, capable of describing events in computations and their dependencies. The models of the logic are event structures or any formalism which can be given a causal semantics, like Petri nets. Given a formula and an event structure satisfying suitable regularity conditions we show how to construct a parity tree automaton whose language is non-empty if and only if the event structure satisfies the formula. The automaton, due to the nature of event structure models, is usually infinite. We discuss how it can be quotiented to an equivalent finite automaton, where emptiness can be checked effectively. In order to show the applicability of the approach, we discuss how it instantiates to finite safe Petri nets. As a proof of concept we provide a model checking tool implementing the technique

Bioraznolikost mikrobnih konzorcija izoliranih iz tradicionalnog svježeg ovčjeg sira Karakačanski skakutanac

The aim of this study was to assess the structure of indigenous microbial community associated with traditional fresh sheep cheese Karakačanski skakutanac and to preserve autochthonous microbial consortia. Eleven cheeses were sampled during production season (April-September) and subjected to microbiological analysis. Bacterial DNA was isolated by Maxwell®16 DNA system from 99 microbial consortia harvested from three culture media (M17, Rogosa, CATC) on the 1st, 2nd and 3rd day of the cheese shelf life. The extracted bulk DNA (n = 99) was used as a template for PCR-ARDRA and PCR-DGGE analysis. There were no dramatic shifts in the bacterial number and structure of the microbial consortia harvested on the 1st, 2nd or 3rd day of the cheese shelf life neither during period of sampling. Lactococcus lactis subsp. lactis reached the number of 107-108 CFU g-1, while Leuconostoc pseudomesenteroides, Enterococcus faecalis, and Lactobacillus versmoldensis were identified only at lower dilutions (10-2 - 10-3). This first polyphasic microbiological-molecular study of the Karakačanski skakutanac indicated the main LAB representatives associated with the cheese. Obtained autochthonous microbial consortia present a valuable pool of strains for further genetic and functional characterizations.Cilj ovog rada bio je analizirati strukturu mikrobnih konzorcija tradicionalnog svježeg ovčjeg sira Karakačanski skakutanac. Jedanaest sireva sakupljeno je tijekom sezone proizvodnje od travnja do rujna. Mikrobni konzorciji sakupljeni su sa 3 hranjive podloge (M17, Rogosa, CATC) od 11 sireva nakon prvog, drugog, i trećeg dana proizvodnje. Mikrobna DNA je izolirana iz 99 konzorcija, te korištena u PCR-ARDRA i PCR-DGGE analizi. Nije bilo promjene u strukturi mikrobnih konzorcija sakupljenih prvog, drugog i trećeg dana nakon proizvodnje, niti tijekom sezone. Utvrđena je dominantnost populacije Lactococcus lactis subsp. lactis (107-108 CFU g-1), dok su ostale vrste bakterija mliječne kiseline, Leuconostoc pseudomesenteroides, Enterococcus faecalis i Lactobacillus versmoldensis, identificirane samo na nižim razrjeđenjima (10-2-10-3). Ova prva mikrobiološko- molekularna analiza tradicionalnog sira Karakačanski skakutanac omogućila je uvid u strukturu njegove specifične mikrobne populacije. Sakupljeni mikrobni konzorciji predstavljaju značajan izvor sojeva za daljnju genetsku i funkcionalnu karakterizaciju

Graphical Encoding of a Spatial Logic for the pi-Calculus

This paper extends our graph-based approach to the verification of spatial properties of π-calculus specifications. The mechanism is based on an encoding for mobile calculi where each process is mapped into a graph (with interfaces) such that the denotation is fully abstract with respect to the usual structural congruence, i.e., two processes are equivalent exactly when the corresponding encodings yield isomorphic graphs. Behavioral and structural properties of π-calculus processes expressed in a spatial logic can then be verified on the graphical encoding of a process rather than on its textual representation. In this paper we introduce a modal logic for graphs and define a translation of spatial formulae such that a process verifies a spatial formula exactly when its graphical representation verifies the translated modal graph formula

The C-terminal extension unique to the long isoform of the shelterin component TIN2 enhances its interaction with TRF2 in a phosphorylation- and dyskeratosis congenita-cluster-dependent fashion

TIN2 is central to the shelterin complex, linking the telomeric proteins TRF1 and TRF2 with TPP1/POT1. Mutations in TINF2, which encodes TIN2, that are found in dyskeratosis congenita (DC) result in very short telomeres and cluster in a region shared by the two TIN2 isoforms, TIN2S (short) and TIN2L (long). Here we show that TIN2L, but not TIN2S, is phosphorylated. TRF2 interacts more with TIN2L than TIN2S, and both the DC-cluster and phosphorylation promote this enhanced interaction. The binding of TIN2L, but not TIN2S, is affected by TRF2-F120, which is also required for TRF2's interaction with end processing factors such as Apollo. Conversely, TRF1 interacts more with TIN2S than with TIN2L. A DC-associated mutation further reduces TIN2L-TRF1, but not TIN2S-TRF1, interaction. Cells overexpressing TIN2L or phosphomimetic-TIN2L are permissive to telomere elongation, whereas cells overexpressing TIN2S or phosphodead-TIN2L are not. Telomere lengths are unchanged in cell lines in which TIN2L expression has been eliminated by CRISPR/Cas9-mediated mutation. These results indicate that TIN2 isoforms are biochemically and functionally distinguishable, and that shelterin composition could be fundamentally altered in patients with TINF2 mutations

Integrated Structure and Semantics for Reo Connectors and Petri Nets

In this paper, we present an integrated structural and behavioral model of Reo connectors and Petri nets, allowing a direct comparison of the two concurrency models. For this purpose, we introduce a notion of connectors which consist of a number of interconnected, user-defined primitives with fixed behavior. While the structure of connectors resembles hypergraphs, their semantics is given in terms of so-called port automata. We define both models in a categorical setting where composition operations can be elegantly defined and integrated. Specifically, we formalize structural gluings of connectors as pushouts, and joins of port automata as pullbacks. We then define a semantical functor from the connector to the port automata category which preserves this composition. We further show how to encode Reo connectors and Petri nets into this model and indicate applications to dynamic reconfigurations modeled using double pushout graph transformation

Anomalous Sliding Friction and Peak Effect near the Flux Lattice Melting Transition

Recent experiments have revealed a giant "peak effect" in ultrapure high $T_c$ superconductors. Moreover, the new data show that the peak effect coincides exactly with the melting transition of the underlying flux lattice. In this work, we show using dynamical scaling arguments that the friction due to the pinning centers acting on the flux lattice develops a singularity near a continuous phase transition and can diverge for many systems. The magnitude of the nonlinear sliding friction of the flux lattice scales with this atomistic friction. Thus, the nonlinear conductance should diverge for a true continuous transition in the flux lattice or peak at a weakly first order transition or for systems of finite size.Comment: 4 pages, to appear in Phys. Rev.