Search results for "Simulation"
showing 10 items of 5095 documents
What makes learning and understanding in virtual teams so difficult?
2004
The ideas presented in this article are especially challenged by critical questions raised by the other authors in this special issue. One of the core questions throughout the different studies is whether participants in distributed learning groups are able to successfully work on a common task and achieve a type of interaction that leads them to educationally relevant higher-level discussion and learning. This article discusses the central findings of these studies in light of the recent research on computer-supported collaborative learning. At the beginning of the article, typical problems and challenges related to learning in virtual teams are described. In the end of the discussion, som…
Student-generated instructional videos facilitate learning through positive emotions
2016
The central focus of this study is a learning method in which university students produce instructional videos about the content matter as part of their learning process, combined with other learning assignments. The rationale for this is to promote a more multimodal pedagogy, and to provide students opportunities for a more learner-centred, motivating, active, engaging and productive role in their learning process. As such we designed a ‘video course’ where the students needed to produce an instructional video which could be used for university teaching. In addition to producing the video, the students needed to write a literature review of the topic of the video and a learning journal. At…
Granulometric analysis of corneal endothelium specular images by using a germ–grain model
2007
Specular microscopy is widely used to study the human corneal endothelium status in vivo. In this paper, the corneal endothelium is represented as a binary image composed of the cell inscribed circles. The granulometric distribution function of the complement of this image is used as a functional descriptor, which provides information about the shape, size and spatial arrangement of cells. Experimental evaluation using bootstrap techniques shows its ability to discriminate between controls and pathological cases. It represents a reliable and graphical alternative to the classical indices (cell density, hexagonality and coefficient of variation of cell areas), which behave poorly when detect…
Lead Discovery of SARS-CoV-2 Main Protease Inhibitors through Covalent Docking-Based Virtual Screening
2021
During almost all 2020, coronavirus disease 2019 (COVID-19) pandemic has constituted the major risk for the worldwide health and economy, propelling unprecedented efforts to discover drugs for its prevention and cure. At the end of the year, these efforts have culminated with the approval of vaccines by the American Food and Drug Administration (FDA) and the European Medicines Agency (EMA) giving new hope for the future. On the other hand, clinical data underscore the urgent need for effective drugs to treat COVID-19 patients. In this work, we embarked on a virtual screening campaign against the severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) Mpro chymotrypsin-like cysteine pro…
Flume experiments for assessing the dye-tracing technique in rill flows
2021
Abstract Flow velocity controls hillslope soil erosion and is a key hydrodynamic variable involved in sediment transport and deposition processes. The dye-tracer technique is one of the most applied methods for measuring velocity of shallow interrill and rill flow. The technique is based on the injection of a tracer in a specific point and the measurement of its speed to travel the known distance from the injection point to a given channel section. The dye-tracer technique requires that the measured surface flow velocity has to be corrected to obtain the mean flow velocity using a correction factor which is generally empirically deduced. The technique has two sources of uncertainties: i) th…
Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle
2018
This paper presents a proof-of-concept application of an approach to system development based on the integration of formal verification and co-simulation. A simple autonomous vehicle has the task of reaching an assigned straight path and then follow it, and it can be controlled by varying its turning speed. The correctness of the proposed control law has been formalized and verified by interactive theorem proving with the Prototype Verification System. Concurrently, the system has been co-simulated using the Prototype Verification System and the MathWorks Simulink tool: The vehicle kinematics have been simulated in Simulink, whereas the controller has been modeled in the logic language of t…
Costs of Using Hybrid Cloud Infrastructure: Towards a General Framework
2012
Cloud computing infrastructure is a state-of-the-art computing as a utility paradigm, offering individuals and organizations instantly-available and scalable computing capacity. Organizations may deploy the cloud infrastructure in own data centers, as a private cloud, or use the public on-demand cloud infrastructure charged on a pay-per-use basis. The organizations may also adopt a hybrid solution, i.e. use public cloud capacity to complement the resources in the private cloud, e.g. during the periods of rapid growth in the demand. One of the important factors that affect the organizations’ decisions to adopt a hybrid cloud is the total cost of acquiring and managing the infrastructure. In …
Cost analysis of a vaccination strategy for respiratory syncytial virus (RSV) in a network model
2010
[EN] In this paper an age-structured mathematical model for respiratory syncytial virus (RSV) is proposed where children younger than one year old, who are the most affected by this illness, are specially considered. Real data of hospitalized children in the Spanish region of Valencia are used in order to determine some seasonal parameters of the model. Once the parameters are determined, we propose a complete stochastic network model to study the seasonal evolution of the respiratory syncytial virus (RSV) epidemics. In this model every susceptible individual can acquire the disease after a random encounter with any infected individual in the social network. The edges of a complete graph co…
Hidden oscillations in SPICE simulation of two-phase Costas loop with non-linear VCO
2016
Simulation is widely used for analysis of Costas loop based circuits. However it may be a non-trivial task, because incorrect choice of integration parameters may lead to qualitatively wrong conclusions. In this work the importance of choosing appropriate parameters and simulation model is discussed. It is shown that hidden oscillations may not be found by simulation in SPICE, however it can be predicted by analytical methods. peerReviewed
Nonlinear dynamical model of Costas loop and an approach to the analysis of its stability in the large
2015
The analysis of the stability and numerical simulation of Costas loop circuits for high-frequency signals is a challenging task. The problem lies in the fact that it is necessary to simultaneously observe very fast time scale of the input signals and slow time scale of phase difference between the input signals. To overcome this difficult situation it is possible, following the approach presented in the classical works of Gardner and Viterbi, to construct a mathematical model of Costas loop, in which only slow time change of signal?s phases and frequencies is considered. Such a construction, in turn, requires the computation of phase detector characteristic, depending on the waveforms of th…