Verifying Security Properties in Modular Systems

Security is a huge concern in our digital society, especially with distributed systems like the Internet. Services deployed on such systems are frequently subject to malicious attacks; thus, verifying and enforcing its security is essential. One way of doing this is by using models like finite state automata. Past literature has explored how a system […]

Read More
Au-delà des aspects opérationnels, quels sont les enjeux stratégiques de l’Industrie 4.0 sur les donneurs d’ordres du secteur aéronautique??

Actuellement, l’avènement de l’Industrie 4.0 constitue un incontournable pour les entreprises. L’arrimage entre le monde cyberphysique et la pensée stratégique comportent son lot d’opportunités et de défis. De ce fait, ceux-ci ont un impact majeur sur la stratégie organisationnelle touchant l’ensemble des choix et mesures nécessaire à la discipline et à l’atteinte des objectifs. À […]

Read More
The Invention and Early History of IMAX

IMAX is a Canadian-born invention that has had little scholarly investigation despite its continued commercial success. The importance of this research project stems from the lack of scholarly research about the beginnings of IMAX as a Canadian-born invention and its place within the history media technology. In celebration of IMAX’s 50th anniversary, The Public Access […]

Read More
Layout Drawing Digitalization and Generation

The layout drawing is the popular format in the Oil & Gas industry to illustrate the design of layouts and the internal equipment. The complex drawings contain primary shapes, indicative lines and textual annotations. So far the expert knowledge is still required to understand, modify and create such documents. The proposed project is to develop […]

Read More
Création de stratégies démonstratrices hybrides de conception et fabrication d’outillages aérospatiaux

La fabrication de pièces aérospatiales présente plusieurs défis importants, dont ceux du délai et du coût de réalisation. Dans le contexte économique d’aujourd’hui, `bien faire du premier coup` est impératif pour maintenir la compétitivité des entreprises. La recherche de l’efficience est alimentée par diverses opportunités provenant de technologies émergentes telles que l’assemblage par métrologie 3D, […]

Read More
An information-theoretic framework for understanding generalization in neural networks

Deep neural network (DNN) is a class of machine learning algorithms which is inspired by biological neural networks. DNNs are themselves general function approximations, which is the reason they can be applied to almost any machine learning problem. Their applications can be found in visual object recognition in computer vision, translating texts in unsupervised learning, […]

Read More
Glocal Linearization for Feedback Control for Significantly Nonlinear Systems

Closed-loop control of nonlinear systems is typically performed by combining a number of linear controllers, each designed to perform well around an operating point. Although this solution generally works in many cases, there are some important practical applications, e.g. in diesel engine control or in robotics in which it fails and leads to serious performance […]

Read More
Design of an Anthropomorphic Lower-Limb Exoskeleton System

Human locomotion can be influenced by several factors such as neuromuscular and joint disorders that affect the functionality of joints and can cause partial or complete paralysis. Reduced mobility is estimated to affect over 1% of the population in the world. Many individuals require mobility assistive technologies to keep up with their daily life and […]

Read More
Characterization of a new ion source for mass spectrometry

Characterization of the energy distribution of ions generated by the plasma in an Inductively Coupled Plasma Mass Spectrometer (ICP-MS) instrument is necessary for a new ion source in that it influences the ion sampling process, transmission efficiency, focusing, and mass analysis in ICP-MS. These energy distribution phenomena are also analogous to the ion beam that […]

Read More