«Constrained-optimal strategy-proof assignment: beyond the groves mechanisms»

A single object must be allocated to at most one of n agents. Money transfers are possible and preferences are quasilinear. We offer an explicit description of the individually rational mechanisms which are Pareto-optimal in the class of feasible, strategy-proof, anonymous and envy-free mechanisms. These mechanisms form a one-parameter infinite family; the Vickrey mechanism is the only Groves mechanism in that family.

Strategy-proof preference aggregation

An aggregation rule maps each profile of individual strict preference orderings over a set of alternatives into a social ordering over that set. We call such a rule strategyproof if misreporting one’s preference never produces a social ordering that is strictly between the original ordering and one’s own preference. After describing a few examples of manipulable rules, we study in some detail three classes of strategy-proof rules: (i)rules based on a monotonic alteration of the majority relation generated by the preference profile; (ii)rules improving upon a fixed status-quo; and (iii) rules generalizing the Condorcet-Kemeny aggregation method.

An algebraic proof of Iitaka's conjecture C2,1

We give a proof of Iitaka's conjecture C2,1 using only elementary methods from algebraic geometry.

Patent DE10 2004 037 519 B4 “Sensor Process and Device for Determining a Physical Value“. A Proof of Concept

At present, a fraction of 0.1 - 0.2% of the patients undergoing surgery become aware during the process. The situation is referred to as anesthesia awareness and is obviously very traumatic for the person experiencing it. The reason for its occurrence is mostly an insufficient dosage of the narcotic Propofol combined with the incapability of the technology monitoring the depth of the patient’s anesthetic state to notice the patient becoming aware. A solution can be a highly sensitive and selective real time monitoring device for Propofol based on optical absorption spectroscopy. Its working principle has been postulated by Prof. Dr. habil. H. Hillmer and formulated in DE10 2004 037 519 B4, filed on Aug 30th, 2004. It consists of the exploitation of Intra Cavity Absorption effects in a two mode laser system. In this Dissertation, a two mode external cavity semiconductor laser, which has been developed previously to this work is enhanced and optimized to a functional sensor. Enhancements include the implementation of variable couplers into the system and the implementation of a collimator arrangement into which samples can be introduced. A sample holder and cells are developed and characterized with a focus on compatibility with the measurement approach. Further optimization concerns the overall performance of the system: scattering sources are reduced by re-splicing all fiber-to-fiber connections, parasitic cavities are eliminated by suppressing the Fresnel reflexes of all one fiber ends by means of optical isolators and wavelength stability of the system is improved by the implementation of thermal insulation to the Fiber Bragg Gratings (FBG). The final laser sensor is characterized in detail thermally and optically. Two separate modes are obtained at 1542.0 and 1542.5 nm, tunable in a range of 1nm each. Mode Full Width at Half Maximum (FWHM) is 0.06nm and Signal to Noise Ratio (SNR) is as high as 55 dB. Independent of tuning the two modes of the system can always be equalized in intensity, which is important as the delicacy of the intensity equilibrium is one of the main sensitivity enhancing effects formulated in DE10 2004 037 519 B4. For the proof of concept (POC) measurements the target substance Propofol is diluted in the solvents Acetone and DiChloroMethane (DCM), which have been investigated for compatibility with Propofol beforehand. Eight measurement series (two solvents, two cell lengths and two different mode spacings) are taken, which draw a uniform picture: mode intensity ratio responds linearly to an increase of Propofol in all cases. The slope of the linear response indicates the sensitivity of the system. The eight series are split up into two groups: measurements taken in long cells and measurements taken in short cells.

A Virtual Machine for a Type-omega Denotational Proof Language

In this thesis, I designed and implemented a virtual machine (VM) for a monomorphic variant of Athena, a type-omega denotational proof language (DPL). This machine attempts to maintain the minimum state required to evaluate Athena phrases. This thesis also includes the design and implementation of a compiler for monomorphic Athena that compiles to the VM. Finally, it includes details on my implementation of a read-eval-print loop that glues together the VM core and the compiler to provide a full, user-accessible interface to monomorphic Athena. The Athena VM provides the same basis for DPLs that the SECD machine does for pure, functional programming and the Warren Abstract Machine does for Prolog.

The teaching assistants guide to dyspraxia.

Guía que proporciona recomendaciones sobre cómo desarrollar relaciones eficaces con niños dispráxicos. Ofrece más de veintiséis actividades para aprender a prestar una orientación y un apoyo efectivo .

Every Child Matters : a practical guide for teaching assistants.

Recurso para que profesores que trabajan en la enseñanza primaria y secundaria reflexionen sobre su papel en el contexto educativo actual, con especial referencia a la agenda Every Child Matters (Cada Niño Importa). Tiene asesoramiento, hojas fotocopiables, plantillas, glosario y direcciones webs.

Supporting teaching and learning in schools : a handbook for higher level teaching assistants.

Libro dirigido a la figura del HLTA (Higher Level Teaching Assistant) con el objetivo de proporcionar una guía práctica, ideas y material de apoyo para el desarrollo de un trabajo eficaz con los alumnos, los profesores, los padres y el resto de profesionales implicados en el bienestar de los niños. Incluye ejemplos reales de buenas prácticas, una base sobre pedagogía y sobre el rol de los profesores y HLTAs como creadores de ambientes productivos para el aprendizaje, y trata aspectos como la gestión de las clases y las interrelaciones con los alumnos, el papel del HLTA en la comunidad educativa y su desarrollo profesional.

The Ideological Becoming of International Graduate Assistants in A United States University

Resumen tomado de la publicación

The width of a proof

Resumen tomado de la publicaci??n

Teaching assistants and pupils' academic and social engagement in mainstream schools: insights from systematic literature reviews

The last 20 years have seen a huge expansion in the additional adults working in classrooms in the UK, USA, and other countries. This paper presents the findings of a series of systematic literature reviews about teaching assistants. The first two reviews focused on stakeholder perceptions of teaching assistant contributions to academic and social engagement. Stakeholders were pupils, teachers, TAs, headteachers and parents. Perceptions focused on four principal contributions that teaching assistants contribute to: pupils’ academic and socio-academic engagement; inclusion; maintenance of stakeholder relations; and support for the teacher. The third review explored training. Against a background of patchy training provision both in the UK and the USA, strong claims are made for the benefits to TAs of training provided, particularly in building confidence and skills. The conclusions include implications for further training and the need for further research to gain an in-depth understanding as to precisely the manner in which TAs engage with children.