Search Results for Machines.

22 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

Electromagnetic Linear Machines with Dual Halbach Array Design and Analysis

Yazar

Yan, Liang. author.

https://doi.org/10.1007/978-981-10-2309-5

Format:

Electronic Resources

Alıntı:

Machinery and Machine Elements. http://scigraph.springernature.com/things/product-market-codes/T

Machines, Computations, and Universality 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings

Yazar

Durand-Lose, Jerome. editor.

http://dx.doi.org/10.1007/978-3-319-23111-2

Format:

Electronic Resources

Alıntı:

Machines, Computations, and Universality 7th International Conference, MCU 2015, Famagusta, North

Dynamic Decoupling of Robot Manipulators

Yazar

Arakelian, Vigen. editor.

https://doi.org/10.1007/978-3-319-74363-9

Format:

Electronic Resources

Alıntı:

Mechanisms and Machine Science,

Time-Series Prediction and Applications A Machine Intelligence Approach

Yazar

Konar, Amit. author.

https://doi.org/10.1007/978-3-319-54597-4

Format:

Electronic Resources

Alıntı:

Time-Series Prediction and Applications A Machine Intelligence Approach / Konar, Amit. author.

Modeling and analysis of communicating systems

Yazar

Groote, J. F. (Jan Friso), 1965-, author.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6895438

Format:

Electronic Resources

Alıntı:

Machine theory.

Automata, Universality, Computation Tribute to Maurice Margenstern

Yazar

Adamatzky, Andrew. editor.

http://dx.doi.org/10.1007/978-3-319-09039-9

Format:

Electronic Resources

Alıntı:

generators in automaton arrays, Grossone and Turing machines, automaton models of atomic lattices. The book

Language, Life, Limits 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings

Yazar

Beckmann, Arnold. editor.

http://dx.doi.org/10.1007/978-3-319-08019-2

Format:

Electronic Resources

Alıntı:

Machines -- Constraint Logic Programming for Resolution of Relative Time Expressions -- Maximal Parallelism

Artificial Intelligence and Symbolic Computation 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings

Yazar

Aranda-Corral, Gonzalo A. editor.

http://dx.doi.org/10.1007/978-3-319-13770-4

Format:

Electronic Resources

Alıntı:

-- Reasoning -- Learning -- Decision support systems.-Machine intelligence and epistemology and philosophy of

Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

Yazar

Câmpeanu, Cezar. editor.

http://dx.doi.org/10.1007/978-3-319-41114-9

Format:

Electronic Resources

Alıntı:

occur in computational models, such as Turing Machines, ﬁnte automata, grammars, splicing systems and

10.

Ready A Commodore 64 Retrospective

Yazar

Dillon, Roberto. author.

http://dx.doi.org/10.1007/978-981-287-341-5

Format:

Electronic Resources

Alıntı:

by computers that had only a tiny fraction of the power modern machines have and, yet, were used to

11.

Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings

Yazar

Han, Yo-Sub. editor.

http://dx.doi.org/10.1007/978-3-319-40946-7

Format:

Electronic Resources

Alıntı:

Bounded Semilinear Languages, Counter Machines, and Finite-Index ET0L -- Kuratowski Algebras Generated by

12.

Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics

Yazar

Majkić, Zoran. author.

http://dx.doi.org/10.1007/978-3-319-04156-8

Format:

Electronic Resources

Alıntı:

the abstract computational machine, the categorial RDB machine, able to support all DB computations by

	{displayName}	{count}
{error}