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

“…<![CDATA[Speed up your development processes and improve your productivity by writing practical and relevant prompts to build web applications and Machine…”
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

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

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

Introduction to Algorithms - A Comprehensive Guide for Beginners - Unlocking Computational Thinking by LLC Cuantum Technologies

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

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 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

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

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

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

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

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

Constitution of Algorithms by Jaton, Florian, Bowker, Geoffrey C

“…Algorithms-often associated with the terms big data, machine learning, or artificial intelligence-underlie the technologies we use every day, and disputes over…”
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

Basics of Python Programming: A Quick Guide for Beginners by Mohbey, Krishna Kumar, Acharya, Malika

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

Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II by Platzer, Andre, Rozier, Kristin Yvonne, Pradella, Matteo, Rossi, Matteo

“…The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took…”
Get full text