Results 81 to 90 of about 341,662 (337)

GNS: Abstract Syntax for Natural Languages

Triangle, 2018
This paper presents an overview of General Natural Syntax (GNS), a formal theory of general explicative power that generalizes and formalizes syntactic concepts in order to oer a general notion of syntax that is independent of any particular language.
Jiménez López, María Dolores, Manca, Vicenzo   +1 more
openaire   +3 more sources

Design of a specification language by abstract syntax engineering [PDF]

, 1991
The authors design a specification language in an entirely algebraic style. They describe the language in terms of abstract syntax only.
Baeten, J.C.M., Bergstra, J.A.
openaire   +3 more sources

Impact of Coronary Calcification on Complete Revascularization in Patients With Acute Coronary Syndrome and Multivessel Disease

Catheterization and Cardiovascular Interventions, EarlyView.
ABSTRACT Background Coronary calcification is a well‐known marker of atherosclerotic plaque burden and a determinant of stent under expansion with unfavorable long‐term outcomes. Aims This sub study of the randomized BIOVASC trial aimed to compare immediate complete revascularization (ICR) and staged complete revascularization (SCR) in patients with ...
William Camilleri, Hala Kakar, Jacob J. Elscot, Eric Boersma, Nicolas M. Van Mieghem, Roberto Diletti, Joost Daemen, Elena Ntantou, Jeroen Wilschut, Rutger Jan Nuis, Wijnand K. Den Dekker   +10 more
wiley   +1 more source

Correlation between frontal QRS‐T angle, Tp‐e interval, and Tp‐e/QT ratio to coronary artery severity assessed with SYNTAX score in stable coronary artery disease patients

Journal of Arrhythmia, 2022
Background It is known that a wide frontal QRS‐T(f[QRS‐T]) angle in the electrocardiography (ECG) is associated with poor cardiovascular outcomes.
Fatma Özpamuk Karadeniz, Emine Altuntaş   +1 more
doaj   +1 more source

The First‐in‐Man Technique of Drug Eluting and Perfusion Therapy for Left Main Coronary Artery Disease

Catheterization and Cardiovascular Interventions, EarlyView.
ABSTRACT Background Treating ostial left circumflex artery (LCx) lesions in percutaneous coronary intervention (PCI) for left main disease (LMD) remains a challenge. Despite recent recommendations for the use of drug‐coated balloon (DCB) in this lesion, there are concerns about crossover‐stenting from the left main trunk (LMT) to the left anterior ...
Takayuki Warisawa, Yoshiki Kawai, Takuya Matsumoto, Shingo Sato, Makoto Takeyama, Yuta Nakamura, Susumu Katsushika, Aritomo Katsura, Takahiro Sato, Masashiro Matsushita, Jiro Ando   +10 more
wiley   +1 more source

From Abstract Syntax to Universal Dependencies [PDF]

Linguistic Issues in Language Technology, 2016
Abstract syntax is a semantic tree representation that lies between parse trees and logical forms. It abstracts away from word order and lexical items, but contains enough information to generate both surface strings and logical forms. Abstract syntax is commonly used in compilers as an intermediate between source and target languages.
Aarnte Ranta, Prasanth Kolachina
openaire   +2 more sources

Comparison of Procedural and Clinical Outcomes of Angiography‐ Versus Imaging‐Guided Percutaneous Coronary Intervention With Intravascular Lithotripsy

Catheterization and Cardiovascular Interventions, EarlyView.
ABSTRACT Background Intravascular lithotripsy (IVL) is an innovative treatment for coronary artery calcification (CAC). Aims This study aimed to compare procedural and clinical outcomes of intracoronary imaging (ICI)‐guided percutaneous coronary intervention (PCI) versus angiography‐guided PCI with IVL in patients with CAC.
Akshay A. S. Phagu, Martijn J. H. van Oort, Federico Oliveri, Brian O. Bingen, Gianluca Mincione, Valeria Paradies, Bimmer E. P. M. Claessen, Aukelien C. Dimitriu‐Leen, Tessel N. Vossenberg, Joelle Kefer, Hany Girgis, Frank van der Kley, J. Wouter Jukema, Ibtihal Al Amri, Jose M. Montero‐Cabezas   +14 more
wiley   +1 more source

Logic Column 16: Higher-Order Abstract Syntax: Setting the Record Straight [PDF]

arXiv, 2006
This article responds to a critique of higher-order abstract syntax appearing in Logic Column 14, ``Nominal Logic and Abstract Syntax'', cs.LO/0511025.
arxiv  

Structural abstract interpretation, A formal study using Coq [PDF]

, 2008
interpreters are tools to compute approximations for behaviors of a program. These approximations can then be used for optimisation or for error detection. In this paper, we show how to describe an abstract interpreter using the type-theory based theorem
Bertot, Yves
core   +3 more sources

Prophylactic IABP Use in Protected PCI Reduces Infarction Size and Leads to More Complete Revascularization in Comparison to Rescue IAPB Use

Catheterization and Cardiovascular Interventions, EarlyView.
ABSTRACT Background There is little data questioning the timing of intra‐aortic balloon pump (IABP) implantation in non‐cardiogenic shock patients undergoing high‐risk percutaneous procedures. Aims We compared prophylactic IABP (P‐IABP) implantation to an emergent, unplanned rescue use (R‐IABP) in high‐risk PCI. Methods Among 300 IAPB patients who were
Sascha d'Almeida, Tilman Stephan, Sebastian Weinig, Dominik Felbel, Benjamin Mayer, Stefanie Andreß, Wolfgang Rottbauer, Dominik Buckert, Sinisa Markovic   +8 more
wiley   +1 more source