190 research outputs found
LIPIcs, Volume 251, ITCS 2023, Complete Volume
LIPIcs, Volume 251, ITCS 2023, Complete Volum
Workshop Proceedings of the 12th edition of the KONVENS conference
The 2014 issue of KONVENS is even more a forum for exchange: its main topic is the interaction between Computational Linguistics and Information Science, and the synergies such interaction, cooperation and integrated views can produce. This topic at the crossroads of different research traditions which deal with natural language as a container of knowledge, and with methods to extract and manage knowledge that is linguistically represented is close to the heart of many researchers at the Institut fĂŒr Informationswissenschaft und Sprachtechnologie of UniversitĂ€t Hildesheim: it has long been one of the instituteâs research topics, and it has received even more attention over the last few years
Computer Aided Verification
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book
Electronic Evidence and Electronic Signatures
In this updated edition of the well-established practitioner text, Stephen Mason and Daniel Seng have brought together a team of experts in the field to provide an exhaustive treatment of electronic evidence and electronic signatures. This fifth edition continues to follow the tradition in English evidence text books by basing the text on the law of England and Wales, with appropriate citations of relevant case law and legislation from other jurisdictions. Stephen Mason (of the Middle Temple, Barrister) is a leading authority on electronic evidence and electronic signatures, having advised global corporations and governments on these topics. He is also the editor of International Electronic Evidence (British Institute of International and Comparative Law 2008), and he founded the innovative international open access journal Digital Evidence and Electronic Signatures Law Review in 2004. Daniel Seng (Associate Professor, National University of Singapore) is the Director of the Centre for Technology, Robotics, AI and the Law (TRAIL). He teaches and researches information technology law and evidence law. Daniel was previously a partner and head of the technology practice at Messrs Rajah & Tann. He is also an active consultant to the World Intellectual Property Organization, where he has researched, delivered papers and published monographs on copyright exceptions for academic institutions, music copyright in the Asia Pacific and the liability of Internet intermediaries
Re/constructing Computing Experiences. From "punch girls" in the 1940s to "computer boys" in the 1980s.
Re/constructing computing experiences from âpunch girlsâ to âcomputer boysâ traces the life cycle of five computing devices between the 1940s and the 1980s, each representing a key development in the history of computing. The experimental media archaeology framework of Nutzerperspektiven critically evaluates the type of user sources re/construct. The objectâs life cycle traces phases of design, production, sale, installation, application and use, and decommission or re-use. The lens of intersectionality with a focus on gender facilitates (visual) discourse analysis of advertisements to expose stereotypes. User experiences differ because inequalities in computing have at times resulted in occupational segregation, and working conditions varied across case studies.
Computing experiences encompass the object, the environment, and application, and a user, serving as a structure for the case studies. The first case study discusses the accounting departments of Helena Rubinstein which used Remington Rand, and later Powers-Samas, punch card machinery since 1940. Miss Summerell led the Powers room in the London branch from 1955 onward. The second case study centers around a workflow Dr. E. Blatt created for the International Business Machines (IBM) System/360 announced in 1964 used in German clinical chemistry laboratories since 1969. The Digital Equipment Companyâs client applications slides form the basis of the next case study and showed several uses of the Programmable Data Processor or PDP-11 in aerospace and commercial aircraft between 1970 and 1980. The final chapter compares
two educational initiatives from the 1980s. By 1981 the BBC Microcomputer kickstarted the Computer Literacy project in the United Kingdom, first targeting adults but soon entering primary and secondary schools. Appleâs Kids Canât Wait initiative in the United States equally introduced many children to computing.
Methods from user experience (UX) design and experimental media archaeology supported the re/construction or reenactment of past human-computer interaction. As a study of material culture, the historical case studies were informed by museum objects paired with additional archival sources. The research added phases to the life cycle framework and paired a reflection on the provenance of material objects with a focus on human actors. The case studies in turn demonstrated how sources limited the type of user and computing experiences historians can re/construct
Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design â FMCAD 2022
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing
On the role of Computational Logic in Data Science: representing, learning, reasoning, and explaining knowledge
In this thesis we discuss in what ways computational logic (CL) and data science (DS) can jointly contribute to the management of knowledge within the scope of modern and future artificial intelligence (AI), and how technically-sound software technologies can be realised along the path. An agent-oriented mindset permeates the whole discussion, by stressing pivotal role of autonomous agents in exploiting both means to reach higher degrees of intelligence. Accordingly, the goals of this thesis are manifold. First, we elicit the analogies and differences among CL and DS, hence looking for possible synergies and complementarities along 4 major knowledge-related dimensions, namely representation, acquisition (a.k.a. learning), inference (a.k.a. reasoning), and explanation. In this regard, we propose a conceptual framework through which bridges these disciplines can be described and designed. We then survey the current state of the art of AI technologies, w.r.t. their capability to support bridging CL and DS in practice. After detecting lacks and opportunities, we propose the notion of logic ecosystem as the new conceptual, architectural, and technological solution supporting the incremental integration of symbolic and sub-symbolic AI. Finally, we discuss how our notion of logic ecosys-
tem can be reified into actual software technology and extended towards many DS-related directions
Proceedings of the 19th Sound and Music Computing Conference
Proceedings of the 19th Sound and Music Computing Conference - June 5-12, 2022 - Saint-Ătienne (France).
https://smc22.grame.f
- âŠ