Order-theoretic, geometric and combinatorial models of intuitionistic S4 proofs
Jean Goubault-Larrecq
,
Eric Goubault
IMLA 1999 - 1st Workshop on Intuitionistic Modal Logics and Applications , Jul 1999, Trento, Italy
Conference papers
hal-03208846v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Gram-type differentiation of bacteria with 2D hollow photonic crystal cavities
R. Therisod
,
M. Tardif
,
P. R. Marcoux
,
E. Picard
,
J.-B. Jager
,
et al.
Journal articles
cea-01988778v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Design methodology for area and energy efficient OxRAM-based non-volatile flip-flop
M. Nataraj
,
A. Levisse
,
B. Giraud
,
J.P. Noel
,
P. Meinerzhagen
,
et al.
Conference papers
hal-01788146v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Contactless four-terminal MEMS Variable Capacitor for Capacitive Adiabatic Logic
Ayrat Galisultanov
,
Yann Perrin
,
Hatem Samaali
,
Hervé Fanet
,
Philippe Basset
,
et al.
Journal articles
hal-01887157v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Adiabatic capacitive logic: A paradigm for low-power logic
Gaël Pillonnet
,
H. Fanet
,
S. Houri
Conference papers
hal-01887199v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
SIMS depth profiling and topography studies of repetitive III–V trenches under low energy oxygen ion beam sputtering
Viktoriia Gorbenko
,
Franck Bassani
,
Alexandre Merkulov
,
Thierry Baron
,
Mickaël Martin
,
et al.
Journal of Vacuum Science & Technology B, Nanotechnology and Microelectronics , 2016, 34 (3), pp.03H131.
⟨10.1116/1.4944632⟩
Journal articles
hal-01881953v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Influence of interfacial adhesion on the mechanical response of magneto‑rheological elastomers at high strain
T Pössinger
,
Christian Bolzmacher
,
Laurence Bodelot
,
Nicolas Triantafyllidis
Journal articles
hal-01230976v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Autonomous Fault-Tolerant Systems onto SRAM-based FPGA Platforms
Cristiana Bolchini
,
Antonio Miele
,
Chiara Sandionigi
Journal articles
istex
cea-01777367v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Adsorption de protéines à une interface eau-air fonctionnalisée
Nicolas Blondiaux
,
Laurent Davoust
,
Jean Berthier
,
Dominique Masse
,
Frédéric Ginot
1er Congrès de Microfluidique, Micro-écoulements liquides et gazeux; phénomènes physiques et applications , Dec 2002, Toulouse, France.
⟨10.1051/lhb/2003078⟩
Conference papers
istex
hal-00203859v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Boron doped diamond biotechnology: from sensors to neurointerfaces
C. Hébert
,
Emmanuel Scorsone
,
A. Bendali
,
R. Kiran
,
M. Cottance
,
et al.
Journal articles
hal-02434404v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
An Efficient Method of Power Spectral Density Estimation for On-Chip IR-UWB Transmitter Self-Calibration
A. Goavec
,
M. Zarudniev
,
R. Vauché
,
F. Hameau
,
Jean Gaubert
,
et al.
Journal articles
hal-01455377v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Internal Structure of InP/ZnS Nanocrystals Unraveled by High-Resolution Soft X-ray Photoelectron Spectroscopy
Kai Huang
,
Renaud Demadrille
,
Mathieu G Silly
,
Fausto Sirotti
,
Peter Reiss
,
et al.
Journal articles
hal-02196246v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Low-power hybrid STT/CMOS system-on-chip embedding Non-Volatile Magnetic Memory blocks
Christophe Layer
,
Kotb Jabeur
,
Stéphane Gros
,
Laurent Becker
,
Pierre Paoli
,
et al.
13th IEEE International New Circuits and Systems Conference (NEWCAS) , Jun 2015, Grenoble, France
Conference papers
hal-02059540v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Cryogenic Subthreshold Swing Saturation in FD-SOI MOSFETs Described With Band Broadening
H. Bohuslavskyi
,
A. G. M. Jansen
,
S. Barraud
,
V. Barral
,
M. Cassé
,
et al.
Journal articles
hal-02121161v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Toward modeling cache-miss ratio for Dense-Data-Access-Based Optimization
Riyane Sid Lakhdar
,
Henri-Pierre Charles
,
Maha Kooli
RSP’19 - 30th International Workshop on Rapid System Prototyping , ACM; IEEE, Oct 2019, New-York, United States.
⟨10.1145/3339985.3358498⟩
Conference papers
cea-02284183v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The STHORM platform
J. Mottin
,
M. Cartron
,
G. Urlini
Smart Multicore Embedded Systems. , 9781461488002, Springer New York, pp.35-43, 2014, 9781461488002; 1461487994; 9781461487999.
⟨10.1007/978-1-4614-8800-2_3⟩
Book sections
cea-01818395v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
MEMS Four-Terminal Variable Capacitor for low power Capacitive Adiabatic Logic with High Logic State Differentiation
Hatem Samaali
,
Y. Perrin
,
A. Galisultanov
,
H. Fanet
,
Gaël Pillonnet
,
et al.
Journal articles
hal-01910144v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Impact of PCM resistance-drift in neuromorphic systems and drift-mitigation strategy
Manan Suri
,
Daniele Garbin
,
Olivier Bichler
,
Damien S Querlioz
,
Dominique Vuillaume
,
et al.
Conference papers
hal-01827058v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
L'estimation du DAS voie montante : le projet DEVIN
Serge Bories
Les cahiers de la Recherche : Santé, Environnement, Travail , 2017, Radiofréquences et santé, 9, pp.18-20
Journal articles
anses-01785203v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Experimental validation of self-focusing image formation for retinal projection display
Vladimir Krotov
,
Christophe Martinez
,
Olivier Haeberle
Journal articles
hal-03615859v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Single-cell bacterium identification with a SOI optical microcavity
M. Tardif
,
J.-B. Jager
,
P.R. Marcoux
,
K. Uchiyamada
,
E. Picard
,
et al.
Journal articles
cea-01988827v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
L'impression 3D polymère appliquée au packaging en microélectronique
Gabrielle Aspar
Science des matériaux [cond-mat.mtrl-sci]. Université Grenoble Alpes, 2019. Français.
⟨NNT : 2019GREAI006⟩
Theses
tel-02148205v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Swarm Absolute Scalar Magnetometers first in-orbit results
Isabelle Fratter
,
Jean-Michel Léger
,
François Bertrand
,
Thomas Jager
,
Gauthier Hulot
,
et al.
Journal articles
insu-03581663v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Green InGaN/GaN based LEDs: high luminance and blue shift
Anis Daami
,
François Olivier
,
Ludovic Dupré
,
Christophe Licitra
,
Franck Henry
,
et al.
Gallium Nitride Materials and Devices XIV , SPIE, Feb 2019, San Francisco, United States. pp.21,
⟨10.1117/12.2509396⟩
Conference papers
cea-02941414v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Générateur de code multi-temps et optimisation de code multi-objectifs
Victor Lomüller
Theses
tel-01551811v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
High density emerging resistive memories: What are the limits?
A. Levisse
,
B. Giraud
,
J.P. Noel
,
M. Moreau
,
Jean-Michel Portal
Conference papers
hal-01788136v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Self-Rectifying Behavior and Analog Switching under Identical Pulses Using Tri-Layer RRAM Crossbar Array for Neuromorphic Systems
Mouhamad Alayan
,
Elisa Vianello
,
Luca Larcher
,
Andrea Padovani
,
Alexandre Levisse
,
et al.
Conference papers
hal-01788143v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Coupled system of PDEs to predict the sensitivity of some materials constituents of FOUP with the AMCs cross-contamination
Nirina Santatriniaina
,
J. Deseure
,
T.Q. Nguyen
,
H. Fontaine
,
C. Beitia
,
et al.
Journal articles
hal-01120231v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Short Circuit Synchronous Electric Charge Extraction (SC-SECE) Strategy for Wideband Vibration Energy Harvesting
Adrien Morel
,
P. Gasnier
,
Y. Wanderoild
,
Gaël Pillonnet
,
A. Badel
2018 IEEE International Symposium on Circuits and Systems (ISCAS) , May 2018, Florence, Italy. pp.1-5
Conference papers
hal-02013371v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Direct Evidence of Lithium Ion Migration in Resistive Switching of Lithium Cobalt Oxide Nanobatteries
van Son Nguyen
,
van Huy Mai
,
Pascale Auban-Senzier
,
Claude R. Pasquier
,
Kang Wang
,
et al.
Journal articles
hal-01799107v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More