Failure to Attract and Retain Clinician/Scientist Faculty Puts Our Profession at Risk

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/67925/2/10.1177_00220345990780100101.pd

IFIP TC 13 Seminar: trends in HCI proceedings, March 26, 2007, Salamanca (Spain)

Actas del 13o. Seminario de la International Federation for Information Processing (IFIP), celebrado en Salamanca el 26 de marzo de 2007, sobre las nuevas líneas de investigación en la interacción hombre-máquina, gestión del conocimiento y enseñanza por la Web

Proceedings of the 11th International Conference, TPHOLs’98 Canberra, Australia, September–October 1998. Supplementary Proceedings

Mechanical theorem provers for higher order logics have been successfully applied in many areas including hardware verification and synthesis; verification of security and communications protocols; software verification, transformation and refinement; compiler construction; and concurrency. The higher order logics used to reason about these problems and the underlying theorem prover technology that support them are also active areas of research. The International Conference on Theorem Proving in Higher Order Logics (TPHOLs) brings together people working in these and related areas for the discussion and dissemination of new ideas in the field. TPHOLs'98 continues the conference tradition of having both a completed work and work-in-progress stream. The Papers from the first stream were formally refereed, and published as volume 1479 of LNCS. This, supplementary, proceedings records work accepted under the work-in-progress category, and is intended to document emerging trends in higher-order logic research. Papers in the work-in-progress stream are vetted for relevance and contribution before acceptance. The work-in-progress stream is regarded as an important feature of the conference as it provides a venue for the presentation of ongoing research projects, where researchers invite discussion of preliminary results. Although the TPHOLs conferences have their genesis in meetings of the users of the HOL theorem proving system, each successive year has seen a higher rate of contribution from the other groups with similar goals, particularly the user communities of Coq, Isabelle, Lambda, Lego, NuPrl, and PVS. Since 1993 the proceedings have been published by Springer as volumes in Lecture Notes in Computer Science series. Bibliographic details of these publications can be found at the back of this book; more history of TPHOLs can be found with further information about the 1998 event at http://cs.anu.edu.au/TPHOLs98/.Conference Papers: Integrating TPS with Omega By Christoph Benzmuller and Volker Sorge Some Theorem Proving Aids By Paul E. Black and Phillip J. Windley Verification of the MDG Components Library in HOL By Paul Curzon, Sofiene Tahar, and Otmane Ait Mohamed Simulating Term-Rewriting in LPF and in Display Logic By Jeremy E. Dawson A Prototype Generic Tool Supporting the Embedding of Formal Notations By Andrew M. Gravell and Chris H. Pratten Embedding a Formal Notation: Experiences of Automating the Embedding of Z in the Higher Order Logics of PVS and HOL By Andrew M. Gravell and Chris H. Pratten Building HOL90 Everywhere Easily (Well Almost) By Elsa L. Gunter Program Composition in COQ-UNITY : By Francois Marques Formally Analysed Dynamic Synthesis of Hardware By Kong Woei Susanto and Tom Melham Requirements for a Simple Proof Checker By Geoffrey Watson Integrating HOL and RAISE: a practitioner's approach By Wai Wong and Karl R. P. H. Leung Effective Support for Mutually Recursive Types By Peter V. Homeie

Forschendes Lernen 2.0. Lerntheoretische Fundierung und Good Practice

Im Artikel "Forschendes Lernen 2.0 – lerntheoretische Fundierung und Good Practice“ behandelt David Kergel die lerntheoretischen Grundlagen des forschenden Lernens und eines forschenden Lernens 2.0. Ein forschendes Lernen 2.0 setzt sich u.a. mit den Herausforderungen des medialen Wandels auseinander, der Lernen und Forschen zunehmend prägt und seine Wurzeln v.a. in den Bereichen E-Science und E-Learning 2.0 hat. Anhand eines Good-Practice-Beispiels (Das Ich und das Netz – subjektorientiertes E-Learning 2.0), das als Pilotveranstaltung im Sommersemester 2014 an der Carl von Ossietzky Universität durchgeführt und evaluiert worden ist, wird paradigmatisch die Umsetzung des forschenden Lernens 2.0 in der hochschulpädagogischen Praxis vorgestellt. (DIPF/Orig.

Optimierung einer Lernumgebung für berufstätige Studierende. Ein Praxisbeispiel

