1,543 research outputs found

    AI: Limits and Prospects of Artificial Intelligence

    Get PDF
    The emergence of artificial intelligence has triggered enthusiasm and promise of boundless opportunities as much as uncertainty about its limits. The contributions to this volume explore the limits of AI, describe the necessary conditions for its functionality, reveal its attendant technical and social problems, and present some existing and potential solutions. At the same time, the contributors highlight the societal and attending economic hopes and fears, utopias and dystopias that are associated with the current and future development of artificial intelligence

    Microcredentials to support PBL

    Get PDF

    30th European Congress on Obesity (ECO 2023)

    Get PDF
    This is the abstract book of 30th European Congress on Obesity (ECO 2023

    Queer livability: German sexual sciences and life writing

    Get PDF
    This is the final version. Available on open access from the University of Michigan Press via the DOI in this record. This book brings together an exciting new archive of queer and trans voices from the history of sexual sciences in the German-speaking world. A new language to express possibilities of gender and sexuality emerged at the turn of the twentieth century, from Sigmund Freud's theories of homosexuality in Vienna to Magnus Hirschfeld's "third sex" in Berlin. Together, they provided a language of sex and sexuality that is still recognizable today. Queer Livability: German Sexual Sciences and Life Writing shows that individual voices of trans and queer writers had a significant impact on the production of knowledge about gender and sexuality during this time and introduces lesser known texts to a new readership. It shows the remarkable power of queer life writing in imagining and creating the possibilities of a livable life in the face of restrictive legal, medical, and social frameworks. Queer Livability: German Sexual Sciences and Life Writing will be of interest to anyone who wants to learn more about LGBTQ+ history and literature. It also provides a fascinating insight into the historical roots for our thinking about gender and sexuality today. The book will be of relevance to an academic readership of students and faculty in German studies, literary studies, European history, and the interdisciplinary fields of gender and sexuality studies, medical humanities, and the history of sexuality.Arts and Humanities Research Council (AHRC)Cambridge Home and EU Scholarship SchemeWellcome TrustModern Humanities Research Associatio

    Erasure in dependently typed programming

    Get PDF
    It is important to reduce the cost of correctness in programming. Dependent types and related techniques, such as type-driven programming, offer ways to do so. Some parts of dependently typed programs constitute evidence of their typecorrectness and, once checked, are unnecessary for execution. These parts can easily become asymptotically larger than the remaining runtime-useful computation, which can cause linear-time algorithms run in exponential time, or worse. It would be unnacceptable, and contradict our goal of reducing the cost of correctness, to make programs run slower by only describing them more precisely. Current systems cannot erase such computation satisfactorily. By modelling erasure indirectly through type universes or irrelevance, they impose the limitations of these means to erasure. Some useless computation then cannot be erased and idiomatic programs remain asymptotically sub-optimal. This dissertation explains why we need erasure, that it is different from other concepts like irrelevance, and proposes two ways of erasing non-computational data. One is an untyped flow-based useless variable elimination, adapted for dependently typed languages, currently implemented in the Idris 1 compiler. The other is the main contribution of the dissertation: a dependently typed core calculus with erasure annotations, full dependent pattern matching, and an algorithm that infers erasure annotations from unannotated (or partially annotated) programs. I show that erasure in well-typed programs is sound in that it commutes with single-step reduction. Assuming the Church-Rosser property of reduction, I show that properties such as Subject Reduction hold, which extends the soundness result to multi-step reduction. I also show that the presented erasure inference is sound and complete with respect to the typing rules; that this approach can be extended with various forms of erasure polymorphism; that it works well with monadic I/O and foreign functions; and that it is effective in that it not only removes the runtime overhead caused by dependent typing in the presented examples, but can also shorten compilation times."This work was supported by the University of St Andrews (School of Computer Science)." -- Acknowledgement

    The Public Performance Of Sanctions In Insolvency Cases: The Dark, Humiliating, And Ridiculous Side Of The Law Of Debt In The Italian Experience. A Historical Overview Of Shaming Practices

    Get PDF
    This study provides a diachronic comparative overview of how the law of debt has been applied by certain institutions in Italy. Specifically, it offers historical and comparative insights into the public performance of sanctions for insolvency through shaming and customary practices in Roman Imperial Law, in the Middle Ages, and in later periods. The first part of the essay focuses on the Roman bonorum cessio culo nudo super lapidem and on the medieval customary institution called pietra della vergogna (stone of shame), which originates from the Roman model. The second part of the essay analyzes the social function of the zecca and the pittima Veneziana during the Republic of Venice, and of the practice of lu soldate a castighe (no translation is possible). The author uses a functionalist approach to apply some arguments and concepts from the current context to this historical analysis of ancient institutions that we would now consider ridiculous. The article shows that the customary norms that play a crucial regulatory role in online interactions today can also be applied to the public square in the past. One of these tools is shaming. As is the case in contemporary online settings, in the public square in historic periods, shaming practices were used to enforce the rules of civility in a given community. Such practices can be seen as virtuous when they are intended for use as a tool to pursue positive change in forces entrenched in the culture, and thus to address social wrongs considered outside the reach of the law, or to address human rights abuses

    A Tale of Two Approaches: Comparing Top-Down and Bottom-Up Strategies for Analyzing and Visualizing High-Dimensional Data

    Get PDF
    The proliferation of high-throughput and sensory technologies in various fields has led to a considerable increase in data volume, complexity, and diversity. Traditional data storage, analysis, and visualization methods are struggling to keep pace with the growth of modern data sets, necessitating innovative approaches to overcome the challenges of managing, analyzing, and visualizing data across various disciplines. One such approach is utilizing novel storage media, such as deoxyribonucleic acid~(DNA), which presents efficient, stable, compact, and energy-saving storage option. Researchers are exploring the potential use of DNA as a storage medium for long-term storage of significant cultural and scientific materials. In addition to novel storage media, scientists are also focussing on developing new techniques that can integrate multiple data modalities and leverage machine learning algorithms to identify complex relationships and patterns in vast data sets. These newly-developed data management and analysis approaches have the potential to unlock previously unknown insights into various phenomena and to facilitate more effective translation of basic research findings to practical and clinical applications. Addressing these challenges necessitates different problem-solving approaches. Researchers are developing novel tools and techniques that require different viewpoints. Top-down and bottom-up approaches are essential techniques that offer valuable perspectives for managing, analyzing, and visualizing complex high-dimensional multi-modal data sets. This cumulative dissertation explores the challenges associated with handling such data and highlights top-down, bottom-up, and integrated approaches that are being developed to manage, analyze, and visualize this data. The work is conceptualized in two parts, each reflecting the two problem-solving approaches and their uses in published studies. The proposed work showcases the importance of understanding both approaches, the steps of reasoning about the problem within them, and their concretization and application in various domains

    Food - Media - Senses: Interdisciplinary Approaches

    Get PDF
    Food is more than just nutrition. Its preparation, presentation and consumption is a multifold communicative practice which includes the meal's design and its whole field of experience. How is food represented in cookbooks, product packaging or in paintings? How is dining semantically charged? How is the sensuality of eating treated in different cultural contexts? In order to acknowledge the material and media-related aspects of eating as a cultural praxis, experts from media studies, art history, literary studies, philosophy, experimental psychology, anthropology, food studies, cultural studies and design studies share their specific approaches

    Energy Supplies in the Countries from the Visegrad Group

    Get PDF
    The purpose of this Special Issue was to collect and present research results and experiences on energy supply in the Visegrad Group countries. This research considers both macroeconomic and microeconomic aspects. It was important to determine how the V4 countries deal with energy management, how they have undergone or are undergoing energy transformation and in what direction they are heading. The articles concerned aspects of the energy balance in the V4 countries compared to the EU, including the production of renewable energy, as well as changes in its individual sectors (transport and food production). The energy efficiency of low-emission vehicles in public transport and goods deliveries are also discussed, as well as the energy efficiency of farms and energy storage facilities and the impact of the energy sector on the quality of the environment
    corecore