Search results for " Computer Science"
showing 10 items of 3983 documents
Fully Dynamic Evaluation of Sequence Pair
2013
In the electronic design automation field, as well as in other areas, problem instances and solutions are often subject to discrete changes. The foundational significance of efficient updates of the criterion value after dynamic updates, instead of recomputing it from scratch each time, has attracted a lot of research. In this paper, motivated by the significance of the sequence pair (SP) representation for floorplanning, we develop a fully dynamic algorithm of SP evaluation, that efficiently updates a criterion value after insertions and deletions of SP elements and after modifications of element weights. Our result is based on a new data structure for the predecessor problem, which mainta…
Lightweight algorithms for constructing and inverting the BWT of string collections
2013
Recent progress in the field of \{DNA\} sequencing motivates us to consider the problem of computing the Burrows‚ÄìWheeler transform (BWT) of a collection of strings. A human genome sequencing experiment might yield a billion or more sequences, each 100 characters in length. Such a dataset can now be generated in just a few days on a single sequencing machine. Many algorithms and data structures for compression and indexing of text have the \{BWT\} at their heart, and it would be of great interest to explore their applications to sequence collections such as these. However, computing the \{BWT\} for 100 billion characters or more of data remains a computational challenge. In this work we ad…
Magnetic resonance image segmentation and heart motion tracking with an active mesh based system
2002
International audience; Abstract: The work presented here relates to a method fir motion tracking in sequences of medical images. The purpose is to. quantify the general motions and the local deformations of a beating heart during a cardiac cycle. In order to achieve this goal, we first tessellate the,first image of the sequence into triangular patches. A Delaunay triangulation is applied to find the optimal set of triangles describing this image, giving a mesh covering the organs. One imposes the contours of the organs to correspond to edges of triangles so that each part of the heart (left ventricle, right ventricle, myocardium) can he described as a different set of triai izles, each set…
The expansion $\star$ mod $\bar{o}(\hbar^4)$ and computer-assisted proof schemes in the Kontsevich deformation quantization
2019
The Kontsevich deformation quantization combines Poisson dynamics, noncommutative geometry, number theory, and calculus of oriented graphs. To manage the algebra and differential calculus of series of weighted graphs, we present software modules: these allow generating the Kontsevich graphs, expanding the noncommutative & x22c6;-product by using a priori undetermined coefficients, and deriving linear relations between the weights of graphs. Throughout this text we illustrate the assembly of the Kontsevich & x22c6;-product up to order 4 in the deformation parameter Already at this stage, the & x22c6;-product involves hundreds of graphs; expressing all their coefficients via 149 w…
The Effects of the Use of Serious Game in Eco-Driving Training
2016
International audience; Serious games present a promising approach to training and learning. The player is engaged in a virtual environment for a purpose beyond pure entertainment, all while having fun. In this paper, we investigate the effects of the use of serious game in eco-driving training. An approach has been developed in order to improve players’ practical skills in terms of eco-driving. This approach is based on the development of a driving simulation based on a serious game, integrating a multisensorial guidance system with metaphors including visual messages (information on fuel consumption, ideal speed area, gearbox management, etc.) and sounds (spatialized sounds, voice message…
Vehicle routing with private and shared delivery locations
2021
Abstract The rapid growth of e-commerce has led to an increase of home delivery requests. Providing efficient distribution systems for services on the last mile has become a challenging issue for logistics companies, where a trade-off between the classical approaches, attended home delivery (AHD) and usage of shared delivery locations (SDLs) has been identified. AHD provides a higher quality of service but implies very high costs for the company, while usage of SDL requires customers to perform the very last mile by themselves. For companies, this bears the risk of a decrease in the perceived service quality. However, due to consolidation effects, transportation costs can be considerably mi…
The collaborative consistent vehicle routing problem with workload balance
2021
Abstract The rising competition in the logistics sector forces companies to be more economically efficient. One of the major sources of inefficiency is the incomplete usage of available resources, such as vehicles’ capacities. Mechanism that allow to better exploit such resources by enabling carrier collaborations are on the rise. Our study examines a centrally organized multi-period collaborative vehicle routing problem, where carriers can exchange customers who have to be serviced on a regular basis. Collaborations, where carriers serve frequent customers, are supposed to face the problem of (i) time consistency in terms of visiting time, and of (ii) service consistency. The latter ensure…
A hybrid approach to semantic web services matchmaking
2008
AbstractDeploying the semantics embedded in web services is a mandatory step in the automation of discovery, invocation and composition activities. The semantic annotation is the “add-on” to cope with the actual interoperability limitations and to assure a valid support to the interpretation of services capabilities. Nevertheless many issues have to be reached to support semantics in the web services and to guarantee accurate functionality descriptions. Early efforts address automatic matchmaking tasks, in order to find eligible advertised services which appropriately meet the consumer’s demand. In the most of approaches, this activity is often entrusted to software agents, able to drive re…
Towards global service level guarantee within autonomic computing systems
2011
International audience; In this paper, we specify a global service level guarantee including not only QoS but also security and taking into account user mobility. This global service level could be guaranteed within several autonomic computing systems managed by different autonomic domain managers. For that purpose, we propose an end-to-end Service Level Negotiation Protocol, called SLNP, to provide those autonomic managers with a negotiation capability. This allows achieving an agreement on the service level of each offered service between the different domains involved in the transport of that service. SLNP Implementation is made of Web Services technologies to enable interoperability in …
Design and optimisation of an innovative two-hub-and-spoke network for the Mediterranean short-sea-shipping market
2020
Abstract Short Sea Shipping (SSS) is generally considered as a privileged transport mode in terms of reducing road congestion and related external costs. In the last two decades, SSS has attracted a lot of attention in the European Union, where it is also regarded as a key factor for economic and social cohesion between countries. In this regard, the present study proposes a new network design that aims at improving and increasing freight traffic between the north-western and the south-eastern shores of the Mediterranean Basin. The proposed model, designed for Ro-Ro (Roll-on Roll-off) freight transport, tries to overcome the limits of the existing multi-port-calling services through an inno…