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.
[Background]: Developing conceptual models is an integral part of the requirements engineering (RE) process. Goal models are requirements engineering conceptual models that allow diagrammatic representation of stakeholder intentions and how they affect each other. A specific goal modeling language construct, the contribution of goal satisfaction of one goal to another, plays a central role in supporting...
Learning styles have been used to explain students' differences in approaching their learning, but there are still deficiencies in interpreting the results of their application, and there are authors that indicate that there are no elements that support their credibility in achievement-based education. For this reason, we proposed a methodology to analyze the results obtained after the application...
The use of Flipped Classroom (FC) model supported with technology has allowed to optimize classroom time, covering the students' learning demands and adapting to their work pace. However, learners perform at different pace and use external resources during their learning, which requires from them the ability to self-regulate. In this paper, a pilot study is presented and investigates how students...
One of the challenges in the development of high-performance closed-loop anesthetic drug delivery systems is the lack of accurate models. Physiological models have limited accuracy and drug effect varies largely between patients, while data-driven modeling of individual responses is challenging due to limited excitation and disturbances. This paper proposes a multi-input single-output (MISO) approach...
A new radiometry and design framework has been introduced in the latest Digital Imaging and Remote Sensing Image Generation model (DIRSIG5) that allows for faster simulations while streamlining the generation of high-fidelity radiometric data. The same framework that allows for improved computational performance has also modularized simulation components to allow for extensive interchangeability based...
The Internet of Things (IoT) has penetrated various domains, from smart grids to precision agriculture, facilitating remote sensing and control. However, IoT devices are target to a spectrum of reliability and security issues. Therefore, capturing the normal behavior of these devices and detecting abnormalities in program execution is key for reliable deployment. However, existing program anomaly...
Instruction set simulators (ISSs) play a critical role in the design cycle of embedded systems. However, as ISSs evolve and increase in complexity, not only new bugs might be introduced but also old latent bugs might be revealed. Finding these bugs based on the simulator output might be a challenging task. This letter presents HybridVerifier, a novel and retargetable framework for ISS verification...
Predicting performance of an application running on high performance computing (HPC) platforms in a cloud environment is increasingly becoming important because of its influence on development time and resource management. However, predicting the performance with respect to parallel processes is complex for iterative, multi-stage applications. This research proposes a performance approximation approach...
Bot Assistants can be an efficient and low-cost solution to Patient Care. One important aspect of Assistant Bots is successful Communication and Socialization with the patient. A new Conditional Entropy Retrieval Based model is proposed and also an Attitude Modeling based on Popitz Powers. The algorithm successfully retrieves the suitable answer with a high success rate in the patient-Bot Assistant...
In current applications Analog/Mixed-Signal (AMS) circuits gets increasingly demanding. To speed up the design process parts of the design were implemented in hardware description languages. Besides positive aspects like simulation processing times these models need to be checked in terms of verification run set completeness, i.e. input stimuli, parameter setting, and test bench circuitry. For this...
This paper presents an approach to proceed with semantic annotation in historical documents from the 19th century that discuss the constitution of the mother language, the Portuguese Language in Brazil. The objective is to generate a group of semantically annotated documents in agreement with a domain ontology. To provide this domain ontology, the Linguistic Instrument Ontology was employed, and it...
The assessment methods used in the vast majority of virtual learning environments are not satisfactory for measuring student learning, many of which provide only tools that allow for summative assessment, thus providing incorrect information about learning. Many of these environments are not able to provide responses about student learning and do not provide activities that can be monitored by verifying...
Detailed memory access traces are extremely helpful for system partitioning and optimization in the context of hardware/software codesign, especially in early design stages. The prevalent technique for the generation of such traces is interpretive instruction set simulation which, however, depends on detailed modeling and further results in poor performance. With compiled simulation techniques, performance...
Within and across thousands of science labs, researchers and students struggle to manage data produced in experiments, simulations, and analyses. Largely manual research data lifecycle management processes mean that much time is wasted, research results are often irreproducible, and data sharing and reuse remain rare. In response, we propose a new approach to data lifecycle management in which researchers...
With the incorporación of the technological concept Cloud Computing and access to various types of mobile devices, there has been provoked a great expectation among students and teachers, to make use of tools that support within the teaching-learning process. In the present work there were analyzed some tools that support linguistic area, specifically for the improvement of writing skills, which should...
We demonstrate a desktop platform which has the ability of modeling ReRAM TiO2 samples in a highly automated manner. The system consists of a bespoke RRAM characterization instrument that hosts packaged RRAM devices and is operated via a PC. The system's python-based software includes a module that automatically applies strategically chosen sequences of pulses to a test device and then extracts the...
The benefits of light in offices beyond enabling visual tasks have been demonstrated in former studies. Light positively influences outcome measures such as human's health, wellbeing, visual comfort, motivation, and environmental satisfaction. In order to measure the effects of light on the individual outcome measures, it is of high importance to correctly measure lighting conditions in realistic...
Artists who create 3D models usually rely on the traditional method of direct mesh manipulation using basic operations such as translation, rotation, scaling, and extrusion. In some cases, creating a model in this manner requires performing many repetitive and precise actions, which makes a fully manual approach suboptimal. This paper explores an alternative concept of 3D modeling using scripts, which...
Coriolis vibrating gyroscopes can be modeled by a planar resonator, using masses, springs and damping. In this paper, the corresponding equations are studied in order to characterize real vibrating cells. It is shown how to present the problem to allow efficient numerical simulations and analytic developments. In particular, the use of the method of Averaging is fundamental, simplifying most of the...
Within a cognitive approach to the computer-aided design of nano- and microsystem technology objects based on natural prototypes, the relevance of studying the computational perception tools (CPT) with at-traction of representation theory, category theory methods and the physical symbol system hypothesis, is justified (on the base of analogy and homology principles). The adequacy of theoretical description...
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.