Results 61 to 70 of about 557 (235)
Structure and Properties of Traces for Functional Programs [PDF]
, 2007 The tracer Hat records in a detailed trace the computation of a program written in the lazy functional language Haskell. The trace can then be viewed in various ways to support program comprehension and debugging.
Luo, Yong +3 more
core +1 more source
Advanced Science, EarlyView.In sepsis‐induced liver injury, marked neutrophil infiltration correlates with disease severity. Neutrophil SLC11A1 drives intracellular Fe2+ and ROS via the Fenton reaction, promoting NETs formation. Hepatocyte‐derived CXCL10 recruits neutrophils and activates the JAK/STAT1/SLC11A1 axis, enhancing NETs‐mediated inflammation.
Haiping Lin +8 more
wiley +1 more source
Constraint Design Rewriting [PDF]
, 2013 We propose an algebraic approach to the design and transformation of constraint networks, inspired by Architectural Design Rewriting. The approach can be understood as (i) an extension of ADR with constraints, and (ii) an application of ADR to the design
Lluch-Lafuente, Alberto +2 more
core
Advanced Science, EarlyView.Autonomous laboratories can now synthesize materials faster than experts can interpret the resulting diffraction data. A probabilistic framework combines refinement‐fit metrics with large language model‐derived chemical reasoning to rank competing phase interpretations and flag those unsuitable for autonomous use.
Olympia Dartsi +7 more
wiley +1 more source
Advanced Science, EarlyView.Lipid nanostructured particles with increasing negative Gaussian curvature progress from vesicles to P‐cubosomes and D‐cubosomes. This curvature hierarchy enhances interaction with bacterial membranes, promotes membrane remodeling and leakage, and potentiates daptomycin activity against MRSA.
Xiangfeng Lai +10 more
wiley +1 more source
Continuous Grammars ; CU-CS-162-79 [PDF]
, 1979 In this paper we continue the study of selective substitution grammars which form a framework for most of the rewriting systems studied in the literature.
Rozenberg, Grzegorz +1 more
core +3 more sources
Current Challenges of Transcription Compartmentalization Research
Advanced Science, EarlyView.Transcription factors, coactivators, and RNA polymerase II assemble into transcription compartments ranging from small, defined complexes to liquid‐like condensates. This review unifies these seemingly competing descriptions along a single continuum and asks what these compartments have been shown to do, and what they have not, revealing that the most ...
Thomas Quail, Sina Wittmann
wiley +1 more source
Towards a Maude tool for model checking temporal graph properties [PDF]
, 2011 We present our prototypical tool for the verification of graph transformation systems. The major novelty of our tool is that it provides a model checker for temporal graph properties based on counterpart semantics for quantified m-calculi.
Lluch-Lafuente, Alberto +4 more
core +2 more sources
Advanced Science, EarlyView.Pasta is a transcriptomic aging clock built on an age‐shift learning framework and trained on 17 000 samples across 21 datasets. It accurately predicts relative biological age across tissues, platforms, and species, captures stemness‐to‐senescence transitions, and identifies age‐modulatory perturbations.
Jérôme Salignon +6 more
wiley +1 more source
Multigenerative grammar systems and matrix grammars [PDF]
, 2010 summary:Multigenerative grammar systems are based on cooperating context-free grammatical components that simultaneously generate their strings in a rule-controlled or nonterminal-controlled rewriting way, and after this simultaneous generation is ...
Meduna, Alexander, Lukáš, Roman
core