Security and Trust in Distributed Computation

We propose three research problems to explore the relations between trust and security in the setting of distributed computation. In the first problem, we study trust-based adversary detection in distributed consensus computation. The adversaries we consider behave arbitrarily disobeying the consensus protocol. We propose a trust-based consensus algorithm with local and global trust evaluations. The algorithm can be abstracted using a two-layer structure with the top layer running a trust-based consensus algorithm and the bottom layer as a subroutine executing a global trust update scheme. We utilize a set of pre-trusted nodes, headers, to propagate local trust opinions throughout the network. This two-layer framework is flexible in that it can be easily extensible to contain more complicated decision rules, and global trust schemes. The first problem assumes that normal nodes are homogeneous, i.e. it is guaranteed that a normal node always behaves as it is programmed. In the second and third problems however, we assume that nodes are heterogeneous, i.e, given a task, the probability that a node generates a correct answer varies from node to node. The adversaries considered in these two problems are workers from the open crowd who are either investing little efforts in the tasks assigned to them or intentionally give wrong answers to questions. In the second part of the thesis, we consider a typical crowdsourcing task that aggregates input from multiple workers as a problem in information fusion. To cope with the issue of noisy and sometimes malicious input from workers, trust is used to model workers' expertise. In a multi-domain knowledge learning task, however, using scalar-valued trust to model a worker's performance is not sufficient to reflect the worker's trustworthiness in each of the domains. To address this issue, we propose a probabilistic model to jointly infer multi-dimensional trust of workers, multi-domain properties of questions, and true labels of questions. Our model is very flexible and extensible to incorporate metadata associated with questions. To show that, we further propose two extended models, one of which handles input tasks with real-valued features and the other handles tasks with text features by incorporating topic models. Our models can effectively recover trust vectors of workers, which can be very useful in task assignment adaptive to workers' trust in the future. These results can be applied for fusion of information from multiple data sources like sensors, human input, machine learning results, or a hybrid of them. In the second subproblem, we address crowdsourcing with adversaries under logical constraints. We observe that questions are often not independent in real life applications. Instead, there are logical relations between them. Similarly, workers that provide answers are not independent of each other either. Answers given by workers with similar attributes tend to be correlated. Therefore, we propose a novel unified graphical model consisting of two layers. The top layer encodes domain knowledge which allows users to express logical relations using first-order logic rules and the bottom layer encodes a traditional crowdsourcing graphical model. Our model can be seen as a generalized probabilistic soft logic framework that encodes both logical relations and probabilistic dependencies. To solve the collective inference problem efficiently, we have devised a scalable joint inference algorithm based on the alternating direction method of multipliers. The third part of the thesis considers the problem of optimal assignment under budget constraints when workers are unreliable and sometimes malicious. In a real crowdsourcing market, each answer obtained from a worker incurs cost. The cost is associated with both the level of trustworthiness of workers and the difficulty of tasks. Typically, access to expert-level (more trustworthy) workers is more expensive than to average crowd and completion of a challenging task is more costly than a click-away question. In this problem, we address the problem of optimal assignment of heterogeneous tasks to workers of varying trust levels with budget constraints. Specifically, we design a trust-aware task allocation algorithm that takes as inputs the estimated trust of workers and pre-set budget, and outputs the optimal assignment of tasks to workers. We derive the bound of total error probability that relates to budget, trustworthiness of crowds, and costs of obtaining labels from crowds naturally. Higher budget, more trustworthy crowds, and less costly jobs result in a lower theoretical bound. Our allocation scheme does not depend on the specific design of the trust evaluation component. Therefore, it can be combined with generic trust evaluation algorithms.

Architecture for IoT Node and Platform

