Results 51 to 60 of about 378,452 (270)
Unification of Higher-order Patterns modulo Simple Syntactic Equational Theories [PDF]
Discrete Mathematics & Theoretical Computer Science, 2000 We present an algorithm for unification of higher-order patterns modulo simple syntactic equational theories as defined by Kirchner [14]. The algorithm by Miller [17] for pattern unification, refined by Nipkow [18] is first modified in order to behave as
Alexandre Boudet
doaj +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
Mapping the evolution of mitochondrial complex I through structural variation
FEBS Letters, EarlyView.Respiratory complex I (CI) is crucial for bioenergetic metabolism in many prokaryotes and eukaryotes. It is composed of a conserved set of core subunits and additional accessory subunits that vary depending on the organism. Here, we categorize CI subunits from available structures to map the evolution of CI across eukaryotes. Respiratory complex I (CI)
Dong‐Woo Shin +2 more
wiley +1 more source
, 2015 This publication is comprised of two equations which are derived and extrapolated from a book that I created in 2015/2016: Probability, Quantum Mechanics, and Probability-Quanta. The latter consists of various thought experiments and postulates. I have included scans from the original book in an effort to demonstrate my work and in the hopes of ...
openaire +2 more sources
About Yugoslavia on the eve of its establishment: Nikola Pašić and British Prime Minister David Lloyd George about the future Yugoslav state on 15th October 1918 [PDF]
Sociološki Pregled, 2018 The study reviews the meeting of President of the Serbian Government Nikola Pašić and British Prime Minister David Lloyd George in London on 15th October 1918. On that occasion the two statesmen expressed their respective attitudes about the situation in
Sovilj Milan P.
doaj
History and Philosophy of Logic, 2018 What makes certain definitions fruitful? And how can definitions play an explanatory role? The purpose of this paper is to examine these questions via an investigation of Frege’s treatment of definitions. Specifically, I pursue this issue via an examination of Frege’s views about the scientific unification of logic and arithmetic.
openaire +3 more sources
Organoids in pediatric cancer research
FEBS Letters, EarlyView.Organoid technology has revolutionized cancer research, yet its application in pediatric oncology remains limited. Recent advances have enabled the development of pediatric tumor organoids, offering new insights into disease biology, treatment response, and interactions with the tumor microenvironment.
Carla Ríos Arceo, Jarno Drost
wiley +1 more source
Reciprocal control of viral infection and phosphoinositide dynamics
FEBS Letters, EarlyView.Phosphoinositides, although scarce, regulate key cellular processes, including membrane dynamics and signaling. Viruses exploit these lipids to support their entry, replication, assembly, and egress. The central role of phosphoinositides in infection highlights phosphoinositide metabolism as a promising antiviral target.
Marie Déborah Bancilhon, Bruno Mesmin
wiley +1 more source
Perimeter-Minimizing Triple Bubbles in the Plane and the 2-Sphere
Analysis and Geometry in Metric Spaces, 2019 We use continuous and discrete unification to prove that standard triple bubbles in ℝ2 and 𝕊2 are the minimizers of perimeter, among all clusters (Definition 2.3) enclosing the same triple of areas.
Lawlor Gary R.
doaj +1 more source
String Phenomenology: Past, Present and Future Perspectives
Galaxies, 2014 The observation of a scalar resonance at the Large Hadron Collider (LHC), compatible with perturbative electroweak symmetry breaking, reinforces the Standard Model (SM) parameterisation of all subatomic data. The logarithmic evolution of the SM gauge and
Alon E. Faraggi
doaj +1 more source