Search results for "Server"

Low-Latency Infrastructure-Based Cellular V2V Communications for Multi-Operator Environments With Regional Split

2021

Mobile network operators are interested in providing Vehicle-to-Vehicle (V2V) communication services using their cellular infrastructure. Regional split of operators is one possible approach to support multi-operator infrastructure-based cellular V2V communication. In this approach, a geographical area is divided into non-overlapping regions, each one served by a unique operator. Its main drawback is the communication interruption motivated by the inter-operator handover in border areas, which prevents the fulfillment of the maximum end-to-end (E2E) latency requirements of fifth generation (5G) V2V services related to autonomous driving. In this work, we enable a fast inter-operator handove…

Mobile Search - Social Network Search Using Mobile Devices Demonstration

2008

Mobile search prototype demonstrates the possibilities of social network search in N800 mobile devices. Search is initiated from a N800 mobile device to search the contacts in mobile device's addressbook. The contacts can be other N800 mobile devices running mobile Web server or normal Web servers in the Internet with Drupal content management system. Mobile device users can select which of their personal information such as phone numbers, calendar data etc. to share via a mobile Web server. The proposed search mechanism has many benefits compared to centralized Web search engines like Google. The search can locate information which is not referenced anywhere and thus allows hidden or rare …

Improved support for streaming services in vehicular networks

2004

This paper presents a resource management mechanism aimed at improving the effectiveness of streaming services in vehicular networks. The scenario considered in this paper is that of a group of customers located into a same public vehicle, e.g. a moving train connected to the network via a satellite link, and requesting either video-on-demand-like services, as well as real-time diffusive (broadcast) streaming services. We show that a proxy server, devised to introduce an elastic buffer aimed at decoupling the information retrieval download speed on the outer network from the natural play-out speed used in the vehicular network, results to be an extremely effective approach in reducing the o…

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…

2014

This paper deals with the problem of robust model predictive control (RMPC) for a class of linear time-varying systems with constraints and data losses. We take the polytopic uncertainties into account to describe the uncertain systems. First, we design a robust state observer by using the linear matrix inequality (LMI) constraints so that the original system state can be tracked. Second, the MPC gain is calculated by minimizing the upper bound of infinite horizon robust performance objective in terms of linear matrix inequality conditions. The method of robust MPC and state observer design is illustrated by a numerical example.

Estimation of the mean crystal size and the moments of the crystal size distribution in batch crystallization processes

2016

International audience; A cascade high gain observer is designed to estimate the first four leading moments of the crystal size distribution (CSD) and the mean crystal size in batch crystallization processes. The proposed observer is based on a well-known transformation of the partial differential equation describing the CSD to a set of ordinary differential equations (the method of moments). Due to numerical difficulties resulting from the important differences in the magnitudes of the moments, a set of new variables is computed to allow a good estimation of the moments and thus the mean crystal size. In this work, only solute concentration and crystallizer temperature are used to estimate…

Quality assessment of protein NMR structures.

2013

Biomolecular NMR structures are now routinely used in biology, chemistry, and bioinformatics. Methods and metrics for assessing the accuracy and precision of protein NMR structures are beginning to be standardized across the biological NMR community. These include both knowledge-based assessment metrics, parameterized from the database of protein structures, and model versus data assessment metrics. On line servers are available that provide comprehensive protein structure quality assessment reports, and efforts are in progress by the world-wide Protein Data Bank (wwPDB) to develop a biomolecular NMR structure quality assessment pipeline as part of the structure deposition process. These qu…

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…

Effect of diode laser irradiation on the attachment rate of periodontal ligament cells: an in vitro study.

2001

The present study is part of a basic research program investigating the cellular effects of an 810 nm GaAlAs-diode laser on human periodontal tissues. The aim of the investigation was to evaluate the effects of laser treatment of root surface specimens on the attachment of periodontal ligament (PDL) cells in vitro.Root specimens were prepared from periodontally diseased teeth. PDL cells were obtained from human third molar ligaments. Cells were cultured under simple, standardized, and reproducible experimental conditions. One hundred fifty root specimens were scaled and root planed with curets followed by air-powder abrasive treatment; 75 were then lased and 75 served as controls. The irrad…

Evaluation of the agreement by examiners according to classifications of third molars

2011

Objectives. This study recorded and evaluated the intra- and inter-group agreement degree by different examiners for the classification of lower third molars according to both the Winter’s and Pell & Gregory’s systems. Study Design. An observational and cross-sectional study was realized with forty lower third molars analyzed from twenty digital panoramic radiographs. Four examiner groups (undergraduates, maxillofacial surgeons, oral radiologists and clinical dentists) from Aracaju, Sergipe, Brazil, classified them in relation to angulation, class and position. The variance test (ANOVA) was applied in the examiner findings with significance level of p<0.05 and confidence intervals of 95%. R…