Only recently, during the past five years, consumer electronics has been evolving rapidly. Many products have started to include “smart home” capabilities, enabling communication and interoperability of various smart devices. Even more devices and sensors can be remote controlled and monitored through cloud services. While the smart home systems have become very affordable to average consumer compared to the early solutions decades ago, there are still many issues and things that need to be fixed or improved upon: energy efficiency, connectivity with other devices and applications, security and privacy concerns, reliability, and response time. This paper focuses on designing Internet of Things (IoT) node and platform architectures that take these issues into account, notes other currently used solutions, and selects technologies in order to provide better solution. The node architecture aims for energy efficiency and modularity, while the platform architecture goals are in scalability, portability, maintainability, performance, and modularity. Moreover, the platform architecture attempts to improve user experience by providing higher reliability and lower response time compared to the alternative platforms. The architectures were developed iteratively using a development process involving research, planning, design, implementation, testing, and analysis. Additionally, they were documented using Kruchten’s 4+1 view model, which is used to describe the use cases and different views of the architectures. The node architecture consisted of energy efficient hardware, FC3180 microprocessor and CC2520 RF transceiver, modular operating system, Contiki, and a communication protocol, AllJoyn, used for providing better interoperability with other IoT devices and applications. The platform architecture provided reliable low response time control, monitoring, and initial setup capabilities by utilizing web technologies on various devices such as smart phones, tablets, and computers. Furthermore, an optional cloud service was provided in order to control devices and monitor sensors remotely by utilizing scalable high performance technologies in the backend enabling low response time and high reliability.

Dynamically managing sensed context data

This thesis reports on an investigation of the feasibility and usefulness of incorporating dynamic management facilities for managing sensed context data in a distributed contextaware mobile application. The investigation focuses on reducing the work required to integrate new sensed context streams in an existing context aware architecture. Current architectures require integration work for new streams and new contexts that are encountered. This means of operation is acceptable for current fixed architectures. However, as systems become more mobile the number of discoverable streams increases. Without the ability to discover and use these new streams the functionality of any given device will be limited to the streams that it knows how to decode. The integration of new streams requires that the sensed context data be understood by the current application. If the new source provides data of a type that an application currently requires then the new source should be connected to the application without any prior knowledge of the new source. If the type is similar and can be converted then this stream too should be appropriated by the application. Such applications are based on portable devices (phones, PDAs) for semi-autonomous services that use data from sensors connected to the devices, plus data exchanged with other such devices and remote servers. Such applications must handle input from a variety of sensors, refining the data locally and managing its communication from the device in volatile and unpredictable network conditions. The choice to focus on locally connected sensory input allows for the introduction of privacy and access controls. This local control can determine how the information is communicated to others. This investigation focuses on the evaluation of three approaches to sensor data management. The first system is characterised by its static management based on the pre-pended metadata. This was the reference system. Developed for a mobile system, the data was processed based on the attached metadata. The code that performed the processing was static. The second system was developed to move away from the static processing and introduce a greater freedom of handling for the data stream, this resulted in a heavy weight approach. The approach focused on pushing the processing of the data into a number of networked nodes rather than the monolithic design of the previous system. By creating a separate communication channel for the metadata it is possible to be more flexible with the amount and type of data transmitted. The final system pulled the benefits of the other systems together. By providing a small management class that would load a separate handler based on the incoming data, Dynamism was maximised whilst maintaining ease of code understanding. The three systems were then compared to highlight their ability to dynamically manage new sensed context. The evaluation took two approaches, the first is a quantitative analysis of the code to understand the complexity of the relative three systems. This was done by evaluating what changes to the system were involved for the new context. The second approach takes a qualitative view of the work required by the software engineer to reconfigure the systems to provide support for a new data stream. The evaluation highlights the various scenarios in which the three systems are most suited. There is always a trade-o↵ in the development of a system. The three approaches highlight this fact. The creation of a statically bound system can be quick to develop but may need to be completely re-written if the requirements move too far. Alternatively a highly dynamic system may be able to cope with new requirements but the developer time to create such a system may be greater than the creation of several simpler systems.

A framework for abstraction and virtualization of sensors in mobile context-aware computing

110 p.

Remote Substituent Effects on the Stereoselectivity and Organocatalytic Activity of Densely Substituted Unnatural Proline Esters in Aldol Reactions

