Proceedings of the 1st International Conference on Live Coding

Open Access peer reviewed papers on live coding published at the 1st International Conference on Live Coding (ICLC) in Leeds

Proof and Proving in Mathematics Education

undefine

Sounding Off: Folksong, Poetry, and Other Cognitive Dissonance from the American War in Vietnam

Among works treating Vietnam War history, few mention and none address extensively the folk culture that American and Vietnamese military forces produced. To bridge gaps between traditional and cultural primary sources, this study examines folk culture that the historiography has neglected: graffiti, folksongs, and poetry. Most were conceived and produced in-country, near in time to specific wartime experiences and their consequent emotions, thus lending them an emotional relevance and chronological proximity to Vietnam War history few other primary sources can boast. Graffiti, songs, and poems derived from specific historical contexts, registering social commentary and chronicling the cognitive dissonance that arose among combatants when their coveted, long-held, patriotic mythologies collided with wartime realities. These sources document the Vietnam War’s “inner-history”—the emotions, beliefs, concerns, and emotions of particular individuals, many of whom find voice virtually nowhere else in the historiographical canon. What folk culture lacks in terms of scope and scale vis-à-vis traditional sources, it abounds with in physical description, emotional narration, honesty, and transparency. Its value to historical inquiry lies in its tendency to pull no punches—ever. It animates and humanizes the personal histories of specific individuals while conveying historical truths concerning millions of anonymous masses who made up the Vietnam War’s cast of characters and who should always inhabit and animate its stories, giving voice to many who the bulk of the war’s historical record has previously overlooked

Artificial general intelligence: Proceedings of the Second Conference on Artificial General Intelligence, AGI 2009, Arlington, Virginia, USA, March 6-9, 2009

Artificial General Intelligence (AGI) research focuses on the original and ultimate goal of AI – to create broad human-like and transhuman intelligence, by exploring all available paths, including theoretical and experimental computer science, cognitive science, neuroscience, and innovative interdisciplinary methodologies. Due to the difficulty of this task, for the last few decades the majority of AI researchers have focused on what has been called narrow AI – the production of AI systems displaying intelligence regarding specific, highly constrained tasks. In recent years, however, more and more researchers have recognized the necessity – and feasibility – of returning to the original goals of the field. Increasingly, there is a call for a transition back to confronting the more difficult issues of human level intelligence and more broadly artificial general intelligence

Cone Penetration Testing 2022

This volume contains the proceedings of the 5th International Symposium on Cone Penetration Testing (CPT’22), held in Bologna, Italy, 8-10 June 2022. More than 500 authors - academics, researchers, practitioners and manufacturers – contributed to the peer-reviewed papers included in this book, which includes three keynote lectures, four invited lectures and 169 technical papers. The contributions provide a full picture of the current knowledge and major trends in CPT research and development, with respect to innovations in instrumentation, latest advances in data interpretation, and emerging fields of CPT application. The paper topics encompass three well-established topic categories typically addressed in CPT events: - Equipment and Procedures - Data Interpretation - Applications. Emphasis is placed on the use of statistical approaches and innovative numerical strategies for CPT data interpretation, liquefaction studies, application of CPT to offshore engineering, comparative studies between CPT and other in-situ tests. Cone Penetration Testing 2022 contains a wealth of information that could be useful for researchers, practitioners and all those working in the broad and dynamic field of cone penetration testing

Eleventh International Conference on the Bearing Capacity of Roads, Railways and Airfields

Innovations in Road, Railway and Airfield Bearing Capacity – Volume 2 comprises the second part of contributions to the 11th International Conference on Bearing Capacity of Roads, Railways and Airfields (2022). In anticipation of the event, it unveils state-of-the-art information and research on the latest policies, traffic loading measurements, in-situ measurements and condition surveys, functional testing, deflection measurement evaluation, structural performance prediction for pavements and tracks, new construction and rehabilitation design systems, frost affected areas, drainage and environmental effects, reinforcement, traditional and recycled materials, full scale testing and on case histories of road, railways and airfields. This edited work is intended for a global audience of road, railway and airfield engineers, researchers and consultants, as well as building and maintenance companies looking to further upgrade their practices in the field

