Results 51 to 60 of about 33,865 (256)

PP-waves with torsion and metric-affine gravity

, 2005
A classical pp-wave is a 4-dimensional Lorentzian spacetime which admits a nonvanishing parallel spinor field; here the connection is assumed to be Levi-Civita. We generalise this definition to metric compatible spacetimes with torsion and describe basic
Alekseevsky D V, Baekler P Hehl F W Mielke E W Ruffini R, Baekler P Hehl F W Mielke E W Ruffini R, Bryant R L, Dmitri Vassiliev, Esser W, Hehl F W, Hehl F W, Hehl F W, King A D, Nakahara M, Peres A, Vassiliev D, Vassiliev D, Vedad Pasic   +14 more
core   +1 more source

Gut microbiome and aging—A dynamic interplay of microbes, metabolites, and the immune system

FEBS Letters, EarlyView.
Age‐dependent shifts in microbial communities engender shifts in microbial metabolite profiles. These in turn drive shifts in barrier surface permeability of the gut and brain and induce immune activation. When paired with preexisting age‐related chronic inflammation this increases the risk of neuroinflammation and neurodegenerative diseases.
Aaron Mehl, Eran Blacher
wiley   +1 more source

On the Construction of Substitutes

, 2018
Gross substitutability is a central concept in Economics and is connected to important notions in Discrete Convex Analysis, Number Theory and the analysis of Greedy algorithms in Computer Science. Many different characterizations are known for this class,
Balkanski, Eric, Leme, Renato Paes
core   +1 more source

Identification of serum protein biomarkers for pre‐cancerous lesions associated with pancreatic ductal adenocarcinoma

Molecular Oncology, EarlyView.
This work identified serum proteins associated with pancreatic epithelial neoplasms (PanINs) and early‐stage PDAC. Proteomics screens assessed genetically engineered mice with abundant PanINs, KPC mice (Lox‐STOP‐Lox‐KrasG12D/+ Lox‐STOP‐Lox‐Trp53R172H/+ Pdx1‐Cre) before PDAC development and also early‐stage PDAC patients (n = 31), compared to benign ...
Hannah Mearns, Jaclyn S. Long, Sergio Lilla, Kelly Hodge, Marcus J. G. W. Ladds, Colin Nixon, Paula Fernández‐Palanca, Sara Zanivan, Pilar Acedo, Stephen P. Pereira, Kevin M. Ryan   +10 more
wiley   +1 more source

About linear and affine equivalence of substitutions

Prikladnaya diskretnaya matematika, 2013
Summary: The results of computer experiments with a software implementation of algorithms for determining the linear and affine equivalence of substitutions are presented. The detailed description of the algorithms is given. Experimental operation time of the algorithms is compared with the theoretical complexity of the problem.
openaire   +2 more sources

A feasible algorithm for typing in Elementary Affine Logic

, 2004
We give a new type inference algorithm for typing lambda-terms in Elementary Affine Logic (EAL), which is motivated by applications to complexity and optimal reduction.
A. Asperti, J.-Y. Girard, J.-Y. Girard, J.-Y. Girard, L. Roversi, P. Baillot, P. Coppola, P. Coppola, V. Danos, V. Danos, Y. Lafont   +10 more
core   +4 more sources

COMP–PMEPA1 axis promotes epithelial‐to‐mesenchymal transition in breast cancer cells

Molecular Oncology, EarlyView.
This study reveals that cartilage oligomeric matrix protein (COMP) promotes epithelial‐to‐mesenchymal transition (EMT) in breast cancer. We identify PMEPA1 (protein TMEPAI) as a novel COMP‐binding partner that mediates EMT via binding to the TSP domains of COMP, establishing the COMP–PMEPA1 axis as a key EMT driver in breast cancer.
Konstantinos S. Papadakos, Gilar Gorji‐bahri, Lejla Gradjan, Julia Zajac, Kacper Gil, Yvonne Thokozile Nduku, Anna M. Blom   +6 more
wiley   +1 more source

Rotation-k Affine-Power-Affine-like Multiple Substitution-Boxes for Secure Communication

, 2016
Substitution boxes with thorough cryptographic strengths are essential for the development of strong encryption systems. They are the only portions capable of inducing nonlinearity in symmetric encryption systems. Bijective substitution boxes having both high nonlinearities and high algebraic complexities are the most desirable to thwart linear ...
Ahmad, Musheer, AlSharari, Hamed D
openaire   +2 more sources

dUTPase is essential in zebrafish development and possesses several single‐nucleotide variants with pronounced structural and functional consequences

FEBS Open Bio, EarlyView.
dUTPases are involved in balancing the appropriate nucleotide pools. We showed that dUTPase is essential for normal development in zebrafish. The different zebrafish genomes contain several single‐nucleotide variations (SNPs) of the dut gene. One of the dUTPase variants displayed drastically lower protein stability and catalytic efficiency as compared ...
Viktória Perey‐Simon, Angéla Békesi, Latifa Kazzazy, Jázmin Mihály, Máté Varga, Beáta G. Vértessy, Kinga Nyíri   +6 more
wiley   +1 more source

The ubiquity of conservative translations

, 2012
We study the notion of conservative translation between logics introduced by Feitosa and D'Ottaviano. We show that classical propositional logic (CPC) is universal in the sense that every finitary consequence relation over a countable set of formulas can
da Silva, D’Ottaviano, D’Ottaviano, D’Ottaviano, D’Ottaviano, EMIL JEŘÁBEK, Galatos, Lau, Post   +8 more
core   +1 more source