Results 81 to 90 of about 5,368 (252)
Lambda Calculus,Conservative Extension and Structural Induction
, 1989 The issue of whether embedding algebraic theories in higher-order theories such as the simply typed and polymorphic lambda calculi is of interest in programming language design. The establishment of such a conservative extension result permits modularity
Tannen, Val, Subrahmanyam, Ramesh
core
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective We aim to comprehensively analyze how regional tumor and edema characteristics are associated with clinical presentations and survival outcomes in a large cohort of glioblastoma patients. Methods Patients with IDH‐wildtype glioblastoma who received brain MRI from 2010 to 2023 were included.
Daniel J. Zhou +16 more
wiley +1 more source
Conservative systems with ports on contact manifolds [PDF]
, 2005 In this paper we propose an extension of port Hamiltonian systems, called conservative systems with ports, which encompass systems arising from the Irreversible Thermodynamics.
Schaft, A.J. van der, +11 more
core +2 more sources
Exoplanets beyond the Conservative Habitable Zone. I. Habitability
The Astrophysical JournalThe Habitable Zone (HZ) is defined by the possibility of sustaining liquid water on a planetary surface. In the solar system, the HZ for a conservative climate model extends approximately between the orbits of Earth and Mars.
Amri Wandel
doaj +1 more source
Logical Consequence and the Theory of Games
Philosophia Scientiæ, 2004 Logical notions of consequence have frequently been related to game-theoretical solution concepts. The correspondence between a formula being classically valid and the existence of a winning strategy for a player in a related two-person game, has been ...
Paul Harrenstein
doaj +1 more source
Tait's conservative extension theorem revisited
The Journal of Symbolic Logic, 2010 AbstractThis paper aims to give a correct proof of Tait's conservative extension theorem. Tait's own proof is flawed in the sense that there are some invalid steps in his argument, and there is a counterexample to the main theorem from which the conservative extension theorem is supposed to follow.
openaire +2 more sources
Aggregate Functions, Conservative Extension, and Linear Orders [PDF]
, 1994 Practical database query languages are usually equipped with some aggregate functions. For example, “find mean of column” can be expressed in SQL. However, the manner in which aggregate functions were introduced in these query languages leaves something to be desired.
Leonid Libkin, Limsoon Wong
openaire +1 more source
Responsibility and the Big Society [PDF]
This paper focuses on the interplay between Conservative thought as evinced by the current Conservative Party leadership and the idea of responsibility, which is a central concern in the Big Society programme.
Antje Bednarek
core
ADOPTION OF SELECTED CONSERVATIVE AGRICULTURAL PRACTICES BY THE FARMERS [PDF]
, 2018 A thesis Submitted to the Department of Agricultural Extension and Information System Sher-e-Bangla Agricultural University, Dhaka In Partial Fulfillment of the Requirements for the Degree of MASTER OF SCIENCE (MS) IN AGRICULTURAL EXTENSION
ROY, GOUTAM CHADRO
core
Screening Routine Clinical Notes for Epilepsy Surgery Candidates Using Large Language Models
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Epilepsy surgery is severely underutilized despite proven efficacy, with substantial under‐referral of eligible patients in routine clinical practice. This study evaluated the potential role of large language models (LLMs) as decision‐support tools for screening unstructured clinical notes to identify epilepsy surgery candidates and ...
Uriel Fennig +9 more
wiley +1 more source