iGrooving: A Generative Music Mobile Application for Runners

iGrooving is a generative music mobile application specifically designed for runners. The application’s foundation is a step-counter that is programmed using the iPhone’s built-in accelerometer. The runner’s steps generate the tempo of the performance by mapping each step to trigger a kick-drum sound file. Additionally, different sound files are triggered at specific step counts to generate the musical performance, allowing the runner a level of compositional autonomy. The sonic elements are chosen to promote a meditative aspect of running. iGrooving is conceived as a biofeedback-stimulated musical instrument and an environment for creating generative music processes with everyday technologies, inspiring us to rethink our everyday notions of musical performance as a shared experience. Isolation, dynamic changes, and music generation are detailed to show how iGrooving facilitates novel methods for music composition, performance and audience participation.

Prevención de las dificultades de lectoescritura en educación infantil: Una aproximación integral de intervención (API-L)

El objetivo de este trabajo consiste en estimular la lectura y escritura en Educación Infantil con el fin de prevenir dificultades en la adquisición de las mismas, creando hábitos lectores, respetando el ritmo evolutivo y la motivación de los alumnos. Con este objetivo, en primer lugar se ha realizado una revisión de la literatura sobre este tema, encontrando que existen test para la detección de dificultades de lectura y escritura en esta etapa, así como también programas para la estimulación de estas áreas instrumentales básicas. En segundo lugar, se presenta un programa que considera y aúna los principales criterios de intervención en esta etapa. La propuesta tiene en cuenta estrategias metodológicas como la utilización del cuento, el juego y la adquisición de hábitos para conseguir que sean los propios alumnos los que quieran aprender a leer y escribir. La propuesta presentada se basa en una Aproximación Integral a la Lectoescritura (API-L) estimulando todas aquellas áreas necesarias para su desarrollo.

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.

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.

POLITICAS PÚBLICAS EDUCACIONAIS PARA A POPULAÇÃO DO CAMPO E A INSERÇÃO DA AGRICULTURA FAMILIAR NO PROGRAMA NACIONAL DE PRODUÇÃO DE BIOCOMBUSTÍVEIS - PNPB: INTERFACES E CONTROVÉRSIAS

O Selo Combustível Social instituído pelo Governo Federal como Política Pública de Estado, a finalidade de concessão de créditos aos produtores de biodiesel que promovam a inclusão social e o desenvolvimento regional por meio da compra de 10% da matéria-prima para fabricação do biodiesel de pequenos produtores rurais. Nesse contexto, estão inseridos os pequenos agricultores nos Assentamentos do Município de Campo Verde – MT que comercializam parte da produção com empresas como a BIOCAMP e a BIOBRAS . Diante da realidade descrita, a presente pesquisa busca investigar em que medida o Selo Combustível Social, aplicado à política do Biodiesel em Mato Grosso, propicia a maior autonomia do pequeno produtor rural. A metodologia utilizada foi a pesquisa social empregando técnicas de análise documental, observação direta e a realização de entrevistas estruturadas e semi- estruturadas. Observou-se que para as empresas o selo combustível social é uma maneira de participar do leilão da Petrobrás. Para o poder público, o Selo Social uma maneira de apoiar o Pequeno Produtor Rural, através de parcerias, mas é notável que o mesmo não consegue gerenciar a sua produção, gerenciado pelo Empresário. Na visão dos assentados, esse selo é “só documento”, ficando o pequeno produtor sempre com os prejuízos.

LAÇOS & NÓS: DINÂMICAS SUB-REGIONAIS E INTERFACES CIDADE-RIO NA AMAZÔNIA

