Computability Theory

Computability is one of the fundamental notions of mathematics, trying to capture the effective content of mathematics. Starting from Gödel’s Incompleteness Theorem, it has now blossomed into a rich area with strong connections with other areas of mathematical logic as well as algebra and theoretical computer science

University of San Diego News Print Media Coverage 2006.01

Printed clippings housed in folders with a table of contents arranged by topic.https://digital.sandiego.edu/print-media/1036/thumbnail.jp

University of San Diego News Print Media Coverage 2007.10

Printed clippings housed in folders with a table of contents arranged by topic.https://digital.sandiego.edu/print-media/1057/thumbnail.jp

Interior Materiality

The knowledge of materials and finishes is the bridge that links conceptual design to real-world application. It is among the core content of virtually all interior architecture/design curricula, moreover, access to up-to-date information on emerging technologies and trends is a key exigency for the contemporary designer. Accordingly, this book is authored to form a comprehensive resource for the “hows” and “whys” surrounding the functional and aesthetic contributions of a wide selection of materials and finishes used in multiple spatial design contexts. The knowledge base presented here is not only useful in shaping spatial experience, ensuring occupant well-being, and employing sustainable thinking but also beneficial in managing budget and schedule while enabling the delivery of top-quality work. The book investigates fundamental material properties, performance criteria, as well as sector-specific standards, regulations, and guidelines, with a special focus on concerns surrounding occupant health and safety as well as environmental impact and sustainability concerns. Furthermore, fabrication, installation, and maintenance issues were explored in detail. Various information collection and organization conventions are also discussed with regard to detailing, specification, estimation, and documentation of materials and finishes. The goals of the book can be listed as follows: ● Developing a vocabulary and knowledge base to comprehend and communicate concepts and paradigms associated with the history, classification, manufacturing, evaluation, fabrication, installation, and maintenance of materials and finishes. ● Identifying a broad range of materials and finishes, considering their aesthetic and performance properties, and understanding their utilization with regard to creative design intent, client expectations and requirements, user needs and experience, and incorporating life cycle implications. ● Providing a basis for achieving physical and psychological well-being for occupants, understanding the impact of changing social, cultural, economic, and ecological context, and eliminating negative environmental and social outcomes.https://newprairiepress.org/ebooks/1042/thumbnail.jp

Cultural Context-Aware Models and IT Applications for the Exploitation of Musical Heritage

Information engineering has always expanded its scope by inspiring innovation in different scientific disciplines. In particular, in the last sixty years, music and engineering have forged a strong connection in the discipline known as “Sound and Music Computing”. Musical heritage is a paradigmatic case that includes several multi-faceted cultural artefacts and traditions. Several issues arise from the analog-digital transfer of cultural objects, concerning their creation, preservation, access, analysis and experiencing. The keystone is the relationship of these digitized cultural objects with their carrier and cultural context. The terms “cultural context” and “cultural context awareness” are delineated, alongside the concepts of contextual information and metadata. Since they maintain the integrity of the object, its meaning and cultural context, their role is critical. This thesis explores three main case studies concerning historical audio recordings and ancient musical instruments, aiming to delineate models to preserve, analyze, access and experience the digital versions of these three prominent examples of musical heritage. The first case study concerns analog magnetic tapes, and, in particular, tape music, a particular experimental music born in the second half of the XX century. This case study has relevant implications from the musicology, philology and archivists’ points of view, since the carrier has a paramount role and the tight connection with its content can easily break during the digitization process or the access phase. With the aim to help musicologists and audio technicians in their work, several tools based on Artificial Intelligence are evaluated in tasks such as the discontinuity detection and equalization recognition. By considering the peculiarities of tape music, the philological problem of stemmatics in digitized audio documents is tackled: an algorithm based on phylogenetic techniques is proposed and assessed, confirming the suitability of these techniques for this task. Then, a methodology for a historically faithful access to digitized tape music recordings is introduced, by considering contextual information and its relationship with the carrier and the replay device. Based on this methodology, an Android app which virtualizes a tape recorder is presented, together with its assessment. Furthermore, two web applications are proposed to faithfully experience digitized 78 rpm discs and magnetic tape recordings, respectively. Finally, a prototype of web application for musicological analysis is presented. This aims to concentrate relevant part of the knowledge acquired in this work into a single interface. The second case study is a corpus of Arab-Andalusian music, suitable for computational research, which opens new opportunities to musicological studies by applying data-driven analysis. The description of the corpus is based on the five criteria formalized in the CompMusic project of the University Pompeu Fabra of Barcelona: purpose, coverage, completeness, quality and re-usability. Four Jupyter notebooks were developed with the aim to provide a useful tool for computational musicologists for analyzing and using data and metadata of such corpus. The third case study concerns an exceptional historical musical instrument: an ancient Pan flute exhibited at the Museum of Archaeological Sciences and Art of the University of Padova. The final objective was the creation of a multimedia installation to valorize this precious artifact and to allow visitors to interact with the archaeological find and to learn its history. The case study provided the opportunity to study a methodology suitable for the valorization of this ancient musical instrument, but also extendible to other artifacts or museum collections. Both the methodology and the resulting multimedia installation are presented, followed by the assessment carried out by a multidisciplinary group of experts

Winona Daily News

https://openriver.winona.edu/winonadailynews/2258/thumbnail.jp