Securing Critical Infrastructures

1noL'abstract è presente nell'allegato / the abstract is in the attachmentopen677. INGEGNERIA INFORMATInoopenCarelli, Albert

Verifying the smallest interesting colour code with quantomatic

In this paper we present a Quantomatic case study, verifying the basic properties of the Smallest Interesting Colour Code error detection code

Effective Continued Fraction Dimension versus Effective Hausdorff Dimension of Reals

We establish that constructive continued fraction dimension originally defined using $s$-gales is robust, but surprisingly, that the effective continued fraction dimension and effective (base-$b$) Hausdorff dimension of the same real can be unequal in general. We initially provide an equivalent characterization of continued fraction dimension using Kolmogorov complexity. In the process, we construct an optimal lower semi-computable $s$-gale for continued fractions. We also prove new bounds on the Lebesgue measure of continued fraction cylinders, which may be of independent interest. We apply these bounds to reveal an unexpected behavior of continued fraction dimension. It is known that feasible dimension is invariant with respect to base conversion. We also know that Martin-L\"of randomness and computable randomness are invariant not only with respect to base conversion, but also with respect to the continued fraction representation. In contrast, for any $0 < \varepsilon < 0.5$, we prove the existence of a real whose effective Hausdorff dimension is less than $\varepsilon$, but whose effective continued fraction dimension is greater than or equal to $0.5$. This phenomenon is related to the ``non-faithfulness'' of certain families of covers, investigated by Peres and Torbin and by Albeverio, Ivanenko, Lebid and Torbin. We also establish that for any real, the constructive Hausdorff dimension is at most its effective continued fraction dimension

Classification of Resting-State fMRI using Evolutionary Algorithms: Towards a Brain Imaging Biomarker for Parkinson’s Disease

It is commonly accepted that accurate early diagnosis and monitoring of neurodegenerative conditions is essential for effective disease management and delivery of medication and treatment. This research develops automatic methods for detecting brain imaging preclinical biomarkers for Parkinson’s disease (PD) by considering the novel application of evolutionary algorithms. An additional novel element of this work is the use of evolutionary algorithms to both map and predict the functional connectivity in patients using rs-fMRI data. Specifically, Cartesian Genetic Programming was used to classify dynamic causal modelling data as well as timeseries data. The findings were validated using two other commonly used classification methods (Artificial Neural Networks and Support Vector Machines) and by employing k-fold cross-validation. Across dynamic causal modelling and timeseries analyses, findings revealed maximum accuracies of 75.21% for early stage (prodromal) PD patients in which patients reveal no motor symptoms versus healthy controls, 85.87% for PD patients versus prodromal PD patients, and 92.09% for PD patients versus healthy controls. Prodromal PD patients were classified from healthy controls with high accuracy – this is notable and represents the key finding since current methods of diagnosing prodromal PD have low reliability and low accuracy. Furthermore, Cartesian Genetic Programming provided comparable performance accuracy relative to Artificial Neural Networks and Support Vector Machines. Nevertheless, evolutionary algorithms enable us to decode the classifier in terms of understanding the data inputs that are used, more easily than in Artificial Neural Networks and Support Vector Machines. Hence, these findings underscore the relevance of both dynamic causal modelling analyses for classification and Cartesian Genetic Programming as a novel classification tool for brain imaging data with medical implications for disease diagnosis, particularly in early stages 5-20 years prior to motor symptoms

Advancements in Real-Time Simulation of Power and Energy Systems

Modern power and energy systems are characterized by the wide integration of distributed generation, storage and electric vehicles, adoption of ICT solutions, and interconnection of different energy carriers and consumer engagement, posing new challenges and creating new opportunities. Advanced testing and validation methods are needed to efficiently validate power equipment and controls in the contemporary complex environment and support the transition to a cleaner and sustainable energy system. Real-time hardware-in-the-loop (HIL) simulation has proven to be an effective method for validating and de-risking power system equipment in highly realistic, flexible, and repeatable conditions. Controller hardware-in-the-loop (CHIL) and power hardware-in-the-loop (PHIL) are the two main HIL simulation methods used in industry and academia that contribute to system-level testing enhancement by exploiting the flexibility of digital simulations in testing actual controllers and power equipment. This book addresses recent advances in real-time HIL simulation in several domains (also in new and promising areas), including technique improvements to promote its wider use. It is composed of 14 papers dealing with advances in HIL testing of power electronic converters, power system protection, modeling for real-time digital simulation, co-simulation, geographically distributed HIL, and multiphysics HIL, among other topics