O trabalho objetiva compreender a relação cidade-rio na Amazônia, levando-se em conta mudanças e permanências referentes à dinâmica e à caracterização de cidades consideradas ribeirinhas em três contextos sub-regionais distintos (Sudeste do Pará, Oeste Paraense e baixo Tocantins), na Amazônia oriental brasileira. A contribuição geográfica da análise assenta-se nas repercussões decorrentes da reestruturação mais recente do espaço amazônico e seus rebatimentos na forma de articulação da cidade com o rio, considerando espaços de vivências (laços) e de fluxos (nós) que marcam a organização intra-urbana atual. Para esse empreendimento, assume-se a perspectiva teórico-metodológica que considera o espaço geográfico como sendo relacional e multidimensional (concebido, percebido e vivido). Do ponto de vista empírico, o procedimento metodológico considerou três cidades paraenses (Marabá, Santarém e Cametá), de nível intermediário na rede urbana regional. A partir delas procurou-se destacar o papel que a cidade ribeirinha amazônica assume em realidades sub-regionais que se inseriram de forma diferenciada nas políticas de ordenamento territorial das últimas décadas. Com base em levantamentos de campo são sistematizados elementos das particularidades socioespaciais das três sub-regiões consideradas e que demarcam espacialidades e territorialidades diversas em nível intra-urbano, sugerindo, em consequência, políticas públicas diferenciadas quando se considera a relação cidade-rio na Amazônia.

LAÇOS & NÓS: DINÂMICAS SUB-REGIONAIS E INTERFACES CIDADE-RIO NA AMAZÔNIA

O trabalho objetiva compreender a relação cidade-rio na Amazônia, levando-se em conta mudanças e permanências referentes à dinâmica e à caracterização de cidades consideradas ribeirinhas em três contextos sub-regionais distintos (Sudeste do Pará, Oeste Paraense e baixo Tocantins), na Amazônia oriental brasileira. A contribuição geográfica da análise assenta-se nas repercussões decorrentes da reestruturação mais recente do espaço amazônico e seus rebatimentos na forma de articulação da cidade com o rio, considerando espaços de vivências (laços) e de fluxos (nós) que marcam a organização intra-urbana atual. Para esse empreendimento, assume-se a perspectiva teórico-metodológica que considera o espaço geográfico como sendo relacional e multidimensional (concebido, percebido e vivido). Do ponto de vista empírico, o procedimento metodológico considerou três cidades paraenses (Marabá, Santarém e Cametá), de nível intermediário na rede urbana regional. A partir delas procurou-se destacar o papel que a cidade ribeirinha amazônica assume em realidades sub-regionais que se inseriram de forma diferenciada nas políticas de ordenamento territorial das últimas décadas. Com base em levantamentos de campo são sistematizados elementos das particularidades socioespaciais das três sub-regiões consideradas e que demarcam espacialidades e territorialidades diversas em nível intra-urbano, sugerindo, em consequência, políticas públicas diferenciadas quando se considera a relação cidade-rio na Amazônia.

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.

“Nanoglial interfaces: nanostructured materials, interfaces and devices to unveil the role of astrocytes in brain function and dysfunction”

The role of non-neuronal brain cells, called astrocytes, is emerging as crucial in brain function and dysfunction, encompassing the neurocentric concept that was envisioning glia as passive components. Ion and water channels and calcium signalling, expressed in functional micro and nano domains, underpin astrocytes’ homeostatic function, synaptic transmission, neurovascular coupling acting either locally and globally. In this respect, a major issue arises on the mechanism through which astrocytes can control processes across scales. Finally, astrocytes can sense and react to extracellular stimuli such as chemical, physical, mechanical, electrical, photonic ones at the nanoscale. Given their emerging importance and their sensing properties, my PhD research program had the general goal to validate nanomaterials, interfaces and devices approaches that were developed ad-hoc to study astrocytes. The results achieved are reported in the form of collection of papers. Specifically, we demonstrated that i) electrospun nanofibers made of polycaprolactone and polyaniline conductive composites can shape primary astrocytes’ morphology, without affecting their function ii) gold coated silicon nanowires devices enable extracellular recording of unprecedented slow wave in primary differentiated astrocytes iii) colloidal hydrotalcites films allow to get insight in cell volume regulation process in differentiated astrocytes and to describe novel cytoskeletal actin dynamics iv) gold nanoclusters represent nanoprobe to trigger astrocytes structure and function v) nanopillars of photoexcitable organic polymer are potential tool to achieve nanoscale photostimulation of astrocytes. The results were achieved by a multidisciplinary team working with national and international collaborators that are listed and acknowledged in the text. Collectively, the results showed that astrocytes represent a novel opportunity and target for Nanoscience, and that Nanoglial interface might help to unveil clues on brain function or represent novel therapeutic approach to treat brain dysfunctions.

