Search results for "Interactive"
showing 10 items of 276 documents
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…
One-Counter Verifiers for Decidable Languages
2013
Condon and Lipton (FOCS 1989) showed that the class of languages having a space-bounded interactive proof system (IPS) is a proper subset of decidable languages, where the verifier is a probabilistic Turing machine. In this paper, we show that if we use architecturally restricted verifiers instead of restricting the working memory, i.e. replacing the working tape(s) with a single counter, we can define some IPS’s for each decidable language. Such verifiers are called two-way probabilistic one-counter automata (2pca’s). Then, we show that by adding a fixed-size quantum memory to a 2pca, called a two-way one-counter automaton with quantum and classical states (2qcca), the protocol can be spac…
Media-induced recovery: The effects of positive versus negative media stimuli on recovery experience, cognitive performance, and energetic arousal.
2017
Recent research has demonstrated that the use of hedonically positive interactive media content contributes to the satisfaction of recovery needs and is associated with recovery outcomes such as higher levels of cognitive performance and increased energetic arousal. The recovery effects of noninteractive media stimuli as well as of media content with negative affective valence, however, are less clear. The present investigation addressed this limitation of prior research on
Jauno ķīmiķu skolas mācību satura sistematizēšana un izstrāde
2017
Jauno ķīmiķu skolas mācību satura sistematizēšana un izstrāde. Diča M., darba vadītājs Doc., Dr.ķīm. Logins J. Maģistra darbs, 64 lappuses, 8 attēli, 1 tabula, 23 literatūras avoti, 14 pielikumi. Latviešu valodā. Darba autore izpētījusi ārpusskolas darba organizēšanu ķīmijā, kā arī pedagoģiska un psiholoģiska rakstura zinātnisko literatūru, piedāvājot informāciju par ārpusskolas darba ķīmijas organizācijas formām, interaktīvām metodēm un ķīmijas eksperimenta nozīmi ķīmijas apguvē. Darba izstrādāti ieteikumi ārpusskolas nodarbībām un metodiskie materiāli Jauno ķīmiķu skolas nodarbībām, ko var izmantot ne tikai ārpusskolas pasākumos, bet arī mācību ārpusstundās ķīmijas apguvei.
Survey of methods to visualize alternatives in multiple criteria decision making problems
2012
When solving decision problems where multiple conflicting criteria are to be considered simultaneously, decision makers must compare several different alternatives and select the most preferred one. The task of comparing multidimensional vectors is very demanding for the decision maker without any support. Different graphical visualization tools can be used to support and help the decision maker in understanding similarities and differences between the alternatives and graphical illustration is a very important part of decision support systems that are used in solving multiple criteria decision making problems. The visualization task is by no means trivial because, on the one hand, the grap…
Dialogic Feminist Gatherings: Impact of the Preventive Socialization of Gender-Based Violence on Adolescent Girls in Out-of-Home Care
2020
Gender-based violence is a social scourge with an increasing incidence at younger ages. Many studies have focused on finding effective solutions for overcoming this problem
ideal: an R/Bioconductor package for interactive differential expression analysis
2020
AbstractBackgroundRNA sequencing (RNA-seq) is an ever increasingly popular tool for transcriptome profiling. A key point to make the best use of the available data is to provide software tools that are easy to use but still provide flexibility and transparency in the adopted methods. Despite the availability of many packages focused on detecting differential expression, a method to streamline this type of bioinformatics analysis in a comprehensive, accessible, and reproducible way is lacking.ResultsWe developed the ideal software package, which serves as a web application for interactive and reproducible RNA-seq analysis, while producing a wealth of visualizations to facilitate data interpr…
Hybrid Engagement: Discourses and Scenarios of Entrepreneurial Journalism
2018
Although the challenge posed by social media and the participatory turn concerns culture and values at the very heart of journalism, journalists have been reluctant to adopt participatory values and practices. To encourage audience participation and to offer journalism that is both trustworthy and engaging, journalists of the future may embrace a hybrid practice of journalistic objectivity and audience-centred dialogue. As innovative and experimental actors, entrepreneurial journalism outlets can perform as forerunners of such a culture. By analysing discourses in the “About Us” pages of 41 entrepreneurial journalism outlets, the article examines the emerging journalistic ethos of entrepren…
Solving multiobjective optimization problems with decision uncertainty: an interactive approach
2018
We propose an interactive approach to support a decision maker to find a most preferred robust solution to multiobjective optimization problems with decision uncertainty. A new robustness measure that is understandable for the decision maker is incorporated as an additional objective in the problem formulation. The proposed interactive approach utilizes elements of the synchronous NIMBUS method and is aimed at supporting the decision maker to consider the objective function values and the robustness of a solution simultaneously. In the interactive approach, we offer different alternatives for the decision maker to express her/his preferences related to the robustness of a solution. To conso…
A Web Application for Interactive Visualization of European Basketball Data
2020
The statistical analysis of basketball games is a fast-growing field. Certainly, basketball data are scientifically relevant because an appropriate analysis provides a great deal of information about the performance of both players and teams. The number of games played each season generates a large amount of data worth analyzing. Basketball analytics is well established in U.S. leagues. In Europe, however, it has not been duly developed. This study focuses on the top three European team competitions: the EuroLeague, the EuroCup, and the Spanish ACB (Association of Basketball Clubs, acronym in Spanish) league. Their official websites provide access to game data for anyone who is interested, …