New Rigorous Decomposition Methods for Mixed-integer Linear and Nonlinear Programming

Process systems design, operation and synthesis problems under uncertainty can readily be formulated as two-stage stochastic mixed-integer linear and nonlinear (nonconvex) programming (MILP and MINLP) problems. These problems, with a scenario based formulation, lead to large-scale MILPs/MINLPs that are well structured. The first part of the thesis proposes a new finitely convergent cross decomposition method (CD), where Benders decomposition (BD) and Dantzig-Wolfe decomposition (DWD) are combined in a unified framework to improve the solution of scenario based two-stage stochastic MILPs. This method alternates between DWD iterations and BD iterations, where DWD restricted master problems and BD primal problems yield a sequence of upper bounds, and BD relaxed master problems yield a sequence of lower bounds. A variant of CD, which includes multiple columns per iteration of DW restricted master problem and multiple cuts per iteration of BD relaxed master problem, called multicolumn-multicut CD is then developed to improve solution time. Finally, an extended cross decomposition method (ECD) for solving two-stage stochastic programs with risk constraints is proposed. In this approach, a CD approach at the first level and DWD at a second level is used to solve the original problem to optimality. ECD has a computational advantage over a bilevel decomposition strategy or solving the monolith problem using an MILP solver. The second part of the thesis develops a joint decomposition approach combining Lagrangian decomposition (LD) and generalized Benders decomposition (GBD), to efficiently solve stochastic mixed-integer nonlinear nonconvex programming problems to global optimality, without the need for explicit branch and bound search. In this approach, LD subproblems and GBD subproblems are systematically solved in a single framework. The relaxed master problem obtained from the reformulation of the original problem, is solved only when necessary. A convexification of the relaxed master problem and a domain reduction procedure are integrated into the decomposition framework to improve solution efficiency. Using case studies taken from renewable resource and fossil-fuel based application in process systems engineering, it can be seen that these novel decomposition approaches have significant benefit over classical decomposition methods and state-of-the-art MILP/MINLP global optimization solvers.

A next application prediction service using the BaranC framework

Predicting user behaviour enables user assistant services provide personalized services to the users. This requires a comprehensive user model that can be created by monitoring user interactions and activities. BaranC is a framework that performs user interface (UI) monitoring (and collects all associated context data), builds a user model, and supports services that make use of the user model. A prediction service, Next-App, is built to demonstrate the use of the framework and to evaluate the usefulness of such a prediction service. Next-App analyses a user's data, learns patterns, makes a model for a user, and finally predicts, based on the user model and current context, what application(s) the user is likely to want to use. The prediction is pro-active and dynamic, reflecting the current context, and is also dynamic in that it responds to changes in the user model, as might occur over time as a user's habits change. Initial evaluation of Next-App indicates a high-level of satisfaction with the service.

Development of Novel Time-Domain Electromagnetic Methods for Offshore Groundwater Studies: A Data Application from Bat Yam, Israel

