A simple linear magnetic field sweep generator for magnetic resonance experiments

A simple and inexpensive linear magnetic field sweep generating system suitable for magnetic resonance experiments is described. The circuit, utilising a modified IC bootstrap configuration, generates field sweep over a wide range of sweep durations with excellent sweep linearity.

Del yo al euro : una propuesta didáctica de cooperación transnacional : educación permanente de adultos. 'From the I to the euro : a didactic proposal for transnational cooperation : permanent adult education'.

La obra se presenta en edición bilingue español/inglés .- Incluye una sección de apéndices en la que aparecen tablas y gráficos que recogen datos estadísticos sobre la experiencia didáctica, así como información general sobre la UE

Formal Multilevel Hierarchical Verification of Synchronous MOS Circuits

I have designed and implemented a system for the multilevel verification of synchronous MOS VLSI circuits. The system, called Silica Pithecus, accepts the schematic of an MOS circuit and a specification of the circuit's intended digital behavior. Silica Pithecus determines if the circuit meets its specification. If the circuit fails to meet its specification Silica Pithecus returns to the designer the reason for the failure. Unlike earlier verifiers which modelled primitives (e.g., transistors) as unidirectional digital devices, Silica Pithecus models primitives more realistically. Transistors are modelled as bidirectional devices of varying resistances, and nodes are modelled as capacitors. Silica Pithecus operates hierarchically, interactively, and incrementally. Major contributions of this research include a formal understanding of the relationship between different behavioral descriptions (e.g., signal, boolean, and arithmetic descriptions) of the same device, and a formalization of the relationship between the structure, behavior, and context of device. Given these formal structures my methods find sufficient conditions on the inputs of circuits which guarantee the correct operation of the circuit in the desired descriptive domain. These methods are algorithmic and complete. They also handle complex phenomena such as races and charge sharing. Informal notions such as races and hazards are shown to be derivable from the correctness conditions used by my methods.

Lower Bounds for Achieving Synchronous Early Stopping Consensus with Orderly Crash Failures

In this paper, we discuss the consensus problem for synchronous distributed systems with orderly crash failures. For a synchronous distributed system of n processes with up to t crash failures and f failures actually occur, first, we present a bivalency argument proof to solve the open problem of proving the lower bound, min (t + 1, f + 2) rounds, for early-stopping synchronous consensus with orderly crash failures, where t < n - 1. Then, we extend the system model with orderly crash failures to a new model in which a process is allowed to send multiple messages to the same destination process in a round and the failing processes still respect the order specified by the protocol in sending messages. For this new model, we present a uniform consensus protocol, in which all non-faulty processes always decide and stop immediately by the end of f + 1 rounds. We prove that the lower bound of early stopping protocols for both consensus and uniform consensus are f + 1 rounds under the new model, and our proposed protocol is optimal.

Temporary and Permanent Buyout Prices in Online Auctions

Increasingly used in online auctions, buyout prices allow bidders to instantly purchase the item listed. We distinguish two types: a temporary buyout option disappears if a bid above the reserve price is made; a permanent one remains throughout the auction or until it is exercised. In a model featuring time-sensitive bidders with uniform valuations and Poisson arrivals but endogenous bidding times, we focus on finding temporary and permanent buyout prices maximizing the seller's discounted revenue, and examine the relative benefit of using each type of option in various environments. We characterize equilibrium bidder strategies in both cases and then solve the problem of maximizing seller's utility by simulation. Our numerical experiments suggest that buyout options may significantly increase a seller’s revenue. Additionally, while a temporary buyout option promotes early bidding, a permanent option gives an incentive to the bidders to bid late, thus leading to concentrated bids near the end of the auction.

Vint-i-cinc anys de docència, cinc lleis d'educació i una permanent sensació d'incertesa : una reflexió sobre l'educació amb la LOE com a teló de fons. 'Veinticinco años de docencia, cinco leyes de educación y una permanente sensación de incertidumbre : una reflexión sobre la educación con la LOE como telón de fondo'.

Describe la incertidumbre en que el trabajo de los docentes se ve inmerso, debido a los continuos cambios de gobierno, los cuales afectan al quehacer educativo a través de la creación de leyes. En medio del debate permanente los docentes se sienten huérfanos, solos, ante unas necesidades en las aulas que son difíciles de dar respuesta debido a la falta de formación, de habilidades y sobretodo de apoyo externo, de la sociedad y de la família.

Class Test Generator

A combination of perl scripts and LaTeX files, this generates multiple multiple choice class tests from a single set of questions. You input a list of questions and answers into a text file. The script then produces any number of class tests that can be used, together with master answer sheets, by scrambling the order of the questions and the answers. Includes a detailed README file, but best just to try it and see.

Un model de formaci?? permanent de l'entrenador de futbol

Resumen tomado del autor

Percepci?? dels entrenadors espanyols de tennis d'alta competici?? sobre la seva formaci?? permanent : situaci?? actual i perspectives de futur

Resumen tomado del autor. Contiene tablas varias: de resultado, encuesta y gu??a de entrevista

Inspecció educativa i formació permanent del professorat. 'Inspección educativa y formación permanente del profesorado'.

Resumen tomado del autor

La formació a distància en el programa de formació permanent del professorat a les Illes Balears. 'La formación a distancia en el programa de formación permanente del profesorado en las Islas Baleares'.

Resumen tomado del autor

Programa de formació de formadors : cap a la professionalització dels assessors de formació permanent del professorat no universitari de les Illes Balears. 'Programa de formación de formadores : hacia la profesionalización de los asesores de formación permanente del profesorado no universitario de las Islas Baleares'.

Resumen tomado del autor

L'educació emocional en la formació permanent del professorat. 'La educación emocional en la formación permanente del profesorado'.

Resumen tomado de la revista

Ser mestre a l'escola petita : reflexions sobre la formaci?? inicial i permanent dels mestres. 'Ser maestro en la escuela peque??a : reflexiones sobre la formaci??n inicial y permanente de los maestros'

Se estudia la delicada situaci??n de las escuelas rurales y la gran importancia de la actuaci??n de los docentes que trabajan en ellas. Se analiza el perfil que tendr??a que tener el profesional que trabaja en estos centros y para ello se indica c??mo deber??an ser la formaci??n inicial y permanente espec??ficas del maestro rural, temas olvidados en los actuales planes de estudio de magisterio.