Transformation of UML Behavioral Diagrams to Support Software Model Checking [PDF]
Unified Modeling Language (UML) is currently accepted as the standard for modeling (object-oriented) software, and its use is increasing in the aerospace industry.
Júnior, Valdivino Alexandre de Santiago +2 more
core +2 more sources
Reciprocal control of viral infection and phosphoinositide dynamics
Phosphoinositides, although scarce, regulate key cellular processes, including membrane dynamics and signaling. Viruses exploit these lipids to support their entry, replication, assembly, and egress. The central role of phosphoinositides in infection highlights phosphoinositide metabolism as a promising antiviral target.
Marie Déborah Bancilhon, Bruno Mesmin
wiley +1 more source
SUPRAINDIVIDUAL CRIMINAL LEGAL PROPERTY AND MANDATORY REPRESSION
The notion of juridical interest is essential to ensure the coexistence in a democratic State based on the rule of law, as in the form adopted by the Brazilian constitution. The recognition of special functions to the State in the twentieth century caused the rising of new juridical interests – the so called upraindividual juridical interests – that ...
openaire +1 more source
Does information to buyers affect the sales price of a property? Mandatory disclosure and the hedonic price model – A test on French data [PDF]
[eng] Under the assumption of complete and perfect information, hedonic prices can be interpreted as marginal willingness to pay. This assumption may appear strong, especially in cases of exposure to natural risks. This assumption is tested for the French real estate market: we assess the impact of an informational shock – the implementation of the ...
openaire +2 more sources
Modeling the connection between ultraviolet and infrared galaxy populations across cosmic times [PDF]
Using a phenomenological approach, we self-consistently model the redshift evolution of the ultraviolet (UV) and infrared (IR) luminosity functions across cosmic time, as well as a range of observed IR properties of UV-selected galaxy population.
Bernhard, E +7 more
core +5 more sources
Fluorescent probes allow dynamic visualization of phosphoinositides in living cells (left), whereas mass spectrometry provides high‐sensitivity, isomer‐resolved quantitation (right). Their synergistic use captures complementary aspects of lipid signaling. This review illustrates how these approaches reveal the spatiotemporal regulation and quantitative
Hiroaki Kajiho +3 more
wiley +1 more source
Parameter Preservation at the Syntax-PF Interface: The Ba Construction Revisited
In this paper, I argue for an analysis that treats the ba construction in Chinese as a case of shape preservation-induced movement structure. Specifically, the robust preverbal adverbial and PP expressions and the mandatory ba-DP movement in ditransitive
Shu Chih-hsiang
doaj +1 more source
Phosphatidylinositol 4‐kinase as a target of pathogens—friend or foe?
This graphical summary illustrates the roles of phosphatidylinositol 4‐kinases (PI4Ks). PI4Ks regulate key cellular processes and can be hijacked by pathogens, such as viruses, bacteria and parasites, to support their intracellular replication. Their dual role as essential host enzymes and pathogen cofactors makes them promising drug targets.
Ana C. Mendes +3 more
wiley +1 more source
EU BANK RECAPITALISATION AND THE BAIL-IN OPTION: AN ANALYSIS OF THE EFFECTS OF MANDATORY BAIL-IN ON CREDITORS’ PROPERTY RIGHTS [PDF]
As of 1 January 2016, all members of the European Union (EU) are required to have bail-in provisions as part of their national bank resolution and recapitalisation legislation. The bail-in of bank creditors’ claims in order to recapitalise the bank is not a new phenomenon, it was utilised in Cyprus in 2013 and has since been used in a series of rescue ...
openaire +2 more sources
IVOA Recommendation: Data Model for Astronomical DataSet Characterisation
This document defines the high level metadata necessary to describe the physical parameter space of observed or simulated astronomical data sets, such as 2D-images, data cubes, X-ray event lists, IFU data, etc..
Bonnarel, Francois +6 more
core +1 more source

