Results 61 to 70 of about 25,462,782 (297)
, 2012 We consider a gradient flow related to the mean field type equation. First, we show that this flow exists for all time. Next, we prove a compactness result for this flow allowing us to get, under suitable hypothesis on its energy, the convergence of the ...
Castéras, Jean-Baptiste
core
Type Inference for Guarded Recursive Data Types [PDF]
arXiv, 2005 We consider type inference for guarded recursive data types (GRDTs) -- a recent generalization of algebraic data types. We reduce type inference for GRDTs to unification under a mixed prefix. Thus, we obtain efficient type inference. Inference is incomplete because the set of type constraints allowed to appear in the type system is only a subset of ...
arxiv
Making tau amyloid models in vitro: a crucial and underestimated challenge
FEBS Letters, EarlyView.This review highlights the challenges of producing in vitro amyloid assemblies of the tau protein. We review how accurately the existing protocols mimic tau deposits found in the brain of patients affected with tauopathies. We discuss the important properties that should be considered when forming amyloids and the benchmarks that should be used to ...
Julien Broc, Clara Piersson, Yann Fichou
wiley +1 more source
On a soliton-type spacetime defect
, 2019 We review the construction of a particular soliton-type solution of the classical Einstein and matter-field equations. This localized finite-energy static classical solution can be interpreted as a single spacetime defect embedded in Minkowski spacetime ...
Klinkhamer, F. R.
core +1 more source
Trichothecenes: From Simple to Complex Mycotoxins
Toxins, 2011 As the world’s population grows, access to a safe food supply will continue to be a global priority. In recent years, the world has experienced an increase in mycotoxin contamination of grains due to climatic and agronomic changes that encourage fungal ...
Nancy J. Alexander +3 more
doaj +1 more source
Aggregate, 2022 Alkyl chains engineering plays an important role in photovoltaic materials for organic solar cells. Herein, three A‐DA'D‐A (acceptor–donor–acceptor'–donor–acceptor) type acceptors named Y6, Y6‐C4, and Y6‐C5 with different branching position on the ...
Wei Liu +6 more
doaj +1 more source
Type Prediction With Program Decomposition and Fill-in-the-Type Training [PDF]
arXiv, 2023 TypeScript and Python are two programming languages that support optional type annotations, which are useful but tedious to introduce and maintain. This has motivated automated type prediction: given an untyped program, produce a well-typed output program. Large language models (LLMs) are promising for type prediction, but there are challenges: fill-in-
arxiv
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 +3 more
wiley +1 more source
Emotion management in mathematics test
Moroccan Journal of Quantitative and Qualitative Research, 2019 The main purpose of this study is identifying and comparing profiles of high-performing students group and lowperforming students group in terms of type of emotions reported in test context and frequency of using emotion management strategies mobilized ...
S. HADJI, H. MAYMOUN
doaj +1 more source
FEBS Letters, EarlyView.Toll‐like receptors (TLRs) are important in the innate immune system. This study explores the zinc‐binding ability of the TLR2 TIR domain (TLR2TIR). We found that TLR2TIR binds zinc with nanomolar affinity through its cysteine residues. Two of them, C673 and C713, are vital for receptor activation, indicating that zinc may play a role in initiating ...
Vladislav A. Lushpa +8 more
wiley +1 more source