Search Results for Machines.

23 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings

Yazar

Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X

https://doi.org/10.1007/978-3-319-92402-1

Format:

Electronic Resources

Alıntı:

Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau

Biomimetic and Biohybrid Systems 8th International Conference, Living Machines 2019, Nara, Japan, July 9–12, 2019, Proceedings

Yazar

Martinez-Hernandez, Uriel. editor. (orcid)0000-0002-9922-7912

https://doi.org/10.1007/978-3-030-24741-6

Format:

Electronic Resources

Alıntı:

Biomimetic and Biohybrid Systems 8th International Conference, Living Machines 2019, Nara, Japan

Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings

Yazar

Butler, Michael. editor.

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

Format:

Electronic Resources

Alıntı:

Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018

Digital Logic Design Using Verilog Coding and RTL Synthesis

Yazar

Taraate, Vaibbhav. author.

http://dx.doi.org/10.1007/978-81-322-2791-5

Format:

Electronic Resources

Alıntı:

using Verilog RTL -- Finite State Machines -- Simulation Concepts and PLD Based Designs -- RTL Synthesis

Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers

Yazar

Lachiche, Nicolas. editor.

https://doi.org/10.1007/978-3-319-78090-0

Format:

Electronic Resources

Alıntı:

Programming (ILP) is a subfield of machine learning, which originally relied on logic programming as a uniform

OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers

Yazar

Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682

https://doi.org/10.1007/978-3-319-73814-7

Format:

Electronic Resources

Alıntı:

OpenSHMEM, different optimizations for OpenSHMEM on shared memory machines, exploring the implementation of

Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings

Yazar

Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703

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

Format:

Electronic Resources

Alıntı:

Relational Machines -- How much can experimental cost be reduced in active learning of agent strategies

Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings

Yazar

Devitt, Simon. editor.

http://dx.doi.org/10.1007/978-3-319-40578-0

Format:

Electronic Resources

Alıntı:

-- Reversible causal graph dynamics -- Boosting Reversible Pushdown Machines By Preprocessing -- Reversible

Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings

Yazar

Krivine, Jean. editor.

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

Format:

Electronic Resources

Alıntı:

particularly includes the following topics: reversible machines, reversible languages, design and verification

10.

Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

Yazar

Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175

https://doi.org/10.1007/978-3-030-02146-7

Format:

Electronic Resources

Alıntı:

Dynamic Reconfigurable Systems -- Automating Verification of State Machines with Reactive Designs and

11.

Unconventional Computation and Natural Computation 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings

Yazar

Patitz, Matthew J. editor.

https://doi.org/10.1007/978-3-319-58187-3

Format:

Electronic Resources

Alıntı:

The Power of Analogue-digital Machines -- Ways to Compute in Euclidean Frameworks. - Real-Time

12.

Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers

Yazar

Dastani, Mehdi. editor.

https://doi.org/10.1007/978-3-319-68972-2

Format:

Electronic Resources

Alıntı:

Testing for Symbolic Reactive State Machines -- Model Checking of Concurrent Software Systems via

	{displayName}	{count}
{error}