11,355 research outputs found
Metadata 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
Building a generalisable ML pipeline at ING
No full textAdvances 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
No full textMachine 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
No full textRoberto 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)
PENGARUH MATOS TERHADAP NILAI KUAT GESER TANAH LEMPUNG DENGAN BERBAGAI NILAI INDEKS PLASTISITAS (PI)
No full textDalam pandangan teknik sipil, tanah merupakan dasar dari suatu struktur atau konstruksi, baik itu konstruksi bangunan maupun konstruksi jalan. Dalam pembangunan
infrastruktur baik gedung maupun jalan raya sering menghadapi kendala berkaitan dengan tanah yang bermasalah. Terjadi beberapa kasus kerusakan tanah yang ada,
misalnya tanah di daerah Sambi Boyolali, daerah Tanon Sragen, daerah Wonokarto Wonogiri, dan tanah di daerah Bayat, Klaten. Oleh karena itu perlu dilakukan perbaikan,
misalnya dengan penambahan bahan stabilisasi Matos.
Pada penelitian ini digunakan variasi campuran Matos 0,1 gram untuk berat tanah 1 kg. Pengujian yang dilakukan adalah uji kadar air, uji specific gravity, uji Atterberg
limits, uji hydrometer, uji analisa saringan, uji standard Proctor, dan uji kuat geser langsung (direct shear test).
Penambahan Matos mengubah klasifikasi tanah daerah Bayat (Klaten) dari A-7-5 menjadi A-5 (AASHTO), MH menjadi ML/OL (USCS). Tanah Tanon (Sragen) dari A-7-6 menjadi A-6 (AASHTO), CH/OH menjadi CL/OL (USCS). Daerah Wonogiri
klasifikasi AASHTO tetap A-7-5, tapi untuk klasifikasi USCS dari CH/OH menjadi MH/OH. Tanah Sambi (Boyolali) dari A-7-6 menjadi A-7-5 (AASHTO), CH menjadi MH/OH (USCS). Uji specific gravity tanah Bayat (Klaten) 2,630 menjadi 2,465. Tanah Tanon (Sragen) 2,600 menjadi 2,439. Tanah Wonogiri 2,640 menjadi 2,555. Tanah Sambi (Boyolali) 2,655 menjadi 2,542. Uji Atterberg limits, untuk batas cair (LL) mengalami
penurunan, lokasi Bayat (Klaten) tanah asli 77,00% tanah campuran Matos 43,10%. Tanah Tanon (Sragen) tanah asli 75,90% tanah campuran 34,40%. Tanah Wonogiri tanah asli 67,50% tanah campuran 57,00%. Tanah Sambi (Boyolali) tanah asli 65,00% menjadi 46,30%. Uji batas plastis (PL), daerah Bayat (Klaten) 50,00% untuk tanah asli, tanah campuran 38,75%. Lokasi Tanon (Sragen) tanah asli 22,50% menjadi 27,00%. Tanah Wonogiri tanah asli 32,18% tanah campuran 30,85%. Tanah Sambi (Boyolali) tanah asli 25,49% tanah campuran 31,45%. Nilai indeks plastisitas (PI) semakin menurun, lokasi Bayat (Klaten) tanah asli 27,00% tanah campuran 3,69%. Tanah Tanon (Sragen) 53,40% menjadi 13,75%. Tanah Wonogiri 35,32% menjadi 26,35%. Sambi (Boyolali) tanah asli 39,51% tanah campuran 14,85%. Uji direct shear test (DST) nilai kohesi dan sudut gesek dalam mengalami peningkatan pada tanah campuran. Lokasi Bayat (Klaten) nilai kohesi tanah asli 20,35 kN/m2 menjadi 41,94 kN/m2. Tanah Tanon (Sragen) tanah asli 8,87 kN/m2 menjadi 20,51 kN/m2. Tanah Wonogiri 13,77 kN/m2 menjadi 72,59 kN/m2. Tanah
Sambi (Boyolali) 25,67 kN/m2 menjadi 34,11 kN/m2. Nilai sudut gesek dalam lokasi Bayat (Klaten) 13,21o menjadi 59,95o. Tanon (Sragen) tanah asli 14,50o menjadi 48,53o.Tanah Wonogiri 27,42o menjadi 39,39o. Tanah Sambi (Boyolali) 16,26o menjadi 40,60o. Dari hasil pengujian, dapat disimpulkan bahwa penggunaan bahan stabilisasi matos
mampu memperbaiki sifat fisis dan mekanis (kuat geser tanah) tanah
Music for classical guitar by South African composers : a historical survey, notes on selected works and a general catalogue
No full textIncludes 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
Assessing Robustness of ML-Based Program Analysis Tools using Metamorphic Program Transformations
No full textMetamorphic testing is a well-established testing technique that has been successfully applied in various domains, including testing deep learning models to assess their robustness against data noise or malicious input. Currently, metamorphic testing approaches for machine learning (ML) models focused on image processing and object recognition tasks. Hence, these approaches cannot be ap- plied to ML targeting program analysis tasks. In this paper, we extend metamorphic testing approaches for ML models targeting software programs. We present Lampion, a novel testing frame- work that applies (semantics preserving) metamorphic transforma- tions on the test datasets. Lampion produces new code snippets equivalent to the original test set but different in their identifiers or syntactic structure. We evaluate Lampion against CodeBERT, a state-of-the-art ML model for Code-To-Text tasks that creates Javadoc summaries for given Java methods. Our results show that simple transformations significantly impact the target model be- havior, providing additional information on the models reasoning apart from the classic performance metric.Software EngineeringSoftware Technolog
PENGARUH MATOS TERHADAP NILAI KONSOLIDASI TANAH LEMPUNG DENGAN BERBAGAI NILAI INDEKS PLASTISITAS
No full textDalam kehidupan sehari hari kita tidak bisa lepas dari komponen tanah, khususnya dalam ilmu keteknik sipilan tanah merupakan komponen paling pokok untuk berdirinya suatu bangunan, jalan raya, atau struktur lain yang berhubungan dengan ilmu ketekniksipilan. Sering kali suatu konstruksi mengalami kerusakan karena permasalahan yang terjadi pada tanah. Permasalahan di sini adalah masalah pada penurunan tanah. Penelitian tentang tanah sangat dibutuhkan untuk mengetahui bagaimana jenis tanah yang baik untuk dijadikan struktur bawah baik sebagai pendukung pondasi bangunan, bahan timbunan tanggul, bendung, dan jalan Pada penelitian ini digunakan variasi campuran Matos 0,1 gram untuk berat tanah 1 kg. Pengujian yang dilakukan adalah uji kadar air, uji specific gravity, uji Atterberg limits, uji hydrometer, uji analisa saringan, uji standard proctor, dan konsolidasi.
Penambahan Matos mengubah klasifikasi tanah daerah Bayat (Klaten) dari A-7-5 menjadi A-5 (AASHTO), MH menjadi ML/OL (USCS). Tanah Tanon (Sragen) dari A-7-6 menjadi A-6 (AASHTO), CH/OH menjadi CL/OL (USCS). Daerah Wonogiri
klasifikasi AASHTO tetap A-7-5, tapi untuk klasifikasi USCS dari CH/OH menjadi MH/OH. Tanah Sambi (Boyolali) dari A-7-6 menjadi A-5 (AASHTO), CH menjadi MH/OH (USCS). Uji specific gravity tanah Bayat (Klaten) 2,630 menjadi 2,465. Tanah
Tanon (Sragen) 2,600 menjadi 2,439. Tanah Wonogiri 2,640 menjadi 2,046. Tanah Sambi (Boyolali) 2,655 menjadi 2,542. Uji Atterberg limits, untuk batas cair (LL) mengalami penurunan, lokasi Bayat (Klaten) tanah asli 77,00% tanah campuran Matos 43,10%. Tanah Tanon (Sragen) tanah asli 75,90% tanah campuran 34,40%. Tanah Wonogiri tanah asli 67,50% tanah campuran 57,00%. Tanah Sambi (Boyolali) tanah asli 65,00% menjadi 46,30%. Uji batas plastis (PL), daerah Bayat (Klaten) 50,00% untuk tanah asli, tanah campuran 38,75%. Lokasi Tanon (Sragen) tanah asli 22,50% menjadi 27,00%. Tanah Wonogiri tanah asli 32,18% tanah campuran 30,85%. Tanah Sambi (Boyolali) tanah asli 25,49% tanah campuran 31,45%. Nilai indeks plastisitas (PI) semakin menurun, lokasi Bayat (Klaten) tanah asli 27,00% tanah campuran 3,69%. Tanah Tanon (Sragen) 53,40% menjadi 13,75%. Tanah Wonogiri 35,32% menjadi 26,35%. Sambi (Boyolali) tanah asli 39,51% tanah campuran 14,85%. Uji konsolidasi menunjukkan prosentase penurunan yang paling efektif di stabilisasi dengan matos yaitu tanah Tanon Sragen dengan
prosentase (96,94%), kemudian tanah Wonokarto Wonogiri dengan prosentase (81,81%), tanah Sambi Boyolali dengan prosentase (93,93%), tanah Bayat Klaten dengan prosentase
(88,23%), dan tanah Wonokarto Wonogiri dengan prosentase (81,81%)
- …
