Results 1 to 10 of about 365,488 (271)
Julia: A Fresh Approach to Numerical Computing [PDF]
SIAM Review, 2014 Bridging cultures that have often been distant, Julia combines expertise from the diverse fields of computer science and computational science to create a new approach to numerical computing.
Jeff Bezanson +3 more
semanticscholar +7 more sources
SymForce: Symbolic Computation and Code Generation for Robotics [PDF]
Robotics: Science and Systems, 2022 We present SymForce, a library for fast symbolic computation, code generation, and nonlinear optimization for robotics applications like computer vision, motion planning, and controls.
Hayk Martiros +15 more
semanticscholar +1 more source
Parameters Determination of PV Cell Using Computation Methods
Journal of Al-Qadisiyah for Computer Science and Mathematics, 2021 This paper describes two algorithms Newton's algorithm and Improved Newton-Horner algorithm for solving non-linear equation of an electrical circuit of a PV cell. In these algorithms, an approximated solution is assumed; then the assumed solution is used
M. Rasheed +3 more
semanticscholar +1 more source
Learning Computer Science Languages in Enki [PDF]
Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education, 2016 This paper presents an overview and main features of Enki, a web-based learning environment for computer science languages. Enki was designed to be a sort of entry level IDE, aggregating tools for navigating and viewing course materials, for solving exercises and receiving automated feedback, as well as promoting the learning process.
Paiva, José Carlos +2 more
openaire +3 more sources
A Computational Science Agenda for Programming Language Research [PDF]
Procedia Computer Science, 2014 AbstractScientific models are often expressed as large and complicated programs. These programs embody numerous assumptions made by the developer (e.g., for differential equations, the discretization strategy and resolution). The complexity and pervasiveness of these assumptionsmeans that often the only true description of the model is the software ...
Dominic Orchard, Andrew Rice
openaire +2 more sources
Sparcl: a language for partially-invertible computation
Journal of functional programming, 2020 Invertibility is a fundamental concept in computer science, with various manifestations in software development (serializer/deserializer, parser/printer, redo/undo, compressor/decompressor, and so on). Full invertibility necessarily requires bijectivity,
Kazutaka Matsuda, Meng Wang
semanticscholar +1 more source
International Conference on Future Networks and Distributed Systems, 2021 This manuscript presents a state of –the –art overview on developing soft computing-based intelligent systems relevant to language education and research to inspire technology-savvy teacher-researchers to create their interactive tools.
Oybek Eshbayev +2 more
semanticscholar +1 more source
ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs [PDF]
Proc. ACM Program. Lang., 2022 Optimizing the expected values of probabilistic processes is a central problem in computer science and its applications, arising in fields ranging from artificial intelligence to operations research to statistical computing.
Alexander K. Lew +3 more
semanticscholar +1 more source
A Foundational View on Integration Problems [PDF]
, 2010 The integration of reasoning and computation services across system and language boundaries is a challenging problem of computer science. In this paper, we use integration for the scenario where we have two systems that we integrate by moving problems ...
A. Asperti +25 more
core +1 more source
Must-have Qualities of Clinical Research on Artificial Intelligence and Machine Learning
Balkan Medical Journal, 2022 In the field of computer science, known as artificial intelligence, algorithms imitate reasoning tasks that are typically performed by humans. The techniques that allow machines to learn and get better at tasks such as recognition and prediction, which ...
B. Koçak +4 more
semanticscholar +1 more source