Results 1 to 10 of about 387,627 (292)

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. Julia is designed to be easy and fast. Julia questions notions
Bezanson, Jeff, Edelman, Alan, Karpinski, Stefan, Shah, Viral B.   +3 more
core   +6 more sources

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, A. Krauss, A. Meier, B. Werner, C. Benzmüller, C. Keller, D. Delahaye, D. Delahaye, F. Wiedijk, H. Curry, J. Goguen, J. Harrison, J. Meng, M. Cerioli, M. Kohlhase, P. Aczel, P. Naumov, R. Harper, S. McLaughlin, S. Obua, T. Mossakowski, U. Hustadt, V. Sorge, W. Farmer, W. Howard, Y. Bertot   +25 more
core   +1 more source

IT LANGUAGE AND COMPUTER SCIENCE

, 2023
In this article, the main purpose of teaching students in the middle school to clarify personal skills of every student, giving them proper education, life enhancing innovative technological world. Principal goal is to teach students to speak fluently in English, writing and reading comprehension skills.
openaire   +1 more source

Introduction to the Special Issue on Software Architecture for Language Engineering [PDF]

, 2004
Every building, and every computer program, has an architecture: structural and organisational principles that underpin its design and construction.
Cunningham, Hamish, Scott, Donia
core   +1 more source

On Second-Order Monadic Monoidal and Groupoidal Quantifiers [PDF]

, 2009
We study logics defined in terms of second-order monadic monoidal and groupoidal quantifiers. These are generalized quantifiers defined by monoid and groupoid word-problems, equivalently, by regular and context-free languages.
A. Dawar, K. Doets, S. Lindell, and S. W, B. A. Trakhtenbrot, C. Lautemann, P. McKenzie, T. Schwentick, D. A. M. Barrington, K. Compton, H. Stra, D. A. M. Barrington, N. Immerman, and H., D. P. Bovet, P. Crescenzi, and R. Silves, E. Allender and V. Gore, F. Bédard, F. Lemieux, and P. McKenzie, H. Straubing, D. Thérien, and W. Thomas, H. Venkateswaran, H.-J. Burtschick and H. Vollmer, Heribert Vollmer, I. Parberry and G. Schnitger, J. R. Büchi and C. C. Elgot, Juha Kontinen, M. More and F. Olive, N. K. Vereshchagin, Neil Immerman, P. Lindström, S. Greibach, T. Peichl and H. Vollmer, W. L. Ruzzo   +21 more
core   +4 more sources

Semantics out of context: nominal absolute denotations for first-order logic and computation

, 2016
Call a semantics for a language with variables absolute when variables map to fixed entities in the denotation. That is, a semantics is absolute when the denotation of a variable a is a copy of itself in the denotation.
Gabbay, Murdoch J.
core   +1 more source

A Formal Executable Semantics of Verilog [PDF]

, 2010
This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous reference augmenting the prose of the official language standard, and ...
Katelman, Michael, Meredith, Patrick, Meseguer, Jos??, Rosu, Grigore   +3 more
core   +1 more source

Computer Science Technology:Tutor, Tool and to Explore Language Teaching

International Journal of Computer Engineering in Research Trends, 2016
Computer Technology is now being used in all facets of Teaching in English language classroom. It gives wide range of scope for discussions on usage of Computer Technology in Language class room. The application of Technology on Language study raises questions like what role should these technology plays in Teaching and Learning.
G. Mohana Charyulu, S. Venkateswarlu, D. B. K. Kamesh, S. Sreelekha   +3 more
openaire   +1 more source

The subdivision of large simplicial cones in Normaliz

, 2016
Normaliz is an open-source software for the computation of lattice points in rational polyhedra, or, in a different language, the solutions of linear diophantine systems.
T Achterberg, W Bruns, W Bruns, W Bruns
core   +1 more source

Computer-aided proofs for multiparty computation with active security [PDF]

, 2018
Secure multi-party computation (MPC) is a general cryptographic technique that allows distrusting parties to compute a function of their individual inputs, while only revealing the output of the function.
Haagh, Helene, Karbyshev, Aleksandr, Oechsner, Sabine, Spitters, Bas, Strub, Pierre-Yves   +4 more
core   +2 more sources