Recent marine long-offset transient electromagnetic (LOTEM) measurements yielded the offshore delineation of a fresh groundwater body beneath the seafloor in the region of Bat Yam, Israel. The LOTEM application was effective in detecting this freshwater body underneath the Mediterranean Sea and allowed an estimation of its seaward extent. However, the measured data set was insufficient to understand the hydrogeological configuration and mechanism controlling the occurrence of this fresh groundwater discovery. Especially the lateral geometry of the freshwater boundary, important for the hydrogeological modelling, could not be resolved. Without such an understanding, a rational management of this unexploited groundwater reservoir is not possible. Two new high-resolution marine time-domain electromagnetic methods are theoretically developed to derive the hydrogeological structure of the western aquifer boundary. The first is called Circular Electric Dipole (CED). It is the land-based analogous of the Vertical Electric Dipole (VED), which is commonly applied to detect resistive structures in the subsurface. Although the CED shows exceptional detectability characteristics in the step-off signal towards the sub-seafloor freshwater body, an actual application was not carried out in the extent of this study. It was found that the method suffers from an insufficient signal strength to adequately delineate the resistive aquifer under realistic noise conditions. Moreover, modelling studies demonstrated that severe signal distortions are caused by the slightest geometrical inaccuracies. As a result, a successful application of CED in Israel proved to be rather doubtful. A second method called Differential Electric Dipole (DED) is developed as an alternative to the intended CED method. Compared to the conventional marine time-domain electromagnetic system that commonly applies a horizontal electric dipole transmitter, the DED is composed of two horizontal electric dipoles in an in-line configuration that share a common central electrode. Theoretically, DED has similar detectability/resolution characteristics compared to the conventional LOTEM system. However, the superior lateral resolution towards multi-dimensional resistivity structures make an application desirable. Furthermore, the method is less susceptible towards geometrical errors making an application in Israel feasible. In the extent of this thesis, the novel marine DED method is substantiated using several one-dimensional (1D) and multi-dimensional (2D/3D) modelling studies. The main emphasis lies on the application in Israel. Preliminary resistivity models are derived from the previous marine LOTEM measurement and tested for a DED application. The DED method is effective in locating the two-dimensional resistivity structure at the western aquifer boundary. Moreover, a prediction regarding the hydrogeological boundary conditions are feasible, provided a brackish water zone exists at the head of the interface. A seafloor-based DED transmitter/receiver system is designed and built at the Institute of Geophysics and Meteorology at the University of Cologne. The first DED measurements were carried out in Israel in April 2016. The acquired data set is the first of its kind. The measured data is processed and subsequently interpreted using 1D inversion. The intended aim of interpreting both step-on and step-off signals failed, due to the insufficient data quality of the latter. Yet, the 1D inversion models of the DED step-on signals clearly detect the freshwater body for receivers located close to the Israeli coast. Additionally, a lateral resistivity contrast is observable in the 1D inversion models that allow to constrain the seaward extent of this freshwater body. A large-scale 2D modelling study followed the 1D interpretation. In total, 425 600 forward calculations are conducted to find a sub-seafloor resistivity distribution that adequately explains the measured data. The results indicate that the western aquifer boundary is located at 3600 m - 3700 m before the coast. Moreover, a brackish water zone of 3 Omega*m to 5 Omega*m with a lateral extent of less than 300 m is likely located at the head of the freshwater aquifer. Based on these results, it is predicted that the sub-seafloor freshwater body is indeed open to the sea and may be vulnerable to seawater intrusion.

Interface virtual com sensor 3D para interação de pessoas acamadas

A interação homem-máquina tem evoluído significativamente nos últimos anos, a ponto de permitir desenvolver soluções adequadas para apoio a pessoas que possuem um certo tipo de limitação física ou cognitiva. O desenvolvimento de técnicas naturais e intuitivas de interação, as chamadas Natural User Interface (NUI), permitem, hoje, que pessoas que estejam acamadas e/ou com incapacidade motora possam executar um conjunto de ações por intermédio de gestos, aumentando assim a sua qualidade de vida. A solução implementada neste projecto é baseada em processamento de imagem e visão por computador através do sensor 3D Kinect e consiste numa interface natural para o desenvolvimento de uma aplicação que reconheça gestos efetuados por uma mão humana. Os gestos identificados pela aplicação acionam um conjunto de ações adequados a uma pessoa acamada, como, por exemplo, acionar a emergência, ligar ou desligar a TV ou controlar a inclinação da cama. O processo de desenvolvimento deste projeto implicou várias etapas. Inicialmente houve um trabalho intenso de investigação sobre as técnicas e tecnologias consideradas importantes para a realização do trabalho - a etapa de investigação, a qual acompanhou praticamente todo o processo. A segunda etapa consistiu na configuração do sistema ao nível do hardware e do software. Após a configuração do sistema, obtiveram-se os primeiros dados do sensor 3D Kinect, os quais foram convertidos num formato mais apropriado ao seu posterior tratamento. A segmentação da mão permitiu posteriormente o reconhecimento de gestos através da técnica de matching para os seis gestos implementados. Os resultados obtidos são satisfatórios, tendo-se contabilizado cerca de 96% de resultados válidos. A área da saúde e bem-estar tem necessidade de aplicações que melhorem a qualidade de vida de pessoas acamadas, nesse sentido, o protótipo desenvolvido faz todo o sentido na sociedade actual, onde se verifica o envelhecimento da população.

