14,208 research outputs found
Genetic differences in lithium-sodium exchange and regulation of the sodium-hydrogen exchanger in essential hypertension.
No full textMetadata Representations for Queryable ML Model Zoos
No full textMachine learning (ML) practitioners and organizations are building model zoos of pre-trained models, containing metadata describing properties of the ML models and datasets that are useful for reporting, auditing, reproducibility, and interpretability purposes. The metatada is currently not standardised; its expressivity is limited; and there is no interoperable way to store and query it. Consequently, model search, reuse, comparison, and composition are hindered. In this paper, we advocate for standardized ML model metadata representation and management, proposing a toolkit supported to help practitioners manage and query that metadata.Web Information SystemsHuman-Centred Artificial Intelligenc
A Manifesto of Nodalism
No full textThis paper proposes the notion of Nodalism as a means describing contemporary culture and of understanding my own creative practice in electronic music composition. It draws on theories and ideas from Kirby, Bauman, Bourriaud, Deleuze, Guatarri, and Gochenour, to demonstrate how networks of ideas or connectionist neural models of cognitive behaviour can be used to contextualize, understand and become a creative tool for the creation of contemporary electronic music
Optimizing ML Inference Queries Under Constraints
No full textThe proliferation of pre-trained ML models in public Web-based model zoos facilitates the engineering of ML pipelines to address complex inference queries over datasets and streams of unstructured content. Constructing optimal plan for a query is hard, especially when constraints (e.g. accuracy or execution time) must be taken into consideration, and the complexity of the inference query increases. To address this issue, we propose a method for optimizing ML inference queries that selects the most suitable ML models to use, as well as the order in which those models are executed. We formally define the constraint-based ML inference query optimization problem, formulate it as a Mixed Integer Programming (MIP) problem, and develop an optimizer that maximizes accuracy given constraints. This optimizer is capable of navigating a large search space to identify optimal query plans on various model zoos.Green Open Access added to TU Delft Institutional Repository ‘You share, we take care!’ – Taverne project https://www.openaccess.nl/en/you-share-we-take-care Otherwise as indicated in the copyright section: the publisher is the copyright holder of this work and the author uses the Dutch legislation to make this work public.Web Information SystemsHuman-Centred Artificial Intelligenc
Characterization Theorem of 4-valued de Morgan Logic
No full textIn this paper we give an axiom system of a non-linear 4-valued logic which we call a de Morgan logic (ML), whose Lindenbaum algebra is the de Morgan algebra with implication (MI-algebra), and show that
(1) For every MI-algebra L, there is a quotient MI-algebra L^# such that it is embeddable to the simplest 4-valued MI-algebra M = {0, a, b, 1};
(2) The Lindenbaum algebra of ML is the MI-algebra;
(3) The completeness theorem of ML is established;
(4) ML is decidable
How Demanding Should Equality of Opportunity Be, and How Much Have We Achieved?
No full textIn this paper we provide an application-oriented characterization of a class of distance functions monotonically related to the Euclidean distance in terms of some general properties of distance functions between real-valued vectors. Our analysis hinges upon two fundamental properties of distance functions that we call “value-sensitivity” and “order- sensitivity”. We show how these two general properties, combined with natural monotonicity considerations, lead to characterization results that single out several versions of Euclidean distance from the wide class of separable distance functions. We then discuss and motivate our results in two different and apparently unrelated application areas — mobility measurement and spatial voting theory — and propose our characterization as a test for deciding whether Euclidean distance (or some suitable variant) should be used in your favourite application context
Microdevices for Dielectrophoretic Flow-Through Cell Separation
No full textA novel dielectrophoretic cell-separation technique has been developed for the separation of white blood cells. A microdevice was constructed from two consecutive arrays of microelectrodes, one to focus the particles into a sheet and the second to separate them using a combination of positive and negative dielectrophoresis. At a flow rate of 1 ml/hour, experiments showed that THP-1 cells were captured on the electrode array. The experimental results were compared with a 2-D numerical simulation of the particle dynamics. The device is shown to be effective at fractionating subpopulations of cells into different bands along the array
The Edvâr of Demetrius Cantemir: recent publications
No full textThis review concerns the musical works of Demetrius Cantemir (1673-1723). In particular, it concerns recent studies in ethnomusicology of his famous treatise
(Edvâr), a work that was compiled by the author (c.1700) while mostly resident as a Moldavian dignitary in Istanbul between 1688 and 1710. Consisting of theoretical writings and musical compositions, the treatise represents an important development in Turkish music, showing a contemporary interest in empirical approaches to music
theory and manifesting a related concern for precise transcription in music notation. In this respect, the treatise discloses a number of distinctive cultural strands, a tangible expression of the cosmopolitan music scene in Istanbul where a Greek influence upon Turkish music is especially apparent in the realms of theoretical
discourse and performance practice
Jean During. La musique traditionnelle de I'Azerbayjan et la science des muqâms [Book Review]
No full textLa musique traditionnelle de I'Azerbayjan et la science des muqâms is a valuable contribution to the literature on Islamic music theory. During presents a comprehensive description of Azeri modal theory, compares it with neighbouring musical theories, and finds a connection between contemporary Azeri muqâmlar and the medieval treatises of Safi al-Din and others. His musicological framework implicitly suggests the existence of a distinct Azeri muqâm ("mode," pl., muqamlâr) tradition that is firmly allied to Iran by virtue of historical and religious ties and separated from an Arabic and Turkish musical heritage. Employing a cross-cultural methodology, the author uses Azeri muqâm as the cornerstone of a sophisticated musicological comparison of theoretical practices in the context of Islamic music
- …
