Results 21 to 30 of about 1,141,676 (232)
Bounded functional interpretation
Annals of Pure and Applied Logic, 2005 We present a new functional interpretation, based on a novel assignment of formulas. In contrast with Godel's functional "Dialectica" interpretation, the new interpre- tation does not care for precise witnesses of existential statements, but only for bounds for them.
Fernando Ferreira, Paulo Oliva
openaire +2 more sources
FEBS Letters, EarlyView.In vivo IL‐10 produced by tissue‐resident tolDC is involved in maintaining/inducing tolerance. Depending on the agent used for ex vivo tolDC generation, cells acquire common features but prime T cells towards anergy, FOXP3+ Tregs, or Tr1 cells according to the levels of IL‐10 produced. Ex vivo‐induced tolDC were administered to patients to re‐establish/
Konstantina Morali +3 more
wiley +1 more source
On Bounded Analytic Functions [PDF]
Proceedings of the American Mathematical Society, 1950 The objective of this paper is to give an alternative derivation of results on bounded analytic functions recently obtained by Ahlfors [1] and Garabedian [2].1 While it is admitted that the main idea to be used is more in the nature of a lucky guess than of a method, it will be found that the gain in brevity and simplicity of the argument is ...
openaire +2 more sources
On bounded functional interpretations
Annals of Pure and Applied Logic, 2012 Abstract Bounded functional interpretations are variants of functional interpretations where bounds (rather than precise witnesses) are extracted from proofs. These have been particularly useful in computationally interpreting non-computational principles such as weak Konig’s lemma. This paper presents a family of bounded functional interpretations —
Paulo Oliva, Gilda Ferreira
openaire +1 more source
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
A universal bound on the variations of bounded convex functions [PDF]
, 2015 Given a convex set $C$ in a real vector space $E$ and two points $x,y\in C$, we investivate which are the possible values for the variation $f(y)-f(x)$, where $f:C\longrightarrow [m,M]$ is a bounded convex function. We then rewrite the bounds in terms of
Kwon, Joon
core
The group reduction for bounded cosine functions on UMD spaces
, 2007 It is shown that if A generates a bounded cosine operator function on a UMD space X, then i(-A)^{1/2} generates a bounded C_0-group.
Haase, Markus
core +1 more source
FEBS Letters, EarlyView.Venom peptides have shown promise in treating pain. Our study uses computer screening to identify a peptide that targets a sodium channel (NaV1.7) linked to chronic pain. We produced the peptide in the laboratory and refined its design, advancing the search for innovative pain therapies.
Gagan Sharma +8 more
wiley +1 more source
Random trees between two walls: Exact partition function
, 2003 We derive the exact partition function for a discrete model of random trees embedded in a one-dimensional space. These trees have vertices labeled by integers representing their position in the target space, with the SOS constraint that adjacent vertices
Bateman H +12 more
core +3 more sources
The power of microRNA regulation—insights into immunity and metabolism
FEBS Letters, EarlyView.MicroRNAs are emerging as crucial regulators at the intersection of metabolism and immunity. This review examines how miRNAs coordinate glucose and lipid metabolism while simultaneously modulating T‐cell development and immune responses. Moreover, it highlights how cutting‐edge artificial intelligence applications can identify miRNA biomarkers ...
Stefania Oliveto +2 more
wiley +1 more source