Results 181 to 190 of about 71,669 (311)

Incorporating the Basic Elements of a First-degree Fuzzy Logic and Certain Elments of Temporal Logic for Dynamic Management Applications [PDF]

The approximate reasoning is perceived as a derivation of new formulas with the corresponding temporal attributes, within a fuzzy theory defined by the fuzzy set of special axioms.
Vasile MAZILESCU
core  

Designer Dynamic DNA Nanoaggregate in Living Cell for Mitochondrial Energy Restriction

Advanced Science, EarlyView.
This study presents the Tech‐tetrahedron, a designer dynamic DNA nanoaggregate engineered for precise mitochondrial energy restriction. Its trinity‐functionalized design integrates navigable unit, telomerase‐activated latch, and self‐assembly module.
Ruijia Deng, Jing Sheng, Ben Niu, Wenjuan Fu, Yingjie Yang, Zuowei Xie, Shuang Xie, Yunxuan He, Meilin Gong, Jue Wang, Yan Pi, Ming Chen, Kai Chang   +12 more
wiley   +1 more source

Dynamic Single‐Binding Event Profiling With on‐Chip Microlenses for Wash‐Free Digital Biosensing

Advanced Science, EarlyView.
A microlens‐enhanced platform enables real‐time tracking and digital counting of single‐binding events using conventional bright‐field microscopy. Amplified scattering signals from gold nanoparticle labels and kinetic signature analysis allow wash‐free discrimination between specific and nonspecific interactions, while providing kinetic and mechanistic
Tingting Zhan, Lianyu Lu, Guoqiang Gu, Pengcheng Zhang, Jienan Shen, Xiaotian Tan, Wei Ye, Shi Hu, Yi Zhang, Hao Yu, Shaoqin Liu, Hairong Zheng, Hui Yang   +12 more
wiley   +1 more source

Backdoors for Linear Temporal Logic. [PDF]

Algorithmica, 2019
Meier A, Ordyniak S, Ramanujan MS, Schindler I.   +3 more
europepmc   +1 more source

A Phase‐Resolved Geometric Deep Learning Framework Maps Structural Determinants of Disease‐Associated Protein Aggregation and Guides Suppressor Design

Advanced Science, EarlyView.
SKALE 2.0 maps disease‐associated protein aggregation as a phase‐resolved structural process, linking mutation‐induced geometric perturbations to nucleation, elongation, and suppressor design. Across neurodegenerative proteins, the framework reveals cryptic aggregation vulnerabilities, separates phase‐concordant and phase‐switching mutations, and ...
Jia Shen Sio, Wei Xuan Wilson Loo, Yan Shan Loo, Wen Xin Tan, Hui Xuan Lim, Huitao Liu, Chen Seng Ng   +6 more
wiley   +1 more source

Rod Origami (RodOri) Spring Metamaterials for Tunable Vibration Control via Tailored Structural Instabilities

Advanced Science, EarlyView.
Rod Origami (RodOri) springs harness snap‐through instabilities of pre‐stressed curved rods with geometrically programmable buckling behavior. Integrating RodOri springs with distinct geometries yields multistable metamaterials that undergo stepwise reconfiguration via sequential snapping, achieving wide‐range tunability of stiffness and resonance ...
Jeseung Lee, Sophie Leanza, Ruike Renee Zhao   +2 more
wiley   +1 more source

Transfer of Temporal Logic Formulas in Reinforcement Learning. [PDF]

IJCAI (U S), 2019
Xu Z, Topcu U.
europepmc   +1 more source

Interacting Parallel Fluidic Hysterons

Advanced Science, EarlyView.
The parallel coupling of fluidic hysterons is introduced, establishing advanced functionalities in inflatable soft systems. A pressure–volume framework reveals how preset volumes Δv∗${\Delta }v^*$ tune nonlinear interactions between hysterons and actuation sequences without changing architecture. Experiments validate the predictions, opening new routes
Katrien Stinissen, Franco Nicolas Piñan Basualdo, Benjamin Gorissen   +2 more
wiley   +1 more source

Pareto-Optimal Interventions in Gene Regulatory Networks using Signal Temporal Logic. [PDF]

Proc Am Control Conf
Hosseini SH, Aksaray D, Imani M.
europepmc   +1 more source

Synthesizing adaptive test strategies from temporal logic specifications. [PDF]

Form Methods Syst Des, 2019
Bloem R, Fey G, Greif F, Könighofer R, Pill I, Riener H, Röck F.   +6 more
europepmc   +1 more source