1,369 research outputs found

    LIPIcs, Volume 251, ITCS 2023, Complete Volume

    Get PDF
    LIPIcs, Volume 251, ITCS 2023, Complete Volum

    Advances and Applications of DSmT for Information Fusion. Collected Works, Volume 5

    Get PDF
    This fifth volume on Advances and Applications of DSmT for Information Fusion collects theoretical and applied contributions of researchers working in different fields of applications and in mathematics, and is available in open-access. The collected contributions of this volume have either been published or presented after disseminating the fourth volume in 2015 in international conferences, seminars, workshops and journals, or they are new. The contributions of each part of this volume are chronologically ordered. First Part of this book presents some theoretical advances on DSmT, dealing mainly with modified Proportional Conflict Redistribution Rules (PCR) of combination with degree of intersection, coarsening techniques, interval calculus for PCR thanks to set inversion via interval analysis (SIVIA), rough set classifiers, canonical decomposition of dichotomous belief functions, fast PCR fusion, fast inter-criteria analysis with PCR, and improved PCR5 and PCR6 rules preserving the (quasi-)neutrality of (quasi-)vacuous belief assignment in the fusion of sources of evidence with their Matlab codes. Because more applications of DSmT have emerged in the past years since the apparition of the fourth book of DSmT in 2015, the second part of this volume is about selected applications of DSmT mainly in building change detection, object recognition, quality of data association in tracking, perception in robotics, risk assessment for torrent protection and multi-criteria decision-making, multi-modal image fusion, coarsening techniques, recommender system, levee characterization and assessment, human heading perception, trust assessment, robotics, biometrics, failure detection, GPS systems, inter-criteria analysis, group decision, human activity recognition, storm prediction, data association for autonomous vehicles, identification of maritime vessels, fusion of support vector machines (SVM), Silx-Furtif RUST code library for information fusion including PCR rules, and network for ship classification. Finally, the third part presents interesting contributions related to belief functions in general published or presented along the years since 2015. These contributions are related with decision-making under uncertainty, belief approximations, probability transformations, new distances between belief functions, non-classical multi-criteria decision-making problems with belief functions, generalization of Bayes theorem, image processing, data association, entropy and cross-entropy measures, fuzzy evidence numbers, negator of belief mass, human activity recognition, information fusion for breast cancer therapy, imbalanced data classification, and hybrid techniques mixing deep learning with belief functions as well

    Anàlisi de les plataformes i serveis de streaming utilitzats per l'artista Bad Gyal : estudi de la conversa i l'impacte a Spotify, YouTube i Twitter

    Get PDF
    L'objectiu principal del treball és analitzar la conversa a les plataformes i serveis de streaming al voltant de l'artista Bad Gyal. Això es fa per poder entendre com s'organitzen els usuaris entre sí i de quina manera interactuen amb el contingut relacionat amb l'artista. Les dades del treball s'han extret directament de les API de les plataformes i xarxes socials analitzades: Spotify, YouTube i Twitter. S'ha creat un codi de programació en Python per extreure les dades i per poder comprendre-les s'han creat gràfics amb Gephi i Tableau. Finalment, s'extreuen les conclusions de l'estat de Bad Gyal en aquestes plataformes.El objetivo principal del trabajo es analizar la conversación en las plataformas y servicios de streaming de la artista Bad Gyal. Esto se hace para poder entender cómo se organizan los usuarios entre sí y cómo interactúan con el contenido relacionado. Los datos del trabajo se han extraído directamente de las API de las plataformas y redes sociales analizadas: Spotify, YouTube y Twitter. Se ha creado un código de programación en Python para extraer los datos y para poder comprenderlos se han creado gráficos con Gephi y Tableau. Finalmente, se extraen las conclusiones del estado de Bad Gyal en plataformas.The main objective is to analyze the conversation on platforms and streaming services around the artist Bad Gyal. This is done to be able to understand how users organize themselves and how they interact with content related to the artist. The data has been extracted directly from the APIs of the analyzed platforms and streaming services: Spotify, YouTube and Twitter. A programming code has been created in Python to extract the data and to understand them, graphics have been created with Gephi and Tableau. Finally, an analysis of the state of these platforms around the artist is extracted

    Uncertainty in runtime verification : a survey

    Get PDF
    Runtime Verification can be defined as a collection of formal methods for studying the dynamic evaluation of execution traces against formal specifications. Aside from creating a monitor from specifications and building algorithms for the evaluation of the trace, the process of gathering events and making them available for the monitor and the communication between the system under analysis and the monitor are critical and important steps in the runtime verification process. In many situations and for a variety of reasons, the event trace could be incomplete or could contain imprecise events. When a missing or ambiguous event is detected, the monitor may be unable to deliver a sound verdict. In this survey, we review the literature dealing with the problem of monitoring with incomplete traces. We list the different causes of uncertainty that have been identified, and analyze their effect on the monitoring process. We identify and compare the different methods that have been proposed to perform monitoring on such traces, highlighting the advantages and drawbacks of each method

    Satisfiability Modulo Finite Fields

    Get PDF
    We study satisfiability modulo the theory of finite fields and give a decision procedure for this theory. We implement our procedure for prime fields inside the cvc5 SMT solver. Using this theory, we con- struct SMT queries that encode translation validation for various zero knowledge proof compilers applied to Boolean computations. We evalu- ate our procedure on these benchmarks. Our experiments show that our implementation is superior to previous approaches (which encode field arithmetic using integers or bit-vectors)

    Leveraging urbanization for inclusive development in Malawi: Anchoring the secondary city development of Salima and Chipoka in a modernizing fruit value chain

    Get PDF
    Agricultural development in Malawi faces an important conundrum. While agriculture is the backbone of the economy, many smallholders will not be able to farm their way out of poverty. Shrinking farmland size severely limits the total income that can be earned from farming, even at much higher levels of productivity per area farmed than are now achieved. Urbanization embedded in the modernization of locally relevant value chains provides a promising pathway to inclusive development as it serves to simultaneously raise farm incomes, create income-earning opportunities off the farm, and create specialized urban hubs that can boost urban economic growth through agglomeration economies. After laying out these concepts conceptually, we apply them to a specific example of a modernizing mango value chain in Salima/Chipoka. Salima and Chipoka form an urban cluster about 100 km from the capital Lilongwe, located on the lakeshore of Lake Malawi. The Malawi Secondary Cities Plan has identified this cluster as one of eight that are to form an interconnected network of secondary cities, geographically spread across the country, with productive activities in each anchored in the economy of their rural hinterland

    LIPIcs, Volume 261, ICALP 2023, Complete Volume

    Get PDF
    LIPIcs, Volume 261, ICALP 2023, Complete Volum

    On Efficient Zero-Knowledge Arguments

    Get PDF

    2023-2024 Undergraduate Catalog

    Get PDF
    2023-2024 undergraduate catalog for Morehead State University
    corecore