Perspectives on European Earthquake Engineering and Seismology: Volume 2

Geotechnical Engineering & Applied Earth Science

24th International Conference on Information Modelling and Knowledge Bases

In the last three decades information modelling and knowledge bases have become essentially important subjects not only in academic communities related to information systems and computer science but also in the business area where information technology is applied. The series of European – Japanese Conference on Information Modelling and Knowledge Bases (EJC) originally started as a co-operation initiative between Japan and Finland in 1982. The practical operations were then organised by professor Ohsuga in Japan and professors Hannu Kangassalo and Hannu Jaakkola in Finland (Nordic countries). Geographical scope has expanded to cover Europe and also other countries. Workshop characteristic - discussion, enough time for presentations and limited number of participants (50) / papers (30) - is typical for the conference. Suggested topics include, but are not limited to: 1. Conceptual modelling: Modelling and specification languages; Domain-specific conceptual modelling; Concepts, concept theories and ontologies; Conceptual modelling of large and heterogeneous systems; Conceptual modelling of spatial, temporal and biological data; Methods for developing, validating and communicating conceptual models. 2. Knowledge and information modelling and discovery: Knowledge discovery, knowledge representation and knowledge management; Advanced data mining and analysis methods; Conceptions of knowledge and information; Modelling information requirements; Intelligent information systems; Information recognition and information modelling. 3. Linguistic modelling: Models of HCI; Information delivery to users; Intelligent informal querying; Linguistic foundation of information and knowledge; Fuzzy linguistic models; Philosophical and linguistic foundations of conceptual models. 4. Cross-cultural communication and social computing: Cross-cultural support systems; Integration, evolution and migration of systems; Collaborative societies; Multicultural web-based software systems; Intercultural collaboration and support systems; Social computing, behavioral modeling and prediction. 5. Environmental modelling and engineering: Environmental information systems (architecture); Spatial, temporal and observational information systems; Large-scale environmental systems; Collaborative knowledge base systems; Agent concepts and conceptualisation; Hazard prediction, prevention and steering systems. 6. Multimedia data modelling and systems: Modelling multimedia information and knowledge; Contentbased multimedia data management; Content-based multimedia retrieval; Privacy and context enhancing technologies; Semantics and pragmatics of multimedia data; Metadata for multimedia information systems. Overall we received 56 submissions. After careful evaluation, 16 papers have been selected as long paper, 17 papers as short papers, 5 papers as position papers, and 3 papers for presentation of perspective challenges. We thank all colleagues for their support of this issue of the EJC conference, especially the program committee, the organising committee, and the programme coordination team. The long and the short papers presented in the conference are revised after the conference and published in the Series of “Frontiers in Artificial Intelligence” by IOS Press (Amsterdam). The books “Information Modelling and Knowledge Bases” are edited by the Editing Committee of the conference. We believe that the conference will be productive and fruitful in the advance of research and application of information modelling and knowledge bases. Bernhard Thalheim Hannu Jaakkola Yasushi Kiyok

NASA Tech Briefs, Fall 1979

Topics include: NASA TU Services: Technology Utilization services that can assist you in learning about and applying NASA technology; New Product Ideas: A summary of selected innovations of value to manufacturers for the development of new products; Electronic Components and Circuits; Electronic Systems; Physical Sciences; Materials; Life Sciences; Mechanics; Machinery; Fabrication Technology; Mathematics and Information Sciences

J-PARC Neutrino Beamline Upgrade Technical Design Report

In this document, technical details of the upgrade plan of the J-PARC neutrino beamline for the extension of the T2K experiment are described. T2K has proposed to accumulate data corresponding to $2\times{}10^{22}$ protons-on-target in the next decade, aiming at an initial observation of CP violation with $3\sigma$ or higher significance in the case of maximal CP violation. Methods to increase the neutrino beam intensity, which are necessary to achieve the proposed data increase, are described