Analysis and synthesis of concurrent sequential programs

Concurrent sequential program analysis and synthesi

Research study of spacecraft and aircraft manual control systems theories Final summary report

Manual control systems analysis for spacecraft and aircraft design and synthesi

Cadd - On-line synthesis of logic circuits

CADD on-line programming system for logic circuit synthesi

Leibniz's Alleged Ambivalence About Sensible Qualities

Leibniz has been accused of being ambivalent about the nature of sensible qualities such as color, heat, and sound. According to the critics, he unwittingly vacillates between the view that these qualities are really just complex mechanical qualities of bodies and the competing view that they are something like the perceptions or experiences that confusedly represent these mechanical qualities. Against this, I argue that the evidence for ascribing the first approach to Leibniz is rather strong, whereas the evidence for imputing the second approach to him is rather weak. The first, "mechanistic" approach should therefore be regarded as his considered view

Site of biosynthesis of a-tocopherol in spinach chloroplasts

The chloroplast envelope is a continuous boundary of two osmiophilic membranes and has an important role in galactolipid synthesis [ 11. It was interesting to determine whether the envelope is the site of synthesi

Synthesis and characterization of supramolecular assemblies of cobalt(II)

Treballs Finals de Grau de Química, Facultat de Química, Universitat de Barcelona, Any: 2021, Tutora: Leoni A. Barrios MorenoSupramolecular chemistry is based on weak interactions formed between molecules. In this area, a new series of Cobalt(II)-based helicates have been developed, which due to its intramolecular interactions and the properties of cobalt can lead to interesting magnetic properties, such as behaving as Single Molecular Magnets (SMMs) or presenting spin transition (SCO). This work describes the synthesis and characterization of three assemblies acting as host–guest systems including their magnetic study. To this end, the ligands L1, L2 and L3 ligands have been used to form Cobalt(II) dinuclear helicates, capable of holding different anions in their cavities. Although in one case the intention was the encapsulation of BF4- and PF6-, it has been found that heteroleptic helicates have a strong template effect towards the encapsulation of SiF62, over which the charge 2- may be a key component in their high stability. Therefore, this opens a new line of research to understand better how template effect works in heteroleptic systems

Sixteen Years of Sound and Music Computing: A Look Into the History and Trends of the Conference and Community

This contribution provides an overview of the Sound & Music Computing conference and community over the course of its sixteen years. As a sequel to a previous corresponding contribution investigating the community ten years ago, here we analyze the proceedings of the past editions, as well as the changes in the organization of the conference itself. The analysis reveals the growth of the SMC community in terms of attendees and countries represented at the conference, highlights the changes in trends and topics, and provides insights on the directions of the conference. A reflection is made with regards to the SMC roadmap originally conceived in 2004. Motivated by similar initiatives in "sister" communities, this resource is made available to the community at http://smc.lim.di.unimi.it/

SRF Consultation E-consultation Results Synthesis

SRF Consultation E-consultation Results Synthesi