Results 31 to 40 of about 28,779 (251)

New Equations for Neutral Terms: A Sound and Complete Decision Procedure, Formalized [PDF]

, 2013
The definitional equality of an intensional type theory is its test of type compatibility. Today's systems rely on ordinary evaluation semantics to compare expressions in types, frustrating users with type errors arising when evaluation fails to identify
Allais, Guillaume, Boutillier, Pierre, McBride, Conor   +2 more
core   +2 more sources

Artificial Intelligence for Multiscale Modeling in Solid‐State Physics and Chemistry: A Comprehensive Review

Advanced Intelligent Systems, EarlyView.
This review explores the transformative impact of artificial intelligence on multiscale modeling in materials research. It highlights advancements such as machine learning force fields and graph neural networks, which enhance predictive capabilities while reducing computational costs in various applications.
Artem Maevskiy, Vitalii Kapitan, Andrey Ustyuzhanin   +2 more
wiley   +1 more source

Outpatient treatment of decompensated heart failure: A systematic review and study level meta‐analysis

ESC Heart Failure, Volume 12, Issue 2, Page 761-769, April 2025.
Abstract Patients with acutely decompensated heart failure (ADHF) are usually admitted to hospital for management. There is growing interest in delivering intravenous (IV) diuretic therapy at home, in the community or at hospital day‐care units; the safety and effectiveness of outpatient‐based management (OPM) for ADHF has not been established.
Jameela Bahar, Amna Rahman, Grace W.Y. Wong, Rajiv Sankaranarayanan, Fozia Z. Ahmed, Rebecca Taylor, Ahmet Fuat, Iain Squire, John G.F. Cleland, Gregory Y.H. Lip, James H.P. Gamble, Sundas Masudi, Prince Josiah S. Joseph, Kenneth Y.K. Wong   +13 more
wiley   +1 more source

Byzantijnse boekepigrammen / metrische parateksten: terminologie en classificatie [PDF]

, 2016
A
Meesters, Renaat
core   +1 more source

Greek Epigram from the Hellenistic to the Early Byzantine Era

, 2019
This volume sheds new light on the evolution of Greek epigram from the Hellenistic up to the early Byzantine era. It is concerned not with the work of individual authors but with the complexities of epigram as a genre; with the dynamics of poetic ...

semanticscholar   +1 more source

Socio‐economic inequalities and heart failure morbidity and mortality: A systematic review and data synthesis

ESC Heart Failure, Volume 12, Issue 2, Page 927-941, April 2025.
Abstract Socio‐economic status (SES) has been associated with incident and prevalent heart failure (HF), as well as its morbidity and mortality. However, the precise nature of the relationship between SES and HF remains unclear due to inconsistent data. This study aims to provide a comprehensive assessment and data synthesis of the relationship between
Abdul Shakoor, Willemijn A. van Maarschalkerwaart, Jeroen Schaap, Rudolf A. de Boer, Nicolas M. van Mieghem, Eric H. Boersma, Loek van Heerebeek, Jasper J. Brugts, Robert M.A. van der Boon   +8 more
wiley   +1 more source

Newly Found Funerary Inscriptions from the Muratdede/Masdat Village of Karaman (Laranda)

Gephyra
This contribution presents the recent discovery of seven funerary inscriptions, three of them are epigrams, in the village of Muratdede/Masdat in the province of Karaman.
Mehmet Alkan, Ercan Aşkın
doaj   +1 more source

Byzantine Book Epigrams: The Case of Ὥσπερ ξένοι... [PDF]

, 2016
C
Boeten, Julie, De Groot, Sien
core   +1 more source

Global Insights Into Term Spreads: Unveiling Their Predictive Power During Unconventional Monetary Policy

Journal of Forecasting, EarlyView.
ABSTRACT This study investigates the predictive power of the term spread for forecasting economic activity across both conventional and unconventional monetary policy regimes. Utilizing data from 22 OECD countries spanning the period from 1985Q1 to 2024Q2, the analysis reveals that the term spread generally maintains its ability to predict GDP growth ...
Petri Kuosmanen, Juuso Vataja
wiley   +1 more source

Mimesis et filiation artistique : la question du style de Lysippe et de ses disciples dans l’épigramme 62 A.‑B. de Posidippe et chez Pline l’Ancien (NH 34, 66)

Aitia, 2017
This paper examines the notion of “artistic filiation” in Early Hellenistic theories of art. We wish to highlight the links between the first epigram of Posidippus’ andriantopoiika cycle and the theories of art probably illustrated in the contemporary ...
Évelyne Prioux, Eleonora Santin
doaj   +1 more source