排序方式： 共有9条查询结果，搜索用时 15 毫秒
1
1.
Xiaorong Huang Manfred Kerber Michael Kohlhase Erica Melis Dan Nesmith J?rn Richts und J?rg Siekmann 《Informatik - Forschung und Entwicklung》1996,11(1):20-26
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 相似文献
2.
The purpose of this paper is to understand historically and contextually the well-being and agency of selected female teachers in Turkey. The paper develops a justice model based on the capability approach to build on the relation between freedom and equality, and to take gender and cultural diversity as a key element. The research draws on results from in-depth biographical narratives of 15 participants from west Turkey, examining the real freedoms and opportunities of three different generations of female teachers through constructing a gendered look into women's lives. The study begins by developing a framework linking women's opportunities and freedoms drawing its normative compass from Martha Nussbaum's capabilities approach. It explores how female teachers’ well-being can be understood in relation to key capabilities that individuals, communities and society have reason to value and how these capabilities and functionings can be expanded or constrained. The paper argues for the significance of thinking about capabilities in the professional lives of teachers who work for social change. Through a historical and generational sequence, it captures the egalitarian aspects of the capability approach, and strengthens its emphasis on freedoms of women. The findings of this enquiry indicate that there are persistent economic, cultural, ethnical, structural and gendered inequalities in women's lives, but that women also have agency to bring changes in their lives and through their teaching. 相似文献
3.
How do children reason about academic performance across development? A classic view suggests children’s intuitive theories in this domain undergo qualitative changes. According to this view, older children and adults consider both effort and skill as sources of performance (i.e., a “performance = effort + skill” theory), but younger children can only consider effort (i.e., a “performance = effort” theory). Results from two studies (N = 240 children aged 4–9) contradict the claim of theory change, suggesting instead that children as young as 4 operate with an intuitive theory of academic performance that incorporates both effort and skill as explanatory concepts. This work reveals that children’s understanding of academic performance is more continuous across development than previously assumed. 相似文献
4.
This paper presents the development and initial validation of a feedback scale which measures the thoughts and affective reactions of prospective teachers concerning feedback on their teaching experiences. To reach this goal, data from 512 prospective teachers were used to test the internal consistency, exploratory and confirmative factor structure. While exploratory factor analysis was conducted on a random split-half sample of the data to examine the factor structure of the feedback scale items, confirmative factor analysis was conducted in the holdout sample. As a result of these analyses, it has been determined that the scale showed good validity and it has a structure composed of two factors; professional development and anxiety. Also, the reliability of these sub-factors of scale scores was found to be highly reliable. Overall, results suggest that this scale is a valid measurement that should reveal the viewpoints of prospective teachers regarding feedback in the form of observable behaviours for future research. 相似文献
5.
Jenna Mittelmeier Dianne Long Firdevs Melis Cin Katharine Reedy Ashley Gunter Parvati Raghuram 《Open Learning》2013,28(3):250-266
Learning design approaches, such as those adopted by the Open University, provide a set of tools and resources for purposefully-designing modules with a focus on student experiences. However, many of the current learning design strategies have been situated within specific institutions in Europe and North America. This means that there are several issues worth considering around if and how established learning design approaches make sense in diverse institutional and cultural contexts. To critically assess the relevance and appropriateness of learning design strategies in new contexts, this article describes an in-depth participatory workshop with 34 education professionals from five African countries. Altogether, 10 suggestions for learning design practices were derived from the consensus of workshop participants, which provide a foundation for the development of learning design practices moving forward. 相似文献
6.
Bilge Yagmurlu H. Melis Yavuz 《International Journal of Disability, Development & Education》2015,62(1):83-98
The aim of the study was to investigate social competence in children with orthopaedic disability and its concurrent relations to child’s temperament, health condition, and maternal warmth. Participants were 68 Turkish children (mean = 5.94 years) with chronic orthopaedic disability and their mothers coming from disadvantaged backgrounds. Mother ratings were used to measure social competence, temperament, general health condition, and parental warmth. The attending physician rated the severity of orthopaedic disability. Attentional focusing, emotional reactivity, and child’s sex significantly predicted social competence. Age at first operation was slightly negatively associated with reactivity. The findings revealed the importance of emotional and attentional regulation for social functioning in children with orthopaedic disability, and pointed to the susceptibility of reactivity to environmental conditions. The study suggested that social functioning of youth with orthopaedic disability might benefit from temperament-based intervention and prevention programmes. 相似文献
7.
Antonio Crisafulli Franco Melis Filippo Tocco Gianluigi Pittau Luigi Lorrai Tommaso Gori 《Journal of sports sciences》2013,31(12):1393-1401
Abstract Nitroglycerin induces the so-called second window of protection (SWOP), which alleviates myocardial damage and stunning after ischaemia/reperfusion. To determine whether myocardial performance during exercise is improved in the second window of protection, we studied the haemodynamic responses of 12 trained and 11 sedentary individuals during a sequence of maximal tests on a cycle ergometer. A baseline test (basal test) was followed by a second effort performed during the second window of protection (exercise-SWOP test). Haemodynamics was also evaluated after pharmacologically induced SWOP 48 h after transdermal administration of 10 mg of nitroglycerin (pharmacologically induced SWOP test). The exercise-SWOP and pharmacologically induced SWOP tests were separated by a 1-week washout period. Endothelial-dependent vasodilatation after nitroglycerin pre-treatment was also assessed in five sedentary individuals to determine whether nitrate donors could affect vascular function. We found that nitroglycerin pre-treatment did not induce any improvement in haemodynamics in either trained or sedentary individuals, since maximum values of workload, heart rate, stroke volume, cardiac output, myocardial contractility, and double product were similar between the exercise-SWOP and pharmacologically induced SWOP tests in both groups. Furthermore, nitroglycerin pre-treatment did not alter flow-mediated dilation during pharmacologically induced SWOP. Although nitroglycerin pre-treatment alleviates post-ischaemic myocardial stunning, our results suggest that it does not affect the myocardial performance of healthy individuals during exercise performed in the second window of protection, independently of the training status of the individuals. Moreover, nitroglycerin pre-treatment does not ameliorate endothelial function. 相似文献
8.
Erica Melis Giorgi Goguadze Martin Homik Paul Libbrecht Carsten Ullrich Stefan Winterstein 《British journal of educational technology : journal of the Council for Educational Technology》2006,37(3):405-423
ActiveMath is a complex web‐based adaptive learning environment with a number of components and interactive learning tools. The basis for handling semantics of learning content is provided by its semantic (mathematics) content markup, which is additionally annotated with educational metadata. Several components, tools and external services can make use of that content markup, eg, a course generator, a semantic search engine and user input evaluation services. The components and services have to communicate, pass content and state changes, actions, etc including mathematical semantics and educational markup. The novel event infrastructure supports this communication. This paper focuses on the usage of the content's semantics by selected novel components and sketches the communication. 相似文献
9.
Crisafulli A Melis F Tocco F Pittau G Lorrai L Gori T Mancardi D Concu A Pagliaro P 《Journal of sports sciences》2007,25(12):1393-1401
Nitroglycerin induces the so-called second window of protection (SWOP), which alleviates myocardial damage and stunning after ischaemia/reperfusion. To determine whether myocardial performance during exercise is improved in the second window of protection, we studied the haemodynamic responses of 12 trained and 11 sedentary individuals during a sequence of maximal tests on a cycle ergometer. A baseline test (basal test) was followed by a second effort performed during the second window of protection (exercise-SWOP test). Haemodynamics was also evaluated after pharmacologically induced SWOP 48 h after transdermal administration of 10 mg of nitroglycerin (pharmacologically induced SWOP test). The exercise-SWOP and pharmacologically induced SWOP tests were separated by a 1-week washout period. Endothelial-dependent vasodilatation after nitroglycerin pre-treatment was also assessed in five sedentary individuals to determine whether nitrate donors could affect vascular function. We found that nitroglycerin pre-treatment did not induce any improvement in haemodynamics in either trained or sedentary individuals, since maximum values of workload, heart rate, stroke volume, cardiac output, myocardial contractility, and double product were similar between the exercise-SWOP and pharmacologically induced SWOP tests in both groups. Furthermore, nitroglycerin pre-treatment did not alter flow-mediated dilation during pharmacologically induced SWOP. Although nitroglycerin pre-treatment alleviates post-ischaemic myocardial stunning, our results suggest that it does not affect the myocardial performance of healthy individuals during exercise performed in the second window of protection, independently of the training status of the individuals. Moreover, nitroglycerin pre-treatment does not ameliorate endothelial function. 相似文献
1