Search - Université de Rennes Access content directly

Filter your results

140 Results
Structure: Internal structure identifier : 300821

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 of the American College of Cardiology, 2016, 67 (3), pp.343-344. ⟨10.1016/j.jacc.2015.10.061⟩
Journal articles hal-03655298v1

Computing How-provenance for SPARQL queries via Query Rewriting

Luis Galárraga , Daniel Hernández , Katja Hose
Proceedings of the VLDB Endowment (PVLDB), 2021, 14 (13), pp.3389-3401. ⟨10.14778/3484224.3484235⟩
Journal articles hal-03500656v1

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.
EP-Europace, 2019, 21 (7), pp.1013-1022. ⟨10.1093/europace/euz032⟩
Journal articles hal-03655966v1
Image document

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
Sensors, 2019, 19 (3), pp.481. ⟨10.3390/s19030481⟩
Journal articles hal-02057287v1
Image document

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
Image document

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.
Insects, 2021, 12 (5), pp.380. ⟨10.3390/insects12050380⟩
Journal articles hal-03222804v1
Image document

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
Image document

Nonlinear approximation with dictionaries. II. Inverse estimates

Rémi Gribonval , Morten Nielsen
Constructive Approximation, 2006, 24 (2), pp.157--173. ⟨10.1007/s00365-005-0621-x⟩
Journal articles inria-00544906v1
Image document

On approximation with spline generated framelets

Rémi Gribonval , Morten Nielsen
Constructive Approximation, 2004, 20 (2), pp.207--232. ⟨10.1007/s00365-003-0532-7⟩
Journal articles inria-00567338v1
Image document

On a problem of Gröchenig about nonlinear approximation with localized frames

Rémi Gribonval , Morten Nielsen
Journal of Fourier Analysis and Applications, 2004, 10 (4), pp.433--437. ⟨10.1007/s00041-004-3072-z⟩
Journal articles istex inria-00567340v1
Image document

Optimizing the Resource Requirements of Hierarchical Scheduling Systems

Jin Hyun Kim , Axel Legay , Louis-Marie Traonouez , Abdeldjalil Boudjadar , Ulrik Nyman et al.
ACM SIGBED Review, 2016, 13 (3), pp.41-48. ⟨10.1145/2983185.2983192⟩
Journal articles hal-01406459v1
Image document

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 on Multimodal User Interfaces, 2013, pp.1-10. ⟨10.1007/s12193-013-0138-8⟩
Journal articles hal-00908149v1

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.
2012 Design, Automation & Test in Europe Conference & Exhibition, Mar 2012, Dresde, Germany. pp.370-375, ⟨10.1109/DATE.2012.6176499⟩
Conference papers hal-00878117v1
Image document

Quantitative Refinement for Weighted Modal Transition Systems

Claus Thrane , Sebastian S. Bauer , Uli Fahrenberg , Kim Guldstrand Larsen , Line Juhl et al.
MFCS, Aug 2011, Warszawa, Poland. pp.60 - 71, ⟨10.1007/978-3-642-22993-0_9⟩
Conference papers hal-01088046v1
Image document

Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems

Uli Fahrenberg , Kim Guldstrand Larsen , Axel Legay
ICTAC, Aug 2013, Shanghai, China. pp.67 - 108, ⟨10.1007/978-3-642-39721-9_2⟩
Conference papers hal-01087927v1
Image document

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
Image document

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

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
Image document

Beyond sparsity : recovering structured representations by $\ell^1$-minimization and greedy algorithms.

Rémi Gribonval , Morten Nielsen
Advances in Computational Mathematics, 2008, 28 (1), pp.23--41. ⟨10.1007/s10444-005-9009-5⟩
Journal articles inria-00544767v1
Image document

Sparse representations in unions of bases

Rémi Gribonval , Morten Nielsen
IEEE Transactions on Information Theory, 2003, 49 (12), pp.3320--3325. ⟨10.1109/TIT.2003.820031⟩
Journal articles inria-00570057v1
Image document

Sparse Decompositions in ``incoherent'' dictionaries

Rémi Gribonval , Morten Nielsen
Proc. IEEE Intl. Conf. Image Proc. (ICIP'03), Sep 2003, Barcelona, Spain. pp.I-33 -- I-36, ⟨10.1109/ICIP.2003.1246891⟩
Conference papers inria-00570099v1
Image document

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
Image document

Adaptive estimating function inference for non-stationary determinantal point processes

Frédéric Lavancier , Arnaud Poinas , Rasmus Waagepetersen
Scandinavian Journal of Statistics, 2021, 48 (1), pp.87-107. ⟨10.1111/sjos.12440⟩
Journal articles hal-01816528v1
Image document

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
Image document

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
Image document

Robust Synthesis for Real Time Systems

Kim Guldstrand Larsen , Axel Legay , Louis-Marie Traonouez , Andrzej Wąsowski
Theoretical Computer Science, 2014, 515, pp.96 - 122. ⟨10.1016/j.tcs.2013.08.015⟩
Journal articles hal-01087778v1

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.
Wireless Networks, 2016, 22 (2), pp.599-618. ⟨10.1007/s11276-015-0986-0⟩
Journal articles hal-01240763v1

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.
The Lancet, 2015, 386 (10009), pp.2145-91. ⟨10.1016/S0140-6736(15)61340-X⟩
Journal articles hal-01262808v1

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.
PLoS Genetics, 2015, 11 (10), pp.e1005378. ⟨10.1371/journal.pgen.1005378⟩
Journal articles hal-01218025v1
Image document

Approximation spaces of deep neural networks

Rémi Gribonval , Gitta Kutyniok , Morten Nielsen , Felix Voigtlaender
Constructive Approximation, 2021, special issue on "Deep Networks in Approximation Theory", ⟨10.1007/s00365-021-09543-4⟩
Journal articles hal-02117139v3