Results 11 to 20 of about 8,375 (166)
IEEE Access, 2017 This paper is a study of the inhomogeneity reduction for near-field acquisition in high-resolution magnetic resonance imaging (MRI) systems. The acquisition homogeneity in MRI imaging modality is an open issue concerning the optimal MRI image generation ...
Pablo Padilla +3 more
doaj +1 more source
Quantum Turing Machines: Computations and Measurements
Applied Sciences, 2020 Contrary to the classical case, the relation between quantum programming languages and quantum Turing Machines (QTM) has not been fully investigated.
Stefano Guerrini +2 more
doaj +1 more source
Functional Automata - Formal Languages for Computer Science Students [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 An introductory formal languages course exposes advanced undergraduate and early graduate students to automata theory, grammars, constructive proofs, computability, and decidability.
Marco T. Morazán, Rosario Antunez
doaj +1 more source
Information and Telecommunication Sciences, 2018 Background. C or C ++ languages are most commonly used for programming of embedded systems. The main drawbacks are: lack of updates, difficulty in use, limited backward compatibility and potentially a large number of possible programmer errors. Therefore,
Oleksii Shmalko +4 more
doaj +1 more source
Covariance and Controvariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers) [PDF]
Logical Methods in Computer Science, 2022 Twenty years ago, in an article titled "Covariance and contravariance: conflict without a cause", I argued that covariant and contravariant specialization of method parameters in object-oriented programming had different purposes and deduced that, not ...
Giuseppe Castagna
doaj +1 more source
Clustering and Beamforming for Efficient Communication in Wireless Sensor Networks
Sensors, 2016 Energy efficiency is a critical issue for wireless sensor networks (WSNs) as sensor nodes have limited power availability. In order to address this issue, this paper tries to maximize the power efficiency in WSNs by means of the evaluation of WSN node ...
Francisco Porcel-Rodríguez +5 more
doaj +1 more source
First steps in synthetic guarded domain theory: step-indexing in the topos of trees [PDF]
Logical Methods in Computer Science, 2012 We present the topos S of trees as a model of guarded recursion. We study the internal dependently-typed higher-order logic of S and show that S models two modal operators, on predicates and types, which serve as guards in recursive definitions of terms,
Lars Birkedal +3 more
doaj +1 more source
Extensible Model for Comparison of Expressiveness of Object-Oriented Programming Languages
Applied Computer Systems, 2016 We consider the problem of comparison of programming languages with respect to their ability to express programmers’ ideas. Our assumption is that the way of programmers’ thinking is reflected in languages used to describe software systems and programs ...
Batdalov Ruslan +2 more
doaj +1 more source
Sequent Calculus and Equational Programming [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 Proof assistants and programming languages based on type theories usually come in two flavours: one is based on the standard natural deduction presentation of type theory and involves eliminators, while the other provides a syntax in equational style. We
Nicolas Guenot, Daniel Gustafsson
doaj +1 more source
A Recipe for State-and-Effect Triangles [PDF]
Logical Methods in Computer Science, 2017 In the semantics of programming languages one can view programs as state transformers, or as predicate transformers. Recently the author has introduced state-and-effect triangles which capture this situation categorically, involving an adjunction between
Bart Jacobs
doaj +1 more source