Search results for "Interactive"
showing 10 items of 276 documents
A Preference-Based Evolutionary Algorithm for Multi-Objective Optimization
2009
In this paper, we discuss the idea of incorporating preference information into evolutionary multi-objective optimization and propose a preference-based evolutionary approach that can be used as an integral part of an interactive algorithm. One algorithm is proposed in the paper. At each iteration, the decision maker is asked to give preference information in terms of his or her reference point consisting of desirable aspiration levels for objective functions. The information is used in an evolutionary algorithm to generate a new population by combining the fitness function and an achievement scalarizing function. In multi-objective optimization, achievement scalarizing functions are widel…
La utilització de WebQuest i de Sistemes de Resposta Interactiva en l'assignatura Investigació de Mercats
2010
Aquest treball té com objectiu estudiar la importància d'implantar metodologies docents centrades en les noves tecnologies de la informació i comunicació (TIC), amb la finalitat de potenciar la participació de l'estudiant i de millorar els seus resultats d'aprenentatge. Concretament,aprofundirem en el disseny d'una WebQuest i en l'ús de Sistemes de Resposta Interactiva en l'assignatura Investigació de Mercats. Els resultats obtinguts serviran de base per a dissenyar les guies i metodologies docents de les assignatures de l'àrea de Comercialització i Investigació de Mercats en els nous estudis de grau.
ATL model checking in the cloud
2015
This paper gives an overview of our recent work on implementing a new interactive ATL model checker for verification of open systems. In verification based on model checking, we need to provide a model of the system and also write down the properties (ATL formulas) that we require the system to satisfy. Traditionally, the semantics of ATL is given in terms of concurrent game structures. In contrast to previous approaches, our tool permits an interactive design of the ATL models as state-transition graphs, and is based on client/server architecture. The server part, published as Web service in OpenShift cloud platform, embeds the core of the ATL model checker, and the client provides an intu…
Protein knot server: detection of knots in protein structures
2007
KNOTS (http://knots.mit.edu) is a web server that detects knots in protein structures. Several protein structures have been reported to contain intricate knots. The physiological role of knots and their effect on folding and evolution is an area of active research. The user submits a PDB id or uploads a 3D protein structure in PDB or mmCIF format. The current implementation of the server uses the Alexander polynomial to detect knots. The results of the analysis that are presented to the user are the location of the knot in the structure, the type of the knot and an interactive visualization of the knot. The results can also be downloaded and viewed offline. The server also maintains a regul…
Measuring user responses to interactive stories: Towards a standardized assessment tool
2010
With the increasing number of prototypes and market applications of interactive storytelling, the understanding and optimization of how end users respond to computer-mediated interactive narratives is of growing importance. Based on a conceptual model of user experiences in interactive storytelling, a measurement instrument for empirical user-based research was developed. We report findings from an initial test of the self-report scales that was conducted with N=80 players of the adventure game "Fahrenheit". Interactivity was manipulated experimentally in order to validate the measures. Results suggest that the scales will be useful for comparing user responses to 'real' interactive storyte…
Teledu: Transmedia Learning Ecosystem for People at Risk of Exclusion
2021
The TELEDU tele-education ecosystem, integrated by software and hardware components, allows the use of Web resources through Interactive Digital TV (iDTV) without the need to be continuously connected. It works with any existing digital TV standard and is especially useful for users who do not have broadband, being a very effective solution in places where there is a digital divide. The user must have, at least, a cell phone with 3G connection and any of these three options: Digital Terrestrial TV (DTT), Satellite TV or Cable TV. The conception of TELEDU is based on the premise that the software will offer a friendly interaction. Based on this, an interoperable, open and scalable environmen…
Used and interaction in technological platforms of open source to improve the linguistic competence in computer engineers
2017
The higher education through virtual environment is students centered oriented to the interactive learning, in situations to be closer to the real world; for that reason, teachers must have new communicative competences, nonverbal and with a learning innovative approach which allows to guide their students in the complex process of acquiring knowledge even more in a foreign language. In the same context, the use of technologic platforms of open code is becoming in the best way to give solutions which meet the actual needs of the process of acquiring a second language; on this basis, the present research is focused in the analysis and use of Open Source tools as alternative of complementary …
Interactive Multiobjective Optimization in Lot Sizing with Safety Stock and Safety Lead Time
2021
In this paper, we integrate a lot sizing problem with the problem of determining optimal values of safety stock and safety lead time. We propose a probability of product availability formula to assess the quality of safety lead time and a multiobjective optimization model as an integrated lot sizing problem. In the proposed model, we optimize six objectives simultaneously: minimizing purchasing cost, ordering cost, holding cost and, at the same time, maximizing cycle service level, probability of product availability and inventory turnover. To present the applicability of the proposed model, we consider a real case study with data from a manufacturing company and apply the interactive NAUTI…
Modelling and Simulation of the Longterm Behaviour of Arterial Pressure Regulation with the Aid of a Block — Diagrammed Interactive Simulation System
1983
The possibility of developing a managable closed nonlinear mathematical model of the renovascular system for longterm blood pressure regulation is outlined. The developed model is a parametric one. Its structure contains explicitely the biological parameters.
An Interactive Multiple Objective Linear Programming Method for a Class of Underlying Nonlinear Utility Functions
1983
This paper develops a method for interactive multiple objective linear programming assuming an unknown pseudo concave utility function satisfying certain general properties. The method is an extension of our earlier method published in this journal (Zionts, S., Wallenius, J. 1976. An interactive programming method for solving the multiple criteria problem. Management Sci. 22 (6) 652–663.). Various technical problems present in predecessor versions have been resolved. In addition to presenting the supporting theory and algorithm, we discuss certain options in implementation and summarize our practical experience with several versions of the method.