A Decentralized Model-Based Diagnosis for BPEL Services

Using Delay Blocks to Make Non-Diagnosable Discrete Event Systems Diagnosable

Manifestability Verification of Discrete Event Systems

Emotion Recognition based on Psychological Components in Guided Narratives for Emotion Regulation

Active Prediction for Discrete Event Systems

Natural Language Processing for Cognitive Analysis of Emotions

The Grain-size Patchiness of Braided Gravel-Bed Streams – example of the Urumqi River (northeast Tian Shan, China)

How to be sure a faulty system does not always appear healthy?

Automated Analysis of Asynchronously Communicating Systems

Erosion rates deduced from seasonal mass balance along the upper Urumqi River in Tianshan

Introducing Divergence for Infinite Probabilistic Models

Measuring bedload in gravel-bed mountain rivers: averaging methods and sampling strategies Measuring bedload in gravel-bed mountain rivers: averaging methods and sampling strategies

Property-Directed Verification of Recurrent Neural Networks

Optimized diagnosability of distributed discrete event systems through abstraction

Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search

Natural Language Processing for Cognitive Analysis of Emotions

Philosophers may Dine - Definitively!

Predictability Analysis of Distributed Discrete Event Systems

Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise

Property-Directed Verification and Robustness Certification of Recurrent Neural Networks

In situ measurements of Saturn’s ionosphere show that it is dynamic and interacts with the rings

HOL-CSP Version 2.0

Intense Harmonic Emissions Observed in Saturn's Ionosphere

Comment on “Antimicrobial susceptibility of Bacteroides fragilis group organisms in Hong Kong, 2020–2021”

The HOL-CSP Refinement Toolkit

Distinguishing Colonization From Infection With Staphylococcus aureus in Diabetic Foot Ulcers With Miniaturized Oligonucleotide Arrays A French multicenter study

Interim 2019/20 Influenza Vaccine Effectiveness: Six European Studies, September 2019 to January 2020

Evaluation of temocillin for phenotypic carbapenemase screening of Escherichia coli and Salmonella enterica isolates in relation to the presence of genes encoding ESBLs and carbapenemase production

A Predictability Algorithm for Distributed Discrete Event Systems

Effects of hyperalkaline solutions on the swelling pressure of compacted Gaomiaozi (GMZ) bentonite from the viewpoint of Na+ cations and OH– anions

Epidemiology and risk factors for ureteral stent-associated urinary tract infections in non-transplanted renal patients: a systematic review of the literature

Recommendations for respiratory syncytial virus surveillance at the national level

Recommendations of the AFU Infectious Diseases Committee on the prevention, diagnosis and treatment of infections of endo-ureteral equipment

Vers une gestion durable des populations animales sélectionnées : un projet pilote sur quelques cas de programmes intégrés de sélection

Homozygous mutations in VAMP 1 cause a presynaptic congenital myasthenic syndrome

Ambipolar electrostatic field in dusty plasma

Ethenoguanines undergo glycosylation by nucleoside 2'-deoxyribosyltransferases at non-natural sites.

Deep‐Water Formation in the North Pacific During the Late Miocene Global Cooling

Lyme borreliosis and other tick-borne diseases. Guidelines from the French scientific societies (II). Biological diagnosis, treatment, persistent symptoms after documented or suspected Lyme borreliosis

In-hospital and midterm out-hospital complications of adults hospitalised with respiratory syncytial virus infection in France, 2017-2019: an observational study

Characteristics of human metapneumovirus infection in adults hospitalized for community-acquired influenza-like illness in France, 2012-2018: a retrospective observational study

Insights from Radio and Plasma Wave Observations During Cassini's Grand Finale

Insights into coupling between saturn and its magnetosphere from radio and plasma wave observations during cassini's grand finale

Analyzing Robustness of Angluin's L$^*$ Algorithm in Presence of Noise

Erratum à « Borréliose de Lyme et autres maladies vectorielles à tiques. Recommandations des sociétés savantes françaises » [Med. Mal. Infect. 49 (2019) 296–317]

The legacy of Cassini RPWS: Radio and plasma wav es at Saturn

Lyme borreliosis and other tick-borne diseases. Guidelines from the French Scientific Societies (I) prevention, epidemiology, diagnosis

Single-cell spatial transcriptome atlas and whole-brain connectivity of the macaque claustrum

Chronic use of inhaled corticosteroids in patients admitted for respiratory virus infections: a 6-year prospective multicenter study

Global spatial risk assessment of sharks under the footprint of fisheries