How to improve the formal analytic reasoning and scientific motivation in the intellectual training of medical students

A review article of the The New England Journal of Medicine refers that almost a century ago, Abraham Flexner, a research scholar at the Carnegie Foundation for the Advancement of Teaching, undertook an assessment of medical education in 155 medical schools in operation in the United States and Canada. Flexner’s report emphasized the nonscientific approach of American medical schools to preparation for the profession, which contrasted with the university-based system of medical education in Germany. At the core of Flexner’s view was the notion that formal analytic reasoning, the kind of thinking integral to the natural sciences, should hold pride of place in the intellectual training of physicians. This idea was pioneered at Harvard University, the University of Michigan, and the University of Pennsylvania in the 1880s, but was most fully expressed in the educational program at Johns Hopkins University, which Flexner regarded as the ideal for medical education. (...)

A mission control system for an autonomous underwater vehicle

The presented work focuses on the theoretical and practical aspects concerning the design and development of a formal method to build a mission control system for autonomous underwater vehicles bringing systematic design principles for the formal description of missions using Petri nets. The proposed methodology compounds Petri net building blocks within it to de_ne a mission plan for which it is proved that formal properties, such as reachability and reusability, hold as long as these same properties are also guaranteed by each Petri net building block. To simplify the de_nition of these Petri net blocks as well as their composition, a high level language called Mission Control Language has been developed. Moreover, a methodology to ensure coordination constraints for teams of multiple robots as well as the de_nition of an interface between the proposed system and an on-board planner able to plan/replan sequences of prede_ned mission plans is included as well. Results of experiments with several real underwater vehicles and simulations involving an autonomous surface craft and an autonomous underwater vehicles are presented to show the system's capabilities.

L'efecte de la gestió forestal post-incendi sobre l'avifauna i la dispersió de llavors per ocells frugívors

The objective of this thesis is to analyze the effect of the transformation in the habitat that postfire salvage logging supposes on birds in Mediterranean pine forests, at different levels: species, community and ecosystem, focusing on the bird-mediated seed dispersal process. Salvage logging with commercial purposes is the main factor that determines the species composition after a fire, with the substitution of forest birds by open-habitat species, some of which hold an unfavourable conservation status in Europe. On the other hand, wood debris piles built by non-profitable burnt wood favour the presence of seed disperser frugivorous birds, and these structures show more seed dispersal than other microhabitats, and a higher abundance of bird-dispersed plants, so that it is recommendable to build them in managed burned forests.