The organocatalytic activities of highly substituted proline esters obtained through asymmetric [3+2] cycloadditions of azomethine ylides derived from glycine iminoesters have been analyzed by 19F NMR and through kinetic isotope effects. Kinetic rate constants have been determined for unnatural proline esters incorporating different substituents. It has been found that exo-L and endo-L unnatural proline methyl esters yield opposite enantiomers in aldol reactions between cyclic ketones and aromatic aldehydes. The combined results reported in this study show subtle and remote effects that determine the organocatalytic behavior of these synthetic but readily available amino acid derivatives. These data can be used as design criteria for the development of new pyrrolidine-based organocatalysts.

New Haitian social movements: Alternative modernities, (trans)local nationalisms, and solidarity economies

My dissertation is the first project on the Haitian Platform for Advocacy for an Alternative Development- PAPDA, a nation-building coalition founded by activists from varying sectors to coordinate one comprehensive nationalist movement against what they are calling an Occupation. My work not only provides information on this under-theorized popular movement but also situates it within the broader literature on the postcolonial nation-state as well as Latin American and Caribbean social movements. The dissertation analyzes the contentious relationship between local and global discourses and practices of citizenship. Furthermore, the research draws on transnational feminist theory to underline the scattered hegemonies that intersect to produce varied spaces and practices of sovereignty within the Haitian postcolonial nation-state. The dissertation highlights how race and class, gender and sexuality, education and language, and religion have been imagined and co-constituted by Haitian social movements in constructing ‘new’ collective identities that collapse the private and the public, the rural and the urban, the traditional and the modern. My project complements the scholarship on social movements and the postcolonial nation-state and pushes it forward by emphasizing its spatial dimensions. Moreover, the dissertation de-centers the state to underline the movement of capital, goods, resources, and populations that shape the postcolonial experience. I re-define the postcolonial nation-state as a network of local, regional, international, and transnational arrangements between different political agents, including social movement actors. To conduct this interdisciplinary research project, I employed ethnographic methods, discourse and textual analysis, as well as basic mapping and statistical descriptions in order to present a historically-rooted interpretation of individual and organizational negotiations for community-based autonomy and regional development. ^

Lower Aptian Comparative Stratigraphy of the Basco-Cantabrian Region (Spain) and Eastern Cordillera (Colombia): implications for local factors in the depositional record of Oceanic Anoxic Event 1a (OAE-1a)

An important episode of carbon sequestration, Oceanic Anoxic Event 1a (OAE-1a), characterizes the Lower Aptian worldwide, and is mostly known from deeper-water settings. The present work of two Lower Aptian deposits, Madotz (N Spain) and Curití Quarry (Colombia), is a multiproxy study that includes fossil assemblages, microfacies, X-ray diffraction bulk and clay mineralogy, elemental analyses (major, minor, trace elements), Rock-Eval pyrolysis, biomarkers, inorganic and organic carbon content, and stable carbon isotopes. The results provide baseline evidence of the local and global controlling environmental factors influencing OAE-1a in shallow-water settings. The data also improve our general understanding of the conditions under which organic-carbon-rich deposits accumulate. The sequence at Madotz includes four intervals (Unit 1; Subunits 2a, 2b and 2c) that overlap the times prior to, during and after the occurrence of OAE-1a. The Lower Unit 1(3m thick) is essentially siliciclastic, and Subunit 2a (20m) contains Urgonian carbonate facies that document abruptly changing platform conditions prior to OAE-1a. Subunit 2b (24.4 m) is a mixed carbonate-siliciclastic facies with orbitolinid-rich levels that coincides with OAE-1a δ13C stages C4-C6, and is coeval with the upper part of the Deshayesites forbesi ammonite zone. Levels with pyrite and the highest TOC values (0.4-0.97%), interpreted as accumulating under suboxic conditions, and are restricted to δ13C stages C4 and C5. The best development of the suboxic facies is at the level representing the peak of the transgression. Subunit 2c, within δ13C stage C7, shows a return of the Urgonian facies. The 23.35-m section at Curití includes a 6.3-m interval at the base of the Paja Formation dominated by organic-rich marlstones and shales lacking benthic fossils and bioturbation, with TOC values as high as 8.84%. The interval overlies a level containing reworked and phosphatized assemblages of middle Barremian to lowest Aptian ammonites. The range of values and the overall pattern of the δ13Corg (-22.05‰ to -20.47‰) in the 6.3m-interval is comparable with Lower Aptian δ13C stage C7. Thus, conditions of oxygen depletion at this site also occurred after Oceanic Anoxic Event-1a, which developed between carbon isotope stages C3 and C6. Both sites, Madotz and Curití, attest to the importance of terrigenous and nutrient fluxes in increasing OM productivity that led to episodic oxygen deficiency.

