全文获取类型
收费全文 | 138篇 |
免费 | 1篇 |
专业分类
教育 | 102篇 |
科学研究 | 11篇 |
各国文化 | 3篇 |
体育 | 11篇 |
文化理论 | 4篇 |
信息传播 | 8篇 |
出版年
2020年 | 2篇 |
2019年 | 4篇 |
2017年 | 4篇 |
2016年 | 1篇 |
2015年 | 1篇 |
2014年 | 1篇 |
2013年 | 24篇 |
2012年 | 3篇 |
2011年 | 3篇 |
2009年 | 3篇 |
2008年 | 2篇 |
2007年 | 6篇 |
2005年 | 2篇 |
2003年 | 3篇 |
2002年 | 5篇 |
2001年 | 7篇 |
2000年 | 3篇 |
1999年 | 1篇 |
1998年 | 1篇 |
1997年 | 1篇 |
1996年 | 5篇 |
1995年 | 2篇 |
1994年 | 1篇 |
1993年 | 1篇 |
1992年 | 4篇 |
1991年 | 1篇 |
1990年 | 3篇 |
1989年 | 2篇 |
1988年 | 2篇 |
1987年 | 1篇 |
1985年 | 5篇 |
1984年 | 3篇 |
1983年 | 3篇 |
1982年 | 1篇 |
1981年 | 8篇 |
1980年 | 3篇 |
1979年 | 2篇 |
1978年 | 2篇 |
1977年 | 1篇 |
1976年 | 3篇 |
1975年 | 2篇 |
1974年 | 1篇 |
1973年 | 2篇 |
1970年 | 1篇 |
1969年 | 1篇 |
1966年 | 1篇 |
1938年 | 1篇 |
排序方式: 共有139条查询结果,搜索用时 0 毫秒
31.
This paper describes a case study presented to students in computer science during a course on formal techniques for protocol validation. The course teaches some basic notions on specification, simulation, verification, testing and distributed observation. The case study is the classical alternating-bit protocol. The exercise first consists of some simple modeling and simulation of the specification and verification of some basic service properties. It is then followed with the problem of observation of distributed executions of the protocol. This kind of experiment was found to be useful for students, since they gain an understanding of the importance and necessity of formal methods for protocol validation. 相似文献
32.
Summaries English One of the main aims in the teaching of science is the acquisition of an experimental methodology. The principal obstacles to this methodological training are briefly analysed; they arise mainly from the shortage of time available for experimental work. In this article, computer‐simulated scientific experimentation is proposed as an aid in overcoming these obstacles. This type of teaching, integrated into a classical curriculum, does not exclude laboratory work, which is still indispensable for the learning of techniques. To facilitate the setting up of the proposed method, the ESSOR system simulation on mini‐computer has been developed. Its technical and pedagogic characteristics are described. This system allows the easy simulation of experiments analogous to those of the laboratory. The student using it is free to adopt individual procedures for the study of a proposed phenomenon; the system follows up automatically the individual activity of students and frees the instructor from most of the difficulties in programming work. 相似文献
33.
Camille Sabourin Christiane Trottier Eric Frenette Martin Camiré Vicky Drapeau Claude Goulet 《Measurement in physical education and exercise science》2020,24(1):33-48
ABSTRACTResearch on positive youth development and life skills in sport has gained considerable attention over the past decades. However, there is a lack of translated questionnaires examining youth development and life skills available to non-English researchers and practitioners. The purpose of this research project was to adapt in French two questionnaires and to accumulate validity evidence of these adaptations. The short form – Youth Experiences Survey for Sport and the Life Skills Scale for Sport were adapted using a procedure based on a transcultural validation methodology applied to psychological measures. This research comprises four studies, which led to the French adaptation and validation process of each questionnaire. In conclusion, the results obtained show that these adapted French questionnaires can now be used to evaluate the perceptions and lived experiences of French-speaking athletes regarding positive youth development and life skills in sport. 相似文献
34.
Modeling context through domain ontologies 总被引:1,自引:0,他引:1
Nathalie Hernandez Josiane Mothe Claude Chrisment Daniel Egret 《Information Retrieval》2007,10(2):143-172
Traditional information retrieval systems aim at satisfying most users for most of their searches, leaving aside the context
in which the search takes place. We propose to model two main aspects of context: The themes of the user's information need
and the specific data the user is looking for to achieve the task that has motivated his search. Both aspects are modeled
by means of ontologies. Documents are semantically indexed according to the context representation and the user accesses information
by browsing the ontologies. The model has been applied to a case study that has shown the added value of such a semantic representation
of context.
相似文献
Daniel EgretEmail: |
35.
36.
A new transitional filter based on the sum of filter polynomials is proposed and discussed. It shall be shown that the approach allows for greater flexibility in adjusting passband and stopband gain shapes. The sensitivity of the filter transfer function is analyzed and related to the approximation problem. Some new modified classical filters are also derived including maximally flat (Butterworth) and equiripple (Chebyshev) types. Several examples of combining Butterworth, Chebyshev and sync-tuned filters are presented and compared to those obtained using the conventional product method. The new transitional filter provides an alternative to other forms and provides a means for isolating the effects of non-uniformly distributed pole angles. 相似文献
37.
38.
39.
40.