Search results for "Programming Language"
showing 10 items of 624 documents
Knowledge-based verification of concatenative programming patterns inspired by natural language for resource-constrained embedded devices
2020
We propose a methodology to verify applications developed following programming patterns inspired by natural language that interact with physical environments and run on resource-constrained interconnected devices. Natural language patterns allow for the reduction of intermediate abstraction layers to map physical domain concepts into executable code avoiding the recourse to ontologies, which would need to be shared, kept up to date, and synchronized across a set of devices. Moreover, the computational paradigm we use for effective distributed execution of symbolic code on resource-constrained devices encourages the adoption of such patterns. The methodology is supported by a rule-based sys…
Diffusional Kurtosis Imaging in the Diffusion Imaging in Python Project
2021
ABSTRACTDiffusion-weighted magnetic resonance imaging (dMRI) measurements and models provide information about brain connectivity and are sensitive to the physical properties of tissue microstructure. Diffusional Kurtosis Imaging (DKI) quantifies the degree of non-Gaussian diffusion in biological tissue from dMRI. These estimates are of interest because they were shown to be more sensitive to microstructural alterations in health and diseases than measures based on the total anisotropy of diffusion which are highly confounded by tissue dispersion and fiber crossings. In this work, we implemented DKI in the Diffusion in Python (DIPY) project - a large collaborative open-source project which …
Constraint Management in Engineering of Complex Information Systems
2009
We propose to build an engineering environment for information systems by using metamodels, OCL and symbolic model checkers to manage constraints. Our proposal is based on a definition of constraints as 3D spaces with dimensions corresponding to UML diagrams, constructs, and abstraction levels. We show how such environments can help with engineering quality complex systems by allowing to lift up a part of constraint verifications.
Definition and Assessment of a BAC Factor for Estimating Electrical Consumption of Outdoor Lighting
2018
The BAC factors method was introduced by the international Standard EN 15232 for a rough evaluation of energy savings in buildings obtained thanks to automation. The above standard considers the building's services such as heating, cooling, ventilation and lighting and takes into account automation on the basis of assumed usage profile for the related technical installations. However, the standard does not refer specifically to the automation of outdoor lighting systems such as those serving gardens, entrance walkways and passages around the building and supplied by it. In this paper, the authors propose a method for evaluation an outdoor BAC factor for lighting system considering various s…
Tool Support for Model Driven Development of Pervasive Systems
2007
This work presents the PervML Generative Tool (PervGT) that supports a model driven method for the development of pervasive services in ubiquitous environments. The tool, which is based on the Eclipse platform, provides facilities for the graphical description of pervasive systems using PervML, a UML-like modeling language. Once the pervasive system is specified, the PervML model is used as input to a transformation engine that generates source code and other implementation assets. This generated code extends an OSGi-based framework in order to build the final pervasive applications
Fuzzy logic approach to predict vehicle crash severity from acceleration data
2015
Vehicle crash is a complex behavior to be investigated as a challenging topic in terms of dynamical modeling. On this aim, fuzzy logic can be utilized to analyze the crash dynamics rapidly and simply. In this paper, the experimental data of the frontal crash is recorded using an accelerometer located at the centre of the gravity of the vehicle. The acceleration signal was the raw data from which the collision intensity expressed by the kinetic energy and the jerk were derived. The fuzzy logic model was then developed from the two inputs namely kinetic energy and jerk. The output variable is the crash severity expressed as the dynamic crash. The result shows that the jerk contributes much to…
Cloud droplet formation at the base of tropical convective clouds: closure between modeling and measurement results of ACRIDICON–CHUVA
2021
Aerosol–cloud interactions contribute to the large uncertainties in current estimates of climate forcing. We investigated the effect of aerosol particles on cloud droplet formation by model calculations and aircraft measurements over the Amazon and over the western tropical Atlantic during the ACRIDICON–CHUVA campaign in September 2014. On the HALO (High Altitude Long Range Research) research aircraft, cloud droplet number concentrations (Nd) were measured near the base of clean and polluted growing convective cumuli using a cloud combination probe (CCP) and a cloud and aerosol spectrometer (CAS-DPOL). An adiabatic parcel model was used to perform cloud droplet number closure studies for fl…
Onset of Convection in an Inclined Anisotropic Porous Layer with Internal Heat Generation
2019
The onset of convection in an inclined porous layer which is heated internally by a uniform distribution of heat sources is considered. We investigate the combined effects of inclination, anisotropy and internal heat generation on the linear instability of the basic parallel flow. When the Rayleigh number is sufficiently large, instability occurs and a convective motion is set up. It turns out that the preferred motion at convection onset depends quite strongly on the anisotropy ratio, &xi
PArthENoPE reloaded
2018
We describe the main features of a new and updated version of the program PArthENoPE, which computes the abundances of light elements produced during Big Bang Nucleosynthesis. As the previous first release in 2008, the new one, PArthENoPE 2.0, will be soon publicly available and distributed from the code site, http://parthenope.na.infn.it. Apart from minor changes, which will be also detailed, the main improvements are as follows. The powerful, but not freely accessible, NAG routines have been substituted by ODEPACK libraries, without any significant loss in precision. Moreover, we have developed a Graphical User Interface (GUI) which allows a friendly use of the code and a simpler implemen…
Exploiting Cryo-EM Structural Information and All-Atom Simulations To Decrypt the Molecular Mechanism of Splicing Modulators.
2019
Splicing modulators (SMs) pladienolides, herboxidienes, and spliceostatins exert their antitumor activity by altering the ability of SF3B1 and PHF5A proteins, components of SF3b splicing factor, to recognize distinct intron branching point sequences, thus finely calibrating constitutive/alternative/aberrant splicing of pre-mRNA. Here, by exploiting structural information obtained from cryo-EM data, and by performing multiple μs-long all-atom simulations of SF3b in apo form and in complex with selected SMs, we disclose how these latter seep into the narrow slit at the SF3B1/PHF5A protein interface. This locks the intrinsic open/closed conformational transitions of SFB1's solenoidal structure…