83 research outputs found
LIPIcs, Volume 251, ITCS 2023, Complete Volume
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
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
LIPIcs, Volume 261, ICALP 2023, Complete Volum
Gold functions and switched cube functions are not 0-extendable in dimension n > 5
In the independent works by Kalgin and Idrisova and by Beierle, Leander and Perrin, it was observed that the Gold APN functions over give rise to a quadratic APN function in dimension 6 having maximum possible linearity of (that is, minimum possible nonlinearity ). In this article, we show that the case of is quite special in the sense that Gold APN functions in dimension cannot be extended to quadratic APN functions in dimension 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 with being a quadratic Boolean function.publishedVersio
Zilber's notion of logically perfect structure: Universal Covers
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
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
LIPIcs, Volume 274, ESA 2023, Complete Volum
LIPIcs, Volume 244, ESA 2022, Complete Volume
LIPIcs, Volume 244, ESA 2022, Complete Volum
- …