Análisis de la influencia del programa de mejoramiento integral de barrios de Bogotá en el territorio del API El tesoro de la localidad de Ciudad Bolívar

La expansión urbana mediante asentamientos de origen informal ha ido aumentado en los últimos años debido al déficit en la oferta de vivienda formal, el costo del suelo urbano y factores económicos, sociales y culturales. Estos asentamientos no cuentan con infraestructura básica y los terrenos que generalmente son invadidos se encuentran en zonas de riesgo y no ofrecen las condiciones físicas y habitacionales adecuadas para el habitar de las personas. El distrito a través del Programa de Mejoramiento Integral de Barrios (PMIB) busca intervenir sobre los aspectos críticos en cada barrio, habilitar la infraestructura básica que permita su integración a la ciudad y mejorar la calidad de vida de los habitantes. Este proceso parte de delimitar las zonas críticas y definir las intervenciones físicas, sociales y ambientales que deben ser llevadas a cabo por diferentes entidades distritales. En este estudio se hace un análisis de las intervenciones que se han llevado a cabo en la Área Prioritaria de Intervención (API) El Tesoro, para analizar cuales intervenciones llevadas a cabo han sido exitosas y cuales requieren de ajustes para lograr un mejor impacto. Se encontró que estas intervenciones no han sido suficientes para mejorar las condiciones habitacionales de las personas, razón por lo cual es necesario revisar la política y formas de intervención.

Plan de negocios Bicigo app

La gran cantidad de personas interesadas actualmente en cuidar de su salud por medio de la Bicicleta, es una tendencia que cada vez toma más fuerza y por esto, se tomara como ventaja que la ciudad de Bogotá con sus últimos alcaldes han decidió apoyar el uso de esta. Aplicación para realizar grupos de ciclistas y poder salir cualquier día de la semana acompañado de más personas por un tema de transporte pero también de ocio. El objetivo es que las personas que no utilizan la bicicleta por miedo a salir solos, puedan unirse a diferentes grupos y hacer bici paseos por la ciudad, también contemplamos el hecho de que existen personas que quieren montar bicicleta como aficionados, es decir que salen por la carreteras aledañas a la capital pero muchas veces no tienen grupo con quien rodar. Queremos para el año 2020, lograr ser una de las aplicaciones de Bicicletas más exitosa de la ciudadanía de Bogotá, siendo una de las aplicaciones que mas apoya el uso diario y deportivo de la bicicleta. Nuestra aplicación ofrece el servicio principalmente de reunir gente y hacer paseos con diferentes personas haciendo uso de las bicicletas, dentro de la ciudad como ocio y transporte se realizarían en la mañana y noches, pero así mismo realizar grupos para hacer uso de la bicicleta por carreteras, es decir más como modo profesional o aficionado. Nuestra aplicación cuenta con una interface para seleccionar el tipo de bici usuario y segundo por donde o a donde quiere dirigirse para así mismo mostrarle las rutas cercanas a él. Nuestra característica principal es la unión de diferentes grupos, personas y entidades para hacer uso de la Bicicleta, tenemos una plataforma interactiva y fácil de usar, tan fácil que cualquier persona que no esté inmersa en el mundo de los Smartphone o aplicaciones pueda aprender a usarla. Unas de las ventajas con las que cuento es que desde muy joven me ha gustado montar en bicicletas y es así como decido crear una aplicación ya que compañeros, familiares y conocidos no salían a montar bicicleta solo conmigo, preferían que fuese un grupo más grande. Así mismo cuento con 3 compañeros de la universidad Javeriana que son programadores y ellos me van a brindar apoyo con la programación de la aplicación, y una compañera cercana a mí que estudio diseño industrial y me brindara apoyo con el diseño e imagen corporativa de la aplicación. Cuento con planta física para ubicar la oficina de nuestra empresa. Esta aplicación va dirigida principalmente a los habitantes de la ciudad de Bogotá, interesados en el cuidado de su salud combinado con medio de transporte, y personas correspondientes al estrato 2 en adelante, ya que son las personas que normalmente hacen uso de la bicicleta o que son personas potenciales para empezar hacer uso de la bicicleta. . La ciudad de Bogotá cuenta con 8’037.732 habitantes y este proyecto va ser desarrollado en toda la ciudad, toca tener en cuenta que la ciudad esta mesclada entre la diferente estratificación, no dirigimos a los estratos 2 y 3 que tenga la posibilidad de tener su Bicicleta y un celular tipo Smartphone, para los estratos 4, 5 y 6 sabemos que tiene la facilidad de obtener una bicicleta y ellos son nuestro usuario potencial el cual generaríamos un cambio y tomarían su bicicleta para hacer ejercicio como ocio y como medio de transporte. En cuanto a la proyección financiera para la aplicación, como se mencionó anteriormente, contamos con una gran ventaja, ya que la inversión requerida será menor debido a la propiedad con la que cuento para llevar a cabo el proyecto. Una propiedad de 60 metros cuadrados para empezar, la cual cuenta con salas de reunión y auditorio, un parqueaderos exteriores. Al hacer la calculación se va tener en cuenta el pago de un arriendo sin importan que sea de nuestra propiedad y así poder evidenciar realmente como es el estado financiero y no subsidiarla. Por otro lado, la inversión en efectivo que se necesitara será aproximadamente de $100.000.000 que serán $50.000.000 de mis padres y el restante saldrán de mis ahorros, Javier Amortegui Babativa, los cuales serán distribuidos para adecuación de planta, equipos y sistemas $17.616.880, para publicidad y mercadeo: $30.000.000, creación de la aplicación $34.000.000, sistemas IOS + Android $421.600, Gastos de composición empresarial y bancarios $11.000.000 y por último se va tener un provisión para imprevistos por el restante $6.961.520. Nuestras proyecciones de ventas han sido basadas en aplicaciones similares con un mismo formato de lucro con el tema de bicicletas pero no con la misma idea de negocio, nuestras proyecciones de ventas estimadas serán de $20.000.000 a $25.000.000 los primeros 3 meses, mientras tomamos fuerza en el mercado.

