Results 171 to 180 of about 2,329,578 (354)

Thermosensory TRPV Heterotetramers Drive Seasonal Polyphenism: Molecular Basis of CcIav/CcNan‐PKCα‐AKH/AKHR Signaling in Pear Psyllid Morph Transition

Advanced Science, EarlyView.
At 2 5 °C, thermal activation initiates: i) CcIav/CcNan heterotetramer assembly → Ca2⁺ influx; ii) CcPKCα phosphorylation → AKH signaling potentiation; iii) CcAKH1 binding to membrane‐localized CcAKHR → energy mobilization (lipid catabolism/glycogenolysis) and vitellogenin transport via follicular patency; iv) Oocyte maturation → summer‐form nymph ...
Jianying Li, Zhixian Zhang, Yilin Wang, Yue Yang, Jiarui Wang, Xueyi Ruan, Songdou Zhang   +6 more
wiley   +1 more source

Implementation of Propositional Temporal Logics Using BDDs [PDF]

, 1998
Geert Janssen
openalex   +1 more source

Monolithically‐Integrated van der Waals Synaptic Memory via Bulk Nano‐Crystallization

Advanced Science, EarlyView.
Monolithically‐integrated van der Waals synaptic memory is presented via bulk nano‐crystallization, which overcomes the conventional limitations of 3D device integration technologies. Furthermore, bipolar resistive switching (LRS/HRS) dynamics is spatially resolved with conductive atomic force microscopy, scanning‐transmission electron microscopy, and ...
Jinhyoung Lee, Gunhyoung Kim, Hyunho Seok, Sujeong Han, Hyunwoo Shim, Yoonmi Cha, Sihoon Son, Hyunbin Choi, Magdalena Grzeszczyk, Aleksander Bogucki, Yunseok Choi, Seungil Kim, Hyeonjeong Lee, Chaerin Park, Geonwook Kim, Hosin Hwang, Hyunho Kim, Dongho Lee, Seowoo Son, Geumji Back, Hyelim Shin, Donghwan Choi, Alexina Ollier, Yeon‐Ji Kim, Lei Fang, Gyuho Han, Goo‐Eun Jung, Youngi Lee, Hyeong‐U Kim, Kenji Watanabe, Takashi Taniguchi, Sanghoon Bae, Andreas Heinrich, Won‐Jun Jang, Taesung Kim   +34 more
wiley   +1 more source

Temporal Logic Model Checking [PDF]

, 1997

openalex   +1 more source

Non‐Destructively Quantifying the Whole‐Course Growth and Drug‐Response of PDOs by an Automatic Microfluidic System Utilizing Chemiluminescence Detection

Advanced Science, EarlyView.
The detection of secreted biomarkers enables molecular variations monitoring of organoid status. In this study, the non‐destructive quantification for the whole‐course growth and drug‐response of PDOs is first realized using a multifunctional microfluidic chip‐based system(ASMO) that integrates culturing, drug incubation, and biomarker detection ...
Yu Zhang, Daoyun Wang, Zhicheng Huang, Nan Zhang, Zhina Wang, Xin Wu, Anlan Zhang, Runzhi Yang, Tong Li, Zhibo Zheng, Yuxiao Lin, Naixin Liang, Zewen Wei   +12 more
wiley   +1 more source

Logic Circuits Featuring Organic Electrochemical Transistors: What is the Logic Behind OECTs in Logic?

Advanced Science, EarlyView.
For bioelectronic applications, organic electrochemical transistors (OECTs), with their mixed ionic and electronic conduction, will be invaluable for interfacing with living systems. This review examines the latest research, which has shifted towards integrating OECTs in logic circuits capable of transducing and processing bio‐signals.
Lorenzo Travaglini, Kristina Fidanovski, Damia Mawad   +2 more
wiley   +1 more source

Temporal Logics with Reference Pointers and Computation Tree Logics [PDF]

, 2000
Valentin Goranko
openalex   +1 more source

Symmetry Breaking in Chemical Systems: Engineering Complexity Through Self‐Organization and Marangoni Flows

Advanced Science, EarlyView.
We show that solutal Marangoni flows in thin films climbing the outer surfaces of hydrophilic obstacles break circular Belousov‐Zhabotinsky waves into striking flower‐like patterns. Evaporation‐driven surface‐tension gradients, coupled with gravity, trigger the instability; above a threshold, petal number scales linearly with obstacle diameter ...
Sangram Gore, Binaya R. Paudyal, Duarte Rocha, Mohamed Ali, Nader Masmoudi, Albert J. Bae, Christian Diddens, Detlef Lohse, Oliver Steinbock, Azam Gholami   +9 more
wiley   +1 more source

A decision algorithm for full propositional temporal logic

, 1993
Yonit Kesten, Zohar Manna, Helen M. McGuire, Amir Pnueli   +3 more
openalex   +1 more source

Temporal logics for real-time system specification [PDF]

, 2000
Pierfrancesco Bellini, R. Mattolini, Paolo Nesi   +2 more
openalex   +1 more source