Filtyp
Reference attribute grammars (RAGs) have reached a level of maturity where they are supported by several tools, and have gained traction in both academic and industrial language tool development. However, despite a lot of accumulated knowledge of how to best develop RAGs in practice, there is limited support to guide practitioners.In this paper, we address this issue by focusing on one RAG tool, J
The last decade has seen a revival of interest in pebble games in the context of proof complexity. Pebbling has proven to be a useful tool for studying resolution-based proof systems when comparing the strength of different subsystems, showing bounds on proof space, and establishing size-space trade-offs. The typical approach has been to encode the pebble game played on a graph as a CNF formula an
The last decade has seen a revival of interest in pebble games in the context of proof complexity. Pebbling has proven to be a useful tool for studying resolution-based proof systems when comparing the strength of different subsystems, showing bounds on proof space, and establishing size-space trade-offs. The typical approach has been to encode the pebble game played on a graph as a CNF formula an
The chapter explores the symbols and myths of EU transnational solidarity through a threefold analysis of transnational solidarity within, across, and beyond the EU. Based on post-Cold War study of the EU in global politics over the past three decades, it compares and contrasts transnational solidarity from communitarian and cosmopolitan perspectives before advocating a cosmopolitical understandin
We develop the perspective of crystallization as a way to shed a light on the morphogenesis and stabilization of urban territories. We start by describing crystallization as a consolidation of a visible and singular order that establishes certain privileged directions of growth and breaks spatial and temporal symmetries. We then illuminate how crystallization processes unfold at different scales,
Why do some foreign ministers stay longer in office than others? Are they punished when the country loses a war? Several scholars have focused on the tenure of leaders as an important predictor of foreign policy outcomes, such as war onset, creating an interest in leadership survival. We here shift the focus to the survival of other important politicians in cabinet-foreign ministers, hypothesizing
BACKGROUND: Direct-to-consumer telemedicine is an increasingly used modality to access primary care. Previous research on assessment using synchronous virtual visits showed mixed results regarding antibiotic prescription rates, and research on assessment using asynchronous chat-based eVisits is lacking.OBJECTIVE: The goal of the research was to investigate if eVisit management of sore throat, othe
Based on nucleotide sequences from three chloroplast DNA regions (rps16, rpl16, trnT-trnL), we infer detailed phylogenetic relationships within the subfamily Thunbergioideae (Acanthaceae) and among major lineages of the family as a whole. Taxa were sampled to cover the geographic distribution of Thunbergioideae and to include all subgenera of the largest genus Thunbergia. All other major lineages
The accuracy of pore size distributions (PSD) obtained from gas adsorption and cryoporometry is compromised by the presence of advanced adsorption and advanced melting effects, respectively. In order to improve PSD accuracy, it is necessary to know the extent of such effects. In this work cryoporometry and adsorption have been combined to study the onset of advanced melting effects in a sample par
Although Benjamin Schnieder’s theory of the “ordinary conception” of properties successfully handles paradoxical properties—particularly, the property of non-self-instantiation—it fails to account for ordinary, non-pathological cases. The theory allows the inference of ‘a has the property of being F’ only given F(a) and the prior assertibility of ‘the property of being F can exist’. While this all
Importance: We know little about the transmission of obsessive-compulsive disorder (OCD) across generations. Objective: To evaluate the sources of parent-offspring transmission of OCD and familial cross-generational association with more typical anxiety disorders. Design, Setting, and Participants: This Swedish population register-based study analyzed data for offspring born in Sweden from 1960 to
Introduction. Recently, more attention is being paid to the drug-induced liver injury (DILI) as a consequence of the tuberculos is treatment and the need for new medicine is emphasized. The use of isoniazid and rifampicin has a potentiating effect, which increases the risk of substancial liver damage. In turn, systemic accumulation of toxic metabolites leads to negative changes in various organs,
We discuss two approaches for the formulation and implementation of space-time discontinuous Galerkin spectral element methods (DG-SEM). In one, time is treated as an additional coordinate direction and a Galerkin procedure is applied to the entire problem. In the other, the method of lines is used with DG-SEM in space and the fully implicit Runge–Kutta method Lobatto IIIC in time. The two approac
