Results 11 to 20 of about 384,862 (245)

Julia: A Fresh Approach to Numerical Computing [PDF]

, 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   +4 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

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

A Swiss Pocket Knife for Computability [PDF]

, 2013
This research is about operational- and complexity-oriented aspects of classical foundations of computability theory. The approach is to re-examine some classical theorems and constructions, but with new criteria for success that are natural from a ...
Jones, Neil D.
core   +3 more sources

Succinctness of two-way probabilistic and quantum finite automata [PDF]

, 2009
We prove that two-way probabilistic and quantum finite automata (2PFA's and 2QFA's) can be considerably more concise than both their one-way versions (1PFA's and 1QFA's), and two-way nondeterministic finite automata (2NFA's).
Say, A. C. Cem, Yakaryilmaz, Abuzer
core   +6 more sources

Monoidal computer III: A coalgebraic view of computability and complexity [PDF]

, 2018
Monoidal computer is a categorical model of intensional computation, where many different programs correspond to the same input-output behavior. The upshot of yet another model of computation is that a categorical formalism should provide a much needed ...
A Church, AM Turing, AM Turing, B Jacobs, B Klin, D Pavlovic, D Pavlovic, D Pavlovic, D Pavlovic, D Pavlovic, E Moggi, G Winskel, H Rogers Jr, HH Hansen, J Lambek, J Neumann von, J Robin, J Robin, JJMM Rutten, M Barbieri, M Bartha, M Blum, MM Bonsangue, ND Jones, PJW Hofstra, R Bruni, R Hoofman, RA Paola Di, S Hayashi, S Mac Lane, SC Kleene, WML Holcombe, YN Moschovakis   +32 more
core   +2 more sources

Beyond Language Equivalence on Visibly Pushdown Automata [PDF]

, 2009
We study (bi)simulation-like preorder/equivalence checking on the class of visibly pushdown automata and its natural subclasses visibly BPA (Basic Process Algebra) and visibly one-counter automata. We describe generic methods for proving complexity upper
Balcazar, Colin Stirling, Greenlaw, Groote, Jančar, Jančar, Jančar, Jančar, Jiří Srba, Kozen, Paige, Sawa, Stearns, Stirling, Sénizergues, Sénizergues, Sénizergues, Valiant, Walukiewicz   +18 more
core   +3 more sources

A Survey on Continuous Time Computations [PDF]

, 2007
We provide an overview of theories of continuous time computation. These theories allow us to understand both the hardness of questions related to continuous time dynamical systems and the computational power of continuous time analog models.
A Ben-Hur, A Ben-Hur, A Ben-Hur, A Ben-Hur, A Kempe, A Rabinovich, A Turing, A Vergis, A. Church, APL Francisco, Asarin, B Trakhtenbrot, BJ Copeland, C Moore, C Moore, C Moore, C Moore, CE Shannon, CS Calude, D Dee, D Deutsch, D Graça, D Woods, DS Graça, DS Graça, E Asarin, E Asarin, E Asarin, E Post, EB Davies, G Etesi, G Lafferriere, G P ăun, H Abdi, HM Stoll, HT Siegelmann, HT Siegelmann, HT Siegelmann, I Artobolevskii, I Németi, J Earman, J Foy, J Mycka, J Mycka, J Mycka, J Mycka, J Šíma, J Šíma, JF Costa, JJ Hopfield, JJ Hopfield, JV Tucker, K Ruohonen, K Ruohonen, K Ruohonen, K Ruohonen, K Ruohonen, K Ruohonen, K Weihrauch, K-I Ko, K-I Ko, L Blum, L Faybusovich, L Faybusovich, L Lipshitz, LA Rubel, LA Rubel, LM Adleman, M Campagnolo, M Campagnolo, M Casey, M Casey, M Davis, M Gori, M Hogarth, M Hogarth, M Hoyrup, M Pour-El, MB Pour-El, MB Pour-El, MB Pour-El, MD Bowles, ML Campagnolo, ML Campagnolo, ML Hogarth, MO Rabin, MS Branicky, MS Branicky, N Müller, O Bournez, O Bournez, O Bournez, O Bournez, O Bournez, O. Finkel, P Bouyer, P Clote, P Collins, P Koiran, P Koiran, P Koiran, P Orponen, P Orponen, PW Shor, R Alur, R Alur, R Legenstein, RJ Lipton, RW Brockett, RW Brockett, S Aaronson, S Grigorieff, S Omohundro, S. C. Kleene, T Brihaye, T Brihaye, T Head, T Natschläger, TA Henzinger, TD Kieu, U Helmke, V Bush, VD Blondel, VD Blondel, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, WD Smith, Šíma   +138 more
core   +5 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

Why and When Are Evidence‐Based Interventions Adopted in Paediatric Supportive Care? A Qualitative Exploration of the Determinants of Photobiomodulation Implementation

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Oral mucositis is a common and debilitating side effect of childhood cancer and stem cell transplant treatments. It affects the quality of life of children and young people (CYP) and places a strain on services. Photobiomodulation is recommended for oral mucositis prevention in international guidance but is poorly implemented in UK ...
Claudia Heggie, Kara A. Gray‐Burrows, Peter F. Day, Bob Phillips, Carl A. Thompson   +4 more
wiley   +1 more source