Search Results for Algorithms.

13.

NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

Yazar

Badger, Julia M. editor.

https://doi.org/10.1007/978-3-030-20652-9

Format:

Electronic Resources

Alıntı:

; techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional

14.

Algorithmic Game Theory 12th International Symposium, SAGT 2019, Athens, Greece, September 30 – October 3, 2019, Proceedings

Yazar

Fotakis, Dimitris. editor.

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

Format:

Electronic Resources

Alıntı:

Algorithmic Game Theory 12th International Symposium, SAGT 2019, Athens, Greece, September 30

15.

Pervasive Computing: A Networking Perspective and Future Directions

Yazar

Bhargava, Deepshikha. editor.

https://doi.org/10.1007/978-981-13-3462-7

Format:

Electronic Resources

Alıntı:

Routing Algorithms for Underwater Sensor Network.-chapter 5. Resource Utilization of DTN Routing Protocols

16.

27th International Meshing Roundtable

Yazar

Roca, Xevi. editor.

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

Format:

Electronic Resources

Alıntı:

Comparison and Workload Analysis of Mesh Untangling and Smoothing Algorithms -- Accurate Manycore-Accelerated

17.

Modelling and Simulation Exploring Dynamic System Behaviour

Yazar

Birta, Louis G. author.

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

Format:

Electronic Resources

Alıntı:

DEDS domains Provides numerous illustrative examples, case studies and useful algorithms, as well as

18.

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Yazar

Dillig, Isil. editor.

https://doi.org/10.1007/978-3-030-25540-4

Format:

Electronic Resources

Alıntı:

Timed Automata -- Fast Algorithms for Handling Diagonal Constraints in Timed Automata -- Safety and

19.

Modelling and Simulation for Autonomous Systems 5th International Conference, MESAS 2018, Prague, Czech Republic, October 17–19, 2018, Revised Selected papers

Yazar

Mazal, Jan. editor. (orcid)0000-0001-5741-558X

https://doi.org/10.1007/978-3-030-14984-0

Format:

Electronic Resources

Alıntı:

Constructive Simulation -- Autonomous Air Defense Effectors Deployment Algorithms for Modeling and Simulation

20.

Simulation Tools and Techniques 11th International Conference, SIMUtools 2019, Chengdu, China, July 8–10, 2019, Proceedings

Yazar

Song, Houbing. editor.

https://doi.org/10.1007/978-3-030-32216-8

Format:

Electronic Resources

Alıntı:

Investigation of Data Volume Generation Strength of Smartphone Sensors -- A Relay Station Deployment Algorithm

21.

Numerical Mathematics and Advanced Applications ENUMATH 2017

Yazar

Radu, Florin Adrian. editor.

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

Format:

Electronic Resources

Alıntı:

, implementation, and analysis of numerical algorithms as well as their applications to relevant, societal problems

	{displayName}	{count}
{error}