| 1. |
- Broersma, Hajo, et al.
(författare)
-
Computability and complexity of unconventional computing devices
- 2018
-
Ingår i: Natural Computing Series. - Cham : Springer International Publishing. - 1619-7127. ; , s. 185-229
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)abstract
- We discuss some claims that certain UCOMP devices can perform hypercomputation (compute Turing-uncomputable functions) or perform super-Turing computation (solve NP-complete problems in polynomial time). We discover that all these claims rely on the provision of one or more unphysical resources.
|
|
| 2. |
- Fontes, Afonso, 1987, et al.
(författare)
-
Automated Support forUnit Test Generation
- 2023
-
Ingår i: Natural Computing Series. - Singapore : Springer. - 1619-7127. ; , s. 179-219
-
Bokkapitel (refereegranskat)abstract
- Unit testing is a stage of testing where the smallest segment of code that can be tested in isolation from the rest of the system—often a class—is tested. Unit tests are typically written as executable code, often in a format provided by a unit testing framework such as pytest for Python. Creating unit tests is a time and effort-intensive process with many repetitive, manual elements. To illustrate how AI can support unit testing, this chapter introduces the concept of search-based unit test generation. This technique frames the selection of test input as an optimization problem—we seek a set of test cases that meet some measurable goal of a tester—and unleashes powerful metaheuristic search algorithms to identify the best possible test cases within a restricted timeframe. This chapter introduces two algorithms that can generate pytest-formatted unit tests, tuned towards coverage of source code statements. The chapter concludes by discussing more advanced concepts and gives pointers to further reading for how artificial intelligence can support developers and testers when unit testing software.
|
|
| 3. |
- Konkoli, Zoran, 1966, et al.
(författare)
-
Philosophy of computation
- 2018
-
Ingår i: Natural Computing Series. - Cham : Springer International Publishing. - 1619-7127. ; , s. 153-184
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)abstract
- Unconventional computation emerged as a response to a series of technological and societal challenges. The main source of these challenges is the expected collapse of Moore’s law. It is very likely that the existing trend of building faster digital information processing machines will come to an end. This chapter provides a broad philosophical discussion of what might be needed to construct a theoretical machinery that could be used to understand the obstacles and identify the alternative designs. The key issue that has been addressed is simple to formulate: given a physical system, what can it compute? There is an enormous conceptual depth to this question and some specific aspects are systematically discussed. The discussion covers digital philosophy of computation, two reasons why rocks cannot be used for computation are given, a new depth to the ontology of number, and the ensemble computation inspired by recent understanding of the computing ability of living cell aggregates.
|
|
| 4. |
- Konkoli, Zoran, 1966, et al.
(författare)
-
Reservoir computing with computational matter
- 2018
-
Ingår i: Natural Computing Series. - Cham : Springer International Publishing. - 1619-7127. ; , s. 269-293
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)abstract
- The reservoir computing paradigm of information processing has emerged as a natural response to the problem of training recurrent neural networks. It has been realized that the training phase can be avoided provided a network has some well-defined properties, e.g. the echo state property. This idea has been generalized to arbitrary artificial dynamical systems. In principle, any dynamical system could be used for advanced information processing applications provided that such a system has the separation and the approximation property. To carry out this idea in practice, the only auxiliary equipment that is needed is a simple read-out layer that can be used to access the internal states of the system. In the following, several applications scenarios of this generic idea are discussed, together with some related engineering aspects. We cover both practical problems one might meet when trying to implement the idea, and discuss several strategies of solving such problems.
|
|
| 5. |
- Wendin, Göran, 1942
(författare)
-
Bioinspired computing with synaptic elements
- 2018
-
Ingår i: Natural Computing Series. - Cham : Springer International Publishing. - 1619-7127. ; , s. 55-79
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)abstract
- Unconventional computing (UCOMP) paradigms have been suggested to address and overcome a range of limitations of ordinary digital classical computers. In this case study we describe efforts to use nanoscale switching networks for digital and analogue/neuromorphic computing, with emphasis on synaptic networks based on various kinds of memristors.
|
|
