Multimodal learning analytics have become increasingly important in enabling a deeper understanding of teaching and learning in educational research. However, in comparison to other multimodal learning data, there is ...
详细信息
In the present work, we outline a reverse engineering approach for UML specifications in form of class diagrams from Java bytecode. After a brief introduction to the subject we present some analyses which go beyond me...
详细信息
ISBN:
(纸本)1581138334
In the present work, we outline a reverse engineering approach for UML specifications in form of class diagrams from Java bytecode. After a brief introduction to the subject we present some analyses which go beyond mere enumeration of methods and fields. A glance onto some related work shows that there seems to be no pat solution for the reverse engineering of the more difficult class diagram elements. We sketch our method of determining association multiplicities, being, in a sense, representative of our approach in general: "intuitive" analyses, producing results that can be understood by a programmer when inspecting the source code of a given class. Finally, we introduce a tool that implements this work and we apply it onto a small real life example, discussing the results it gave.
Runtime verification is a special form of runtime testing, employing formal methods and languages. In this work, we utilize next-time free linear-time temporal logic (LTL\X) as formal framework. The discipline serves ...
详细信息
ISBN:
(纸本)1581138334
Runtime verification is a special form of runtime testing, employing formal methods and languages. In this work, we utilize next-time free linear-time temporal logic (LTL\X) as formal framework. The discipline serves the purpose of asserting certain design-time assumptions about object-oriented (OO) entities such as objects, methods, and so forth. In this paper we propose a linear-time logic over join-points [4], and introduce a lightweight runtime verification tool based on this logic, J2SE 5 metadata [3] and an AspectJ-based [2] runtime backend. Implementations have been proposed so far for imperative and functional languages [5]. To our knowledge our approach is the first to allow addressing of entire sets of states, also over subclass boundaries, thus exploiting the OO nature.
In this paper, we consider a two-dimensional operator with an antisymmetric integral kernel, recently introduced by Z. Avetisyan and A. Karapetyants in connection to the study of general homogeneous operators. This is...
详细信息
The widespread integration of robotic technology across diverse sector’s necessitates solutions that embody both adaptability and speed. However, existing systems often exhibit a trade-off between these attributes, l...
详细信息
ISBN:
(数字)9798350387803
ISBN:
(纸本)9798350387810
The widespread integration of robotic technology across diverse sector’s necessitates solutions that embody both adaptability and speed. However, existing systems often exhibit a trade-off between these attributes, lacking swift adaptability. This paper introduces a novel self-reconfiguration system that addresses this challenge. Employing a scissor mechanism for rapid adjustment and an intelligent binocular vision driven by computer vision and reinforcement learning algorithms, the proposed system facilitates swift reconfiguration while effectively managing workload. Real-time perception and understanding of the surroundings enable the robot to promptly identify optimal dimensions and adjust its configuration accordingly. This capability empowers the robot to rapidly respond to new tasks without manual intervention, thereby augmenting its versatility and agility. Experimental validation demonstrates the system’s adeptness in navigating passages of varying widths in under a second, underscoring the efficacy of our approach in training the robot to adeptly adapt to diverse environmental conditions.
The most critical task of a social network is to identify a central node. Numerous methods for determining centrality are documented in the literature. It contributes to online commerce by disseminating news, advertis...
详细信息
作者:
SINGH, RDProfessor of Economics
Illinois State University Normal Illinois 61761 USA. The author wishes to thank JULIA SYKES for her excellent help in data collection and analysis PYENG BARK for his work in computer programming and Professor M. MOREY for his thoughful comments and advice on the econometric models and the results. The computer work for this study was done at the Illinois State University Computer Center. The author is grateful to the Journal Editor(s) and the referee(s) for their constructive and valuable comments and suggestions. However the author alone is responsible for any remaining shortcoming.
This study evaluates the effect on growth of the nation's state economic intervention policy, a variable ignored by past studies, by budding and estimating a more complete growth model and using, for econometric a...
详细信息
This study evaluates the effect on growth of the nation's state economic intervention policy, a variable ignored by past studies, by budding and estimating a more complete growth model and using, for econometric analyses, a more recent data set from a broader spectrum of seventy-three LDCs (37 from Africa). The role of foreign aid and domestic savings with and without the state intervention variable in the model is also examined. Likelihood ratio tests showed that, while there was no significant structural variation across the African and non-African groups of LDCs, there had been a significant dynamic structural shift over time. The study finds empirical support for. [ABSTRACT FROM AUTHOR]
作者:
徐静波徐望人College of Electronic & Electrical Engineering
Shanghai University of Engineering Science Shanghai 200336 College of Information science and technology
Donghua University Shanghai 200051he totally coded method (TCM) reveals the same objective law which governs the gain calculating for signal flow graph as Mason formula does. This algorithm is carried out merely in the domain of code operation. Based on pure code algorithm it is more efficient because figure searching is no longer necessary. The code-series (CS) which are organized from node association table have the holoinformation nature so that both the content and the sign of each gain-term can be determined via the coded method. The principle of this method is obvious and it is suited for computer programming. The capability of the computeraided analysis for Switched Capacitor (SCN) can be enhanced.
The totally coded method (TCM) reveals the same objective law, which governs the gain calculating for signal flow graph as Mason formula does. This algorithm is carried out merely in the domain of code operation. Base...
详细信息
The totally coded method (TCM) reveals the same objective law, which governs the gain calculating for signal flow graph as Mason formula does. This algorithm is carried out merely in the domain of code operation. Based on pure code algorithm, it is more efficient because figure searching is no longer necessary. The code-series ( CS ), which are organized from node association table, have the holoinformation nature, so that both the content and the sign of each gain-term can be determined via the coded *** principle of this method is obvious and it is suited for computerprogramming. The capability of the computeraided analysis for Switched Capacitor (SCN) can be enhanced.
作者:
HARTLEY, SFCalifornia State University
Hayward Corresponding Author: Shirley Foster Hartley is Professor and former Chair of the Department of Sociology California State University Hayward. Books published include: Population: Quantity vs. Quality (Prentice-Hall) and Illegitimacy (University of California Press). Articles published and research interests vary from micro-analyses of interpersonal attraction role conflicts among clergy wives and marital satisfaction to macro studies of the status of women in various societies and population growth and development. ∗An earlier draft was prepared in conjunction with William J. Beaver whose expertise in computer programming greatly facilitated this analysis. The report on our pilot study was presented at the American Association for the Advancement of Science Pacific Division San Francisco CA June 13 197
暂无评论