Der abschließende Beitrag von Christian Schöne setzt sich am Beispiel des C3L der Universität Oldenburg mit den technischen Anforderungen einer Lernumgebung für berufstätige Studierende auseinander. Das Beispiel greift die technischen Spezifika einer solchen Lernumgebung auf und wie diese für die Zielgruppe der NTS optimiert werden kann unter Berücksichtigung der Bedürfnisse nach raum-zeitlich flexiblen Lernmöglichkeiten. Neben dem eigentlichen Design der Umgebung selbst behandelt der Beitrag auch Aspekte mobiler Endgeräte, der Medienselektion hinsichtlich der eingesetzten Tools sowie von Bedienbarkeit und Nutzerfreundlichkeit. (DIPF/Orig.

Agiles Lernen mit Just-in-Time-Teaching. Adaptive Lehre vor dem Hintergrund von Konstruktivismus und intrinsischer Motivation

Als weitere Dimension in der Betrachtung individueller Voraussetzungen greift der Beitrag von Barbara Meissner und Hans-Jürgen Stenger sowohl konstruktivistische Lernprozessorientierung sowie intrinsische Motivation von Studierenden auf. Der Frage folgend, wie unter Berücksichtigung von Konstruktivismus und Motivation digitale Medien sinnvoll zu einer Öffnung der Hochschulen für heterogene Zielgruppen beitragen können, beleuchten die Autoren den Ansatz des Just-in-Time-Teaching (JiTT). Dieser Ansatz erlaubt flexible, reflexive und durch stetige Evaluation angepasste Lernmöglichkeiten und wird in der Gestaltung der Lernmaterialien den Ansprüchen an motivationale Aspekte gerecht. (DIPF/Orig.

日本の貿易構造からみる製造企業の動向 : ASEAN 諸国におけるものづくりと空洞化問題

はじめに 1．日本企業の海外進出と空洞化問題 1．1日本の対外直接投資 1．2貿易の変化と空洞化問題 2．日本の貿易構造 2．1日本の国別貿易 2．2　国別概況品貿易 3．日本とASEAN 諸国の貿易構造 3．1 HSコード分類でみた貿易構造 3．2現地調達比率100％の意味 むすびにかえ

The Dark Side of Transfer Pricing: Its Role in Tax Avoidance and Wealth Retentiveness

In conventional accounting literature, ?transfer pricing? is portrayed as a technique for optimal allocation of costs and revenues amongst divisions, subsidiaries and joint ventures within a group of related entities. Such representations of transfer pricing simultaneously acknowledge and occlude how it is deeply implicated in processes of wealth retentiveness that enable companies to avoid taxes and facilitate the flight of capital. A purely technical conception of transfer pricing calculations abstracts them from the politico-economic contexts of their development and use. The context is the modern corporation in an era of globalized trade and its relationship to state tax authorities, shareholders and other possible stakeholders. Transfer pricing practices are responsive to opportunities for determining values in ways that are consequential for enhancing private gains, and thereby contributing to relative social impoverishment, by avoiding the payment of public taxes. Evidence is provided by examining some of the transfer prices practices used by corporations to avoid taxes in developing and developed economies

Professionalisierung der Beratung zum Einsatz digitaler Medien in der Lehre. Das Weiterbildungskonzept "Hochschuldidaktische Beratung"

Im Rahmen des Bund-Länder-Programms für bessere Studienbedingungen und mehr Qualität in der Lehre ("Qualitätspakt Lehre") verfolgt das Verbundprojekt eCULT das Ziel, vorhandene Erfahrungen im Einsatz digitaler Lerntechnologien aufzugreifen und in die Breite zu tragen. Um Lehrende möglichst gut auf den Einsatz von digitalen Medien vorbereiten zu können und sie didaktisch zu unterstützen, bedarf es einer Professionalisierung der vorhandenen Support- und Beratungsstrukturen – und damit der hochschuldidaktischen Beratung. Dieses äußerst anspruchsvolle Tätigkeitsfeld mit seinen vielfältigen Anforderungen ist Gegenstand eines Qualifizierungsangebotes für didaktische Beraterinnen und Berater in Hochschulen. Die hochschulzertifizierte Weiterbildung hat einen Umfang von 30 Credit Points und umfasst neun Module in den drei Modulbereichen "Didaktik“, "Beratung“ und "Hochschule“ sowie begleitende Reflexionen in peer groups. Anschließend werden die Teilnehmenden in ein kollegiales Netzwerk überführt, das einem langfristigen Austausch dient und so die Nachhaltigkeit garantiert. Ziel des Angebotes ist es, insbesondere den vielen Mitarbeiter/inne/n im Qualitätspakt Lehre eine Möglichkeit der Professionalisierung zu geben, die im Aufbau befindlichen Strukturen zu verstetigen und damit eine nachhaltige Qualität der Angebote sicherzustellen. (DIPF/Orig.

Public understanding of plant biology: Voices from the bottom of the garden

Many household gardeners accumulate considerable knowledge of plant biology through a range of informal learning sources. This knowledge seldom relates to school biology and is driven by interest, keen motivation and what is termed here ‘vital relevance’. A small opportunity sample of 12 gardeners (6 M, 6 F) is interviewed in terms of their knowledge of plant biology and their motives for learning. They are largely self-educated, their knowledge is quite specific though piecemeal and their motivation has a strong affective dimension