Design, development and guidance of the Airborne’s quadrotor

The main goal of the Airborne project is to develop, at technology readiness level 8 (TRL8), a few selected robotic aerial technologies for quick localization of victims by avalanches by equipping drones with two forefront sensors used in SAR operations in case of avalanches, namely the ARVA and RECCO. This thesis focuses on the design, development, and guidance of the TRL8 quadrotor developed during the project. We present and describe the design method that allowed us to obtain an EMI shielded UAV capable of integrating both RECCO and ARVA sensors. Besides, is presented the avionics and power train design and building procedure in order to obtain a modular UAV frame that can be easily carried by rescuers and achieves all the performance benchmarks of the project. Additionally, in addition to the onboard algorithms, a multivariate regressive convolutional neural network whose goal is the localization of the ARVA signal is presented. On guidance, the automatic flight procedure is described, and the onboard waypoint generator algorithm is presented. The goal of this algorithm is the generation and execution of an automatic grid pattern without the need to know the map in advance and without the support of a control ground station (CGS). Moreover, we present an iterative trajectory planner that does not need pre-knowledge of the map and uses Bézier curves to address optimal, dynamically feasible, safe, and re-plannable trajectories. The goal is to develop a method that allows local and fast replannings in case of an obstacle pop up or if some waypoints change. This makes the novel planner suitable to be applied in SAR operations. The introduction of the final version of the quadrotor is supported by internal flight tests and field tests performed in real operative scenarios by the Club Alpino Italiano (CAI).

Smart Textile Sensors for Healthcare Monitoring

Wearable electronic textiles are an emerging research field playing a pivotal role among several different technological areas such as sensing, communication, clothing, health monitoring, information technology, and microsystems. The possibility to realise a fully-textile platform, endowed with various sensors directly realised with textile fibres and fabric, represents a new challenge for the entire research community. Among several high-performing materials, the intrinsically conductive poly(3,4-ethylenedioxythiophene) (PEDOT), doped with poly(styrenesulfonic acid) (PSS), or PEDOT:PSS, is one of the most representative and utilised, having an excellent chemical and thermal stability, as well as reversible doping state and high conductivity. This work relies on PEDOT:PSS combined with sensible materials to design, realise, and develop textile chemical and physical sensors. In particular, chloride concentration and pH level sensors in human sweat for continuous monitoring of the wearer's hydration status and stress level are reported. Additionally, a prototype smart bandage detecting the moisture level and pH value of a bed wound to allow the remote monitoring of the healing process of severe and chronic wounds is described. Physical sensors used to monitor the pressure distribution for rehabilitation, workplace safety, or sport tracking are also presented together with a novel fully-textile device able to measure the incident X-ray dose for medical or security applications where thin, comfortable, and flexible features are essential. Finally, a proof-of-concept for an organic-inorganic textile thermoelectric generator that harvests energy directly from body heat has been proposed. Though further efforts must be dedicated to overcome issues such as durability, washability, power consumption, and large-scale production, the novel, versatile, and widely encompassing area of electronic textiles is a promising protagonist in the upcoming technological revolution.

Creating a terminology resource for local food from Modena and localizing a traditional restaurant's website.

