Results 91 to 100 of about 34,628,233 (409)
Journal of the ACM, 2010 This article presents a novel generic technique for solving dataflow equations in interprocedural dataflow analysis. The technique is obtained by generalizing Newton's method for computing a zero of a differentiable function to ω-continuous semirings.
Javier Esparza +2 more
openaire +1 more source
Organoids in pediatric cancer research
FEBS Letters, EarlyView.Organoid technology has revolutionized cancer research, yet its application in pediatric oncology remains limited. Recent advances have enabled the development of pediatric tumor organoids, offering new insights into disease biology, treatment response, and interactions with the tumor microenvironment.
Carla Ríos Arceo, Jarno Drost
wiley +1 more source
A QUANTITATIVE ANALYSIS OF AVIATION MAINTENANCE SRB EFFECTIVENESS [PDF]
, 2019 Student Thesis (NPS NRP Project Related)The purpose of this thesis is to provide the Marine Corps with an analytical review of its primary military occupational specialty (PMOS) bonuses, specific to aviation maintenance occupations, that have been ...
Fuzy, Anna
core
FEBS Letters, EarlyView.Fluorescent probes allow dynamic visualization of phosphoinositides in living cells (left), whereas mass spectrometry provides high‐sensitivity, isomer‐resolved quantitation (right). Their synergistic use captures complementary aspects of lipid signaling. This review illustrates how these approaches reveal the spatiotemporal regulation and quantitative
Hiroaki Kajiho +3 more
wiley +1 more source
PROBABILISTIC COST ANALYSIS OF LOGIC PROGRAMS ANÁLISIS DE COSTO PROBABILÍSTICO DE PROGRAMAS LÓGICOS
Ingeniare: Revista Chilena de Ingeniería, 2009 Cost analyses of logic programs have been developed which make it possible to obtain automatically lower and upper bounds of runtime cost of computations.
Héctor Juan Soza Pollman
doaj
Remote sensing and GIS : monitoring tools for conservation
, 2009 The presentation deals with details of remote sensing equipment and information. Spectral resolution and spectral signatures carry characteristic light reflection in bands and multispectral bands at specific wavelengths.
Regional Analysis Program
core
Naval Research Working Group Thesis Research Working Group Meeting 15-1 Program [PDF]
, 2015 Program for the Naval Research Working Group / Thesis Research Working group, 30 March - 3 April 2015. Mission: The Working Group Meeting is a forum for research Topic Sponsors to communicate their research and analysis needs directly to Naval ...
core
FEBS Letters, EarlyView.This study reveals how the mitochondrial protein Slm35 is regulated in Saccharomyces cerevisiae. The authors identify stress‐responsive DNA elements and two upstream open reading frames (uORFs) in the 5′ untranslated region of SLM35. One uORF restricts translation, and its mutation increases Slm35 protein levels and mitophagy.
Hernán Romo‐Casanueva +5 more
wiley +1 more source
FRAGSTATS: spatial pattern analysis program for quantifying landscape structure.
, 1995 McGarigal, Kevin; Marks, Barbara J. 1995. FRAGSTATS: spatial pattern analysis program for quantifying landscape structure. Gen. Tech. Rep. PNW-GTR-351. Portland, OR: U.S. Department of Agriculture, Forest Service, Pacific Northwest Research Station.
K. McGarigal, Barbara J. Marks
semanticscholar +1 more source
On fast large-scale program analysis in Datalog
International Conference on Compiler Construction, 2016 Designing and crafting a static program analysis is challenging due to the complexity of the task at hand. Among the challenges are modelling the semantics of the input language, finding suitable abstractions for the analysis, and handwriting efficient ...
Bernhard Scholz +3 more
semanticscholar +1 more source