9,926 research outputs found
Metadata Representations for Queryable ML Model Zoos
Machine 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
This 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
The 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
A MuDDy Experience-ML Bindings to a BDD Library
Binary Decision Diagrams (BDDs) are a data structure used to efficiently represent boolean expressions on canonical form. BDDs are often the core data structure in model checkers. MuDDy is an ML interface (both for Standard ML and Objective Caml) to the BDD package BuDDy that is written in C. This combination of an ML interface to a high-performance C library is surprisingly fruitful. ML allows you to quickly experiment with high-level symbolic algorithms before handing over the grunt work to the C library. I show how, with a relatively little effort, you can make a domain specific language for concurrent finite state-machines embedded in Standard ML and then write various custom model-checking algorithms for this domain specific embedded language (DSEL)
A MuDDy Experience-ML Bindings To A BDD Library
Abstract. Binary Decision Diagrams (BDDs) are a data structure used to efficiently represent boolean expressions on canonical form. BDDs are often the core data structure in model checkers. MuDDy is an ML interface (both for Standard ML and Objective Caml) to the BDD package BuDDy that is written in C. This combination of an ML interface to a high-performance C library is surprisingly fruitful. ML allows you to quickly experiment with high-level symbolic algorithms before handing over the grunt work to the C library. I show how, with a relatively little effort, you can make a domain specific language for concurrent finite state-machines embedded in Standard ML and then write various custom model-checking algorithms for this domain specific embedded language (DSEL)
Murine c-erbB2: an oncogene that could be a target for vaccination therapy? : and the effect of HER2/c-erbB2/NeuT expression on cell signaling and milk protein formation in mouse mammary epithelial cells
ErbB2 is an orphan receptor tyrosine kinase which can dimerize with other ligand-activated
members of the EGF receptor family to signal in pathways inducing cell proliferation.
Frequently overexpressed in breast cancer and other human cancers, homologs of ErbB2 are
oncogenes in different animal species which have been studied for their contribution to the
development of carcinomas.
The first part of this project was aimed at developing a method for vaccination of
mouse, so that a transplanted tumor expressing the endogenous mouse c-erbB2 would be
rejected. Initially, it was necessary to prepare a functional expression clone of mouse cerbB2.
Then the question of how to break the natural tolerance against an immune response
against the self-antigen, mouse c-erbB2, had to be approached. Several protocols were
attempted as described below, but I was unsuccessful in obtaining the intended protective
effect against transplanted tumor.
In the second part of this work, we have examined phenotypes induced by several
ErbB2 homologs in Line 31E mouse mammary epithelial cells which are capable of
differentiation in vitro to undergo dome formation and to produce milk protein in response to
lactogenic hormones. Included in this comparative study are the functional clone of the mouse
proto-oncogene c-erbB2, a human homolog overexpressed in breast cancer, HER2, and the
mutated rat homolog, NeuT, which is known to be oncogenic.
Line 31E mammary epithelial cells were infected with retroviral pBabepuro constructs
of the different ErbB2 homologs. Typical features of epithelial intercellular organization,
such as density of tight junctions and dome formation, were disturbed by ErbB2 expression.
While a dominant negative mutant of HER2 had no effect on the epithelial cells, both
transepithelial monolayer resistance and dome formation were reduced by all three of the
functional ErbB2 homologs, most dramatically by NeuT. While expression of both the mouse
proto-oncogene c-erbB2 and HER2 resulted in significant inhibition of β-casein mRNA and
protein levels after lactogenic hormone treatment, NeuT completely abrogated β-casein
production and caused oncogenic transformation as evidenced by large colonies in soft agar
and Matrigel suspension culture. While the cells expressing the homologs remain acutely
responsive to EGF ligand in terms of Akt/PKB, ERK 1/2 and PKCα phosphorylation, an
elevated basal phosphorylation in the absence of ligand was not apparent for PKCα
Building a generalisable ML pipeline at ING
Advances in data science have caused an increase in the use of Artificial Intelligence (AI), specifically Machine Learning (ML), throughout various fields. Not only in research but in the industry as well, has ML been receiving increasing amounts of interest. Many companies rely on ML models to increase the efficiency of existing processes or offer new services and products. The industry, however, is facing several additional challenges compared to the academic context. One of those challenges is applying the Development Operations (DevOps) model to an ML application, also referred to as MLOps. This thesis sets out to find the specific challenges that practitioners encounter while operationalising ML models. To do so, we perform a single-case case study on an ML pipeline built by the Trade & Communication Surveillance team at the ING bank. This case study consists of conducting a set of interviews and performing a manual code inspection of the pipeline. The team faces challenges ranging from having insufficient time for operationalising each ML project individually to operating in the highlyregulated fintech context. Their pipeline is able to deploy a single ML model but it does not generalise well to other projects. We present the first version of an application that mitigates these challenges. The application is able to deploy ML models to the development environment at ING and can be operated by data scientists to reduce the effort of operationalising an ML model. Computer Science | Software Technolog
'Project smells' - Experiences in Analysing the Software Quality of ML Projects with mllint
Machine Learning (ML) projects incur novel challenges in their development and productionisation over traditional software applications, though established principles and best practices in ensuring the project's software quality still apply. While using static analysis to catch code smells has been shown to improve software quality attributes, it is only a small piece of the software quality puzzle, especially in the case of ML projects given their additional challenges and lower degree of Software Engineering (SE) experience in the data scientists that develop them. We introduce the novel concept of project smells which consider deficits in project management as a more holistic perspective on software quality in ML projects. An open-source static analysis tool mllint was also implemented to help detect and mitigate these. Our research evaluates this novel concept of project smells in the industrial context of ING, a global bank and large software- and data-intensive organisation. We also investigate the perceived importance of these project smells for proof-of-concept versus production-ready ML projects, as well as the perceived obstructions and benefits to using static analysis tools such as mllint. Our findings indicate a need for context-aware static analysis tools, that fit the needs of the project at its current stage of development, while requiring minimal configuration effort from the user. 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.Software EngineeringSoftware Technolog
Audiomobiles, Sculptures and Conundrums
Roberto Gerhard was a pioneer of electronic music in England creating a number of substantial concert, theatre and radio works from as early as 1954. Gerhard’s electronic music is one of the richest repositories for understanding the development of the composer’s late compositional technique. Apart from the Symphony no.3, ‘Collages’, none of Gerhard’s electronic music is published. This paper will discuss aspects of Gerhard’s electronic music, focusing on Audiomobiles (1958-59) and Sculptures (1963)
Music for classical guitar by South African composers : a historical survey, notes on selected works and a general catalogue
Includes abstract.Includes bibliographical references (leaves 296-309).This is the first comprehensive investigation of music for, or including, the classical guitar by South African composers. The focus of this research has been, firstly, to uncover as much of the repertoire as possible, and, secondly, to collate, study, catalogue and report on the information. A brief historical survey of the guitar in South Africa provides the context within which this study was conducted. The primary sources of quantitative data collection were through the archival catalogues of the South African Music Rights Organisation and through personal contact with guitarists, composers and guitar teachers. Other sources consulted were publishers, broadcasting corporations, recording companies, libraries and the internet. The body of the dissertation comprises biographical sketches, background notes, analyses and technical notes on 17 selected solo and chamber works dating from 1947 to 2007 by some of South Africa's most prominent composers and guitaristcomposers. The repertoire ranges in style from the traditional and ethnically inspired to the experimental and abstract. As this is an empirical survey, each selected entry includes details on instrumentation, duration, level of difficulty, number of pages, scordatura, commissions or requests, sources or publishers, premières and recordings. A biography of each composer is provided as well as background notes which offer an overview of the selected work. The notes discuss historical, cultural, musical and extra-musical influences, and frequently include references to interview material. The commentaries on the selected works, with musical examples, include an analytical component describing structure, form, stylistic and compositional elements, while the technical observations include performance suggestions and a grading for each work
- …
