83 research outputs found

    LIPIcs, Volume 251, ITCS 2023, Complete Volume

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

    Behavior quantification as the missing link between fields: Tools for digital psychiatry and their role in the future of neurobiology

    Full text link
    The great behavioral heterogeneity observed between individuals with the same psychiatric disorder and even within one individual over time complicates both clinical practice and biomedical research. However, modern technologies are an exciting opportunity to improve behavioral characterization. Existing psychiatry methods that are qualitative or unscalable, such as patient surveys or clinical interviews, can now be collected at a greater capacity and analyzed to produce new quantitative measures. Furthermore, recent capabilities for continuous collection of passive sensor streams, such as phone GPS or smartwatch accelerometer, open avenues of novel questioning that were previously entirely unrealistic. Their temporally dense nature enables a cohesive study of real-time neural and behavioral signals. To develop comprehensive neurobiological models of psychiatric disease, it will be critical to first develop strong methods for behavioral quantification. There is huge potential in what can theoretically be captured by current technologies, but this in itself presents a large computational challenge -- one that will necessitate new data processing tools, new machine learning techniques, and ultimately a shift in how interdisciplinary work is conducted. In my thesis, I detail research projects that take different perspectives on digital psychiatry, subsequently tying ideas together with a concluding discussion on the future of the field. I also provide software infrastructure where relevant, with extensive documentation. Major contributions include scientific arguments and proof of concept results for daily free-form audio journals as an underappreciated psychiatry research datatype, as well as novel stability theorems and pilot empirical success for a proposed multi-area recurrent neural network architecture.Comment: PhD thesis cop

    LIPIcs, Volume 261, ICALP 2023, Complete Volume

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

    Gold functions and switched cube functions are not 0-extendable in dimension n > 5

    Get PDF
    In the independent works by Kalgin and Idrisova and by Beierle, Leander and Perrin, it was observed that the Gold APN functions over F25\mathbb {F}_{2^5} give rise to a quadratic APN function in dimension 6 having maximum possible linearity of 252^5 (that is, minimum possible nonlinearity 242^4). In this article, we show that the case of n≤5n \le 5 is quite special in the sense that Gold APN functions in dimension n>5n>5 cannot be extended to quadratic APN functions in dimension n+1n+1 having maximum possible linearity. In the second part of this work, we show that this is also the case for APN functions of the form x↦x3+μ(x)x \mapsto x^3 + \mu (x) with μ\mu being a quadratic Boolean function.publishedVersio

    Zilber's notion of logically perfect structure: Universal Covers

    Full text link
    We sketch recent interactions between model theory and a roughly 150-year old study of analytic functions involving complex analysis, algebraic topology, and number theory, centered in canonicity of universal covers. Towards this goal we discuss in a systematic and unified way several examples indicating the main ideas of the proofs and the necessary changes in method for different situations: exponential covers, modular and Shimura curves, Shimura and abelian varieties, and coherent families of smooth covers.Comment: 1 figur

    Maximal Hardy Fields

    Full text link
    We show that all maximal Hardy fields are elementarily equivalent as differential fields, and give various applications of this result and its proof. We also answer some questions on Hardy fields posed by Boshernitzan.Comment: 470 pp. This document is not intended for publication in its current for

    LIPIcs, Volume 274, ESA 2023, Complete Volume

    Get PDF
    LIPIcs, Volume 274, ESA 2023, Complete Volum

    INDIRECT TASK-ORIENTED COMMUNICATION DESIGN FOR CONTROL AND DECISION MAKING IN MULTI-AGENT SYSTEMS

    Get PDF

    LIPIcs, Volume 244, ESA 2022, Complete Volume

    Get PDF
    LIPIcs, Volume 244, ESA 2022, Complete Volum
    • …
    corecore