[图书][B] Computational artifacts
R Turner, R Turner - 2018 - Springer
Technical artifacts are taken to include all the common objects of everyday life, such as
chairs, televisions, paper clips, telephones, smartphones and dog collars. They are material …
chairs, televisions, paper clips, telephones, smartphones and dog collars. They are material …
On the foundations of computing. computing as the fourth great domain of science
G Dodig-Crnkovic - Global Philosophy, 2023 - Springer
This review essay analyzes the book by Giuseppe Primiero, On the foundations of
computing. Oxford: Oxford University Press (ISBN 978-0-19-883564-6/hbk; 978-0-19 …
computing. Oxford: Oxford University Press (ISBN 978-0-19-883564-6/hbk; 978-0-19 …
[图书][B] High-level structures for quantum computing
JA Miszczak - 2012 - books.google.com
This book is concerned with the models of quantum computation. Information processing
based on the rules of quantum mechanics provides us with new opportunities for developing …
based on the rules of quantum mechanics provides us with new opportunities for developing …
[图书][B] The foundations of computability theory
B Robič - 2015 - Springer
The paradoxes discovered in Cantor's set theory sometime around 1900 began a crisis that
shook the foundations of mathematics. In order to reconstruct mathematics, freed from all …
shook the foundations of mathematics. In order to reconstruct mathematics, freed from all …
[HTML][HTML] LKM-AMI: a lightweight key management scheme for secure two way communications between smart meters and HAN devices of AMI system in smart grid
Smart Grid (SG) is a modernized power grid. Nowadays changing the power grid system into
a smart grid is revolution and evolution. Owing to the widespread use of wireless …
a smart grid is revolution and evolution. Owing to the widespread use of wireless …
Levels of undecidability in rewriting
Undecidability of various properties of first-order term rewriting systems is well-known. An
undecidable property can be classified by the complexity of the formula defining it. This …
undecidable property can be classified by the complexity of the formula defining it. This …
UNIVERCM: the UNIversal VERsatile Computational Model for heterogeneous system integration
L Di Guglielmo, F Fummi, G Pravadelli… - IEEE Transactions …, 2012 - ieeexplore.ieee.org
Designers are more and more forced to define innovative models and methodologies for
managing integration of heterogeneous components and heterogeneous Chip …
managing integration of heterogeneous components and heterogeneous Chip …
Computational mechanisms and models of computation
M Miłkowski - Philosophia Scientiæ. Travaux d'histoire et …, 2014 - journals.openedition.org
In most accounts of realization of computational processes by physical mechanisms, it is
presupposed that there is one-to-one correspondence between the causally active states of …
presupposed that there is one-to-one correspondence between the causally active states of …
Design of a high-power high-efficiency multi-receiver wireless power transfer system
Y Zhu, H Zhang, Z Wang, X Cao, R Zhang - Electronics, 2021 - mdpi.com
This paper proposes a new control method to regulate the power flow into multiple receivers.
This system consists of one transmitter controller and three receiver controllers. They work …
This system consists of one transmitter controller and three receiver controllers. They work …
[图书][B] Turing Tales
EG Daylight, AC Fleck, RT Boute - 2016 - dijkstrascry.com
Turing Tales Page 1 Turing Tales Edgar G. Daylight Contributions by Arthur C. Fleck and
Raymond T. Boute Edited by Kurt De Grave. Page 2 First edition Version 1.0 © 2016 Edgar G …
Raymond T. Boute Edited by Kurt De Grave. Page 2 First edition Version 1.0 © 2016 Edgar G …