This thesis describes a project of terminology and localization focused on local and traditional cuisine from the province of Modena: the final products of this project are a specialized termbase and the localized version of the website of Trattoria Ermes, a small Modenese restaurant offering traditional dishes. It is a known fact the Internet has drastically altered the way companies and businesses communicate with their audience. Considering that food tourism is an invaluable sector of Italy’s economy and a great aid to safeguarding its culinary traditions, business owners can benefit from localizing their websites, allowing them to reach wider international audiences. The project is divided into two main sections: the first focuses on the terminological systematization of specialized terminology collected from Sandro Bellei’s cooking book and two web-derived monolingual corpora, while the second section offers insight into the analysis of the localization and optimization process of Trattoria Ermes website. In particular, the thesis approaches localization from the point of view of web marketing, with a theoretical and practical section dedicated to the Search Engine Optimization (SEO) processes employed by web marketing teams to ensure the visibility and popularity of the website

Comparative Study Of Planned And Unplanned Excisions For The Treatment Of Soft Tissue Sarcoma Of The Extremities.

Unplanned excision of soft tissue sarcomas is common because benign soft tissue lesions are very frequent. This study evaluated the impact of unplanned resections on overall survival, local recurrence and distant metastasis in patients with soft tissue sarcomas of the extremities. In total, 52 patients who were diagnosed with soft tissue sarcomas between May 2001 and March 2011 were analyzed in a retrospective study. Of these patients, 29 (55.8%) had not undergone previous treatment and the remaining 23 (44.2%) patients had undergone prior resection of the tumor without oncological planning. All subsequent surgical procedures were performed at the same cancer referral center. The follow-up ranged from 6 to 122 months, with a mean of 39.89 months. Age, lesion size and depth, histological grade, surgical margins, overall survival, local and distant recurrence and adjuvant therapies were compared. Residual disease was observed in 91.3% of the re-resected specimens in the unplanned excision group, which exhibited greater numbers of superficial lesions, low histological grades and contaminated surgical margins compared with the re-resected specimens in the planned excision group. No differences were observed in local recurrence and 5-year overall survival between the groups, but distant metastases were significantly associated with planned excision after adjustment for the variables. There was no difference between patients undergoing unplanned excision and planned excision regarding local recurrence and overall survival. The planned excision group had a higher risk of distant metastasis, whereas there was a high rate of residual cancer in the unplanned excision group.

Pain Intensity And Cervical Range Of Motion In Women With Myofascial Pain Treated With Acupuncture And Electroacupuncture: A Double-blinded, Randomized Clinical Trial.

Acupuncture stimulates points on the body, influencing the perception of myofascial pain or altering physiologic functions. The aim was to evaluate the effect of electroacupuncture (EAC) and acupuncture (AC) for myofascial pain of the upper trapezius and cervical range of motion, using SHAM acupuncture as control. Sixty women presenting at least one trigger point at the upper trapezius and local or referred pain for more than six months were randomized into EAC, AC, and SHAM groups. Eight sessions were scheduled and a follow-up was conducted after 28 days. The Visual Analog Scale assessed the intensity of local and general pain. A fleximeter assessed cervical movements. Data were analyzed using paired t or Wilcoxon's tests, ANOVA or Friedman or Kruskal-Wallis tests and Pearson's correlation (α=0.05). There was reduction in general pain in the EAC and AC groups after eight sessions (P<0.001). A significant decrease in pain intensity occurred for the right trapezius in all groups and for the left trapezius in the EAC and AC groups. Intergroup comparisons showed improvement in general pain in the EAC and AC groups and in local pain intensity in the EAC group (P<0.05), which showed an increase in left rotation (P=0.049). The AC group showed increases in inclination (P=0.005) sustained until follow-up and rotation to the right (P=0.032). EAC and AC were effective in reducing the pain intensity compared with SHAM. EAC was better than AC for local pain relief. These treatments can assist in increasing cervical range of motion, albeit subtly.

Hemodynamic, morphometric and autonomic patterns in hypertensive rats - renin-angiotensin system modulation

