Search Results - "Computer programming"

Beginning Programming All-in-One For Dummies, 2nd Edition by Wallace Wang

“…Let there be code!Beginning Programming All-in-One For Dummies offers one guide packed with 7 books to teach you programming across multiple languages. Coding…”
Get full text

AI-Assisted Software Development With GitHub Copilot and ChatGPT: A Guide to Optimizing Developer Productivity in Machine Learning, Data Science, and App and Low Code Development by Noring, Christoffer, Jain, Anjali, Fernandez, Marina, Mutlu, Ayse, Jaokar, Ajit

Get full text

Connected Code: Why Children Need to Learn Programming by Kafai, Yasmin Bettina, Burke, Quinn

“…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,…”
Get full text

Foundations of Probabilistic Logic Programming: Languages, Semantics, Inference and Learning by Riguzzi, Fabrizio

“…Probabilistic Logic Programming extends Logic Programming by enabling the representation of uncertain information by means of probability theory. Probabilistic…”
Get full text

Towards Streamlining Auditing for Compliance With Requirements in Open-Source Software at NASA by Paradis, Carlos, Perez, Ivan, Davies, Misty

“…Context: NASA requires all software to meet several requirements (NPR 7150.2) depending on software criticality. The instantiation of these requirements may…”
Get full text

Behavioural Types: From Theory to Tools by Gay, Simon, Ravara, António

“…Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use of type…”
Get full text

Competition-level code generation with AlphaCode by Li, Yujia, Choi, David, Chung, Junyoung, Kushman, Nate, Schrittwieser, Julian, Leblond, Rémi, Eccles, Tom, Keeling, James, Gimeno, Felix, Dal Lago, Agustin, Hubert, Thomas, Choy, Peter, de Masson d'Autume, Cyprien, Babuschkin, Igor, Chen, Xinyun, Huang, Po-Sen, Welbl, Johannes, Gowal, Sven, Cherepanov, Alexey, Molloy, James, Mankowitz, Daniel J, Sutherland Robson, Esme, Kohli, Pushmeet, de Freitas, Nando, Kavukcuoglu, Koray, Vinyals, Oriol

“…Programming is a powerful and ubiquitous problem-solving tool. Systems that can assist programmers or even generate programs themselves could make programming…”
Get more information

Rust Quick Start Guide: The Easiest Way to Learn Rust Programming by Arbuckle, Daniel

“…Rust is an emerging programming language applicable to areas such as embedded programming, network programming, system programming, and web development. This…”
Get full text

Learning Rxjava: Build Concurrent Applications Using Reactive Programming with the Latest Features of Rxjava 3 by Samoylov, Nick, Nield, Thomas

“…RxJava is a popular library for building asynchronous and event-based applications using observable sequences for the JVM. Learning RxJava addresses all the…”
Get full text

Foundations of Probabilistic Programming by Barthe, Gilles, Katoen, Joost-Pieter, Silva, Alexandra

“…What does a probabilistic program actually compute? How can one formally reason about such probabilistic programs? This valuable guide covers such elementary…”
Get full text

Learn ARCore - fundamentals of Google ARCore: learn to build augmented reality apps for Android, Unity, and the web with Google ARCore 1.0 by Lanham, Micheal

“…Are you a mobile developer or web developer who wants to create immersive and cool Augmented Reality apps with the latest Google ARCore platform? If so, this…”
Get full text

orbitize! v3: Orbit fitting for the High-contrast Imaging Community by Blunt, Sarah, Wang, Jason J, Hirsch, Lea, Tejada, Roberto, Nagpal, Vighnesh, Surti, Tirth Dharmesh, Covarrubias, Sofia, McKenna, Thea, Chávez, Rodrigo Ferrer, Llop-Sayson, Jorge, Arora, Mireya, Chavez, Amanda, Cody, Devin, Choudhary, Saanika, Smith, Adam J R W, Balmer, William, Stolker, Tomas, Gallamore, Hannah, Ó, Clarissa R Do, Nielsen, Eric L, Rosa, Robert J De

“…orbitize! is a package for Bayesian modeling of the orbital parameters of resolved binary objects from time series measurements. It was developed with the…”
Get full text

Design of automotive mechanical automatic transmission system based on torsional vibration reduction by You, Zhuan

“…Automatic transmission system is the core part of vehicle transmission processing, which can improve driving safety. In order to improve the shift effect of…”
Get full text

SRplot: A free online platform for data visualization and graphing by Tang, Doudou, Chen, Mingjie, Huang, Xinhua, Zhang, Guicheng, Zeng, Lin, Zhang, Guangsen, Wu, Shangjie, Wang, Yewei

“…Graphics are widely used to provide summarization of complex data in scientific publications. Although there are many tools available for drawing graphics,…”
Get full text

Programming Languages and Systems: 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

“…The open access book set LNCS 15694 + LNCS 15695 constitutes the proceedings of the 34th European Symposium on Programming, ESOP 2025, which was held as part…”
Get full text

Behavioural Types : From Theory to Tools

“…Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use of type…”
Get full text

Your Code As a Crime Scene, Second Edition: Use Forensic Techniques to Arrest Defects, Bottlenecks, and Bad Design in Your Programs by Tornhill, Adam

Get full text

Psi4 1.4: Open-source software for high-throughput quantum chemistry by Smith, Daniel G A, Burns, Lori A, Simmonett, Andrew C, Parrish, Robert M, Schieber, Matthew C, Galvelis, Raimondas, Kraus, Peter, Kruse, Holger, Di Remigio, Roberto, Alenaizan, Asem, James, Andrew M, Lehtola, Susi, Misiewicz, Jonathon P, Scheurer, Maximilian, Shaw, Robert A, Schriber, Jeffrey B, Xie, Yi, Glick, Zachary L, Sirianni, Dominic A, O'Brien, Joseph Senan, Waldrop, Jonathan M, Kumar, Ashutosh, Hohenstein, Edward G, Pritchard, Benjamin P, Brooks, Bernard R, Schaefer, 3rd, Henry F, Sokolov, Alexander Yu, Patkowski, Konrad, DePrince, 3rd, A Eugene, Bozkaya, Uğur, King, Rollin A, Evangelista, Francesco A, Turney, Justin M, Crawford, T Daniel, Sherrill, C David

“…PSI4 is a free and open-source ab initio electronic structure program providing implementations of Hartree-Fock, density functional theory, many-body…”
Get more information

Pypromice: A Python Package for Processing Automated Weather Station Data by How, Penelope R, Wright, Patrick J, Mankoff, Kenneth D, Vandecrux, Baptiste, Fausto, Robert S, Ahlstrøm, Andreas P

“…The pypromice Python package is for processing and handling observation datasets from automated weather stations (AWS). It is primarily aimed at users of AWS…”
Get full text

Can computational thinking be improved by using a methodology based on metaphors and scratch to teach computer programming to children? by Pérez-Marín, Diana, Hijón-Neira, Raquel, Bacelo, Adrián, Pizarro, Celeste

“…Computational thinking (CT) is a key skill in the 21st century. However, it is not clear which is the most effective way to acquire and improve CT. Big…”
Get full text