9,002 research outputs found

    The Metaverse: Survey, Trends, Novel Pipeline Ecosystem & Future Directions

    Full text link
    The Metaverse offers a second world beyond reality, where boundaries are non-existent, and possibilities are endless through engagement and immersive experiences using the virtual reality (VR) technology. Many disciplines can benefit from the advancement of the Metaverse when accurately developed, including the fields of technology, gaming, education, art, and culture. Nevertheless, developing the Metaverse environment to its full potential is an ambiguous task that needs proper guidance and directions. Existing surveys on the Metaverse focus only on a specific aspect and discipline of the Metaverse and lack a holistic view of the entire process. To this end, a more holistic, multi-disciplinary, in-depth, and academic and industry-oriented review is required to provide a thorough study of the Metaverse development pipeline. To address these issues, we present in this survey a novel multi-layered pipeline ecosystem composed of (1) the Metaverse computing, networking, communications and hardware infrastructure, (2) environment digitization, and (3) user interactions. For every layer, we discuss the components that detail the steps of its development. Also, for each of these components, we examine the impact of a set of enabling technologies and empowering domains (e.g., Artificial Intelligence, Security & Privacy, Blockchain, Business, Ethics, and Social) on its advancement. In addition, we explain the importance of these technologies to support decentralization, interoperability, user experiences, interactions, and monetization. Our presented study highlights the existing challenges for each component, followed by research directions and potential solutions. To the best of our knowledge, this survey is the most comprehensive and allows users, scholars, and entrepreneurs to get an in-depth understanding of the Metaverse ecosystem to find their opportunities and potentials for contribution

    Chiral active fluids: Odd viscosity, active turbulence, and directed flows of hydrodynamic microrotors

    Get PDF
    While the number of publications on rotating active matter has rapidly increased in recent years, studies on purely hydrodynamically interacting rotors on the microscale are still rare, especially from the perspective of particle based hydrodynamic simulations. The work presented here targets to fill this gap. By means of high-performance computer simulations, performed in a highly parallelised fashion on graphics processing units, the dynamics of ensembles of up to 70,000 rotating colloids immersed in an explicit mesoscopic solvent consisting out of up to 30 million fluid particles, are investigated. Some of the results presented in this thesis have been worked out in collaboration with experimentalists, such that the theoretical considerations developed in this thesis are supported by experiments, and vice versa. The studied system, modelled in order to resemble the essential physics of the experimentally realisable system, consists out of rotating magnetic colloidal particles, i.e., (micro-)rotors, rotating in sync to an externally applied magnetic field, where the rotors solely interact via hydrodynamic and steric interactions. Overall, the agreement between simulations and experiments is very good, proving that hydrodynamic interactions play a key role in this and related systems. While already an isolated rotating colloid is driven out of equilibrium, only collections of two or more rotors have experimentally shown to be able to convert the rotational energy input into translational dynamics in an orbital rotating fashion. The rotating colloids inject circular flows into the fluid, such that detailed balance is broken, and it is not a priori known whether equilibrium properties of colloids can be extended to isolated rotating colloids. A joint theoretical and experimental analysis of isolated, pairs, and small groups of hydrodynamically interacting rotors is given in chapter 2. While the translational dynamics of isolated rotors effectively resemble the dynamics of non-rotating colloids, the orbital rotation of pairs of rotors can be described with leading order hydrodynamics and a two-dimensional analogy of Faxén’s law is derived. In chapter 3, a homogeneously distributed ensemble of rotors (bulk) as a realisation of a chiral active fluid is studied and it is explicitly shown computationally and experimentally that it carries odd viscosity. The mutual orbital translation of rotors and an increase of the effective solvent viscosity with rotor density lead to a non-monotonous behaviour of the average translational velocity. Meanwhile, the rotor suspension bears a finite osmotic compressibility resulting from the long-ranged nature of hydrody- namic interactions such that rotational and odd stresses are transmitted through the solvent also at small and intermediate rotor densities. Consequently, density inhomogeneities predicted for chiral active fluids with odd viscosity can be found and allow for an explicit measurement of odd viscosity in simulations and experiments. At intermediate densities, the collective dynamics shows the emergence of multi-scale vortices and chaotic motion which is identified as active turbulence with a self-similar power-law decay in the energy spectrum, showing that the injected energy on the rotor scale is transported to larger scales, similar to the inverse energy cascade of clas- sical two-dimensional turbulence. While either odd viscosity or active turbulence have been reported in chiral active matter previously, the system studied here shows that the emergence of both simultaneously is possible resulting from the osmotic compressibility and hydrodynamic mediation of odd and active stresses. The collective dynamics of colloids rotating out of phase, i.e., where a constant torque instead of a constant angular velocity is applied, is shown to be qualitatively very similar. However, at smaller densities, local density inhomogeneities imply position dependent angular velocities of the rotors resulting from inter-rotor friction. While the friction of a quasi-2D layer of active colloids with the substrate is often not easily modifiable in experiments, the incorporation of substrate friction into the simulation models typically implies a considerable increase in computational effort. In chapter 4, a very efficient way of incorporating the friction with a substrate into a two-dimensional multiparticle collision dynamics solvent is introduced, allowing for an explicit investigation of the influences of substrate on active dynamics. For the rotor fluid, it is explicitly shown that the influence of the substrate friction results in a cutoff of the hydrodynamic interaction length, such that the maximum size of the formed vortices is controlled by the substrate friction, also resulting in a cutoff in the energy spectrum, because energy is taken out of the system at the respective length. These findings are in agreement with the experiments. Since active particles in confinement are known to organise in states of collective dynamics, ensembles of rotationally actuated colloids are studied in circular confinement and in the presence of periodic obstacle lattices in chapters 5 and 6, respectively. The results show that the chaotic active turbulent transport of rotors in suspension can be enhanced and guided resulting from edge flows generated at the boundaries, as has recently been reported for a related chiral active system. The consequent collective rotor dynamics can be regarded as a superposition of active turbulent and imposed flows, leading to on average stationary flows. In contrast to the bulk dynamics, the imposed flows inject additional energy into the system on the long length scales, and the same scaling behaviour of the energy spectrum as in bulk is only obtained if the energy injection scales, due to the mutual generation of rotor translational dynamics throughout the system and the edge flows, are well separated. The combination of edge flow and entropic layering at the boundaries leads to oscillating hydrodynamic stresses and consequently to an oscillating vorticity profile. In the presence of odd viscosity, this consequently leads to non-trivial steady-state density modulations at the boundary, resulting from a balance of osmotic pressure and odd stresses. Relevant for the efficient dispersion and mixing of inert particles on the mesoscale by means of active turbulent mixing powered by rotors, a study of the dynamics of a binary mixture consisting out of rotors and passive particles is presented in chapter 7. Because the rotors are not self-propelled, but the translational dynamics is induced by the surrounding rotors, the passive particles, which do not inject further energy into the system, are transported according to the same mechanism as the rotors. The collective dynamics thus resembles the pure rotor bulk dynamics at the respective density of only rotors. However, since no odd stresses act between the passive particles, only mutual rotor interactions lead to odd stresses leading to the accumulation of rotors in the regions of positive vorticity. This density increase is associated with a pressure increase, which balances the odd stresses acting on the rotors. However, the passive particles are only subject to the accumulation induced pressure increase such that these particles are transported into the areas of low rotor concentration, i.e., the regions of negative vorticity. Under conditions of sustained vortex flow, this results in segregation of both particle types. Since local symmetry breaking can convert injected rotational into translational energy, microswimmers can be constructed out of rotor materials when a suitable breaking of symmetry is kept in the vicinity of a rotor. One hypothetical realisation, i.e., a coupled rotor pair consisting out of two rotors of opposite angular velocity and of fixed distance, termed a birotor, are studied in chapter 8. The birotor pumps the fluid into one direction and consequently translates into the opposite direction, and creates a flow field reminiscent of a source doublet, or sliplet flow field. Fixed in space the birotor might be an interesting realisation of a microfluidic pump. The trans- lational dynamics of a birotor can be mapped onto the active Brownian particle model for single swimmers. However, due to the hydrodynamic interactions among the rotors, the birotor ensemble dynamics do not show the emergence of stable motility induced clustering. The reason for this is the flow created by birotor in small aggregates which effectively pushes further arriving birotors away from small aggregates, which eventually are all dispersed by thermal fluctuations

    A Decision Support System for Economic Viability and Environmental Impact Assessment of Vertical Farms

    Get PDF
    Vertical farming (VF) is the practice of growing crops or animals using the vertical dimension via multi-tier racks or vertically inclined surfaces. In this thesis, I focus on the emerging industry of plant-specific VF. Vertical plant farming (VPF) is a promising and relatively novel practice that can be conducted in buildings with environmental control and artificial lighting. However, the nascent sector has experienced challenges in economic viability, standardisation, and environmental sustainability. Practitioners and academics call for a comprehensive financial analysis of VPF, but efforts are stifled by a lack of valid and available data. A review of economic estimation and horticultural software identifies a need for a decision support system (DSS) that facilitates risk-empowered business planning for vertical farmers. This thesis proposes an open-source DSS framework to evaluate business sustainability through financial risk and environmental impact assessments. Data from the literature, alongside lessons learned from industry practitioners, would be centralised in the proposed DSS using imprecise data techniques. These techniques have been applied in engineering but are seldom used in financial forecasting. This could benefit complex sectors which only have scarce data to predict business viability. To begin the execution of the DSS framework, VPF practitioners were interviewed using a mixed-methods approach. Learnings from over 19 shuttered and operational VPF projects provide insights into the barriers inhibiting scalability and identifying risks to form a risk taxonomy. Labour was the most commonly reported top challenge. Therefore, research was conducted to explore lean principles to improve productivity. A probabilistic model representing a spectrum of variables and their associated uncertainty was built according to the DSS framework to evaluate the financial risk for VF projects. This enabled flexible computation without precise production or financial data to improve economic estimation accuracy. The model assessed two VPF cases (one in the UK and another in Japan), demonstrating the first risk and uncertainty quantification of VPF business models in the literature. The results highlighted measures to improve economic viability and the viability of the UK and Japan case. The environmental impact assessment model was developed, allowing VPF operators to evaluate their carbon footprint compared to traditional agriculture using life-cycle assessment. I explore strategies for net-zero carbon production through sensitivity analysis. Renewable energies, especially solar, geothermal, and tidal power, show promise for reducing the carbon emissions of indoor VPF. Results show that renewably-powered VPF can reduce carbon emissions compared to field-based agriculture when considering the land-use change. The drivers for DSS adoption have been researched, showing a pathway of compliance and design thinking to overcome the ‘problem of implementation’ and enable commercialisation. Further work is suggested to standardise VF equipment, collect benchmarking data, and characterise risks. This work will reduce risk and uncertainty and accelerate the sector’s emergence

    Gasificação direta de biomassa para produção de gás combustível

    Get PDF
    The excessive consumption of fossil fuels to satisfy the world necessities of energy and commodities led to the emission of large amounts of greenhouse gases in the last decades, contributing significantly to the greatest environmental threat of the 21st century: Climate Change. The answer to this man-made disaster is not simple and can only be made if distinct stakeholders and governments are brought to cooperate and work together. This is mandatory if we want to change our economy to one more sustainable and based in renewable materials, and whose energy is provided by the eternal nature energies (e.g., wind, solar). In this regard, biomass can have a main role as an adjustable and renewable feedstock that allows the replacement of fossil fuels in various applications, and the conversion by gasification allows the necessary flexibility for that purpose. In fact, fossil fuels are just biomass that underwent extreme pressures and heat for millions of years. Furthermore, biomass is a resource that, if not used or managed, increases wildfire risks. Consequently, we also have the obligation of valorizing and using this resource. In this work, it was obtained new scientific knowledge to support the development of direct (air) gasification of biomass in bubbling fluidized bed reactors to obtain a fuel gas with suitable properties to replace natural gas in industrial gas burners. This is the first step for the integration and development of gasification-based biorefineries, which will produce a diverse number of value-added products from biomass and compete with current petrochemical refineries in the future. In this regard, solutions for the improvement of the raw producer gas quality and process efficiency parameters were defined and analyzed. First, addition of superheated steam as primary measure allowed the increase of H2 concentration and H2/CO molar ratio in the producer gas without compromising the stability of the process. However, the measure mainly showed potential for the direct (air) gasification of high-density biomass (e.g., pellets), due to the necessity of having char accumulation in the reactor bottom bed for char-steam reforming reactions. Secondly, addition of refused derived fuel to the biomass feedstock led to enhanced gasification products, revealing itself as a highly promising strategy in terms of economic viability and environmental benefits of future gasification-based biorefineries, due to the high availability and low costs of wastes. Nevertheless, integrated techno economic and life cycle analyses must be performed to fully characterize the process. Thirdly, application of low-cost catalyst as primary measure revealed potential by allowing the improvement of the producer gas quality (e.g., H2 and CO concentration, lower heating value) and process efficiency parameters with distinct solid materials; particularly, the application of concrete, synthetic fayalite and wood pellets chars, showed promising results. Finally, the economic viability of the integration of direct (air) biomass gasification processes in the pulp and paper industry was also shown, despite still lacking interest to potential investors. In this context, the role of government policies and appropriate economic instruments are of major relevance to increase the implementation of these projects.O consumo excessivo de combustíveis fósseis para garantir as necessidades e interesses da sociedade conduziu à emissão de elevadas quantidades de gases com efeito de estufa nas últimas décadas, contribuindo significativamente para a maior ameaça ambiental do século XXI: Alterações Climáticas. A solução para este desastre de origem humana é de caráter complexo e só pode ser atingida através da cooperação de todos os governos e partes interessadas. Para isto, é obrigatória a criação de uma bioeconomia como base de um futuro mais sustentável, cujas necessidades energéticas e materiais sejam garantidas pelas eternas energias da natureza (e.g., vento, sol). Neste sentido, a biomassa pode ter um papel principal como uma matéria prima ajustável e renovável que permite a substituição de combustíveis fósseis num variado número de aplicações, e a sua conversão através da gasificação pode ser a chave para este propósito. Afinal, na prática, os combustíveis fósseis são apenas biomassa sujeita a elevada temperatura e pressão durante milhões de anos. Além do mais, a gestão eficaz da biomassa é fundamental para a redução dos riscos de incêndio florestal e, como tal, temos o dever de utilizar e valorizar este recurso. Neste trabalho, foi obtido novo conhecimento científico para suporte do desenvolvimento das tecnologias de gasificação direta (ar) de biomassa em leitos fluidizados borbulhantes para produção de gás combustível, com o objetivo da substituição de gás natural em queimadores industriais. Este é o primeiro passo para o desenvolvimento de biorrefinarias de gasificação, uma potencial futura indústria que irá providenciar um variado número de produtos de valor acrescentado através da biomassa e competir com a atual indústria petroquímica. Neste sentido, foram analisadas várias medidas para a melhoria da qualidade do gás produto bruto e dos parâmetros de eficiência do processo. Em primeiro, a adição de vapor sobreaquecido como medida primária permitiu o aumento da concentração de H2 e da razão molar H2/CO no gás produto sem comprometer a estabilidade do processo. No entanto, esta medida somente revelou potencial para a gasificação direta (ar) de biomassa de alta densidade (e.g., pellets) devido à necessidade da acumulação de carbonizados no leito do reator para a ocorrência de reações de reforma com vapor. Em segundo, a mistura de combustíveis derivados de resíduos e biomassa residual florestal permitiu a melhoria dos produtos de gasificação, constituindo desta forma uma estratégia bastante promissora a nível económico e ambiental, devido à elevada abundância e baixo custo dos resíduos urbanos. Contudo, devem ser efetuadas análises técnico-económicas e de ciclo de vida para a completa caraterização do processo. Em terceiro, a aplicação de catalisadores de baixo custo como medida primária demonstrou elevado potencial para a melhoria do gás produto (e.g., concentração de H2 e CO, poder calorífico inferior) e para o incremento dos parâmetros de eficiência do processo; em particular, a aplicação de betão, faialite sintética e carbonizados de pellets de madeira, demonstrou resultados promissores. Finalmente, foi demonstrada a viabilidade económica da integração do processo de gasificação direta (ar) de biomassa na indústria da pasta e papel, apesar dos parâmetros determinados não serem atrativos para potenciais investidores. Neste contexto, a intervenção dos governos e o desenvolvimento de instrumentos de apoio económico é de grande relevância para a implementação destes projetos.Este trabalho foi financiado pela The Navigator Company e por Fundos Nacionais através da Fundação para a Ciência e a Tecnologia (FCT).Programa Doutoral em Engenharia da Refinação, Petroquímica e Químic

    A suite of quantum algorithms for the shortestvector problem

    Get PDF
    Crytography has come to be an essential part of the cybersecurity infrastructure that provides a safe environment for communications in an increasingly connected world. The advent of quantum computing poses a threat to the foundations of the current widely-used cryptographic model, due to the breaking of most of the cryptographic algorithms used to provide confidentiality, authenticity, and more. Consequently a new set of cryptographic protocols have been designed to be secure against quantum computers, and are collectively known as post-quantum cryptography (PQC). A forerunner among PQC is lattice-based cryptography, whose security relies upon the hardness of a number of closely related mathematical problems, one of which is known as the shortest vector problem (SVP). In this thesis I describe a suite of quantum algorithms that utilize the energy minimization principle to attack the shortest vector problem. The algorithms outlined span the gate-model and continuous time quantum computing, and explore methods of parameter optimization via variational methods, which are thought to be effective on near-term quantum computers. The performance of the algorithms are analyzed numerically, analytically, and on quantum hardware where possible. I explain how the results obtained in the pursuit of solving SVP apply more broadly to quantum algorithms seeking to solve general real-world problems; minimize the effect of noise on imperfect hardware; and improve efficiency of parameter optimization.Open Acces

    Pocket size interactive films: Embedding the mobile devices’ features, characteristics and affordances into filmic interactive narratives.

    Get PDF
    Throughout the history of interactive film, creators have experimented with different modes of interaction to allow for the viewers’ agency. As interactive films have not yet established a standardised form, projects have continually been shaped by new technology. Over time, viewers have shifted from the cinema, to televisions, the personal computer and recently the mobile device. These devices further extend the interactive capabilities that are at the creators’ disposal. Therefore, this thesis proposes that mobile devices could facilitate new forms of interactive film that make use of these features. This study investigates the integration of the mobile devices’ characteristics, features and affordances into an interactive film project that is both viewed and interacted with on a mobile device. First and foremost, it establishes whether the mobile device can be successfully used by authors to relay interactive films. Secondly, it gives insights into design considerations for authors that aim to make use of the mobile devices’ features. Additionally, the thesis gathers insights into the use of game-engine technology for developing similar interactive film projects. The research begins with a literature review establishing the historical and academic context in regards to interactive- films, narratives, and interfaces, thereby focussing on mobile devices. Consecutively, a selection of projects is surveyed to garner insights into the current state of the art. These sections are then used to inform the practice-based part of this thesis in which the production of an interactive film project will be comprehensively documented. A concurrent think-aloud usability test, accompanied by a reflection on the outcomes and production process will conclude the research. The outcome suggests that mobile devices can act as successful vessels for interactive narratives. However, usability tests as well as reflection reveal that the thesis project cannot be strictly classified as an interactive film. Therefore, suggestions for future research as well as insights into the retention of filmic quality can be made in retrospect. Additionally, The use of game-engines for interactive film authoring proves to allow creators rapid prototyping and ease of implementation. Though their use might impact projects by over-complicating interaction paradigms more extensively used in game production.Media files notes: Project Documentation of Creations; an interactive short film for the mobile device. Media rights: CC-BY-NC-ND 4.

    Innovative Hybrid Approaches for Vehicle Routing Problems

    Get PDF
    This thesis deals with the efficient resolution of Vehicle Routing Problems (VRPs). The first chapter faces the archetype of all VRPs: the Capacitated Vehicle Routing Problem (CVRP). Despite having being introduced more than 60 years ago, it still remains an extremely challenging problem. In this chapter I design a Fast Iterated-Local-Search Localized Optimization algorithm for the CVRP, shortened to FILO. The simplicity of the CVRP definition allowed me to experiment with advanced local search acceleration and pruning techniques that have eventually became the core optimization engine of FILO. FILO experimentally shown to be extremely scalable and able to solve very large scale instances of the CVRP in a fraction of the computing time compared to existing state-of-the-art methods, still obtaining competitive solutions in terms of their quality. The second chapter deals with an extension of the CVRP called the Extended Single Truck and Trailer Vehicle Routing Problem, or simply XSTTRP. The XSTTRP models a broad class of VRPs in which a single vehicle, composed of a truck and a detachable trailer, has to serve a set of customers with accessibility constraints making some of them not reachable by using the entire vehicle. This problem moves towards VRPs including more realistic constraints and it models scenarios such as parcel deliveries in crowded city centers or rural areas, where maneuvering a large vehicle is forbidden or dangerous. The XSTTRP generalizes several well known VRPs such as the Multiple Depot VRP and the Location Routing Problem. For its solution I developed an hybrid metaheuristic which combines a fast heuristic optimization with a polishing phase based on the resolution of a limited set partitioning problem. Finally, the thesis includes a final chapter aimed at guiding the computational evaluation of new approaches to VRPs proposed by the machine learning community

    Foundations for programming and implementing effect handlers

    Get PDF
    First-class control operators provide programmers with an expressive and efficient means for manipulating control through reification of the current control state as a first-class object, enabling programmers to implement their own computational effects and control idioms as shareable libraries. Effect handlers provide a particularly structured approach to programming with first-class control by naming control reifying operations and separating from their handling. This thesis is composed of three strands of work in which I develop operational foundations for programming and implementing effect handlers as well as exploring the expressive power of effect handlers. The first strand develops a fine-grain call-by-value core calculus of a statically typed programming language with a structural notion of effect types, as opposed to the nominal notion of effect types that dominates the literature. With the structural approach, effects need not be declared before use. The usual safety properties of statically typed programming are retained by making crucial use of row polymorphism to build and track effect signatures. The calculus features three forms of handlers: deep, shallow, and parameterised. They each offer a different approach to manipulate the control state of programs. Traditional deep handlers are defined by folds over computation trees, and are the original con-struct proposed by Plotkin and Pretnar. Shallow handlers are defined by case splits (rather than folds) over computation trees. Parameterised handlers are deep handlers extended with a state value that is threaded through the folds over computation trees. To demonstrate the usefulness of effects and handlers as a practical programming abstraction I implement the essence of a small UNIX-style operating system complete with multi-user environment, time-sharing, and file I/O. The second strand studies continuation passing style (CPS) and abstract machine semantics, which are foundational techniques that admit a unified basis for implementing deep, shallow, and parameterised effect handlers in the same environment. The CPS translation is obtained through a series of refinements of a basic first-order CPS translation for a fine-grain call-by-value language into an untyped language. Each refinement moves toward a more intensional representation of continuations eventually arriving at the notion of generalised continuation, which admit simultaneous support for deep, shallow, and parameterised handlers. The initial refinement adds support for deep handlers by representing stacks of continuations and handlers as a curried sequence of arguments. The image of the resulting translation is not properly tail-recursive, meaning some function application terms do not appear in tail position. To rectify this the CPS translation is refined once more to obtain an uncurried representation of stacks of continuations and handlers. Finally, the translation is made higher-order in order to contract administrative redexes at translation time. The generalised continuation representation is used to construct an abstract machine that provide simultaneous support for deep, shallow, and parameterised effect handlers. kinds of effect handlers. The third strand explores the expressiveness of effect handlers. First, I show that deep, shallow, and parameterised notions of handlers are interdefinable by way of typed macro-expressiveness, which provides a syntactic notion of expressiveness that affirms the existence of encodings between handlers, but it provides no information about the computational content of the encodings. Second, using the semantic notion of expressiveness I show that for a class of programs a programming language with first-class control (e.g. effect handlers) admits asymptotically faster implementations than possible in a language without first-class control

    Digital asset management via distributed ledgers

    Get PDF
    Distributed ledgers rose to prominence with the advent of Bitcoin, the first provably secure protocol to solve consensus in an open-participation setting. Following, active research and engineering efforts have proposed a multitude of applications and alternative designs, the most prominent being Proof-of-Stake (PoS). This thesis expands the scope of secure and efficient asset management over a distributed ledger around three axes: i) cryptography; ii) distributed systems; iii) game theory and economics. First, we analyze the security of various wallets. We start with a formal model of hardware wallets, followed by an analytical framework of PoS wallets, each outlining the unique properties of Proof-of-Work (PoW) and PoS respectively. The latter also provides a rigorous design to form collaborative participating entities, called stake pools. We then propose Conclave, a stake pool design which enables a group of parties to participate in a PoS system in a collaborative manner, without a central operator. Second, we focus on efficiency. Decentralized systems are aimed at thousands of users across the globe, so a rigorous design for minimizing memory and storage consumption is a prerequisite for scalability. To that end, we frame ledger maintenance as an optimization problem and design a multi-tier framework for designing wallets which ensure that updates increase the ledger’s global state only to a minimal extent, while preserving the security guarantees outlined in the security analysis. Third, we explore incentive-compatibility and analyze blockchain systems from a micro and a macroeconomic perspective. We enrich our cryptographic and systems' results by analyzing the incentives of collective pools and designing a state efficient Bitcoin fee function. We then analyze the Nash dynamics of distributed ledgers, introducing a formal model that evaluates whether rational, utility-maximizing participants are disincentivized from exhibiting undesirable infractions, and highlighting the differences between PoW and PoS-based ledgers, both in a standalone setting and under external parameters, like market price fluctuations. We conclude by introducing a macroeconomic principle, cryptocurrency egalitarianism, and then describing two mechanisms for enabling taxation in blockchain-based currency systems

    Statistical Learning for Gene Expression Biomarker Detection in Neurodegenerative Diseases

    Get PDF
    In this work, statistical learning approaches are used to detect biomarkers for neurodegenerative diseases (NDs). NDs are becoming increasingly prevalent as populations age, making understanding of disease and identification of biomarkers progressively important for facilitating early diagnosis and the screening of individuals for clinical trials. Advancements in gene expression profiling has enabled the exploration of disease biomarkers at an unprecedented scale. The work presented here demonstrates the value of gene expression data in understanding the underlying processes and detection of biomarkers of NDs. The value of novel approaches to previously collected -omics data is shown and it is demonstrated that new therapeutic targets can be identified. Additionally, the importance of meta-analysis to improve power of multiple small studies is demonstrated. The value of blood transcriptomics data is shown in applications to researching NDs to understand underlying processes using network analysis and a novel hub detection method. Finally, after demonstrating the value of blood gene expression data for investigating NDs, a combination of feature selection and classification algorithms were used to identify novel accurate biomarker signatures for the diagnosis and prognosis of Parkinson’s disease (PD) and Alzheimer’s disease (AD). Additionally, the use of feature pools based on previous knowledge of disease and the viability of neural networks in dimensionality reduction and biomarker detection is demonstrated and discussed. In summary, gene expression data is shown to be valuable for the investigation of ND and novel gene biomarker signatures for the diagnosis and prognosis of PD and AD
    • …
    corecore