Results 51 to 60 of about 9,530,020 (358)

Data Flow Refinement Type Inference [PDF]

arXiv, 2020
Refinement types enable lightweight verification of functional programs. Algorithms for statically inferring refinement types typically work by reduction to solving systems of constrained Horn clauses extracted from typing derivations. An example is Liquid type inference, which solves the extracted constraints using predicate abstraction.
arxiv  

Parametric Compositional Data Types [PDF]

EPTCS 76, 2012, pp. 3-24, 2012
In previous work we have illustrated the benefits that compositional data types (CDTs) offer for implementing languages and in general for dealing with abstract syntax trees (ASTs). Based on Swierstra's data types \'a la carte, CDTs are implemented as a Haskell library that enables the definition of recursive data types and functions on them in a ...
arxiv   +1 more source

Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation [PDF]

, 2006
The actor model eases the definition of concurrent programs with non uniform behaviors. Static analysis of such a model was previously done in a data-flow oriented way, with type systems.
A. Igarashi, A. Ravara, C. Carrez, C. Fournet, E. Najm, F. Puntigam, G. Agha, G. Boudol, J. Feret, J. Feret, J.-L. Colaço, M. Colin, M. Hennessy, M. Karr, N. Kobayashi, P. Cousot, P. Cousot, R. Parikh, S. Chaki, S. Rajamani, T. Amtoft   +20 more
core   +4 more sources

Functional variation among LPMOs revealed by the inhibitory effects of cyanide and buffer ions

FEBS Letters, EarlyView.
This study addresses the inhibition of lytic polysaccharide monooxygenases (LPMOs) by cyanide and explains how and why the magnitude of observed inhibitory effects depends on the way LPMO reactions are setup and on the type of LPMO. Enzymes known as lytic polysaccharide monooxygenases (LPMOs) are mono‐copper polysaccharide‐degrading peroxygenases that ...
Ole Golten, Lorenz Schwaiger, Zarah Forsberg, Kelsi R. Hall, Anton A. Stepnov, Tom Z. Emrich‐Mills, Iván Ayuso‐Fernández, Morten Sørlie, Roland Ludwig, Åsmund Kjendseth Røhr, Vincent G. H. Eijsink   +10 more
wiley   +1 more source

Longitudinal predictors of weapon involvement in middle adolescence: Evidence from the UK Millennium Cohort Study

Aggressive Behavior, Volume 49, Issue 1, Page 5-14, January 2023., 2023
Abstract This study uses longitudinal data from the UK Millennium Cohort Study (N = 13,277) to examine the childhood and early adolescence factors that predict weapon involvement in middle adolescence, which in this study is exemplified by having carried or used a weapon.
Aase Villadsen, Emla Fitzsimons
wiley   +1 more source

Neural Shape Compiler: A Unified Framework for Transforming between Text, Point Cloud, and Program [PDF]

arXiv, 2022
3D shapes have complementary abstractions from low-level geometry to part-based hierarchies to languages, which convey different levels of information. This paper presents a unified framework to translate between pairs of shape abstractions: $\textit{Text}$ $\Longleftrightarrow$ $\textit{Point Cloud}$ $\Longleftrightarrow$ $\textit{Program}$.
arxiv  

Causal Consistency: Beyond Memory [PDF]

, 2016
In distributed systems where strong consistency is costly when not impossible, causal consistency provides a valuable abstraction to represent program executions as partial orders.
Jard, Claude, Mostefaoui, Achour, Perrin, Matthieu   +2 more
core   +3 more sources

Ablation of LRP6 in alpha‐smooth muscle actin‐expressing cells abrogates lung inflammation and fibrosis upon bleomycin‐induced lung injury

FEBS Letters, EarlyView.
Low‐density lipoprotein receptor‐related protein 6 (LRP6) is a key receptor for the Wnt antagonist Dickkopf1 (DKK1). DKK1 protein expression is induced in a bleomycin (BLM)‐induced lung injury model. We show that DKK1 induces proinflammatory and profibrotic genes in lung fibroblasts.
Eun‐Ah Sung, Mikhail G. Dozmorov, SuJeong Song, Theingi Aung, Min Hee Park, Patricia J. Sime, Wook‐Jin Chae   +6 more
wiley   +1 more source

Factors modulating 99mTc‐MAA planar lung dosimetry for 90Y radioembolization

Journal of Applied Clinical Medical Physics, Volume 23, Issue 12, December 2022., 2022
Abstract Purpose To investigate the accuracy and biases of predicted lung shunt fraction (LSF) and lung dose (LD) calculations via 99mTc‐macro‐aggregated albumin (99mTc‐MAA) planar imaging for treatment planning of 90Y‐microsphere radioembolization.
Benjamin P. Lopez, Armeen Mahvash, James P. Long, Marnix G. E. H. Lam, S. Cheenu Kappadath   +4 more
wiley   +1 more source

Unraveling Mycobacterium tuberculosis acid resistance and pH homeostasis mechanisms

FEBS Letters, EarlyView.
Mycobacterium tuberculosis exhibits a remarkable resilience to acid stress. In this Review, we discuss some of the molecular mechanisms and metabolic pathways used by the tubercle bacilli to adapt and resist host‐mediated acid stress. Mycobacterium tuberculosis (Mtb) is a successful pathogen that has developed a variety of strategies to survive and ...
Janïs Laudouze, Stéphane Canaan, Alexandre Gouzy, Pierre Santucci   +3 more
wiley   +1 more source