In this paper, we study controlled adaptability of metamodel transformations. We consider one of the most rigid metamodel evolution formalisms — automated grammar transformation with operator suites, where a transformation script is built in such a way that it is essentially meant to be applicable only to one designated input grammar fragment. We propose a new model of processing unidirectional...

Exponential growth in digital information gathering, storage, and processing capabilities inexorably leads to conflict between wellintentioned government or commercial datamining, and fundamental privacy interests of individuals and organizations. This paper proposes a mechanism that provides cryptographic fetters on the mining of personal data, enabling efficient mining of previously-negotiate...

Exam Committee Exam Logistics Committee Chairperson: Date: Prof. Monica Vazirani Thursday September 3, 2015 Committee Members: Time: Prof. Dan Romik 11AM-2PM Assoc. Fu Liu Location: Prof. Greg Kuperberg MSB 3106 Prof. Francisco J. Samaniego 1 Proposed Research Talk 1.1 The Catalan numbers and q-analogues. A lattice path is a sequence of North N(0, 1) and East E(1, 0) steps in the first quadrant...

The opinions expressed in this document represent those of the authors. The purpose of the document is to educate physicians and others about anesthetic issues pertinent to the elderly population. The document specifically does not purport to provide practice guidelines. The text is not intended to be comprehensive and any apparent anesthetic management suggestions will not apply to all patient...

L2 written corrective feedback has been investigated from different perspectives in SLA research (e.g. Ahmadian & Tajabadi, 2015; Bitchener & Knoch, 2010; Ferris, 2006). Taking the cognitive and sociocultural paradigms into account, the aims of the current study are twofold: Firstly, it attempts to find if corrective feedback is effective in improving the linguistic accuracy of L2 learners' ten...

A printable version of this syllabus is available here.

Basic constructions: The completeness and compactness theorems. The Löwenheim-Skolem theorem. Omitting types. Ultraproducts. Indiscernible sequences. Nice properties: Saturation, homogeneity, and the monster model. Elimination of imaginaries and Meq. Quantifier elimination. Model completeness. Countably categorical theories. Stable theories: Characterizations of a stable formula. Stable, supers...

(a) Definition of a ∆-system, statement and proof of the ∆-system lemma. (b) Statement of MA (Martin’s Axiom) and MAκ, proof that MAω holds and MAc fails. (c) Definition of a club and a stationary subset of κ, of the club filter and proof that the club filter on a regular cardinal κ is κ-complete. (d) Statement and proof of the Pressing Down Lemma. i. An application: Statement and proof of Thom...

The European Association of Cardiovascular Imaging (EACVI) Core Syllabus for Cardiac Computed Tomography (CT) is now available online. The syllabus lists key elements of knowledge in Cardiac CT. It represents a framework for the development of training curricula and provides expected knowledge-based learning outcomes to the Cardiac CT trainees.