Results 141 to 150 of about 949,278 (287)

A model-guided symbolic execution approach for network protocol implementations and vulnerability detection. [PDF]

PLoS One, 2017
Wen S, Meng Q, Feng C, Tang C.
europepmc   +1 more source

Thermal Shifts Dominate Single‐Gene Responses to Transcription‐Targeting Antibiotics

Advanced Science, EarlyView.
Thermal shifts reshape bacterial responses to transcription‐targeting antibiotics. In E. coli, temperature can dominate antibiotic‐induced genome‐wide expression, particularly outside 30°C–39°C, through changes in adenosine triphosphate (ATP), nucleoid organization, and drug‐target engagement.
Rahul Jagadeesan, Amir M. Arsh, Vatsala Chauhan, Suchintak Dash, Pooja Ravaria, Andre S. Ribeiro   +5 more
wiley   +1 more source

Finding vulnerable drivers with hooking and reading result verification

Cybersecurity
Exploiting trusted legitimate programs for attacks is a covert technique in the field of cyber confrontation. The behavior of legitimate programs when exploited by attackers is almost indistinguishable from their normal operation, making this type of ...
Liang Liu, Xiaoyu Gao, Yuling Liu, Lei Zhang   +3 more
doaj   +1 more source

Bio‐Inspired Gradient Heterogeneous Architectures for Ultrasensitive and Robust Strain Sensors via Programmable Crack Engineering

Advanced Science, EarlyView.
Inspired by the insect campaniform sensillum, a heterogeneous bilayer strain sensor is developed based on a unique impedance mismatch and three‐dimensional structural dynamic percolation strategy. The sensor enables real‐time multi‐joint teleoperation of three joints and the gripper using a six‐degree‐of‐freedom robotic‐arm platform.
Qi Wu, Tiantong Wang, Yinhao Wang, Yanggang Feng, Yan Huang   +4 more
wiley   +1 more source

Exact and Approximate Probabilistic Symbolic Execution [PDF]

, 2014
Probabilistic software analysis seeks to quantify the likelihood of reaching a target event under uncertain environments. Recent approaches compute probabilities of execution paths using symbolic execution, but do not support nondeterminism ...
Pasareanu, Corina S., Luckow, Kasper, Dwyer, Matthew B., Visser, Willem, Filieri, Antonio   +4 more
core  

Single‐Cell Transcriptomic Profiling Identifies B Cell‐Intrinsic Dysregulation of Sphingolipid Biosynthesis and Could Be Improved by Inhibiting UGCG in Primary Immune Thrombocytopenia

Advanced Science, EarlyView.
This study generates the single‐cell atlas of pathogenic B‐cell subset Bc‐5 in ITP. It identifies RUNX3 as a key survival regulator and uncovers sphingolipid‐driven metabolic reprogramming, validating UGCG inhibition as a therapeutic candidate and building a valuable resource for ITP mechanistic and therapeutic exploration.
Dongmei Luo, Yanxia Zhan, Lili Ji, Pengcheng Xu, Pu Chen, Hao Pang, Yunan Ling, Fanli Hua, Xibing Zhuang, Hao Chen, Yunfeng Cheng   +10 more
wiley   +1 more source

SLC25A4high Hepatocytes Enhance Lifestyle Intervention Response in MASLD by Recruiting Eating Macrophages

Advanced Science, EarlyView.
SLC25A4high hepatocytes drive metabolic‐associated steatotic liver disease (MASLD) remission by recruiting lipid‐eating macrophages. The hepatocyte Slc25a4/PANX1/ATP/P2ry12 axis mediates find‐me signaling that triggers macrophage recruitment and efferocytosis, while recruited macrophages secrete GDF15 to activate hepatocyte PPARα and promote fatty acid
Yiting Qian, Linying Lai, Yu Zhang, Yan Meng, Ziping Song, Baoyuan Huang, Guisheng Song, Bo Sun, Wenzhuo Yang   +8 more
wiley   +1 more source

Scaling and certifying symbolic execution

, 2016
Symbolic execution is a powerful, systematic program analysis approach that has received much visibility in the last decade. The key idea in symbolic execution is to explore all execution paths up to a bound on the path length, build path conditions ...
Qiu, Rui, active 21st century
core   +1 more source

Cryo‐EM and NMR Reveal a Membrane‐Gated Doc2B–Munc13‐1 Complex and a Helical Doc2B‐SNARE‐Binding Interface

Advanced Science, EarlyView.
Biophysical studies of Doc2B yield a cryo‐electron microscopy structure of its complex with the synaptic vesicle priming factor Munc13‐1 and its binding site to the SNARE complex that mediates synaptic vesicle fusion. These and other results suggest a novel model whereby Doc2 proteins regulate neurotransmitter release through sequential interactions ...
Cyrus T. Rastegar, Julia Powell, Aleksandra Wosztyl, Guillaume David, Klaudia Jaczynska, Xiao‐chen Bai, Yan Han, Zhe Chen, Josep Rizo   +8 more
wiley   +1 more source