Resilient software update

In a typical scenario, a large heterogeneous software system, installed on many different sites and composed of several interacting components, exchanging data with several different protocols, must be updated to correct some defects, add new functionalities, or replace some obsolete components without breaking the system and while keeping its dependability. This research project aims at […]

Read More
Multi-channel GNSS Signal Simulation Using CPU/GPU Platforms and FPGA-based Digital Signal Processing Cards

Currently the implementation of navigation information systems – sometimes called “GPS” or GNSS (Global Navigation Satellite Systems) for convenience – is undergoing some significant transitions.  Additional satellite constellations are being proposed and fielded (Glonass, Galileo, Compass, SBAS) aggressively.  In addition location technology is rapidly being incorporated into the mass-market consumer space thru implementation in cellular […]

Read More
Word Segmentation in Handwritten Documents Using Genetic Programming

Word segmentation in handwritten document is a difficult task because inter-word-spacing (i.e. the space between parts of the same word) is sometimes wider than the intra-word-spacing (i.e. the space between two consecutive words). Many different approaches to segmenting words have been proposed so far. However these segmentation approaches usually use some parameters that are manually […]

Read More
Real-Time embedded systems development using a simulation-based approach

Real-time systems are built as sets of components interacting with their environment. In most cases (including robotics, traffic control, manufacturing and industrial applications, etc.), these applications must satisfy "hard" timing constraints. If these constraints are not met, systems decisions (even correctly computed) can lead to catastrophic consequences for goods or lives. The development of real-time […]

Read More
Algorithms for Geometric Networks

Geometric Networks typically are a sparse subgraphs of  a complete graph defined over a set of points embedded in the plane (or space). There are several algorithms which take a complete graph and compute a sparse subgraph satisfying various constraints, e.g.  low diameter, constant degree and fault-tolerant. In our recent work, we have designed algorithms […]

Read More
Engineering platinum free nano-structured electro catalysts for hydrogen production by thermal spraying technology

Hydrocarbon-based fuels have been the primary source of energy for mankind for centuries. However, during the last century there has been an exponential increase in the utilization of such fuels and the demand for energy is growing continuously. Hydrocarbon fuels are the primary source of greenhouse emissions which are severely affecting the global climate and […]

Read More
Cache-oblivious and adaptive algorithms in symbolic computation

The pervasive ubiquity of parallel architectures and memory hierarchy has led to the emergence of a new quest for parallel mathematical algorithms and software capable of exploiting the various levels of parallelism: from hardware acceleration technologies (multi-core and multi-processor system on chip, GPGPU, FPGA) to cluster and global computing platforms. In this project, we propose […]

Read More
Tailoring Rheological Properties of RigidReclaim™ Resin Streams

The RigidReclaim™ technology under development by Entropex is an innovative process which converts a comingled, contaminated Mixed Rigid waste stream into highly pure, commercially valuable resins. The non-uniform natures of the plastic waste pose a significant challenge to satisfy the quality requirements for high-value applications. This project is a critical component of the RigidReclaim™ technology […]

Read More
Development of novel nanomaterial in advanced lithium batteries for electric vehicles

There is an increasing demand for development of electric vehicle (EV) due to the serious energy shortages and environmental pollution. Advanced Lithium (Li) rechargeable batteries are the most promising power systems in commercial Hybrid EV. The main challenge is still the development of alternative material in terms of energy density, cycability, safety, and cost. In […]

Read More
Coil and Sequence Development for Metabolic Magnetic Resonance Imaging

Dynamic Nuclear Polarisation makes it possible to boost the MRI signal of 13C labelled pyruvate 10,000-fold, overcoming the low natural signal of carbon. This makes imaging of metabolic processes possible, and could provide useful insight on changes in cellular metabolism due to cancer. Imaging the metabolic products of pyruvate allows monitoring not only where metabolism […]

Read More
Research and Development of Automated Pluripotent Stem Cell Propagation

Stem cells are at the forefront of modern medicine and are expected to revolutionize both the human and veterinary healthcare industries. Currently, a major obstacle to the field is the time-consuming and costly technical time spent growing and maintaining various stem cell populations. The degree of contamination with non-stem cells, ability of the stem cells […]

Read More
Development and validation of a mathematical model of brain activity during deep brain stimulation in Parkinson’s disease

Deep brain stimulation (DBS) consists in implanting electrodes delivering electric stimuli in deep brain structures to relieve motor symptoms of Parkinson's disease (PD). Even if DBS is successful in alleviating symptoms for about 50,000 patients worldwide, it is an invasive neurosurgical technique, and its mechanisms of action remain elusive. This therapy could be greatly improved […]

Read More