Constraint Programming-based Job Dispatching for Modern HPC Applications

A High-Performance Computing job dispatcher is a critical software that assigns the finite computing resources to submitted jobs. This resource assignment over time is known as the on-line job dispatching problem in HPC systems. The fact the problem is on-line means that solutions must be computed in real-time, and their required time cannot exceed some threshold to do not affect the normal system functioning. In addition, a job dispatcher must deal with a lot of uncertainty: submission times, the number of requested resources, and duration of jobs. Heuristic-based techniques have been broadly used in HPC systems, at the cost of achieving (sub-)optimal solutions in a short time. However, the scheduling and resource allocation components are separated, thus generates a decoupled decision that may cause a performance loss. Optimization-based techniques are less used for this problem, although they can significantly improve the performance of HPC systems at the expense of higher computation time. Nowadays, HPC systems are being used for modern applications, such as big data analytics and predictive model building, that employ, in general, many short jobs. However, this information is unknown at dispatching time, and job dispatchers need to process large numbers of them quickly while ensuring high Quality-of-Service (QoS) levels. Constraint Programming (CP) has been shown to be an effective approach to tackle job dispatching problems. However, state-of-the-art CP-based job dispatchers are unable to satisfy the challenges of on-line dispatching, such as generate dispatching decisions in a brief period and integrate current and past information of the housing system. Given the previous reasons, we propose CP-based dispatchers that are more suitable for HPC systems running modern applications, generating on-line dispatching decisions in a proper time and are able to make effective use of job duration predictions to improve QoS levels, especially for workloads dominated by short jobs.

Design, development, and analysis of hybrid metal-composite tube for industrial application

