The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
The relationship between the use of Geogebra and Technological Pedagogical Content and Knowledge (TPACK) by teachers has not been fully investigated and understood. Therefore, the aim of this study was to integrate GeoGebra technology to develop the TPACK of secondary school pre-service mathematics teachers. The participants of this study were 60 Indian teachers. Data were collected through the administration...
This paper proposes an algorithm that is particularly concerned with generating all possible distinct spanning trees that are based on breadth-first-search directed graph traversal. The generated trees span all edges and vertices of the original directed graph. The algorithm starts by generating an initial tree, and then generates the rest of the trees using elementary transformations. It runs in...
In this paper, a modeling and simulation approach for the boiler coil pipe bending production line is proposed based on the eM-plant software. The aim of this paper is to analyze the real workshop of manufacturing resource and process data based on the object-oriented simulation modeling technology and give the arrange strategy for improving the continuity and reliability of the manufacturing process...
Spreadsheets often contain faults that are difficult to localize. Spectrum-based Fault Localization (SFL) assists users in the fault localization process by ranking cells by their suspiciousness to contain a fault. Since the ranking of the basic SFL approach is often imprecise, we propose three techniques to improve it, i.e., dynamic cones, grouping, and tie-breaking. We evaluate these techniques...
Signal software for high-speed railways is safetycritical, controlling communications between trains, tracks, stations, and signals. It is necessary to test railway signal software rigorously. However, ad-hoc approaches still dominate in practice. We proposed a hybrid approach that uses combinatorial testing (CT) and model-based testing (MBT). We applied this systematic approach to testing track circuit...
Most of the existing community detection (CD) methods are designed primarily for unsigned networks containing only positive links. Therefore, it is significant to explore and design effective CD methods for signed social networks (SNs) with both positive and negative links. In this paper, we first utilize decomposable characteristic of modularity Q to establish a bi-objective model for community detection...
This paper reports on an investigation into perceptions of international university lecturers and their concerns about students' social and academic motivation for learning in online learning environments. The study results suggest that pedagogic lurking is a widespread phenomenon, with some perceiving it as problematic and others as a step towards more active participation. Most interestingly, there...
Non-volatile memory (NVM) has widely participated in the evolution of the next-generation memory architecture by way of being the substitution of the main memory. To cope with the problem of asymmetric read/write speeds of NVM, several excellent researches have been proposed to reduce the number of writes to the NVM-based main memory. Nevertheless, most of these existing approaches do not take the...
The past decade has observed a continuously increasing internationalization of higher education institutions. Multicultural instruction is challenging for educators and students alike. Japanese universities follow the same trend, striving to become more and more internationalized, classes need to accommodate both local, Japanese students, and international, foreign students. Based on the author's...
It is assumed that Japanese can analogize the meaning of original text if they read the original text according to the commonality of written expressions, such as the commonality of Kanji and Chinese characters in case of Chinese-Japanese translations. In this study, participants rewrote translated sentences while viewing simultaneously the original sentences written in Chinese and the translated...
With the expanding load on healthcare and consequent strain on budget, the demand for tools to increase efficiency in treatments is rising. The use of prediction models throughout the treatment to identify risk factors might be a solution. In this paper we present a novel implementation of a prediction tool and the first use of a dynamic predictor in vocational rehabilitation practice. The tool is...
Over the last years, due to the emergency of new challenges in the area of the health care domain, particular emphasis was dedicated to the application of ICT in this sector. This, in turn, stimulated the analysis over the software requirements engineering techniques and their applicability in this context. The efficient application of the use-case based technique, within the PATHway project user...
Graphical user interfaces are important components of today's software. User interfaces often require checking correctness of user interactions. In web applications such checks can be a part of the JavaScript code. User interfaces in web applications can evolve, some elements can be removed and new elements can be added. To check JavaScript code covers all possible incorrect scenarios in user interactions...
Individual surgeons rely on residency programs as their main conduit for developing the necessary soft skills needed to succeed and excel in the operating room. One critical skill requiring subjective (qualitative) learning involves navigating through varying soft and hard tissues by hand, and, most importantly, understanding how medical instruments respond under these conditions. During residency,...
We formulate a mathematical programming problem for allocating capital budget between the organizational and physical capitals of the firm and solve it to obtain an analytically tractable and easy to implement decision rule for the optimal allocation of the capital budget. The model we develop depicts interconnections of these capitals and their constituent variables in the context of the firm's valuation...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.