Results 101 to 110 of about 146,242 (384)

A Fully Abstract Symbolic Semantics for Psi-Calculi

, 2010
We present a symbolic transition system and bisimulation equivalence for psi-calculi, and show that it is fully abstract with respect to bisimulation congruence in the non-symbolic semantics.
A. M. Pitts, Bartek Klin, Björn Victor, Björn Victor, Bruno Blanchet, Bruno Blanchet, Davide Sangiorgi, Huimin Lin, Huimin Lin, Jesper Bengtson, Jesper Bengtson, Joachim Parrow, Johannes Borgström, Johannes Borgström, Johannes Borgström, Magnus Johansson, Maria Grazia Buscemi, Mart'ı n Abadi, Mart'ı n Abadi, Mart'ı n Abadi, Mathieu Baudet, Matthew Hennessy, Michele Boreale, Murdoch Gabbay, Paweł Sobociński, Stéphanie Delaune, Sébastien Briais   +26 more
core   +3 more sources

Linked dimers of the AAA+ ATPase Msp1 reveal energetic demands and mechanistic plasticity for substrate extraction from lipid bilayers

FEBS Letters, EarlyView.
Cells must clear mislocalized or faulty proteins from membranes to survive. The AAA+ ATPase Msp1 performs this task, but dissecting how its six subunits work together is challenging. We engineered linked dimers with varied numbers of functional subunits to reveal how Msp1 subunits cooperate and use energy to extract proteins from the lipid bilayer ...
Deepika Gaur, Brian Acquaviva, Baylee A. Smith, Nathan Walker, Isabella Walter, Matthew L. Wohlever   +5 more
wiley   +1 more source

Confluence via strong normalisation in an algebraic \lambda-calculus with rewriting

, 2011
The linear-algebraic lambda-calculus and the algebraic lambda-calculus are untyped lambda-calculi extended with arbitrary linear combinations of terms.
Alejandro Díaz-Caro, Alejandro Díaz-Caro, Christine Tasson, Elaine Pimentel, Henk P. Barendregt, Jean-Louis Krivine, Jean-Yves Girard, John C. Reynolds, Lionel Vaux, Lionel Vaux, Mauro Jaskelioff, Michele Pagani, Michele Pagani, Pablo Arrighi, Pablo Arrighi, Pablo Arrighi, Pablo Buiras, Simona Ronchi della Rocca, TeReSe, Thomas Ehrhard, Thomas Ehrhard, Thomas Ehrhard, Thomas Ehrhard   +22 more
core   +4 more sources

URETHRAL CALCULI. [PDF]

Journal of the American Medical Association, 1885
n ...
openaire   +1 more source

Mitochondrial fatty acid oxidation is stimulated by red light irradiation

FEBS Letters, EarlyView.
Light at different wavelengths has distinct effects on keratinocyte viability and metabolism. UVA light abrogates metabolic fluxes. Blue and green light have no effect on metabolic fluxes, while red light enhanced oxidative phosphorylation by promoting fatty acid oxidation. Keratinocytes are the primary constituents of sunlight‐exposed epidermis.
Manuel Alejandro Herrera, Camille C. Caldeira da Silva, Maiza Von Denz, Mauricio S. Baptista, Alicia J. Kowaltowski   +4 more
wiley   +1 more source

A Framework for Program Development Based on Schematic Proof [PDF]

, 1993
Often, calculi for manipulating and reasoning about programs can be recast as calculi for synthesizing programs. The difference involves often only a slight shift of perspective: admitting metavariables into proofs. We propose that such calculi should be
Basin, David, Bundy, Alan, Kraan, Ina, Matthews, Sean   +3 more
core   +1 more source

Vacuolar transport and function of Saccharomyces cerevisiae sterol ester hydrolase Tgl1

FEBS Letters, EarlyView.
Tgl1, one of yeast sterol ester hydrolases, had been found on the lipid droplets where sterol esters are mainly stored. This study revealed that Tgl1 is transported into the vacuole depending on the ESCRT‐I–III complex, and that it exhibits intra‐vacuolar sterol ester hydrolase activity.
Takumi Nakatsuji, Kosuke Shiraishi, Chuqian Wang, Hiroya Yurimoto, Yasuyoshi Sakai, Masahide Oku   +5 more
wiley   +1 more source

Pulmonary alveolar microlithiasis

Lung India, 2013
Pulmonary alveolar microlithiasis (PAM) is a rare, chronic lung disease with bilateral intra-alveolar calcium and phosphate deposition throughout the lung parenchyma with predominance to lower and midzone.
Surender Kashyap, Prasanta R Mohapatra
doaj   +1 more source

On Stronger Calculi for QBFs

, 2016
Quantified Boolean formulas (QBFs) generalize propositional formulas by admitting quantifications over propositional variables. QBFs can be viewed as (restricted) formulas of first-order predicate logic and easy translations of QBFs into first-order ...
Egly, Uwe
core   +2 more sources

Comparing self‐reported race and genetic ancestry for identifying potential differentially methylated sites in endometrial cancer: insights from African ancestry proportions using machine learning models

Molecular Oncology, EarlyView.
Integrating ancestry, differential methylation analysis, and machine learning, we identified robust epigenetic signature genes (ESGs) and Core‐ESGs in Black and White women with endometrial cancer. Core‐ESGs (namely APOBEC1 and PLEKHG5) methylation levels were significantly associated with survival, with tumors from high African ancestry (THA) showing ...
Huma Asif, J. Julie Kim
wiley   +1 more source