CHA2DS2-VASc Score for Predicting Stroke and Thromboembolism in Patients With AF and Biological Valve Prosthesis
Raphael Philippart
,
Anne Brunet-Bernard
,
Nicolas Clementy
,
Thierry Bourguignon
,
Alain Mirza
et al.
Journal articles
hal-03655298v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Computing How-provenance for SPARQL queries via Query Rewriting
Luis Galárraga
,
Daniel Hernández
,
Katja Hose
Journal articles
hal-03500656v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Association between antithrombotic treatment and outcomes at 1-year follow-up in patients with atrial fibrillation: the EORP-AF General Long-Term Registry
Cyril Zakine
,
Rodrigue Garcia
,
Kumar Narayanan
,
Estelle Gandjbakhch
,
Vincent Algalarrondo
et al.
Journal articles
hal-03655966v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Integrated Management of Energy, Wellbeing and Health in the Next Generation of Smart Homes
Saad Jaouhari
,
Emilio Jose Palacios-Garcia
,
Amjad M Anvari-Moghaddam
,
Ahmed Bouabdallah
Journal articles
hal-02057287v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Quantitative Evaluation of Attack Defense Trees using Stochastic Timed Automata
Peter Gjøl Jensen
,
Kim G. Larsen
,
Axel Legay
,
Danny Bøgsted Poulsen
GraMSec 2017 - The Fourth International Workshop on Graphical Models for Security , Aug 2017, Santa Barbara United States
Conference papers
hal-01640091v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Contrasting Manual and Automated Assessment of Thermal Stress Responses and Larval Body Size in Black Soldier Flies and Houseflies
Stine Frey Laursen
,
Laura Skrubbeltrang Hansen
,
Simon Bahrndorff
,
Hanne Marie Nielsen
,
Natasja Krog Noer
et al.
Journal articles
hal-03222804v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Contracts for System Design
Albert Benveniste
,
Benoit Caillaud
,
Dejan Nickovic
,
Roberto Passerone
,
Jean-Baptiste Raclet
et al.
[Research Report] RR-8147, INRIA. 2012, pp.65
Reports
hal-00757488v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Nonlinear approximation with dictionaries. II. Inverse estimates
Rémi Gribonval
,
Morten Nielsen
Journal articles
inria-00544906v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
On approximation with spline generated framelets
Rémi Gribonval
,
Morten Nielsen
Journal articles
inria-00567338v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
On a problem of Gröchenig about nonlinear approximation with localized frames
Rémi Gribonval
,
Morten Nielsen
Journal articles
istex
inria-00567340v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Optimizing the Resource Requirements of Hierarchical Scheduling Systems
Jin Hyun Kim
,
Axel Legay
,
Louis-Marie Traonouez
,
Abdeldjalil Boudjadar
,
Ulrik Nyman
et al.
Journal articles
hal-01406459v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Designing and Evaluating a Workstation in Real and Virtual Environment: Toward Virtual Reality Based Ergonomic Design Sessions
Charles Pontonnier
,
Georges Dumont
,
Afshin Samani
,
Pascal Madeleine
,
Marwan Badawi
et al.
Journal articles
hal-00908149v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems
Marius Bozga
,
Alexandre David
,
Arnd Hartmanns
,
Holger Hermanns
,
Kim Guldstrand Larsen
et al.
Conference papers
hal-00878117v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Quantitative Refinement for Weighted Modal Transition Systems
Claus Thrane
,
Sebastian S. Bauer
,
Uli Fahrenberg
,
Kim Guldstrand Larsen
,
Line Juhl
et al.
Conference papers
hal-01088046v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems
Uli Fahrenberg
,
Kim Guldstrand Larsen
,
Axel Legay
Conference papers
hal-01087927v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Robust Specification of Real Time Components
Kim Guldstrand Larsen
,
Axel Legay
,
Louis-Marie Traonouez
,
Andrzej Wasowski
9th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2011) , Sep 2011, Aalborg, Denmark. pp.129 - 144,
⟨10.1007/978-3-642-24310-3_10⟩
Conference papers
hal-01088002v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Infinite Runs in Weighted Timed Automata with Energy Constraints
Patricia Bouyer
,
Uli Fahrenberg
,
Kim Guldstrand Larsen
,
Nicolas Markey
,
Jiří Srba
et al.
Proceedings of the 6th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'08) , 2008, Saint-Malo, France. pp.33-47,
⟨10.1007/978-3-540-85778-5_4⟩
Conference papers
hal-01194594v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Designing and Evaluating a Workstation in Real and Virtual environment: from Digital Mock-up to Realization
Charles Pontonnier
,
Georges Dumont
,
Afshin Samani
,
Pascal Madeleine
,
Marwan Badawi
et al.
3rd IEEE International Conference on Cognitive Infocommunications (CogInfoCom 2012) , Dec 2012, Kosice, Slovakia
Conference papers
hal-00762798v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Beyond sparsity : recovering structured representations by $\ell^1$-minimization and greedy algorithms.
Rémi Gribonval
,
Morten Nielsen
Journal articles
inria-00544767v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Sparse representations in unions of bases
Rémi Gribonval
,
Morten Nielsen
Journal articles
inria-00570057v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Sparse Decompositions in ``incoherent'' dictionaries
Rémi Gribonval
,
Morten Nielsen
Conference papers
inria-00570099v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Importance Sampling for Stochastic Timed Automata
Cyrille Jegourel
,
Kim Guldstrand Larsen
,
Axel Legay
,
Marius Mikučionis
,
Danny Bøgsted Poulsen
et al.
Dependable Software Engineering: Theories, Tools, and Applications , Nov 2016, Beijing, China
Conference papers
hal-01387293v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Adaptive estimating function inference for non-stationary determinantal point processes
Frédéric Lavancier
,
Arnaud Poinas
,
Rasmus Waagepetersen
Journal articles
hal-01816528v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Using a Cocontraction Ratio to Predict Antagonistic Behavior During Elbow Motion
Charles Pontonnier
,
Georges Dumont
International Society of Biomechanics 2011 Congress , Jul 2011, Brussels, Belgium
Conference papers
hal-00640207v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Refinement and Difference for Probabilistic Automata
Benoît Delahaye
,
Uli Fahrenberg
,
Kim Guldstrand Larsen
,
Axel Legay
QEST 2013 - 10th International Conference Quantitative Evaluation of Systems , Aug 2013, Buenos Aires, Argentina. pp.22 - 38,
⟨10.1007/978-3-642-40196-1_3⟩
Conference papers
hal-01087931v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Robust Synthesis for Real Time Systems
Kim Guldstrand Larsen
,
Axel Legay
,
Louis-Marie Traonouez
,
Andrzej Wąsowski
Journal articles
hal-01087778v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Location-quality-aware policy optimisation for relay selection in mobile networks
Jimmy Jessen Nielsen
,
Rasmus Løvenstein Olsen
,
Tatiana K. Madsen
,
Bernard Uguen
,
Hans-Peter Schwefel
et al.
Journal articles
hal-01240763v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Global, regional, and national disability-adjusted life years (DALYs) for 306 diseases and injuries and healthy life expectancy (HALE) for 188 countries, 1990-2013: quantifying the epidemiological transition.
Christopher J L Murray
,
Ryan M Barber
,
Kyle J Foreman
,
Ayse Abbasoglu Ozgoren
,
Foad Abd-Allah
et al.
Journal articles
hal-01262808v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The Influence of Age and Sex on Genetic Associations with Adult Body Size and Shape: A Large-Scale Genome-Wide Interaction Study.
Thomas W Winkler
,
Anne E Justice
,
Mariaelisa Graff
,
Llilda Barata
,
Mary F Feitosa
et al.
Journal articles
hal-01218025v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Approximation spaces of deep neural networks
Rémi Gribonval
,
Gitta Kutyniok
,
Morten Nielsen
,
Felix Voigtlaender
Journal articles
hal-02117139v3
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More