Results 241 to 250 of about 221,743 (312)

Model checking to assess T-helper cell plasticity. [PDF]

Front Bioeng Biotechnol, 2014
Abou-Jaoudé W, Monteiro PT, Naldi A, Grandclaudon M, Soumelis V, Chaouiya C, Thieffry D.   +6 more
europepmc   +1 more source

Printed Integrated Logic Circuits Based on Chitosan‐Gated Organic Transistors for Future Edible Systems

Advanced Functional Materials, EarlyView.
Edible electronics needs integrated logic circuits for computation and control. This work presents a potentially edible printed chitosan‐gated transistor with a design optimized for integration in circuits. Its implementation in integrated logic gates and circuits operating at low voltage (0.7 V) is demonstrated, as well as the compatibility with an ...
Giulia Coco, Valerio Francesco Annese, Valerio Galli, Ilaria Penna, Debora Russo, Marina Veronesi, Rita Scarpelli, Stefania Sabella, Mario Caironi   +8 more
wiley   +1 more source

Approximating Attractors of Boolean Networks by Iterative CTL Model Checking. [PDF]

Front Bioeng Biotechnol, 2015
Klarner H, Siebert H.
europepmc   +1 more source

Slight Truncation Changes in Iron Oxide Nanocubes Strongly Affect Their Magnetic Properties

Advanced Functional Materials, EarlyView.
Subtle variations in nanoparticle morphology can lead to significant changes in functional properties. An automated shape‐fitting method captures minor differences in corner truncation between iron oxide nanocubes of similar sizes synthesized under identical conditions, revealing pronounced disparities in their magnetic and hyperthermia behavior ...
Kingsley Poon, Raúl López‐Martín, Verner Håkonsen, Nader Yaacoub, Francisco J. Terán, Alberto López Ortega, Jose A. De Toro, Gurvinder Singh   +7 more
wiley   +1 more source

Automated parameter estimation for biological models using Bayesian statistical model checking. [PDF]

BMC Bioinformatics, 2015
Hussain F, Langmead CJ, Mi Q, Dutta-Moscato J, Vodovotz Y, Jha SK.   +5 more
europepmc   +1 more source

Achieving High ON State Current through Ferroelectric Polarization‐Dependent Interfacial Resistance Switching in Undoped Orthorhombic HfO2 Films

Advanced Functional Materials, EarlyView.
Ferroelectric tunnel junction devices based on epitaxial undoped ferroelectric HfO2 films demonstrate stable switching endurance of over 106 switching cycles, low write voltages of ±3 V, 16 measured resistance states, and neuromorphic capability.
Markus Hellenbrand, Nuno Estrócio, Ji S. Kim, Babak Bakhit, Marian C. Istrate, Corneliu Ghica, Tiago Rebelo, Nives Strkalj, Abin Varghese, Bernardo Almeida, Luís S. Marques, Bipin Rajendran, Judith L. MacManus‐Driscoll, José P. B. Silva   +13 more
wiley   +1 more source

Engineering Intelligent Graphene Oxide‐Cellulose Membranes: Suppressing Thermal Runaway for a Safer Aqueous Zinc‐Ion Batteries

Advanced Functional Materials, EarlyView.
A novel thermos‐responsive hydroxypropyl cellulose/graphene oxide (HPC/GO) composite membrane is fabricated for reversible temperature‐gated ion transport in aqueous zinc‐ion batteries. Enabled by LCST‐driven structural transition, unimpeded ion diffusion at room temperature delivers high capacity, while elevated temperature suppresses transport; full ...
Xueli Bi, Kou Yang, Shushen Zheng, Juncheng Wang, Meng Li, Zhenzhen Wu, Yulin Zhong, Daria V. Andreeva, Kostya S. Novoselov, Shanqing Zhang   +9 more
wiley   +1 more source

Solution‐Processed Two‐Dimensional Indium Oxide on Sodium‐Embedded Alumina for Reconfigurable Optoelectronic Synaptic Transistors

Advanced Functional Materials, EarlyView.
Wafer‐scale two‐dimensioanl In2Se3 oxidized into InOx on sodium‐embedded beta‐alumina enables multifunctional reconfigurable electronics. Sodium ions accumulate within distinct spatial distribution under drain‐controlle and gate‐controlled operation. Drain‐control operation gives controllability of ultraviolet‐driven optoelectronic synaptic conductance
Jinhong Min, Yonghyun Albert Kwon, Hyunbin Kim, Jihyun Kim, Myeongjin Jung, Jaewon Heo, Gwang Ya Kim, Vlastimil Mazanek, Zdeněk Sofer, In Soo Kim, Jeong Ho Cho, Hyesung Park, Sang Min Won, Joohoon Kang   +13 more
wiley   +1 more source

Model Checking Parameterized Systems

, 2018
Parosh Aziz Abdulla, Muralidhar Talupur, Sistla, A. Prasad, Abdulla, Parosh Aziz,, Talupur, Muralidhar, A. Prasad Sistla   +5 more
core   +1 more source