Search results for "Web"

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…

In Silico Insights into the SARS CoV-2 Main Protease Suggest NADH Endogenous Defences in the Control of the Pandemic Coronavirus Infection

2020

COVID-19 is a pandemic health emergency faced by the entire world. The clinical treatment of the severe acute respiratory syndrome (SARS) CoV-2 is currently based on the experimental administration of HIV antiviral drugs, such as lopinavir, ritonavir, and remdesivir (a nucleotide analogue used for Ebola infection). This work proposes a repurposing process using a database containing approximately 8000 known drugs in synergy structure- and ligand-based studies by means of the molecular docking and descriptor-based protocol. The proposed in silico findings identified new potential SARS CoV-2 main protease (MPRO) inhibitors that fit in the catalytic binding site of SARS CoV-2 MPRO. Several sel…

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…

El descrédito de la democracia / 4: Los posmodernos y el 'egocasting'

2006

A Successful Crowdsourcing Approach for Bird Sound Classification

2023

Automated recorders are increasingly used in remote sensing of wildlife, yet automated methods of processing the audio remains challenging. Identifying animal sounds with machine learning provides a solution, but optimizing the models requires annotated training data. Producing such data can require much manual effort, which could be alleviated by engaging masses to contribute to research and share the workload. Birdwatchers are experts on identifying bird vocalizations and form an ideal focal audience for a citizen science project aiming for the required multitudes of annotated avian audio data. For this purpose, we launched a web portal that was targeted and advertised to Finnish birdwatc…

Tutor-Sky: A web environment for multimedia on-line education

2005

Computer Science and Telecommunication technologies are being more and more integrated in teaching and learning systems. The subsequent modification of the educational world becomes a natural event towards a student who is immersed in a multimedia technological society and expects to find a similar learning environment. At present, multimedia is widely used in education to improve and integrate the learning processes and is ever more used in on-line education where the different media help in re-creating the “natural” interaction between teachers and students. There are many tools that allow creation and publication on web of learning contents, but none of them allows teachers to easily and…

<title>Structure analysis of the Polish academic information society using MDS method</title>

2006

The article presents the methodology of webometrics research and analysis aiming at determining similar features of objects belonging to the Polish information society, which uses the Internet and its www resources for communication purposes. In particular, the analysis applies to the selected Polish technical universities. The research was carried out in several phases - on different data groups - with regards to the Internet space and time changes. The results have been presented in a form of two and three-dimensional topography maps. For the purposes of this analysis, the computer methods of multidimensional scaling were used. The research will be further continued for a selected group o…

Applying a web-based training to foster self-regulated learning — Effects of an intervention for large numbers of participants

2016

Trainings on self-regulated learning (SRL) have been shown to be effective in improving both competence of self-regulated learning and objective measures of performance. However, human trainers can reach only a limited number of people at a time. Web-based trainings (WBT) could improve efficiency, as they can be distributed to potentially unlimited numbers of participants. We developed a WBT based on the process model of SRL by Schmitz and Wiese (2006) and tested it with 211 university students in a randomized control evaluation study including additional process analyses of learning diaries. Results showed that the training had significant effects on SRL knowledge, SRL behavior measured by…

Toward an Integrated System for Surveillance and Behaviour Analysis of Groups and People

2013

Security and INTelligence SYStem is an Italian research project which aims to create an integrated system for the analysis of multi-modal data sources (text, images, video, audio), to assist operators in homeland security applications. Within this project the Scientific Research Unit of the University of Palermo is responsible of the image and video analysis activity. The SRU of Palermo developed a web service based architecture that provides image and video analysis capabilities to the integrated analysis system. The developed architecture uses both state of the art techniques, adapted to cope with the particular problem at hand, and new algorithms to provide the following services: image …

Technology for supporting web information search and learning in Sign Language

2009

Sign Languages (SL) are underrepresented in the digital world, which contributes to the digital divide for the Deaf Community. In this paper, our goal is twofold: (1) to review the implications of current SL generation technologies for two key user web tasks, information search and learning and (2) to propose a taxonomy of the technical and functional dimensions for categorizing those technologies. The review reveals that although contents can currently be portrayed in SL by means of videos of human signers or avatars, the debate about how bilingual (text and SL) versus SL-only websites affect signers' comprehension of hypertext content emerges as an unresolved issue in need of further empi…