Results 31 to 40 of about 568,503 (297)
THE LOGIC OF HYPERLOGIC. PART A: FOUNDATIONS
The Review of Symbolic Logic, 2022 AbstractHyperlogic is a hyperintensional system designed to regiment metalogical claims (e.g., “Intuitionistic logic is correct” or “The law of excluded middle holds”) into the object language, including within embedded environments such as attitude reports and counterfactuals.
openaire +1 more source
East/West: Journal of Ukrainian Studies, 2019 This article analyzes the agency of wealthy businessmen-politicians’ philanthropy foundations during the Ukrainian Maidan protests of 2013-14 in which crowdfunding and grassroots mobilization constituted key distinctive features.
Hanna Söderbaum
doaj +1 more source
Quantum Reality and Measurement: A Quantum Logical Approach
, 2010 The recently established universal uncertainty principle revealed that two nowhere commuting observables can be measured simultaneously in some state, whereas they have no joint probability distribution in any state.
A. Einstein +20 more
core +1 more source
mizar-items: Exploring fine-grained dependencies in the Mizar Mathematical Library [PDF]
, 2011 The Mizar Mathematical Library (MML) is a rich database of formalized mathematical proofs (see http://mizar.org). Owing to its large size (it contains more than 1100 "articles" summing to nearly 2.5 million lines of text, expressing more than 50000 ...
A. Grabowski, I. Lakatos, S.G. Simpson
core +1 more source
FEBS Letters, EarlyView.We reconstituted Synechocystis glycogen synthesis in vitro from purified enzymes and showed that two GlgA isoenzymes produce glycogen with different architectures: GlgA1 yields denser, highly branched glycogen, whereas GlgA2 synthesizes longer, less‐branched chains.
Kenric Lee +3 more
wiley +1 more source
Loss of IGF‐1R impairs DNA‐PKcs recruitment to chromatin leading to defective end‐joining
Molecular Oncology, EarlyView.IGF‐1R promotes radioresistance by facilitating DNA‐PKcs recruitment to chromatin, enabling non‐homologous end‐joining (NHEJ) repair of double‐strand breaks. Inhibition or loss of IGF‐1R disrupts this recruitment to damage sites, driving compensatory reliance on microhomology‐mediated end‐joining (MMEJ) repair.
Matthew O. Ellis +3 more
wiley +1 more source
Phase-Tunable Thermal Logic: Computation with Heat
, 2017 Boolean algebra, the branch of mathematics where variables can assume only true or false value, is the theoretical basis of classical computation. The analogy between Boolean operations and electronic switching circuits, highlighted by Shannon in 1938 ...
Giazotto, Francesco +3 more
core +1 more source
Logical foundations: Personal perspective
Logic Journal of the IGPL, 2022 Abstract We illustrate the glorious history of logical foundations and discuss the uncertain future.
openaire +4 more sources
Directed evolution of enzymes at the crossroads of tradition and innovation
FEBS Open Bio, EarlyView.An iterative cycle of data‐driven enzyme optimization comprising four stages: genetic diversification of a template enzyme, expression of protein variants, high‐throughput evaluation, and machine‐learning‐guided redesign of the next variant library.
Maria Tomkova +2 more
wiley +1 more source