Results 191 to 200 of about 230,174 (255)

Model checking in multiple imputation: an overview and case study. [PDF]

Emerg Themes Epidemiol, 2017
Nguyen CD, Carlin JB, Lee KJ.
europepmc   +1 more source

An All‐Optical Driven Bio‐Photovoltaic Interface for Active Control of Live Cells

Advanced Functional Materials, EarlyView.
Bio‐photovoltaic Interface (BIO‐PV‐I) for live cell manipulation is presented. BIO‐PV‐I can be activated non‐invasively and remotely to control the spatial motility, adhesion, and morphology of cells adhering to it. BIO‐PV‐I uses a patterned light‐induced electric potential in iron‐doped lithium niobate crystals whose light‐driven and reversible nature,
Lisa Miccio, Martina Mugnano, Valentina Marchesano, Alejandro Calabuig, Zhe Wang, Gennaro Giordano, Francesca Borrelli, Simonetta Grilli, Pietro Ferraro   +8 more
wiley   +1 more source

Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checking. [PDF]

BMC Bioinformatics, 2019
Gilbert D, Heiner M, Ghanbar L, Chodak J.   +3 more
europepmc   +1 more source

Spectrally Tunable 2D Material‐Based Infrared Photodetectors for Intelligent Optoelectronics

Advanced Functional Materials, EarlyView.
Intelligent optoelectronics through spectral engineering of 2D material‐based infrared photodetectors. Abstract The evolution of intelligent optoelectronic systems is driven by artificial intelligence (AI). However, their practical realization hinges on the ability to dynamically capture and process optical signals across a broad infrared (IR) spectrum.
Junheon Ha, Yingshan Ma, Yong Nam An, Sung‐Un An, Hyeon Hak Jung, Suvi‐Tuuli Varjamo, Jiwon Yoo, Junho Min, Hanvit Kim, Faisal Ahmed, Sang Hoon Chae, Young Min Song, Weiwei Cai, Tawfique Hasan, Zhipei Sun, Dong‐Ho Kang, Hyeon‐Jin Shin, Yunyun Dai, Hoon Hahn Yoon   +18 more
wiley   +1 more source

Physical-Model-Checking to Detect Switching-Related Attacks in Power Systems. [PDF]

Sensors (Basel), 2018
El Hariri M, Faddel S, Mohammed O.
europepmc   +1 more source

Selective Charge Injection via Topological van der Waals Contacts for Barrier‐Free p‐Type TMD Transistors

Advanced Functional Materials, EarlyView.
 Topological van der Waals contacts represent a new class of electrodes for 2D semiconductors, enabling precise control of the Schottky barrier height (SBH) and contact resistance (RC) through interlayer distance and orbital hybridization engineering. In Se‐based transition metal dichalcogenides, these contacts achieve an ultralow SBH of 7 meV, RC of 0.
Soheil Ghods, Ho‐Chan Jang, Jun‐Hui Choi, Min Woo Kim, Hyunjin Lee, Tae‐Hoon Kim, Keun Heo, Hyung Jun Kwun, Taehun Lee, Yoon Kyeung Lee, Sang Hoon Lee, Seung‐Il Kim, Woonhyuk Baek, Sukang Bae, Ji‐Yun Moon, Jae‐Hyun Lee   +15 more
wiley   +1 more source

Model Checking Temporal Logic Formulas Using Sticker Automata. [PDF]

Biomed Res Int, 2017
Zhu W, Feng C, Wu H.
europepmc   +1 more source

Adaptive 4D‐Printed Vascular Stents With Low‐Temperature‐Activated and Intelligent Deployment

Advanced Functional Materials, EarlyView.
Microarchitected coronary artery stents were fabricated using a polycaprolactone (PCL)‐based shape memory polymer (SMP) composite via projection micro‐stereolithography (PµSL) 4D printing. By incorporating diethyl phthalate (DEP) as a plasticizer, the thermal transition temperature (Ttran) was modulated to about 37°C, enabling rapid and autonomous ...
Yannan Li, Yifan Pan, Chikahiro Imashiro, Chaolun Xu, Jianxian He, Jingao Xu, Kewei Song, Ze Zhang, Chen Gao, Junbo Jiang, Runhuai Yang, Kayo Hirose, Shinjiro Umezu   +12 more
wiley   +1 more source

Discovering vesicle traffic network constraints by model checking. [PDF]

PLoS One, 2017
Shukla A, Bhattacharyya A, Kuppusamy L, Srivas M, Thattai M.   +4 more
europepmc   +1 more source