Search results for "internet"
showing 10 items of 2589 documents
Information Exchange in Mobile Encounter Network
2007
In this paper we analyze an information exchange method based on information diffusion in mobile encounter networks, a form of mobile peer-to-peer networks. We utilize dual mobility model which provides support for more realistic simulations compared to mobility models based only one method of movement. The distribution of the mobile device encounter intervals are discussed and analyzed via simulation runs. The logistic model is suggested to provide reasonably accurate estimates of the information diffusion process.
Network Connectivity and Area Coverage for UAV Fleet Mobility Model with Energy Constraint
2016
International audience; Our main focus through the present paper is on developing an original distributed mobility model for autonomous fleet of interconnected UAVs (Unmanned Aerial Vehicles) performing an area exploration mission. The UAVs, equipped with wireless ad-hoc capabilities, are required to optimally explore an area while maintaining connectivity with their neighboring UAVs and the base station. Because energy is a scarce resource, especially for UAVs, its wise management is quite beneficial for the network lifetime and mission success. Hence, the proposed mobility model, compared to other models in the literature, is the first to ever include the remaining energy level as decisio…
Using Internet videos to learn about controversies: Evaluation and integration of multiple and multimodal documents by primary school students
2020
Abstract In many Internet videos authors appear in front of the camera to present their particular view on a topic. Given the high consumption rate of Internet videos by teenagers, we explored the pros and cons of using these videos to learn about complex topics, compared to learning from textual web pages. Specifically, we studied how 207 primary school students (grades 4–6) evaluated and integrated multiple and multimodal web pages (text or video) while learning about the pros and cons of bottled water. Results showed no major role of modality in students' source memory, as measured by citations in their responses to an integration question and their memory for sources. Nevertheless, moda…
Implementing an ATL model checker tool using relational algebra concepts
2014
Alternating-Time Temporal Logic (ATL) is a branching-time temporal logic that naturally describes computations of open systems. An open system interacts with its environment and its behavior depends on the state of the system as well as the behavior of the environment. ATL model-checking is a well-established technique for verifying that a formal model representing such a system satisfies a given property. In this paper we describe a new interactive model checker environment based on algebraic approach. Our tool is implemented in client-server paradigm. The client part allows an interactive construction of ATL models represented by concurrent game structures as directed multi-graphs. The se…
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
2008
International audience; Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (SOA) paradigm. We propose in this paper a tool-equipped methodology allowing the formal modeling and analysis of Web services described in the BPEL language. The discrete-time transition systems modeling the behavior of BPEL descriptions are obtained by an exhaustive simulation based on a formalization of BPEL semantics using the Algebra of Timed Processes (ATP). These models are then analyzed by model checking value-based temporal logic properties using the CADP toolbox. The approach is illustrated with the design of a Web service for GPS na…
PACS infrastructure supporting e-learning
2011
Digital imaging is becoming predominant in radiology. This has implications for teaching support, because conventional film-based concepts are now obsolete. The IHE Teaching File and Clinical Study Export (TCE) profile provides an excellent platform to enhance PACS infrastructure with educational functionality. This can be supplemented with dedicated e-learning tools.
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…
“Krokodil”—Revival of an Old Drug with New Problems
2012
In order to summarize current knowledge about the drug "Krokodil" a systematic review including a literature search of the databases PubMed, Embase, Scopus, and Google was conducted in December 2011. According to information acquired, "Krokodil" is a mixture of several substances and was first reported to have been used in Russia in 2003. The core agent of "Krokodil" is desomorphine, an opioid-analogue that can be easily and cheaply manufactured by oneself. Self-production results in a contaminated suspension that is injected intravenously. Due to its pharmacologic features, desomorphine shows a high potential to cause dependence. Against the background of first possible cases of "Krokodil"…
Segmenting customers according to online word-of-mouth about hotels
2021
There is a renewed interest in the study of online word-of-mouth behavior due to the increasing use of the Internet and the development of social networks. This paper focuses on the receiver perspective to analyze the unequal influence of the antecedents of online consumer searches. The main purpose is to detect the heterogeneity of the effect of different motivations (convenience, risks reduction and social reassurance) and the volume of comments on the willingness to check online reviews. Based on 393 guests of hotels, a mixture regression model indicates the existence of three internally consistent segments, which reveal the varying influence on consumer intentions to look at online comm…
Multicast TV over WLAN in a University Campus Network
2009
One of the multimedia services offered by the campus network of the Polytechnic University of Valencia is TV over IP. This service works well in the devices connected directly to the wired network but we have detected some problems when the receivers access to the campus network through wireless IEEE 802.11, especially when devices roam across the Campus. In this paper we propose and evaluate a server-based solution to minimize the packet loss and reduce the lack of service when the mobile devices roam from an Access Point to another Access Point in the wireless network. This solution uses a location system to modify the behaviour of standard multicasting protocols in order to get a near-se…