Theorem 1.1 (Hrushovski’s Theorem 3.5). Let G be a definable group, X a definable subset, and G̃ be the ∨-definable group generated by X. Suppose all this data is defined over a model M . Suppose μ is an M-invariant translation-invariant ideal on subsets of G̃. Let q be a wide type over M , contained in G̃. Identify q with its ∧-definable set of realizations. Suppose (F) there exist two realizatio...

As these authors observe, the sentences in (1) and (2) are similar in both form and meaning. The truncated clefts in (1) look like the clefts in (2) minus the cleft clause, and in the right contexts, each of the sentences in (1) can be used with the meaning of the corresponding sentence in (2). Following a question like Who went to Hamburg?, (1b) can be used to convey what (2b) conveys, and fol...

The interpretation of adjective-noun pairs plays a crucial role in tasks such as recognizing textual entailment. Formal semantics often places adjectives into a taxonomy which should dictate adjectives’ entailment behavior when placed in adjective-noun compounds. However, we show experimentally that the behavior of subsective adjectives (e.g. red) versus non-subsective adjectives (e.g. fake) is...

The design of an educational informatics system called EdUI, currently in development at the University of Idaho, is presented. Its purposes are to improve student retention and learning, and to facilitate efficient organization and presentation of learning resources. EdUI is essentially composed of a relational database of metadata describing and linked to learning objects. The use of open sou...

a r t i c l e i n f o This paper examines the strategic environmental assessment (SEA)–sustainability relationship over the past decade, from 2000 to 2010, focusing in particular on the incorporation of sustainability in SEA. A total of 86 papers from the academic literature containing the terms 'sustainability' or 'sustainable development' and 'strategic environmental assessment' were identifi...

An integrated use of two measurement methods can detect medically diagnosable health conditions. The combination of PQC and EAV give information about the current individual conditioned healthregulation of the patient. This combination uses the position of so-called wholeness in life. The point of view of sustainability is addressed on meridians. Findings result is a functional assessment of th...

Today, market access should be guided by the presence of innovative products that can be incorporated into health-care systems or national health services, thereby guaranteeing their sustainability. However, the current reality is that the introduction of a new drug or medical device often ends up being a strategy for replacing an old product with a more innovative one. This change occurs witho...

Scheduling problems play a big role in manufacturing and planning the production for increasing the production efficiency and assigning the resources to operations. Furthermore, in many manufacturing systems there is a physical space between stages that called intermediate buffers. In this study, a model is proposed for minimizing the makespan of a hybrid flow shop scheduling problem with inter...