Results 81 to 90 of about 689,888 (317)
A Systematic Evaluation of Static API-Misuse Detectors
, 2018 Application Programming Interfaces (APIs) often have usage constraints, such as restrictions on call order or call conditions. API misuses, i.e., violations of these constraints, may lead to software crashes, bugs, and vulnerabilities. Though researchers
Amann, Sven +4 more
core +1 more source
β‐Catenin/c‐Myc Axis Modulates Autophagy Response to Different Ammonia Concentrations
Advanced Biology, Volume 9, Issue 3, March 2025.Ammonia, detoxified by the liver into urea and glutamine, impacts autophagy differently at varying levels. Low ammonia activates autophagy via c‐Myc and β‐catenin, while high levels suppress it. Using Huh7 cells and Spf‐ash mice, c‐Myc's role in cytoprotective autophagy is revealed, offering insights into hyperammonemia and potential therapeutic ...
S. Sergio +11 more
wiley +1 more source
LIN28B Promotes Cancer Cell Dissemination and Angiogenesis
Advanced Biology, EarlyView.Children diagnosed with high‐risk neuroblastoma have a 5‐year event‐free survival rate of less than 50% and poor outcomes after recurrence. Deregulation of the LIN28B oncogene can be addressed in these patients. Upregulation of LIN28B is shown to support the metastatic cascade.
Diana Corallo +8 more
wiley +1 more source
Continuation semantics of logic programs with disciplined exception handling [PDF]
[[notice]]補正完畢[[conferencetype]]國內[[conferencedate]]19941201 ...
施國琛
core
Talos: Neutralizing Vulnerabilities with Security Workarounds for Rapid Response
, 2017 Considerable delays often exist between the discovery of a vulnerability and the issue of a patch. One way to mitigate this window of vulnerability is to use a configuration workaround, which prevents the vulnerable code from being executed at the cost ...
D'Angelo, Mariana +3 more
core +1 more source
Advanced Biology, EarlyView.The glomerular filtration barrier (GFB) is the first step of blood filtration by the kidneys. The concerning increase of kidney diseases makes the development of new models essential. In this context, microphysiological glomerular filtration barriers focus on closely reproducing the physiological architecture of the in vivo GFB: podocytes, glomerular ...
Manon Miran +5 more
wiley +1 more source
Provably Correct Control-Flow Graphs from Java Programs with Exceptions [PDF]
, 2011 We present an algorithm to extract flow graphs from Java bytecode, focusing on exceptional control flows. We prove its correctness, meaning that the behaviour of the extracted control-flow graph is an over-approximation of the behaviour of the original ...
Amighi, Afshin +2 more
core +1 more source
Advanced Biology, EarlyView.Infrared (IR) light evokes distinct calcium and water transport responses in astrocytes, depending on stimulation duration and protocol. This study uses widefield imaging and pharmacology to reveal differential engagement of astroglial signaling pathways.
Wilson R. Adams +7 more
wiley +1 more source
An efficient temporal logic for robotic task planning [PDF]
Computations required for temporal reasoning can be prohibitively expensive if fully general representations are used. Overly simple representations, such as totally ordered sequence of time points, are inadequate for use in a nonlinear task planning ...
Becker, Jeffrey M.
core +1 more source
Hydrogel‐Based Capacitive Sensor Model for Ammonium Monitoring in Aquaculture
Advanced Engineering Materials, EarlyView.Traditional techniques for monitoring aquaculture water quality, particularly ammonium levels, harm fish. This work presents a novel capacitive sensor with an ionic hydrogel transducer to monitor ammonium concentration in real time based on the ammonium‐induced hydrogel dissociation and osmotic pressure. Monitoring aquaculture water quality, especially
Mohammad Mirzaee +3 more
wiley +1 more source