BACKGROUND: Spontaneously hypertensive rats develop left ventricular hypertrophy, increased blood pressure and blood pressure variability, which are important determinants of heart damage, like the activation of renin-angiotensin system. AIMS: To investigate the effects of the time-course of hypertension over 1) hemodynamic and autonomic patterns (blood pressure; blood pressure variability; heart rate); 2) left ventricular hypertrophy; and 3) local and systemic Renin-angiotensin system of the spontaneously hypertensive rats. METHODS: Male spontaneously hypertensive rats were randomized into two groups: young (n=13) and adult (n=12). Hemodynamic signals (blood pressure, heart rate), blood pressure variability (BPV) and spectral analysis of the autonomic components of blood pressure were analyzed. LEFT ventricular hypertrophy was measured by the ratio of LV mass to body weight (mg/g), by myocyte diameter (μm) and by relative fibrosis area (RFA, %). ACE and ACE2 activities were measured by fluorometry (UF/min), and plasma renin activity (PRA) was assessed by a radioimmunoassay (ng/mL/h). Cardiac gene expressions of Agt, Ace and Ace2 were quantified by RT-PCR (AU). RESULTS: The time-course of hypertension in spontaneously hypertensive rats increased BPV and reduced the alpha index in adult spontaneously hypertensive rats. Adult rats showed increases in left ventricular hypertrophy and in RFA. Compared to young spontaneously hypertensive rats, adult spontaneously hypertensive rats had lower cardiac ACE and ACE2 activities, and high levels of PRA. No change was observed in gene expression of Renin-angiotensin system components. CONCLUSIONS: The observed autonomic dysfunction and modulation of Renin-angiotensin system activity are contributing factors to end-organ damage in hypertension and could be interacting. Our findings suggest that the management of hypertensive disease must start before blood pressure reaches the highest stable levels and the consequent established end-organ damage is reached.

A Brief History of the Research and Its Ideas

This article is an introduction to the special issue of Sexuality Research & Social Policy, where we share some of the research of our project, ""Relations among 'race,' sexuality and gender in different local and national contexts."" The goal of this project was to develop broad comparative research on race, sexuality, and gender in Brazil, South Africa, and the USA. New signs of identity and contestation were noted during our research. Given the numerous and important changes which are currently in progress in these interlinked fields, we identified important connections between transformations in the symbolic order and social gains, which cannot necessarily be converted into more widespread decreases in social inequality or which can break apart forms of hierarchization and exclusion. The results of our studies in South Africa and Brazil are the focus of this special issue, given that these two contexts are less well known by the American public.

The Coupled Aerosol and Tracer Transport model to the Brazilian developments on the Regional Atmospheric Modeling System (CATT-BRAMS) - Part 1: Model description and evaluation

We introduce the Coupled Aerosol and Tracer Transport model to the Brazilian developments on the Regional Atmospheric Modeling System (CATT-BRAMS). CATT-BRAMS is an on-line transport model fully consistent with the simulated atmospheric dynamics. Emission sources from biomass burning and urban-industrial-vehicular activities for trace gases and from biomass burning aerosol particles are obtained from several published datasets and remote sensing information. The tracer and aerosol mass concentration prognostics include the effects of sub-grid scale turbulence in the planetary boundary layer, convective transport by shallow and deep moist convection, wet and dry deposition, and plume rise associated with vegetation fires in addition to the grid scale transport. The radiation parameterization takes into account the interaction between the simulated biomass burning aerosol particles and short and long wave radiation. The atmospheric model BRAMS is based on the Regional Atmospheric Modeling System (RAMS), with several improvements associated with cumulus convection representation, soil moisture initialization and surface scheme tuned for the tropics, among others. In this paper the CATT-BRAMS model is used to simulate carbon monoxide and particulate material (PM(2.5)) surface fluxes and atmospheric transport during the 2002 LBA field campaigns, conducted during the transition from the dry to wet season in the southwest Amazon Basin. Model evaluation is addressed with comparisons between model results and near surface, radiosondes and airborne measurements performed during the field campaign, as well as remote sensing derived products. We show the matching of emissions strengths to observed carbon monoxide in the LBA campaign. A relatively good comparison to the MOPITT data, in spite of the fact that MOPITT a priori assumptions imply several difficulties, is also obtained.