创新联盟的动机与利益-一个实证研究

联盟是可以促进创新的.本文通过对70多个研发联盟的生物技术公司的实践研究表明,节约时间、共担风险及专业化是联盟的主要动机,并且这些动机对基础创新有积极的影响.但是过分的依靠联盟伙伴就会束缚自身能力的发挥,数据表明不同的联盟形式对于创新绩效会有不同的影响.     

Why and how mathematicians read proofs: an exploratory study

In this paper, we report a study in which nine research mathematicians were interviewed with regard to the goals guiding their reading of published proofs and the type of reasoning they use to reach these goals. Using the data from this study as well as data from a separate study (Weber, Journal for Research in Mathematics Education 39:431–459, 2008) and the philosophical literature on mathematical proof, we identify three general strategies that mathematicians employ when reading proofs: appealing to the authority of other mathematicians who read the proof, line-by-line reading, and modular reading. We argue that non-deductive reasoning plays an important role in each of these three strategies.     

Die Beweisentwicklungsumgebung W\Omega -Mkrp

Zusammenfassung. Die Beweisentwicklungsumgebung -Mkrpsoll Mathematiker bei einer ihrer Hauptt?tigkeiten, n?mlich dem Beweisen mathematischer Theoreme unterstützen. Diese Unterstützung mu? so komfortabel sein, da? die rechnergestützte Suche nach formalen Beweisen leichter und insbesondere weniger aufwendig ist, als ohne das System. Dazu mu? die verwendete Objektsprache ausdrucksstark sein, man mu? die M?glichkeit haben, abstrakt über Beweispl?ne zu reden, die gefundenen Beweise müssen in einer am Menschen orientierte Form pr?sentiert werden und vor allem mu? eine effiziente Unterstützung beim Füllen von Beweislücken zur Verfügung stehen. Das im folgenden vorgestellte $\Omega$-Mkrp-System ist der Versuch einer Synthese der Ans?tze des vollautomatischen, des interaktiven und des planbasierten Beweisens. Dieser Artikel soll eine übersicht über unsere Arbeit an diesem System geben. Eingegangen am 24. Juni 1994 / Angenommen am 3. November 1995     

DNA-Computing – ein funktionales Modell im laborpraktischen Experiment

Zusammenfassung.   Im Zentrum der Betrachtungen zum DNA-Computing steht die Frage nach den Chancen und Grenzen dieses neuen Berechnungsmodells, nachdem in den letzten Jahren eine rasante Entwicklung auf das Thema aufmerksam machte. Neben beachtlichen theoretischen Untersuchungen zum “Rechnen im Reagenzglas” werden auch laborpraktische Implementierungen favorisiert. An der TU Dresden wurde in interdisziplin?rer Arbeit ein Integer-Rucksackproblem mittels eines DNA-Algorithmus im Labor gel?st und dabei eine Vielzahl molekularbiologischer Operationen analysiert. Mit Hilfe dieses Satzes von Operationen gelang eine universelle und labornahe Modellierung des DNA-Computing. Hierbei angewandte Techniken und Methoden werden vorgestellt und bewertet. Die Beschreibung des DNA-Algorithmus zeigt, wie sich Einzeloperationen vorteilhaft zu Operationsfolgen zusammensetzen lassen und gemeinsam mit einer geeigneten DNA-Kodierung der Eingangsdaten zur L?sung des Problems im Labor führen. Erstmalig wurden hierbei natürliche Zahlen verarbeitet. Die Arbeitsgemeinschaft DNA-Computing Dresden konzentriert sich auf Aufgabenstellungen, die formale Modelle des DNA-Computing mit überzeugenden Laborimplementierungen verbinden. Eingegangen am 14. Februar 2000 / Angenommen am 26. Oktober 2000     

Teacher behavior, student interest and affective learning: putting theory to practice

Students of Project Adapt (PA), an instructional program for at-risk middle school students in Brooklyn NY, have displayed startling improvement on cognitive outcome measures. Teacher given grades and standardized tests illuminate the progress students have made since entering the program. The current investigation attempts to analyze PA on students' affective responses in a pre/post-test experimental design. Upon entering PA, students completed measures of interest, affect, and their previous teachers' behavior (pre). These ratings were then compared to end of year ratings on the same instruments (post). Results indicate students' perceive PA teachers utilizing different behaviors than their previous teachers. Additionally, student affect and interest increased significantly. Results of this study have implications for both instructional researchers and educational practitioners.     

Describing microforms and the marc formats

Conclusion It is easy to get bogged down in the complexities of this topic. What is most important to keep in mind, (and what we tell the SAA MARC-AMC workshop participants) is to create a catalog record that expresses to the user what you want it to. However, this is often easier said than done.