In the aerospace, automotive, printing, and sports industries, the development of hybrid Carbon Fiber Reinforced Polymer (CFRP)-metal components is becoming increasingly important. The coupling of metal with CFRP in axial symmetric components results in reduced production costs and increased mechanical properties such as bending, torsional stiffness, mass reduction, damping, and critical speed compared to the single material-built ones. In this thesis, thanks to a novel methodology involving a rubbery/viscoelastic interface layer, several hybrid aluminum-CFRP prototype tubes were produced. Besides, an innovative system for the cure of the CFRP part has been studied, analyzed, tested, and developed in the company that financed these research activities (Reglass SRL, Minerbio BO, Italy). The residual thermal stresses and strains have been investigated with numerical models based on the Finite Element Method (FEM) and compared with experimental tests. Thanks to numerical models, it was also possible to reduce residual thermal stresses by optimizing the lamination sequence of CFRP and determining the influence of the system parameters. A novel software and methodology for evaluating mechanical and damping properties of specimens and tubes made in CFRP were also developed. Moreover, to increase the component's damping properties, rubber nanofibers have been produced and interposed throughout the lamination of specimens. The promising results indicated that the nanofibrous mat could improve the material damping factor over 77% and be adopted in CFRP components with a negligible increment of weight or losing mechanical properties.

Electrospun scaffolds for regeneration of musculoskeletal interface tissues

L’apparato muscolo scheletrico è composto da strutture muscolari, articolari e ossee. Tali tessuti sono molto diversi tra loro e hanno proprietà meccaniche estremamente variabili, pertanto presentano una transizione graduale in corrispondenza della loro giunzione, onde evitare l’insorgere di concentrazioni di tensione. L’evoluzione ha portato alla formazione di particolari interfacce che permettono la corretta trasmissione dei carichi distribuendo le tensioni su una superficie più ampia in corrispondenza della giunzione. Le interfacce che vanno a inserirsi nell’osso vengono definite entesi e in particolare, in questa review, analizzeremo il caso di quelle tra tendini/legamenti e osso. In questo lavoro ci siamo anche concentrati sulla giunzione miotendinea, ovvero tra muscolo e tendine. Sono numerose le lesioni che riguardano muscoli, ossa, tendini o legamenti e molto spesso l’infortunio avviene a livello della giunzione. Quando ciò accade vi sono diverse strade, ciascuna con i suoi vantaggi e svantaggi: sutura, autograft, allograft o xenograft. Oltre a queste soluzioni si è fatta gradualmente più spazio la possibilità di realizzare degli scaffold che vadano temporaneamente a sostituire la parte danneggiata e a promuovere la sua rigenerazione, degradandosi man mano. L’elettrofilatura (Elettrospinning) è un processo produttivo che negli ultimi decenni si è affermato come tecnica per la fabbricazione di questi scaffold, fino a diventare uno tra i principali processi utilizzati dai ricercatori in questo campo. Questa tecnica infatti permette di realizzare scaffold di nanofibre porose utilizzando polimeri biodegradabili e soprattutto biocompatibili. Lo scopo della review è proprio quello di scoprire tutti i lavori e gli studi che utilizzano l’elettrofilatura per realizzare degli scaffold per interfacce, delineando così lo stato dell’arte sui progressi fatti e sulle varie tecniche utilizzate.

Fabrication and characterization of hybrid ferromagnetic-organic heterostructures for spintronics application

Recent research in the field of organic spintronics highlighted the peculiar spin-dependent properties of the interface formed by an organic semiconductor (OSC) chemisorbed over a 3d ferromagnetic metal, also known as spinterface. The hybridization between the molecular and metallic orbitals, typically π orbitals of the molecule and the d orbitals of the ferromagnet, give rise to spin dependent properties that were not expected by considering the single components of interfaces, as for example the appearance of a magnetic moment on non-magnetic molecules or changes in the magnetic behavior of the ferromagnet. From a technological viewpoint these aspects provide novel engineering schemes for spin memory and for spintronics devices, featuring unexpected interfacial magnetoresistance, spin-filtering effects and even modulated magnetic anisotropy. Applications of these concepts to devices require nevertheless to transfer the spinterface effects from an ideal interface to room temperature operating thin films. In this view, my work presents for the first time how spinterface effects can be obtained even at room temperature on polycrystalline ferromagnetic Co thin films interfaced with organic molecules. The considered molecules were commercial and widely used in the field of organic electronics: Fullerene (C60), Gallium Quinoline (Gaq3) and Sexithiophene (T6). An increase of coercivity, up to 100% at room temperature, has been obtained on the Co ultra-thin films by the deposition of an organic molecule. This effect is accompanied by a change of in-plane anisotropy that is molecule-dependent. Moreover the Spinterface effect is not limited to the interfacial layer, but it extends throughout the whole thickness of the ferromagnetic layer, posing new questions on the nature of the 3d metal-molecule interaction.

