Narcissus: correct-by-construction derivation of decoders and encoders from binary formats by Pit-Claudel, Clement Francois, Chlipala, Adam

Get full text

New pricing models for generic medicines to ensure long-term sustainable competition in Europe by Clement Francois, Clement Francois, Gabriela Gawlik, Jorge Mestre-Ferrandiz, Adrian Pana, Julian Perelman, John Yfantopoulos, Steven Simoens

Get full text

Use of Patient Preference Information in Benefit–Risk Assessment, Health Technology Assessment, and Pricing and Reimbursement Decisions: A Systematic Literature Review of Attempts... by Lylia Chachoua, Monique Dabbous, Clément François, Clément François, Claude Dussart, Samuel Aballéa, Samuel Aballéa, Mondher Toumi, Mondher Toumi

Get full text

President Trump’s prescription to reduce drug prices: from the campaign trail to American Patients First by Monique Dabbous, Clément François, Lylia Chachoua, Mondher Toumi

Get full text

Prevalence of hepatitis C infection among the general population and high-risk groups in the EU/EEA: a systematic review update by Ru Han, Junwen Zhou, Clément François, Mondher Toumi

Get full text

Challenges and new perspectives of developmental cognitive EEG studies by Estelle Hervé, Giovanni Mento, Béatrice Desnous, Clément François

Get full text

Faster sound stream segmentation in musicians than in nonmusicians. by Clément François, Florent Jaillet, Sylvain Takerkart, Daniele Schön

Get full text

From investigational product to active reference: evolution of oral sumatriptan efficacy versus placebo for the treatment of acute migraine episodes and potential impact in compara... by Katia Thokagevistk, Clément François, Mélanie Brignone, Mondher Toumi

Get full text

Systematic review of utility values used in the pharmacoeconomic evaluations for schizophrenia: implications on cost-effectiveness results by Junwen Zhou, Aurélie Millier, Clément François, Samuel Aballéa, Mondher Toumi

Get full text

The essence of Bluespec: a core language for rule-based hardware design by Bourgeat, Thomas, Pit-Claudel, Clement Francois, Chlipala, Adam, Arvind, Arvind

Get full text

Oscillatory activity and EEG phase synchrony of concurrent word segmentation and meaning-mapping in 9-year-old children by Neus Ramos-Escobar, Emma Segura, Guillem Olivé, Antoni Rodriguez-Fornells, Clément François

Get full text

Allocating treatment resources for hepatitis C in the UK: a constrained optimization modelling approach by Ru Han, Shuyao Liang, Clément François, Samuel Aballea, Emilie Clay, Mondher Toumi

Get full text

Correction: Using the Goal Attainment Scale adapted for depression to better understand treatment outcomes in patients with major depressive disorder switching to vortioxetine: a p... by Maggie McCue, Sara Sarkey, Anna Eramo, Clement François, Sagar V. Parikh

Get full text

Metrical presentation boosts implicit learning of artificial grammar. by Tatiana Selchenkova, Clément François, Daniele Schön, Alexandra Corneyllie, Fabien Perrin, Barbara Tillmann

Get full text

Extensible Extraction of Efficient Imperative Programs with Foreign Functions, Manually Managed Memory, and Proofs by Pit-Claudel, Clement Francois, Wang, Peng, Delaware, Benjamin, Gross, Jason S., Chlipala, Adam

Get full text

The Effects of as-Needed Nalmefene on Patient-Reported Outcomes and Quality of Life in Relation to a Reduction in Alcohol Consumption in Alcohol-Dependent Patients. by Clément François, Nora Rahhali, Ylana Chalem, Per Sørensen, Amandine Luquiens, Henri-Jean Aubin

Get full text

Music Training Positively Influences the Preattentive Perception of Voice Onset Time in Children with Dyslexia: A Longitudinal Study by Aline Frey, Clément François, Julie Chobert, Jean-Luc Velay, Michel Habib, Mireille Besson

Get full text

Psychometric validation of a patient-reported single-item assessment of ‘Good Day Bad Day’ in a neurogenic orthostatic hypotension population treated with droxidopa by Clément François, Nicola Germain, Renata Majewska, Vanessa Taieb, L. Arthur Hewitt, Steven Kymes

Get full text

Rapid literature review: definition and methodology by Beata Smela, Mondher Toumi, Karolina Świerk, Clement Francois, Małgorzata Biernikiewicz, Emilie Clay, Laurent Boyer

Get full text

The interplay between domain-general and domain-specific mechanisms during the time-course of verbal associative learning: An event-related potential study by Neus Ramos-Escobar, Matti Laine, Mariana Sanseverino-Dillenburg, David Cucurell, Clément François, Antoni Rodriguez-Fornells

Get full text