Recently there is increasing interest in university rankings. Annual rankings of world universities are published by QS for the Times Higher Education Supplement, the Shanghai Jiao Tong University, the Higher Educatio...
Recently there is increasing interest in university rankings. Annual rankings of world universities are published by QS for the Times Higher Education Supplement, the Shanghai Jiao Tong University, the Higher Education and Accreditation Council of Taiwan and rankings based on Web visibility by the Cybermetrics Lab at CSIC. In this paper we compare the rankings using a set of similarity measures. For the rankings that are being published for a number of years we also examine longitudinal patterns. The rankings limited to European universities are compared to the ranking of the Centre for Science and Technology Studies at Leiden University. The findings show that there are reasonable similarities between the rankings, even though each applies a different methodology. The biggest differences are between the rankings provided by the QS-Times Higher Education Supplement and the Ranking Web of the CSIC Cybermetrics Lab. The highest similarities were observed between the Taiwanese and the Leiden rankings from European universities. Overall the similarities are increased when the comparison is limited to the European universities.
The present paper contains a study regarding importance stability in the mechanical systems, mechanical systems are emerging under mechanical vibrations action, it referring especially to the human hand–arm system. M...
Different researches have shown that long–term exposure to whole–body vibration can induce different injuries like back pain, injuries of the different part of the body, disturbing the physical and intellectual acti...
The automatic programming system has been considered by means of which it becomes easier to carry out traditional programming stages. There is discussed both recursive forms: parallel, interrecursion and recursion of ...
详细信息
The automatic programming system has been considered by means of which it becomes easier to carry out traditional programming stages. There is discussed both recursive forms: parallel, interrecursion and recursion of high level that exist for functional programming languages and induction methods for the purpose of their verification. The way how to present imperative languages easy and double cycles by means of recursion forms is shown, the possibility of verification has been studied for each recursion form.
This study investigates the computer perceptions of students at home, at school and at internet cafe, and the computer applications they preferred. For this purpose, the frequency of computer usage, the applications t...
详细信息
Two types of tin oxide ceramic anodes with 3 different bulk densities are prepared and tested in a laboratory aluminium reduction cell. During normal electrolysis, the regular chemical dissolution process of anode mat...
Pervasive computing in mobile ad hoc networks requires that applications query their network environment for services and react to a plethora of events fired by other devices in that network responding to such queries...
详细信息
ISBN:
(纸本)9781605583648
Pervasive computing in mobile ad hoc networks requires that applications query their network environment for services and react to a plethora of events fired by other devices in that network responding to such queries. Current context-aware and event-driven architectures require the programmer to react to these events via a carefully crafted network of observers and event handlers, while inherently introducing complex concurrency issues. This paper proposes the integration of two techniques to solve these problems: ambient references and reactive programming. Ambient references are object-oriented communication abstractions that represent nearby remote objects in the mobile network and that make it possible to generate the events mentioned above. The reactive programming paradigm provides an abstraction over events such that the application can be written in a conventional programming style with explicit control flow. Copyright 2008 ACM.
Extensions to the actor model have been proposed to ease the development of mobile ad hoc applications. However, programming in the actor model is still difficult as it does not provide abstractions to synchronously c...
详细信息
ISBN:
(纸本)9781605583648
Extensions to the actor model have been proposed to ease the development of mobile ad hoc applications. However, programming in the actor model is still difficult as it does not provide abstractions to synchronously coordinate multiple actors. Thus, when programmers want to coordinate two or more actors they have to do it by hand. Additionally, programmers need to write failure recovery code for failures caused by the concurrent access to the actors they are using. Coding this manually is error prone and might even be not feasible. We propose a language abstraction based on software transactional memory to coordinate actors. We show that the integration of software transactional memory with the actor model makes writing failure recovery code superuous. Moreover, we show that our system even handles those cases where manually writing the failure recovery code is not feasible. Copyright 2008 ACM.
Model-driven software development facilitates faster and more flexible integration of information and communication systems. It divides system descriptions into models of different view points and abstraction levels. ...
详细信息
The paper presents the study of the human body, as a mechanical system, seated inside an autovehicle and exposed under the vertical harmonic vibration action during the auto vehicle motion time. The human body may be ...
暂无评论