Let [Formula: see text] be a finitely generated group, [Formula: see text] a finite set of generators and [Formula: see text] a subgroup of [Formula: see text]. We define what it means for [Formula: see text] to be a context-free pair; when [Formula: see text] is trivial, this specializes to the standard definition of [Formula: see text] to be a context-free group. We derive some basic properti...

We introduce a novel semantic representation formalism, Almost Flat Functional semantics (AFF), which is designed as an intelligent compromise between linguistically motivated predicate/argument semantics and ad hoc engineering solutions based on flat feature/value lists; the central idea is to tag each semantic element with the functional marking which most closely surrounds it. We argue that ...

The Registro Informatizado de Enfermedad TromboEmbólica (RIETE Registry) is an ongoing, international, prospective registry of consecutive patients with acute venous thromboembolism (VTE) designed to gather and analyze data on treatment patterns and outcomes in patients with acute VTE. It started in Spain in 2001, and 6 years later the database was translated into English with the aim to expand...

BACKGROUND Efforts to improve quality of care for patients with acute myocardial infarction (AMI) are a national priority. To date, there have been few studies that have prospectively evaluated hospital quality improvement (QI) interventions. METHODS AND RESULTS Using hospitals in the National Cardiovascular Data Registry (NCDR) ACTION Registry-GWTG, a cluster randomized trial of the effectiv...

This paper describes the Advanced Forensic Format (AFF), which is designed as an alternative to current proprietary disk image formats. AFF offers two significant benefits. First, it is more flexible because it allows extensive metadata to be stored with images. Second, AFF images consume less disk space than images in other formats (e.g., EnCase images). This paper also describes the Advanced ...

We study the existential closures of several propositional languages L considered recently as target languages for knowledge compilation (KC), namely the incomplete fragments KROM-C, HORN-C, K/H-C, renH-C, AFF, and the corresponding disjunction closures KROM-C[∨], HORN-C[∨], K/H-C[∨], renH-C[∨], and AFF[∨]. We analyze the queries, transformations, expressiveness and succinctness of the resultin...

In this paper, the dynamics of the functions [Formula: see text] with the real parameter is studied. We say that a real parameter [Formula: see text] belongs to the set [Formula: see text] for a positive integer n if [Formula: see text] has an attracting cycle of n-order. We prove that the Fatou set [Formula: see text] is a completely invariant attracting basin for every parameter [Formula: see...

The decay time constants shown in Table 3 have been fitted using exponential functions. The monoexponential fit of the S 0 and T 1 populations has been done using the following formula: P mono,S 0 /T 1 = 1 − e −t τ 1 (1) The biexponential fit has been performed using the following formula:

We are concerned with the following quasilinear Choquard equation: [Formula: see text] where [Formula: see text], [Formula: see text] is the p-Laplacian operator, the potential function [Formula: see text] is continuous and [Formula: see text]. Here, [Formula: see text] is the Riesz potential of order [Formula: see text]. We study the existence of weak solutions for the problem above via the mo...

We consider the quadratic eigenvalue problem (QEP) (λ2M + λG + K)x = 0, where M = MT is positive definite, K = KT is negative definite, and G = −GT . The eigenvalues of the QEP occur in quadruplets (λ, λ,−λ,−λ) or in real or purely imaginary pairs (λ,−λ). We show that all eigenvalues of the QEP can be found efficiently and with the correct symmetry, by finding a proper solvent X of the matrix e...