Results 61 to 70 of about 6,236,903 (286)
Elaboration in Dependent Type Theory [PDF]
, 2015 To be usable in practice, interactive theorem provers need to provide convenient and efficient means of writing expressions, definitions, and proofs. This involves inferring information that is often left implicit in an ordinary mathematical text, and ...
Avigad, Jeremy +3 more
core
Type IIB Flux Vacua from M-theory via F-theory
, 2008 We study in detail some aspects of duality between type IIB and M-theory. We focus on the duality between type IIB string theory on K3 x T^2/Z_2 orientifold and M-theory on K3 x K3, in the F-theory limit.
A.P. Braun +23 more
core +1 more source
$D5$-brane type I superstring background fields in terms of type IIB ones by canonical method and T-duality approach [PDF]
, 2010 We consider type IIB superstring theory with embedded $D5$-brane and choose boundary conditions which preserve half of the initial supersymmetry. In the canonical approach that we use, boundary conditions are treated as canonical constraints.
B. Nikolić +21 more
core +1 more source
Resolution and Type Theory [PDF]
Science of Computer Programming, 1990 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Revealing the structure of land plant photosystem II: the journey from negative‐stain EM to cryo‐EM
FEBS Letters, EarlyView.Advances in cryo‐EM have revealed the detailed structure of Photosystem II, a key protein complex driving photosynthesis. This review traces the journey from early low‐resolution images to high‐resolution models, highlighting how these discoveries deepen our understanding of light harvesting and energy conversion in plants.
Roman Kouřil
wiley +1 more source
Decidability of conversion for type theory in type theory [PDF]
Proceedings of the ACM on Programming Languages, 2017 Type theory should be able to handle its own meta-theory, both to justify its foundational claims and to obtain a verified implementation. At the core of a type checker for intensional type theory lies an algorithm to check equality of types, or in other words, to check whether two types are convertible.
Andreas Abel +2 more
openaire +1 more source
FEBS Letters, EarlyView.Enteropathogenic E. coli (EPEC) infects the human intestinal epithelium, resulting in severe illness and diarrhoea. In this study, we compared the infection of cancer‐derived cell lines with human organoid‐derived models of the small intestine. We observed a delayed in attachment, inflammation and cell death on primary cells, indicating that host ...
Mastura Neyazi +5 more
wiley +1 more source
Protein pyrophosphorylation by inositol pyrophosphates — detection, function, and regulation
FEBS Letters, EarlyView.Protein pyrophosphorylation is an unusual signaling mechanism that was discovered two decades ago. It can be driven by inositol pyrophosphate messengers and influences various cellular processes. Herein, we summarize the research progress and challenges of this field, covering pathways found to be regulated by this posttranslational modification as ...
Sarah Lampe +3 more
wiley +1 more source
FEBS Letters, EarlyView.This study reveals how the mitochondrial protein Slm35 is regulated in Saccharomyces cerevisiae. The authors identify stress‐responsive DNA elements and two upstream open reading frames (uORFs) in the 5′ untranslated region of SLM35. One uORF restricts translation, and its mutation increases Slm35 protein levels and mitophagy.
Hernán Romo‐Casanueva +5 more
wiley +1 more source
Russell´s Early Type Theory and the Paradox of Propositions
Principia: An International Journal of Epistemology, 2001 The paradox of propositions, presented in Appendix B of Russell's The Principles of Mathematics (1903), is usually taken as Russell's principal motive, at the time, for moving from a simple to a ramified theory of types.
André Fuhrmann
doaj