Functional engineering of hybrid heterostructures for application in electronic, optical and optoelectronic nanostructured devices

Interfacing materials with different intrinsic chemical-physical characteristics allows for the generation of a new system with multifunctional features. Here, this original concept is implemented for tailoring the functional properties of bi-dimensional black phosphorus (2D bP or phosphorene) and organic light-emitting transistors (OLETs). Phosphorene is highly reactive under atmospheric conditions and its small-area/lab-scale deposition techniques have hampered the introduction of this material in real-world applications so far. The protection of 2D bP against the oxygen by means of functionalization with alkane molecules and pyrene derivatives, showed long-term stability with respect to the bare 2D bP by avoiding remarkable oxidation up to 6 months, paving the way towards ultra-sensitive oxygen chemo-sensors. A new approach of deposition-precipitation heterogeneous reaction was developed to decorate 2D bP with Au nanoparticles (NP)s, obtaining a “stabilizer-free” that may broaden the possible applications of the 2D bP/Au NPs interface in catalysis and biodiagnostics. Finally, 2D bP was deposited by electrospray technique, obtaining oxidized-phosphorous flakes as wide as hundreds of µm2 and providing for the first time a phosphorous-based bidimensional system responsive to electromechanical stimuli. The second part of the thesis focuses on the study of organic heterostructures in ambipolar OLET devices, intriguing optoelectronic devices that couple the micro-scaled light-emission with electrical switching. Initially, an ambipolar single-layer OLET based on a multifunctional organic semiconductor, is presented. The bias-depending light-emission shifted within the transistor channel, as expected in well-balanced ambipolar OLETs. However, the emitted optical power of the single layer-based device was unsatisfactory. To improve optoelectronic performance of the device, a multilayer organic architecture based on hole-transporting semiconductor, emissive donor-acceptor blend and electron-transporting semiconductor was optimized. We showed that the introduction of a suitable electron-injecting layer at the interface between the electron-transporting and light-emission layers may enable a ≈ 2× improvement of efficiency at reduced applied bias.

Application of augmented reality in craniofacial surgery: a feasibility study

Augmented Reality (AR) is a novel promising technology, which is gaining success in the medical field. A number of applications in surgery have been described, but few studies have been focusing on pediatric craniofacial surgery. In this research project, the Authors have been implementing a system for intraoperative surgical navigation by means of HoloLens 2 by Microsoft, applied to pediatric craniofacial surgery. The Authors tested the device in a preclinical setting first, and then moved to patients. The Authors assessed the accuracy of the HoloLens 2 by performing 36 procedures in vitro on a printed 3D model of a patient. In clinical setting, 10 patients were prospectively enrolled in the study. The virtual surgical planning was designed for each patient and uploaded onto the software which allows for the AR interface and the standard neurosurgical navigator. For each patient, the surgeon has been drawing osteotomy lines both under the guidance of HoloLens2 and of the neurosurgical navigator. The Author then checked the accuracy with calibrated CAD CAM cutting guides with different grooves, in order to assess the accuracy of the osteotomies performed. We tested levels of accuracy of ±1.5 mm and ±1mm . In the preclinical setting, the HoloLens 2 performed with levels of accuracy of 1.5 mm, whereas in the real setting, surgeons were able to trace the osteotomy lines under the AR guidance for an amount of 45% (0.4 SD) of the entire line, with an accuracy level of ±1.5 mm. This percentage lowers to 34% (0.4 SD) when assessing accuracy level of ±1 mm. The results of the same tasks for the standard navigator are 36% and 16%, for ±1.5 mm and ± 1 mm accuracy level, respectively. The Authors reported encouraging results both in the preclinical and the clinical setting.

