Timed-Automata-Based Verification of MITL over Signals [PDF]
, 2017 It has been argued that the most suitable semantic model for real-time formalisms is the non-negative real line (signals), i.e. the continuous semantics, which naturally captures the continuous evolution of system states.
Brihaye, Thomas +3 more
core +6 more sources
Metodología para hacer mediciones de radiación electromagnética de telefonía celular [PDF]
, 2016 El presente artículo expone los resultados del análisis de las recomendaciones de la UIT-T K.52, K.61 y K.83, de los estudios publicados en Colombia sobre mediciones de radiación electromagnética de los equipos de la telefonía celular y de otros estudios
Lezama Márquez, Carlos +2 more
core +3 more sources
Polymyxin Resistance in Acinetobacter baumannii: Genetic Mutations and Transcriptomic Changes in Response to Clinically Relevant Dosage Regimens [PDF]
, 2016 Polymyxins are often last-line therapeutic agents used to treat infections caused by multidrug-resistant A. baumannii. Recent reports of polymyxin-resistant A. baumannii highlight the urgent need for research into mechanisms of polymyxin resistance. This
Boyce, John D. +8 more
core +3 more sources
Valutazione dei Livelli di Campo Elettromagnetico, presenti su Area Vasta (Base Comunale), generati dalle Stazioni Fisse per la Telefonia Mobile [PDF]
, 2014 Le stazioni fisse per la telefonia mobile hanno avuto negli ultimi anni un'enorme diffusione e, allo stato attuale, la loro densità nei centri urbani risulta molto elevata.
FIASCHI, CLAUDIO
core
Bus-exposure matrix, a tool to assess bus drivers' exposure to physicochemical hazards. [PDF]
Swiss bus drivers suffer from musculoskeletal disorders, fatigue, and stress and have an excessive mortality from lung cancer and suicide compared to other workers. However, their occupational exposure is poorly documented.
Guseva Canu, I. +3 more
core +1 more source
La réforme de l’orthographe dans les forums de discussion des articles du Monde, du Figaro et de Libération en ligne : que nous disent les non-linguistes ? [PDF]
, 2016 Cette étude a l’objectif d’analyser les discours métalinguistiques ordinaires circulant dans les commentaires publiés par les lecteurs du Figaro, du Monde et de Libération en ligne suite à la décision des éditeurs scolaires d’appliquer les ...
core +2 more sources
GPS-GIS integrated system for electromagnetic pollution [PDF]
, 2008 In these last years employment and spreading of GPS real-time kinematic techniques is greatly improved. Its application field is extended from traditional topographic surveys to environmental applications.
AMMOSCATO, Alessio +4 more
core
Accurate and Sensitive Quantification of Protein-DNA Binding Affinity [PDF]
, 2017 Transcription factors control gene expression by binding to genomic DNA in a sequence-specific manner. Mutations in transcription factor binding sites are increasingly found to be associated with human disease, yet we currently lack robust methods to ...
Rastogi, Chaitanya
core +2 more sources
Price Indexes for Medical Care Goods and Services: An Overview of Measurement Issues [PDF]
We review in considerable detail the conceptual and measurement issues that underlie construction of medical care price indexes in the U.S., particularly the medical care consumer price indexes (MCPIs) and medical-related producer price indexes (MPPIs ...
David M. Cutler +4 more
core
EMC issues in high-power grid-connected photovoltaic plants: an update after 15 years [PDF]
This article revises and updates the electromagnetic compatibility (EMC) challenges commonly encountered in utility-scale grid-connected photovoltaic (PV) systems in light of modern trends.
Araneo Rodolfo +3 more
core +1 more source