Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Titre (en) » - entrée « reduction »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
reductase < reduction < reductions  Facettes :

List of bibliographic references indexed by reduction

Number of relevant bibliographic references: 61.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000139 (2016) Deepak L. Bhatt [États-Unis] ; Marc P. Bonaca [États-Unis] ; Sameer Bansilal [États-Unis] ; Dominick J. Angiolillo [États-Unis] ; Marc Cohen [États-Unis] ; Robert F. Storey [Royaume-Uni] ; Kyungah Im [États-Unis] ; Sabina A. Murphy [États-Unis] ; Peter Held [Suède] ; Eugene Braunwald [États-Unis] ; Marc S. Sabatine [États-Unis] ; Ph Gabriel Steg [France]Reduction in Ischemic Events with Ticagrelor in Diabetic Patients: From the PEGASUS-TIMI 54 Trial.
000142 (2016) Viviana Loria-Kohen [Espagne] ; Isabel Espinosa-Salinas [Espagne] ; Helena Marcos-Pasero [Espagne] ; Thais Lourenço-Nogueira [Royaume-Uni] ; Jesús Herranz [Espagne] ; Susana Molina [Espagne] ; Guillermo Reglero [Espagne] ; Ana Ramirez De Molina [Espagne]Polymorphism in the CLOCK gene may influence the effect of fat intake reduction on weight loss.
000576 (2015-04-19) Thomas Pr Tzlich [Allemagne] ; Rachel Bittner [États-Unis] ; Antoine Liutkus [France] ; Meinard Müller [Allemagne]Kernel additive modeling for interference reduction in multi-channel music recordings
000620 (2015-03) Frédéric Sur [France] ; Michel Grediac [France]On noise reduction in strain maps obtained with the grid method by averaging images affected by vibrations
002033 (2011-10-26) Emmanuel Bresso [France] ; Sidahmed Benabderrahmane [France] ; Malika Smaïl-Tabbone [France] ; Gino Marchetti ; Arnaud Sinan Karaboga ; Michel Souchet [France] ; Amedeo Napoli [France] ; Marie-Dominique Devignes [France]Use of domain knowledge for dimension reduction: application to mining of drug side effects
002206 (2011-07-31) Nishal Shah [France] ; Frédéric Alexandre [France]Reinforcement Learning and Dimensionality Reduction: a model in Computational Neuroscience
002313 (2011-06-13) Aiying Rong ; José Figueira [France] ; Margarida Vaz PatoA Two State Reduction Based Dynamic Programming Algorithm for the Bi-Objective 0-1 Knapsack Problem
002403 (2011-04) Ifiok Udo [Nigeria] ; Babajide Afolabi [Nigeria]Hybrid Data Reduction Technique for Classification of Transaction Data
002984 (2010-10-27) Maha Idrissi Aouad [France] ; Lhassane Idoumghar [France] ; René Schott [France] ; Olivier Zendra [France]Reduction of Energy Consumption in Embedded Systems: A Hybrid Evolutionary Algorithm
002A70 (2010-09-20) Cristian Rosa [France] ; Stephan Merz [France] ; Martin Quinson [France]A Simple Model of Communication APIs ­ - Application to Dynamic Partial-order Reduction
003123 (2010) Jérémie Detrey [France] ; Guillaume Hanrot [France] ; Xavier Pujol [France] ; Damien Stehlé [Australie, France]Accelerating Lattice Reduction with FPGAs
003522 (2009-06-27) Jean-François Couchot [France] ; Alain Giorgetti [France] ; Nicolas Stouls [France]Graph Based Reduction of Program Verification Conditions
003975 (2009) Hanne Gottliebsen [Danemark] ; Kristoffer H. RoseConverting between Combinatory Reduction Systems and Big Step Semantics
003A25 (2009) Mouna Chaouch-Saad [Tunisie] ; Bernadette Charron-Bost [France] ; Stephan Merz [France]A Reduction Theorem for the Verification of Round-Based Distributed Algorithms
003A30 (2009) Steffen Van Bakel [Royaume-Uni] ; Maria Grazia Vigliotti [Royaume-Uni]A Logical Interpretation of the λ -Calculus into the π -Calculus, Preserving Spine Reduction and Types
004303 (2008) Kentaro Kikuchi [Japon] ; Stéphane Lengrand [France]Strong Normalisation of Cut-Elimination That Simulates β -Reduction
004563 (2008) Jean-François Couchot [France] ; Alain Giorgetti [France] ; Nicolas Stouls [France]Graph-based Reduction of Program Verification Conditions
004913 (2007-06) Isabelle Gnaedig [France] ; Hélène Kirchner [France]Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations
004B67 (2007) Clara Bertolissi [France] ; Claude Kirchner [France]The Rewriting Calculus as a Combinatory Reduction System
004C20 (2007) Isabelle Gnaedig ; Hélène KirchnerNarrowing, Abstraction and Constraints for Proving Properties of Reduction Relations
004C34 (2007) Nancy R. Cook [États-Unis] ; Jeffrey A. Cutler [États-Unis] ; Eva Obarzanek [États-Unis] ; Julie E. Buring [États-Unis] ; Kathryn M. Rexrode [États-Unis] ; Shiriki K. Kumanyika [États-Unis] ; Lawrence J. Appel [États-Unis] ; Paul K. Whelton [États-Unis]Long term effects of dietary sodium reduction on cardiovascular disease outcomes: observational follow-up of the trials of hypertension prevention (TOHP)

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i -k "reduction" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "reduction" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Title.i
   |clé=    reduction
}}

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022