Results 1 to 10 of about 2,279,332 (298)
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
Logic as an internal organisation of language [PDF]
\v{C}ulina, Boris (2024). Logic as an internal organisation of
language. Science and Philosophy 12 (1):62-71, 2021 Contemporary semantic description of logic is based on the ontology of all possible interpretations, an insufficiently clear metaphysical concept. In this article, logic is described as the internal organization of language. Logical concepts -- logical constants, logical truths and logical consequence -- are defined using the internal syntactic and ...
arxiv +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
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
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.
O. A. Eshbayev +2 more
semanticscholar +1 more source
An introduction to computer science for non-majors using principles of computation
Technical Symposium on Computer Science Education, 2007 In this paper, the design and implementation of a novel introductory computer science course for non-majors is presented. This course focuses on the major contributions in computer science from the perspective of the process of computation.
Thomas J. Cortina
semanticscholar +1 more source