Automated service provisioning in programmable network infrastructures

Modern networks are undergoing a fast and drastic evolution, with software taking a more predominant role. Virtualization and cloud-like approaches are replacing physical network appliances, reducing the management burden of the operators. Furthermore, networks now expose programmable interfaces for fast and dynamic control over traffic forwarding. This evolution is backed by standard organizations such as ETSI, 3GPP, and IETF. This thesis will describe which are the main trends in this evolution. Then, it will present solutions developed during the three years of Ph.D. to exploit the capabilities these new technologies offer and to study their possible limitations to push further the state-of-the-art. Namely, it will deal with programmable network infrastructure, introducing the concept of Service Function Chaining (SFC) and presenting two possible solutions, one with Openstack and OpenFlow and the other using Segment Routing and IPv6. Then, it will continue with network service provisioning, presenting concepts from Network Function Virtualization (NFV) and Multi-access Edge Computing (MEC). These concepts will be applied to network slicing for mission-critical communications and Industrial IoT (IIoT). Finally, it will deal with network abstraction, with a focus on Intent Based Networking (IBN). To summarize, the thesis will include solutions for data plane programming with evaluation on well-known platforms, performance metrics on virtual resource allocations, novel practical application of network slicing on mission-critical communications, an architectural proposal and its implementation for edge technologies in Industrial IoT scenarios, and a formal definition of intent using a category theory approach.

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.

Theoretical and experimental study of novel hybrid composite and metal-composites interfaces

The growing demand for lightweight solutions in every field of engineering is driving the industry to seek new technological solutions to exploit the full potential of different materials. The combination of dissimilar materials with distinct property ranges embodies a transparent allocation of component functions while allowing an optimal mix of their characteristics. From both technological and design perspectives, the interaction between dissimilar materials can lead to severe defects that compromise a multi-material hybrid component's performance and its structural integrity. This thesis aims to develop methodologies for designing, manufacturing, and monitoring of hybrid metal-composite joints and hybrid composite components. In Chapter 1, a methodology for designing and manufacturing hybrid aluminum/composite co-cured tubes is assessed. In Chapter 2, a full-field methodology for fiber misalignment detection and stiffness prediction for hybrid, long fiber reinforced composite systems is shown and demonstrated. Chapter 3 reports the development of a novel technology for joining short fiber systems and metals in a one-step co-curing process using lattice structures. Chapter 4 is dedicated to a novel analytical framework for the design optimization of two lattice architectures.

Investigation of organic semiconductor/water interfaces for optobioelectronic devices

The thesis investigates the potential of photoactive organic semiconductors as a new class of materials for developing bioelectronic devices that can convert light into biological signals. The materials can be either small molecules or polymers. When these materials interact with aqueous biological fluids, they give rise to various electrochemical phenomena, including photofaradaic or photocapacitive processes, depending on whether photogenerated charges participate in redox processes or accumulate at an interface. The thesis starts by studying the behavior of the H2Pc/PTCDI molecular p/n thin-film heterojunction in contact with aqueous electrolyte. An equivalent circuit model is developed, explaining the measurements and predicting behavior in wireless mode. A systematic study on p-type polymeric thin-films is presented, comparing rr-P3HT with two low bandgap conjugated polymers: PBDB-T and PTB7. The results demonstrate that PTB7 has superior photocurrent performance due to more effective electron-transfer onto acceptor states in solution. Furthermore, the thesis addresses the issue of photovoltage generation for wireless photoelectrodes. An analytical model based on photoactivated charge-transfer across the organic-semiconductor/water interface is developed, explaining the large photovoltages observed for polymeric p-type semiconductor electrodes in water. Then, flash-precipitated nanoparticles made of the same three photoactive polymers are investigated, assessing the influence of fabrication parameters on the stability, structure, and energetics of the nanoparticles. Photocathodic current generation and consequent positive charge accumulation is also investigated. Additionally, newly developed porous P3HT thin-films are tested, showing that porosity increases both the photocurrent and the semiconductor/water interfacial capacity. Finally, the thesis demonstrates the biocompatibility of the materials in in-vitro experiments and shows safe levels of photoinduced intracellular ROS production with p-type polymeric thin-films and nanoparticles. The findings highlight the potential of photoactive organic semiconductors in the development of optobioelectronic devices, demonstrating their ability to convert light into biological signals and interface with biological fluids.

