Results 51 to 60 of about 1,309,863 (280)

The (Glg)ABCs of cyanobacteria: modelling of glycogen synthesis and functional divergence of glycogen synthases in Synechocystis sp. PCC 6803

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, Dimitrios Bekiari, Sofia Doello, Karl Forchhammer   +3 more
wiley   +1 more source

Henkin semantics for reasoning with natural language

Journal of Language Modelling, 2016
The frequency of intensional and non-first-order definable operators in natural languages constitutes a challenge for automated reasoning with the kind of logical translations that are deemed adequate by formal semanticists.
Michael Hahn, Frank Richter
doaj   +1 more source

Higher-Order Logic and Disquotational Truth

Journal of Philosophical Logic, 2022
AbstractTruth predicates are widely believed to be capable of serving a certain logical or quasi-logical function. There is little consensus, however, on the exact nature of this function. We offer a series of formal results in support of the thesis that disquotational truth is a device to simulate higher-order resources in a first-order setting.
Lavinia Picollo, Thomas Schindler
openaire   +2 more sources

Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories [PDF]

, 2019
The computer-mechanization of an ambitious explicit ethical theory, Gewirth's Principle of Generic Consistency, is used to showcase an approach for representing and reasoning with ethical theories exhibiting complex logical features like alethic and ...
A Gewirth, A Kornai, BF Malle, C Benzmüller, C Benzmüller, D Beyleveld, J Carmo, J Moor, JC Blanchette, LA Dennis, LM Pereira, M Scheutz, R Carnap, S Bringsjord, U Furbach, W Orman Quine Van, W Wallach   +16 more
core   +2 more sources

Network divergence analysis identifies adaptive gene modules and two orthogonal vulnerability axes in pancreatic cancer

Molecular Oncology, EarlyView.
Tumors contain diverse cellular states whose behavior is shaped by context‐dependent gene coordination. By comparing gene–gene relationships across biological contexts, we identify adaptive transcriptional modules that reorganize into distinct vulnerability axes.
Brian Nelson, Lyanne Delgado‐Coka, Natalia Marchenko, Luisa F. Escobar‐Hoyos, Kenneth R. Shroyer, Alisa Yurovsky, Trey Ideker, Gábor Balázsi, Thomas MacCarthy, Scott Powers   +9 more
wiley   +1 more source

Topological Completeness for Higher-Order Logic [PDF]

BRICS Report Series, 1997
Using recent results in topos theory, two systems of higher-order logic are shown to be complete with respect to sheaf models over topological spaces - so-called "topological semantics". The first is classical higher order logic, with relational quantification of finitely high type; the second system is a predicative fragment thereof with ...
Butz, C.H.E., Awodey, S.
openaire   +5 more sources

Towards the Formalization of Fractional Calculus in Higher-Order Logic

, 2015
Fractional calculus is a generalization of classical theories of integration and differentiation to arbitrary order (i.e., real or complex numbers). In the last two decades, this new mathematical modeling approach has been widely used to analyze a wide ...
AV Oppenheim, B Mathieu, B Ross, BM Vinagreb, BT Krishna, CC Tseng, E Cuestab, FM Atici, FM Atici, G Gonthier, G Maione, GW Leibnitz, I Petrás, I Podlubny, K Ogata, KA Lurie, KB Oldham, KS Miller, M Dalir, M Faryad, M Marín, N Engheta, N Pariz, QA Naqvi, RL Magin, S Das, S Elaydi, SH Taqdees, SK Afshar, TJ Auastasio, U Siddique, U Siddique, XS Yang   +32 more
core   +1 more source

Validation of the Pediatric Arthritis Ultrasound Scoring System for the Elbow, Wrist, and Finger Joints in Children With Juvenile Idiopathic Arthritis

Arthritis Care &Research, EarlyView.
Objective We aimed to validate the Pediatric Arthritis Ultrasound Scoring System (PAUSS) for upper extremity joints in children with juvenile idiopathic arthritis (JIA). Methods Children with JIA were evaluated for elbow, wrist, or finger arthritis by clinical examination (CE) and musculoskeletal ultrasound (MSUS) with images scored according to the ...
Patricia Vega‐Fernandez, Pinar Ozge Avar‐Aydin, Kelly Rogers, Daniel J. Lovell, Jennifer Huggins, Alexei Grom, Hermine I. Brunner, Grant S. Schulert, Sheila T. Angeles‐Han, Mekibib Altaye, Amy Cassedy, Arthur B. Meyers, Tracy V. Ting   +12 more
wiley   +1 more source

Relational semantics of linear logic and higher-order model-checking

, 2015
In this article, we develop a new and somewhat unexpected connection between higher-order model-checking and linear logic. Our starting point is the observation that once embedded in the relational semantics of linear logic, the Church encoding of any ...
C Grellois, K Terui, M Coppo, SL Bloom, T Knapik   +4 more
core   +2 more sources

A Q‐Learning Algorithm to Solve the Two‐Player Zero‐Sum Game Problem for Nonlinear Systems

International Journal of Adaptive Control and Signal Processing, Volume 39, Issue 3, Page 566-581, March 2025.
A Q‐learning algorithm to solve the two‐player zero‐sum game problem for nonlinear systems. ABSTRACT This paper deals with the two‐player zero‐sum game problem, which is a bounded L2$$ {L}_2 $$‐gain robust control problem. Finding an analytical solution to the complex Hamilton‐Jacobi‐Issacs (HJI) equation is a challenging task.
Afreen Islam, Anthony Siming Chen, Guido Herrmann   +2 more
wiley   +1 more source