Axiomatization and completeness of lexicographic products of modal logics
Philippe Balbiani
[Rapport de recherche] IRIT--2009, IRIT : Institut de Recherche en Informatique de Toulouse. 2009
Rapport
hal-03997685v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Boolean Logics with Relations (RelMiCS 2008)
Philippe Balbiani
,
Tinko Tinchev
10th International Conference on Relational Methods in Computer Science (RelMiCS 2008) , Apr 2008, Frauenwörth, Germany. pp.4-21,
⟨10.1007/978-3-540-78913-0_3⟩
Communication dans un congrès
istex
hal-03999372v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
L’innovation patrimoniale alimentaire : analyse d’un processus au service des territoires
Jacinthe Bessière
Bessière J. Innovation et patrimoine alimentaire en espace rural , QUAE, pp.35-48, 2012, Update Sciences & technologies, 978-2-7592-1873-8
Chapitre d'ouvrage
hal-03999539v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Controller/orchestrator synthesis via filtration
Philippe Balbiani
,
Fahima Cheikh
,
Guillaume Feuillade
Communication dans un congrès
hal-03994854v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Les matériaux organiques en électronique de puissance
Marie-Laure Locatelli
,
Sombel Diaham
,
Thierry Lebey
Journées thématiques de la section électrotechnique du Club EEA, Limoges, France , 2008, Limoges, France
Communication dans un congrès
hal-03989427v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Modelling of water plasma : study of the departure from radiative and thermal equilibrium
R. Riahi
,
Philippe Teulet
,
Z. Ben Lakhdar
ISC07: International Spectroscopy Conference, Sousse, TUNISIA , 2007, Sousse, Tunisia
Communication dans un congrès
hal-03989075v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Fault-Tolerant Power Supply for Embedded Electric Drives
Hubert Piquet
,
Frédéric Richardeau
,
Guillaume Gateau
,
Jérôme Mavier
,
L. Prissé
,
et al.
Workshop on power supply and energy management for defence applications, Agence européenne de la défense, Bruxelles, Belgium , 2007, Bruxelles, Belgium
Communication dans un congrès
hal-03987636v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Spectroscopy of Polycyclic Aromatic Hydrocarbons and Very Small Grains in Photodissociation Regions
M. Rapacioli
,
C. Joblin
,
P. Boissel
Astronomy and Astrophysics - A&A , 2005, 429, pp.193
Article dans une revue
hal-00013411v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
An ISOCAM survey through gravitationally lensing galaxy clusters. IV. Luminous infrared galaxies in Cl 0024+1654 and the dynamical status of clusters
D. Coia
,
L. Metcalfe
,
B. Mcbreen
,
A. Biviano
,
B. Altieri
,
et al.
Article dans une revue
hal-00013774v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Conception robuste d'une chaine éolienne passive
Bruno Sareni
,
Xavier Roboam
,
Duc Hoan Tran
Journée GDR SEEDS sur la prise en compte des incertitudes dans les modèles du génie électrique, 10 mai 2012, Cachan, France , 2012, Cachan, France
Communication dans un congrès
hal-03988439v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Etude sur la perception de la médecine du travail par ses utilisateurs
Christophe Serra-Mallol
Christophe Serra-Mallol CSM Consulting. 2010
Rapport
hal-04186340v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Professionnalisation de l’enseignement supérieur et sélection des publics : les faux-semblants de la démocratisation
Philippe Lemistre
,
Prisca Kergoat
Économies et sociétés. Série AB, Économie du travail , 2014, XLVIII (9), pp.1405-1438
Article dans une revue
hal-04185482v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Mechanical behaviour of a two-phase material from the behaviour of its components: Interface modelling by finite element method
Lise Durand
,
Mohammed Massaoudi
,
Martiane Cabié
,
Anne Ponchet
Article dans une revue
istex
hal-04175632v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Vivre en communauté traditionnelle à Rapa. Analyser et mesurer la qualité de vie en situation d’isolat
Christophe Serra-Mallol
Agence Nationale de la Recherche (ANR). 2012
Rapport
hal-04177331v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Autistic social communication symptoms in children with Developmental Coordination Disorder: a comparative study
Jeanne Kruck
,
Bernadette Rogé
Developmental coordination disorder and other neurodevelopmental disorders: a focus on comorbidity , 11th International Conference on Developmental Coordination Disorder (DCD11), Jul 2015, Toulouse, France
Communication dans un congrès
hal-04182900v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Adaptation française de l’ADOS : Echelle d’observation pour le diagnostic de l’autisme
Bernadette Rogé
,
Eric Fombonne
,
Jeanne Fremolle-Kruck
,
Evelyne Arti
Hogrefe, 2011
Ouvrages
hal-04182840v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Field-induced spin density wave in (TMTSF)2NO3
David Vignolles
,
Alain Audouard
,
Marc Nardone
,
L. Brossard
,
S. Bouguessa
,
et al.
Physical Review B: Condensed Matter and Materials Physics (1998-2015) , 2005, 71, pp.020404
Article dans une revue
hal-00015941v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Magneto-electric anisotropy in diffusive transport
Rikken G.L.J.A.
,
P. Wyder
Physical Review Letters , 2005, 94, pp.016601
Article dans une revue
hal-00015958v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Cellular disorders induced by high magnetic fields
L. Peris
,
Rikken G.L.J.A.
,
A. Schweitzer
,
Chantal Remy
,
D. Job
Journal of Magnetic Resonance Imaging , 2005, 22, pp.334
Article dans une revue
hal-00015959v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Magnetoresistivity in MgB2 as a probe of the transport in σ and π bands
I. Pallecchi
,
V. Ferrando
,
E. Galleani d'Agliano
,
D. Marr‚
,
M. Monni
,
et al.
Physical Review B: Condensed Matter and Materials Physics (1998-2015) , 2005, 0, pp.0
Article dans une revue
hal-00015965v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Zeeman effect in superconducting two-leg ladders: irrational magnetization plateaus and exceeding the Pauli limit
Guillaume Roux
,
S. R. White
,
Sylvain Capponi
,
Didier Poilblanc
Article dans une revue
hal-00015119v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Pathogeny of archaic Mycrobacteria at the emergence of urban life in Egypt (3400 BC).
Luc Legal
Infection, Genetics and Evolution , 2006, 6 (1), pp.13-21
Article dans une revue
hal-00018164v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Transgenic grapevine rootstock clones expressing the coat protein or movement protein genes of grapevine fanleaf virus: Characterization and reaction to virus infection upon protoplast electroporation
Laure Valat
,
Marc Fuchs
,
Monique Burrus
Plant Science , 2006, 170 (4), pp.739-747
Article dans une revue
hal-00103767v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Evolution stratégique et mutation de la chimie. Priorité à l'innovation.
Armand Lattes
La Journée de l'Industrie, U.I.C. , Oct 2005, La Mazière, France
Communication dans un congrès
hal-00103785v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
La chimie au quotidien
Armand Lattes
Ecole Supérieure d'Agriculture de Purpan , Jun 2005, Toulouse, France
Communication dans un congrès
hal-00103883v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Amino acids, indoles amines and peptides analysis in microdyalisate samples : some new attempts using Laser Induced Fluorescence (LIF) Detection.
François Couderc
Séminaire Agilent Technologies - MSB 2005 (HPCE 2005) , Feb 2005, New Orléans, United States
Communication dans un congrès
hal-00103924v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Effects of plant protease inhibitor Oryzacystatin I and soybean Bowman-Birk inhibitor on the aphid Macrosiphum euphorbiae (homoptera, Aphididae) and its parasitoid Aphelinus abdominalis (Hymenoptera, Aphelinidae).
Erick Campan
Journal of Insect Physiology , 2005, 51, pp.75-86
Article dans une revue
hal-00017297v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Du temps de travail des cadres aux cadres du temps de travail : les représentations des trente cinq heures
Jens Thoemmes
,
Michel Escarboutel
Relations au travail, relations de travail, 10èmes Journées de Sociologie du Travail, 24-25 novembre 2005 , Nov 2005, Rouen, France. pp.316-340
Communication dans un congrès
hal-00101842v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Inelastic spectroscopy identification of STM-induced benzene dehydrogenation
M.-L. Bocquet
,
H. Lesnard
,
Nicolas Lorente
Article dans une revue
hal-00102438v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Towards an axiomatization of the theory of higher categories
B. Toen
K-Theory , 2005, 34, pp.233-263
Article dans une revue
hal-00022951v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More