[图书][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 …

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 …

[图书][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 …

[图书][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 …

[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

V Kumar, R Kumar, SK Pandey - Peer-to-Peer Networking and …, 2021 - Springer
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 …

Levels of undecidability in rewriting

J Endrullis, H Geuvers, JG Simonsen… - Information and …, 2011 - Elsevier
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 …

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 …

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 …

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 …

[图书][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 …