Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use of type systems to describe data processing. A major ...example of such a property is correctness of communication in concurrent and distributed systems, motivated by the importance of structured communication in modern software. Behavioural Types: from Theory to Tools presents programming languages and software tools produced by members of COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems, a European research network that was funded from October 2012 to October 2016. As a survey of the most recent developments in the application of behavioural type systems, it is a valuable reference for researchers in the field, as well as an introduction to the area for graduate students and software developers.
Los procesos de enseñanza-aprendizaje, hoy en día requieren de soportes pedagógicos que le permitan al docente generar un espacio de interacción real desde el aula, para el estudiante con su carrera; ...la formación de profesionales en ciencias de la tierra o de ingeniería, debe estar acompañada de la enseñanza de programación de computadoras, utilizando lenguajes de alto nivel, de descarga gratuita y de código abierto, como recurso aplicado a la solución de problemas específicos, presentados en la estabilidad de taludes. Aquí se muestra un aplicativo en Python para calcular y graficar el factor de seguridad de un talud, a través de una Interfaz Gráfica de Usuario (IGU), insertando: librerías, variables, funciones y widgets propias de este lenguaje. El factor de seguridad obtenido por el aplicativo es de 1.26, que coincide con el obtenido por el procedimiento manual, la coordenada que grafica el factor de seguridad (Fs), para determinar su sensibilidad, en función de la altura recíproca del talud (H-1) sobre la recta será de (0.005, 1.26), y la coordenada de corte será de (0,0.8).
Coding, once considered an arcane craft practiced by solitary techies, is now recognized by educators and theorists as a crucial skill, even a new literacy, for all children. Programming is often ...promoted in K-12 schools as a way to encourage "computational thinking" -- which has now become the umbrella term for understanding what computer science has to contribute to reasoning and communicating in an ever-increasingly digital world.InConnected Code,Yasmin Kafai and Quinn Burke argue that although computational thinking represents an excellent starting point, the broader conception of "computational participation" better captures the twenty-first-century reality. Computational participation moves beyond the individual to focus on wider social networks and a DIY culture of digital "making." Kafai and Burke describe contemporary examples of computational participation: students who code not for the sake of coding but to create games, stories, and animations to share; the emergence of youth programming communities; the practices and ethical challenges of remixing (rather than starting from scratch); and the move beyond stationary screens to programmable toys, tools, and textiles.
Probabilistic Logic Programming extends Logic Programming by enabling the representation of uncertain information by means of probability theory. Probabilistic Logic Programming is at the ...intersection of two wider research fields: the integration of logic and probability and Probabilistic Programming.
Logic enables the representation of complex relations among entities while probability theory is useful for model uncertainty over attributes and relations. Combining the two is a very active field of study.
Probabilistic Programming extends programming languages with probabilistic primitives that can be used to write complex probabilistic models. Algorithms for the inference and learning tasks are then provided automatically by the system.
Probabilistic Logic programming is at the same time a logic language, with its knowledge representation capabilities, and a Turing complete language, with its computation capabilities, thus providing the best of both worlds.
Since its birth, the field of Probabilistic Logic Programming has seen a steady increase of activity, with many proposals for languages and algorithms for inference and learning. Foundations of Probabilistic Logic Programming aims at providing an overview of the field with a special emphasis on languages under the Distribution Semantics, one of the most influential approaches. The book presents the main ideas for semantics, inference, and learning and highlights connections between the methods.
Many examples of the book include a link to a page of the web application http://cplint.eu where the code can be run online.
This open access book constitutes the proceedings of the 32nd European Symposium on Programming, ESOP 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint ...Conferences on Theory and Practice of Software, ETAPS 2023. The 20 regular papers presented in this volume were carefully reviewed and selected from 55 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
C++ is a powerful, much sought after programming language, but can be daunting to work with, even for engineering professionals. Why is this book so useful? Have you ever wondered: how do keywords ...like static and virtual change their meanings according to context? What are the similarities and differences between pointers and references, pointers and arrays, constructors and copy constructors, nested and local inner classes? Why is multiple interface inheritance seen to be beautiful but multiple implementation inheritance considered evil? When is polymorphism static or dynamic, bounded or unbounded? Answers on these questions, and much more, are explained in this book, 'Cybernetics in C++.'
Programming and Computational Thinking in Technology Education: Swedish and International Perspectives outlines the background to and current implementation of programming and computational thinking ...in a Swedish school technology setting, in relation to international contexts.
Automatic transmission system is the core part of vehicle transmission processing, which can improve driving safety. In order to improve the shift effect of automotive automatic mechanical ...transmission and narrow the gap between the vehicle speed and the expected speed, an automotive automatic mechanical transmission system based on torsional damping was designed in the experiment. On the basis of hardware composed of different modules and fuzzy control algorithm, the system realizes the software design of vehicle automatic mechanical transmission system. The experimental results show that when the system is applied in practice, the gear selection time of the vehicle is between 0.2 s-0.3 s, and the gear shift time is between 0.3 s-0.4 s. The gap between the vehicle speed and the expected speed, and between the vehicle speed and the expected speed is small. The practical application effect is good.
Competition-level code generation with AlphaCode Li, Yujia; Choi, David; Chung, Junyoung ...
Science (American Association for the Advancement of Science),
12/2022, Letnik:
378, Številka:
6624
Journal Article
Recenzirano
Odprti dostop
Programming is a powerful and ubiquitous problem-solving tool. Systems that can assist programmers or even generate programs themselves could make programming more productive and accessible. Recent ...transformer-based neural network models show impressive code generation abilities yet still perform poorly on more complex tasks requiring problem-solving skills, such as competitive programming problems. Here, we introduce AlphaCode, a system for code generation that achieved an average ranking in the top 54.3% in simulated evaluations on recent programming competitions on the Codeforces platform. AlphaCode solves problems by generating millions of diverse programs using specially trained transformer-based networks and then filtering and clustering those programs to a maximum of just 10 submissions. This result marks the first time an artificial intelligence system has performed competitively in programming competitions.
Algorithms-often associated with the terms big data, machine learning, or artificial intelligence-underlie the technologies we use every day, and disputes over the consequences, actual or potential, ...of new algorithms arise regularly. In this book, Florian Jaton offers a new way to study computerised methods, providing an account of where algorithms come from and how they are constituted, investigating the practical activities by which algorithms are progressively assembled rather than what they may suggest or require once they are assembled. Series Overview: Inside Technology combines the traditional strengths of the history of technology with the methodology and insights gained in the sociology of scientific knowledge, and thus provides a deeper understanding of the social processes underlying technology. A crucial aspect of the series is the absence of both disciplinary and theoretical agendas. Because of the multifaceted nature of technology, insights from a variety of disciplines are vital to understanding the content and context of technology-engineering, the natural sciences, history, sociology, economics, political science, and anthropology. It does not promote any single conceptual framework over another; rather the goal is to stimulate a variety of perspectives that address the social shaping of technology.