Building information modeling – A game changer for interoperability and a chance for digital preservation of architectural data?

Digital data associated with the architectural design-andconstruction process is an essential resource alongside -and even past- the lifecycle of the construction object it describes. Despite this, digital architectural data remains to be largely neglected in digital preservation research – and vice versa, digital preservation is so far neglected in the design-and-construction process. In the last 5 years, Building Information Modeling (BIM) has seen a growing adoption in the architecture and construction domains, marking a large step towards much needed interoperability. The open standard IFC (Industry Foundation Classes) is one way in which data is exchanged in BIM processes. This paper presents a first digital preservation based look at BIM processes, highlighting the history and adoption of the methods as well as the open file format standard IFC (Industry Foundation Classes) as one way to store and preserve BIM data

Dealing with Correlations in Discrete Choice Models

The focus of this thesis is to develop methods to address research challenges related to correlation patterns in discrete choice models. In the context of correlations within alternatives, we extend the novel methodology of the multiple indicator solution (MIS) to deal with endogeneity, and show, through its theoretical derivation, that it is applicable when there are interactions between observed and unobserved variables. In the context of correlations between alternatives, we discuss the importance of using models that can capture them, such as cross nested logit models. We show, through real world examples, that ignoring these correlation patterns can have severe impacts on the obtained demand indicators, and that this can lead to wrong decisions by practitioners. We also address the challenge of using revealed preference data, where the attributes of the non-chosen alternatives are unavailable, and propose a solution based on multiple imputations of their empirical distributions. In the thesis, we also contribute to the existing literature by gaining a better understanding of private motorized modes, in terms of modal split and purchases of new cars. Related to modal split, we use a mode choice case study in low density areas of Switzerland. We find that ignoring the car-loving attitude of individuals leads to incorrect value of time estimates and elasticities, which might have severe implications in the pricing schemes of public transportation, for example. Related to the purchase of new cars, we use data from new car acquisitions in France in 2014, and focus on hybrid and electric vehicles. We find elasticities to price that are in line with the literature, and willingness to pay values in line with the market conditions. We also study the impact of different future policy scenarios and find that the sales of new electric vehicles could reach around 1% as a result of a major technological innovation that would render electric vehicles less expensive. In the last part of the thesis, we propose the discrete-continuous maximum likelihood (DCML) framework, which consists in estimating discrete and continuous parameters simultaneously. This innovative idea, opens the door to new research avenues, where decisions that were usually taken by the analyst can now be data driven. As an illustration, we show that correlations between alternatives can be identified at the estimation level, and do not need to be assumed by the analyst. The DCML framework consists in a mixed integer linear program (MILP) in which the log-likelihood estimator is linearized. This linearization might be useful to estimate parameters of other discrete choice models for which the log-likelihood function is not concave (and therefore global optimality is not insured by the optimization algorithms), since for an MILP, a global optimum is guaranteed. We use a simple mode choice case study for the proof-of-concept of the DCML framework, and use it to investigate its strengths and limitations. The preliminary results presented in the thesis seem very promising. To summarize, we develop methods to deal with correlations in discrete choice models that are relevant to real world problems, and show their applicability by using transportation examples. The contributions are therefore both theoretical and applied. The new methods proposed open the door to new research directions in the discrete choice field

MATLAB Applications in Engineering

The book presents a comprehensive overview of MATLAB and Simulink programming. Chapters discuss MATLAB programming for practical usages in mesosphere–stratosphere–troposphere (MST) radars, geometric segmentation, Bluetooth applications, and control of electric drives. The published examples highlight the capabilities of MATLAB programming in the fields of mathematical modeling, algorithmic development, data acquisition, time simulation, and testing