Addressing challenges in heterogeneous embedded systems programming: security and performance

Embedded systems are increasingly integral to daily life, improving and facilitating the efficiency of modern Cyber-Physical Systems which provide access to sensor data, and actuators. As modern architectures become increasingly complex and heterogeneous, their optimization becomes a challenging task. Additionally, ensuring platform security is important to avoid harm to individuals and assets. This study primarily addresses challenges in contemporary Embedded Systems, focusing on platform optimization and security enforcement. The initial section of this study delves into the application of machine learning methods to efficiently determine the optimal number of cores for a parallel RISC-V cluster to minimize energy consumption using static source code analysis. Results demonstrate that automated platform configuration is not only viable but also that there is a moderate performance trade-off when relying solely on static features. The second part focuses on addressing the problem of heterogeneous device mapping, which involves assigning tasks to the most suitable computational device in a heterogeneous platform for optimal runtime. The contribution of this section lies in the introduction of novel pre-processing techniques, along with a training framework called Siamese Networks, that enhances the classification performance of DeepLLVM, an advanced approach for task mapping. Importantly, these proposed approaches are independent from the specific deep-learning model used. Finally, this research work focuses on addressing issues concerning the binary exploitation of software running in modern Embedded Systems. It proposes an architecture to implement Control-Flow Integrity in embedded platforms with a Root-of-Trust, aiming to enhance security guarantees with limited hardware modifications. The approach involves enhancing the architecture of a modern RISC-V platform for autonomous vehicles by implementing a side-channel communication mechanism that relays control-flow changes executed by the process running on the host core to the Root-of-Trust. This approach has limited impact on performance and it is effective in enhancing the security of embedded platforms.

What Bees Want: Algorithm-Aided Design di un'arnia progettata per le api e realizzata in Additive Manufacturing

L’importanza delle api per la vita sulla Terra ed il rischio alle quali sono sottoposte per via dell’azione dell’uomo sono ormai un dato di fatto. La concezione antropocentrica della natura e l’allevamento al solo fine produttivo di questi piccoli insetti, ha da sempre danneggiato il loro habitat e interferito con i loro cicli biologici. L’apicoltura, nata come un rapporto mutualistico in cui l’uomo offriva un rifugio alle api e loro in cambio provvedevano al suo nutrimento, si è trasformato in una dannosa dipendenza ed in un assoggettamento di questi insetti ai ritmi artificiali e tutt’altro che naturali della produzione rapida e seriale volta all’ottenimento di un profitto. Un’evidente prova di questa condizione, sono i rifugi per le api, le arnie. Ci siamo mai chiesti perché le arnie hanno questa forma? È quella che preferiscono le api, o quella che rende più pratici e veloci processi di costruzione, gestione e produzione? In natura le api colonizzano cavità quali tronchi cavi di alberi, forme lontane, per non dire diametralmente opposte a quelle in cui le vediamo vivere negli allevamenti. In questa ottica, il design e le nuove tecnologie, poste al servizio della Natura, conducono ad un punto di incontro tra le esigenze umane e quelle degli altri esseri viventi, delle api in questo caso. I concetti di Additive Manufacturing e Design Computazionale, permettono processi di produzione simili a quelli evolutivi naturali e trovano per questa motivazione un’applicazione ideale per progetti che si pongono come fine quello di discostarsi da una visione troppo artificiale, per riavvicinarsi alla perfezione e all’armonia delle leggi della Natura.

Dati meteorologici su Web: analisi delle API e sviluppo di un’applicazione mobile per il confronto

Lo scopo di questa tesi è analizzare le API disponibili sul Web che forniscono dati meteorologici e in particolare analizzare i servizi che esse offrono. La tesi include la descrizione di confronti già presenti sul Web ed è seguita dalla definizione di una griglia di valutazione con cui sono state analizzate le API meteo e le varie funzionalità che esse offrono. Infine il lavoro si completa con lo sviluppo di un’applicazione mobile realizzata in React Native, in cui è possibile leggere e confrontare in modo interattivo i dati attuali e storici forniti dalle API, inoltre permette di filtrare le API meteo in base alle caratteristiche che si cercano.