Nanomechanical characterization of soft bioelectronic interfaces via modeling-informed atomic force microscopy

The field of bioelectronics involves the use of electrodes to exchange electrical signals with biological systems for diagnostic and therapeutic purposes in biomedical devices and healthcare applications. However, the mechanical compatibility of implantable devices with the human body has been a challenge, particularly with long-term implantation into target organs. Current rigid bioelectronics can trigger inflammatory responses and cause unstable device functions due to the mechanical mismatch with the surrounding soft tissue. Recent advances in flexible and stretchable electronics have shown promise in making bioelectronic interfaces more biocompatible. To fully achieve this goal, material science and engineering of soft electronic devices must be combined with quantitative characterization and modeling tools to understand the mechanical issues at the interface between electronic technology and biological tissue. Local mechanical characterization is crucial to understand the activation of failure mechanisms and optimizing the devices. Experimental techniques for testing mechanical properties at the nanoscale are emerging, and the Atomic Force Microscope (AFM) is a good candidate for in situ local mechanical characterization of soft bioelectronic interfaces. In this work, in situ experimental techniques with solely AFM supported by interpretive models for the characterization of planar and three-dimensional devices suitable for in vivo and in vitro biomedical experimentations are reported. The combination of the proposed models and experimental techniques provides access to the local mechanical properties of soft bioelectronic interfaces. The study investigates the nanomechanics of hard thin gold films on soft polymeric substrates (Poly(dimethylsiloxane) PDMS) and 3D inkjet-printed micropillars under different deformation states. The proposed characterization methods provide a rapid and precise determination of mechanical properties, thus giving the possibility to parametrize the microfabrication steps and investigate their impact on the final device.

Considerations on indirect adhesive restorations at the material and tooth interfaces

Objective: Lithium-silicate (LiSi) ceramic is nowadays widely used in dentistry. However, for the longevity of LiSi indirect restorations, it is important to pretreat the material and the dental substrate adequately. However, is not certain how the simplification of the manufacturing and conditioning procedures influences the bonding performances of LiSi ceramic restorations. Accordingly, the aims of this thesis were to investigate the effect of: 1) different LiSi ceramic surface decontamination procedures on the shear bond strength (SBS) to resin composite; 2) different types of lithium-disilicate (LiDi) (pressed vs CAD-CAM) on SBS to resin composite; 3) an experimental metal salt-based zirconium oxynitrate etchant [ZrO(NO3)2] on bonding performances to dentin. Materials and Methods: SBS test was used to investigate the influence of different cleaning protocols applied, or different processing techniques (CAD or PRESS) on the bond strength to composite resin. The third study tackled the interface between restorative materials and dentin, and investigated the microtensile bond strength test (µTBS), nanoleakage expression analysis (NL), gelatin zymography and in situ zymography of dentin conditioned with an experimental metal salt-based zirconium oxynitrate etchant [ZrO(NO3)2]. Results: MEP showed comparable bond strength to the double HP etching and higher compared to other groups. BS of press LiSi to composite was higher than that of CAD/CAM LiSi. ZON pretreatment increased bond strength to dentin when used with a universal adhesive, and inhibited dentinal endogenous enzymes. Conclusions: While simplification of the LiSi conditioning and cleaning procedures seems to yield bond strength comparable to the traditional procedures, it could be recommended in the clinical practice. However, pressed LiSi still seems to perform better in terms of bond strength compared to the CAD/CAM LiSi. Further, the novel ZON etchant seems to perform better compared to the traditional phosphoric dentin etching.