Search Results for - Narrowed by: Artificial intelligence. - Information theory.

Services Computing – SCC 2019 16th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

2024-05-22T23:13:51Z

Yazar Ferreira, Joao Eduardo. editor. (orcid)0000-0001-9607-2014
https://doi.org/10.1007/978-3-030-23554-3
Format: Electronic Resources

Asymptotic Nonparametric Statistical Analysis of Stationary Time Series

2024-05-22T23:13:51Z

Yazar Ryabko, Daniil. author.
https://doi.org/10.1007/978-3-030-12564-6
Format: Electronic Resources

Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part III

2024-05-22T23:13:51Z

Yazar Boldyreva, Alexandra. editor.
https://doi.org/10.1007/978-3-030-26954-8
Format: Electronic Resources

Digital Transformation and Global Society 4th International Conference, DTGS 2019, St. Petersburg, Russia, June 19–21, 2019, Revised Selected Papers

2024-05-22T23:13:51Z

Yazar Alexandrov, Daniel A. editor. (orcid)0000-0002-4059-8903
https://doi.org/10.1007/978-3-030-37858-5
Format: Electronic Resources

Service-Oriented Computing 17th International Conference, ICSOC 2019, Toulouse, France, October 28–31, 2019, Proceedings

2024-05-22T23:13:51Z

Yazar Yangui, Sami. editor. (orcid)0000-0001-9756-642X
https://doi.org/10.1007/978-3-030-33702-5
Format: Electronic Resources

Advances in Cryptology – EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part I

2024-05-22T23:13:51Z

Yazar Ishai, Yuval. editor.
https://doi.org/10.1007/978-3-030-17653-2
Format: Electronic Resources

Morphological Intelligence Measuring the Body’s Contribution to Intelligence

2024-05-22T23:13:51Z

Yazar Ghazi-Zahedi, Keyan. author.
https://doi.org/10.1007/978-3-030-20621-5
Format: Electronic Resources

Distributed Computer and Communication Networks 22nd International Conference, DCCN 2019, Moscow, Russia, September 23–27, 2019, Revised Selected Papers

2024-05-22T23:13:51Z

Yazar Vishnevskiy, Vladimir M. editor.
https://doi.org/10.1007/978-3-030-36614-8
Format: Electronic Resources

Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part I

2024-05-22T23:13:51Z

Yazar Boldyreva, Alexandra. editor.
https://doi.org/10.1007/978-3-030-26948-7
Format: Electronic Resources

The Multi-Agent Programming Contest 2018 Agents Teaming Up in an Urban Environment

2024-05-22T23:13:51Z

Yazar Ahlbrecht, Tobias. editor. (orcid)0000-0002-4652-901X
https://doi.org/10.1007/978-3-030-37959-9
Format: Electronic Resources

Text, Speech, and Dialogue 22nd International Conference, TSD 2019, Ljubljana, Slovenia, September 11–13, 2019, Proceedings

2024-05-22T23:13:51Z

Yazar Ekštein, Kamil. editor.
https://doi.org/10.1007/978-3-030-27947-9
Format: Electronic Resources

Information Security and Cryptology – ICISC 2018 21st International Conference, Seoul, South Korea, November 28–30, 2018, Revised Selected Papers

2024-05-22T23:13:51Z

Yazar Lee, Kwangsu. editor. (orcid)0000-0003-1910-8890
https://doi.org/10.1007/978-3-030-12146-4
Format: Electronic Resources

Advances in Production Management Systems. Towards Smart Production Management Systems IFIP WG 5.7 International Conference, APMS 2019, Austin, TX, USA, September 1–5, 2019, Proceedings, Part II

2024-05-22T23:13:51Z

Yazar Ameri, Farhad. editor.
https://doi.org/10.1007/978-3-030-29996-5
Format: Electronic Resources

Knowledge Discovery, Knowledge Engineering and Knowledge Management 8th International Joint Conference, IC3K 2016, Porto, Portugal, November 9–11, 2016, Revised Selected Papers

2024-05-22T23:13:51Z

Yazar Fred, Ana. editor.
https://doi.org/10.1007/978-3-319-99701-8
Format: Electronic Resources

Digital Forensics and Watermarking 17th International Workshop, IWDW 2018, Jeju Island, Korea, October 22-24, 2018, Proceedings

2024-05-22T23:13:51Z

Yazar Yoo, Chang D. editor.
https://doi.org/10.1007/978-3-030-11389-6
Format: Electronic Resources

Topics in Cryptology – CT-RSA 2019 The Cryptographers' Track at the RSA Conference 2019, San Francisco, CA, USA, March 4–8, 2019, Proceedings

2024-05-22T23:13:51Z

Yazar Matsui, Mitsuru. editor.
https://doi.org/10.1007/978-3-030-12612-4
Format: Electronic Resources

Advances in Production Management Systems. Production Management for the Factory of the Future IFIP WG 5.7 International Conference, APMS 2019, Austin, TX, USA, September 1–5, 2019, Proceedings, Part I

2024-05-22T23:13:51Z

Yazar Ameri, Farhad. editor.
https://doi.org/10.1007/978-3-030-30000-5
Format: Electronic Resources

Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part II

2024-05-22T23:13:51Z

Yazar Boldyreva, Alexandra. editor.
https://doi.org/10.1007/978-3-030-26951-7
Format: Electronic Resources

Information Technology in Disaster Risk Reduction Second IFIP TC 5 DCITDRR International Conference, ITDRR 2017, Sofia, Bulgaria, October 25-27, 2017, Revised Selected Papers

2024-05-22T23:13:51Z

Yazar Murayama, Yuko. editor.
https://doi.org/10.1007/978-3-030-18293-9
Format: Electronic Resources

Blockchain – ICBC 2019 Second International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

2024-05-22T23:13:51Z

Yazar Joshi, James. editor. (orcid)0000-0003-4519-9802
https://doi.org/10.1007/978-3-030-23404-1
Format: Electronic Resources

Digital Transformation for a Sustainable Society in the 21st Century 18th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2019, Trondheim, Norway, September 18–20, 2019, Proceedings

2024-05-22T23:13:51Z

Yazar Pappas, Ilias O. editor. (orcid)0000-0001-7528-3488
https://doi.org/10.1007/978-3-030-29374-1
Format: Electronic Resources

Advances in Cryptology – EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part III

2024-05-22T23:13:51Z

Yazar Ishai, Yuval. editor.
https://doi.org/10.1007/978-3-030-17659-4
Format: Electronic Resources

Information and Communication Technology for Development for Africa Second International Conference, ICT4DA 2019, Bahir Dar, Ethiopia, May 28-30, 2019, Revised Selected Papers

2024-05-22T23:13:51Z

Yazar Mekuria, Fisseha. editor.
https://doi.org/10.1007/978-3-030-26630-1
Format: Electronic Resources

Advances in Cryptology – EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part II

2024-05-22T23:13:51Z

Yazar Ishai, Yuval. editor.
https://doi.org/10.1007/978-3-030-17656-3
Format: Electronic Resources

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II

2024-05-22T23:13:51Z

Yazar Shi, Yong. editor.
https://doi.org/10.1007/978-3-319-93701-4
Format: Electronic Resources

Social, Cultural, and Behavioral Modeling 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings

2024-05-22T23:13:51Z

Yazar Thomson, Robert. editor.
https://doi.org/10.1007/978-3-319-93372-6
Format: Electronic Resources

Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers

2024-05-22T23:13:51Z

Yazar Bennaceur, Amel. editor. (orcid)0000-0002-6124-9622
https://doi.org/10.1007/978-3-319-96562-8
Format: Electronic Resources

Adventures Between Lower Bounds and Higher Altitudes Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday

2024-05-22T23:13:51Z

Yazar Böckenhauer, Hans-Joachim. editor.
https://doi.org/10.1007/978-3-319-98355-4
Format: Electronic Resources

Principles in Noisy Optimization Applied to Multi-agent Coordination

2024-05-22T23:13:51Z

Yazar Rakshit, Pratyusha. author.
https://doi.org/10.1007/978-981-10-8642-7
Format: Electronic Resources

Handbook of Parallel Constraint Reasoning

2024-05-22T23:13:51Z

Yazar Hamadi, Youssef. editor.
https://doi.org/10.1007/978-3-319-63516-3
Format: Electronic Resources

Knowledge Engineering and Knowledge Management 21st International Conference, EKAW 2018, Nancy, France, November 12-16, 2018, Proceedings

2024-05-22T23:13:51Z

Yazar Faron Zucker, Catherine. editor. (orcid)0000-0001-5959-5561
https://doi.org/10.1007/978-3-030-03667-6
Format: Electronic Resources

Intelligent Data Engineering and Automated Learning – IDEAL 2018 19th International Conference, Madrid, Spain, November 21–23, 2018, Proceedings, Part I

2024-05-22T23:13:51Z

Yazar Yin, Hujun. editor. (orcid)0000-0002-9198-5401
https://doi.org/10.1007/978-3-030-03493-1
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

2024-05-22T23:13:51Z

Yazar Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03418-4
Format: Electronic Resources

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II

2024-05-22T23:13:51Z

Yazar Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786
https://doi.org/10.1007/978-3-319-78054-2
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

2024-05-22T23:13:51Z

Yazar Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03421-4
Format: Electronic Resources

Transactions on Computational Collective Intelligence XXX

2024-05-22T23:13:51Z

Yazar Thanh Nguyen, Ngoc. editor.
https://doi.org/10.1007/978-3-319-99810-7
Format: Electronic Resources

Foraging-Inspired Optimisation Algorithms

2024-05-22T23:13:51Z

Yazar Brabazon, Anthony. author.
https://doi.org/10.1007/978-3-319-59156-8
Format: Electronic Resources

New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings

2024-05-22T23:13:51Z

Yazar Abdelwahed, El Hassan. editor.
https://doi.org/10.1007/978-3-030-02852-7
Format: Electronic Resources

Hyper-Heuristics: Theory and Applications

2024-05-22T23:13:51Z

Yazar Pillay, Nelishia. author.
https://doi.org/10.1007/978-3-319-96514-7
Format: Electronic Resources

An Introduction to Metaheuristics for Optimization

2024-05-22T23:13:51Z

Yazar Chopard, Bastien. author.
https://doi.org/10.1007/978-3-319-93073-2
Format: Electronic Resources

Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

2024-05-22T23:13:51Z

Yazar Jones, Cliff. editor.
https://doi.org/10.1007/978-3-030-01461-2
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

2024-05-22T23:13:51Z

Yazar Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03424-5
Format: Electronic Resources

Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings

2024-05-22T23:13:51Z

Yazar Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772
https://doi.org/10.1007/978-3-030-02768-1
Format: Electronic Resources

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

2024-05-22T23:13:51Z

Yazar Havelund, Klaus. editor. (orcid)0000-0001-7079-0472
https://doi.org/10.1007/978-3-319-95582-7
Format: Electronic Resources

Semantics, Analytics, Visualization 3rd International Workshop, SAVE-SD 2017, Perth, Australia, April 3, 2017, and 4th International Workshop, SAVE-SD 2018, Lyon, France, April 24, 2018, Revised Selected Papers

2024-05-22T23:13:51Z

Yazar González-Beltrán, Alejandra. editor. (orcid)0000-0003-3499-8262
https://doi.org/10.1007/978-3-030-01379-0
Format: Electronic Resources

Computational Matter

2024-05-22T23:13:51Z

Yazar Stepney, Susan. editor.
https://doi.org/10.1007/978-3-319-65826-1
Format: Electronic Resources

NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

2024-05-22T23:13:51Z

Yazar Dutle, Aaron. editor.
https://doi.org/10.1007/978-3-319-77935-5
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

2024-05-22T23:13:51Z

Yazar Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03427-6
Format: Electronic Resources

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I

2024-05-22T23:13:51Z

Yazar Shi, Yong. editor.
https://doi.org/10.1007/978-3-319-93698-7
Format: Electronic Resources

Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

2024-05-22T23:13:51Z

Yazar Beyersdorff, Olaf. editor.
https://doi.org/10.1007/978-3-319-94144-8
Format: Electronic Resources

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018 Proceedings, Part III

2024-05-22T23:13:51Z

Yazar Shi, Yong. editor.
https://doi.org/10.1007/978-3-319-93713-7
Format: Electronic Resources

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

2024-05-22T23:13:51Z

Yazar Aceto, Luca. editor.
https://doi.org/10.1007/978-3-319-63121-9
Format: Electronic Resources

Computational Intelligence for Network Structure Analytics

2024-05-22T23:13:51Z

Yazar Gong, Maoguo. author.
https://doi.org/10.1007/978-981-10-4558-5
Format: Electronic Resources

Foundations of Intelligent Systems 23rd International Symposium, ISMIS 2017, Warsaw, Poland, June 26-29, 2017, Proceedings

2024-05-22T23:13:51Z

Yazar Kryszkiewicz, Marzena. editor.
https://doi.org/10.1007/978-3-319-60438-1
Format: Electronic Resources

Data Integration in the Life Sciences 12th International Conference, DILS 2017, Luxembourg, Luxembourg, November 14-15, 2017, Proceedings

2024-05-22T23:13:51Z

Yazar Da Silveira, Marcos. editor.
https://doi.org/10.1007/978-3-319-69751-2
Format: Electronic Resources

The Semantic Web 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 – June 1, 2017, Proceedings, Part I

2024-05-22T23:13:51Z

Yazar Blomqvist, Eva. editor.
https://doi.org/10.1007/978-3-319-58068-5
Format: Electronic Resources

Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry 11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016, Revised Selected Papers

2024-05-22T23:13:51Z

Yazar Rossi, Federico. editor. (orcid)0000-0002-1854-532X
https://doi.org/10.1007/978-3-319-57711-1
Format: Electronic Resources

Introduction to Learning Classifier Systems

2024-05-22T23:13:51Z

Yazar Urbanowicz, Ryan J. author.
https://doi.org/10.1007/978-3-662-55007-6
Format: Electronic Resources

Biomimetic and Biohybrid Systems 6th International Conference, Living Machines 2017, Stanford, CA, USA, July 26–28, 2017, Proceedings

2024-05-22T23:13:51Z

Yazar Mangan, Michael. editor. (orcid)0000-0002-0293-8874
https://doi.org/10.1007/978-3-319-63537-8
Format: Electronic Resources

Theory and Applications of Satisfiability Testing – SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings

2024-05-22T23:13:51Z

Yazar Gaspers, Serge. editor. (orcid)0000-0002-6947-9238
https://doi.org/10.1007/978-3-319-66263-3
Format: Electronic Resources

Computer Games 5th Workshop on Computer Games, CGW 2016, and 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, Held in Conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, New York, USA, July 9-10, 2016, Revised Selected Papers

2024-05-22T23:13:51Z

Yazar Cazenave, Tristan. editor.
https://doi.org/10.1007/978-3-319-57969-6
Format: Electronic Resources

Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings

2024-05-22T23:13:51Z

Yazar Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990
https://doi.org/10.1007/978-3-319-66197-1
Format: Electronic Resources

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

2024-05-22T23:13:51Z

Yazar Fantechi, Alessandro. editor.
https://doi.org/10.1007/978-3-319-68499-4
Format: Electronic Resources

The Semantic Web 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 – June 1, 2017, Proceedings, Part II

2024-05-22T23:13:51Z

Yazar Blomqvist, Eva. editor.
https://doi.org/10.1007/978-3-319-58451-5
Format: Electronic Resources

Adventures in Computer Science From Classical Bits to Quantum Bits

2024-05-22T23:13:51Z

Yazar Moret-Bonillo, Vicente. author.
https://doi.org/10.1007/978-3-319-64807-1
Format: Electronic Resources

Autonomous Agents and Multiagent Systems AAMAS 2017 Workshops, Best Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers

2024-05-22T23:13:51Z

Yazar Sukthankar, Gita. editor. (orcid)0000-0002-6863-6609
https://doi.org/10.1007/978-3-319-71682-4
Format: Electronic Resources

Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

2024-05-22T23:13:51Z

Yazar Polikarpova, Nadia. editor. (orcid)0000-0001-5571-173X
https://doi.org/10.1007/978-3-319-66845-1
Format: Electronic Resources

Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

2024-05-22T23:13:51Z

Yazar Paskevich, Andrei. editor.
https://doi.org/10.1007/978-3-319-72308-2
Format: Electronic Resources

The Semantic Web – ISWC 2017 16th International Semantic Web Conference, Vienna, Austria, October 21–25, 2017, Proceedings, Part I

2024-05-22T23:13:51Z

Yazar d'Amato, Claudia. editor. (orcid)0000-0002-3385-987X
https://doi.org/10.1007/978-3-319-68288-4
Format: Electronic Resources

The Semantic Web: ESWC 2017 Satellite Events ESWC 2017 Satellite Events, Portorož, Slovenia, May 28 – June 1, 2017, Revised Selected Papers

2024-05-22T23:13:51Z

Yazar Blomqvist, Eva. editor.
https://doi.org/10.1007/978-3-319-70407-4
Format: Electronic Resources

Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings

2024-05-22T23:13:51Z

Yazar D'Souza, Deepak. editor.
https://doi.org/10.1007/978-3-319-68167-2
Format: Electronic Resources

The Semantic Web – ISWC 2017 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part II

2024-05-22T23:13:51Z

Yazar d'Amato, Claudia. editor. (orcid)0000-0002-3385-987X
https://doi.org/10.1007/978-3-319-68204-4
Format: Electronic Resources

Creativity in Intelligent Technologies and Data Science Second Conference, CIT&DS 2017, Volgograd, Russia, September 12-14, 2017, Proceedings

2024-05-22T23:13:51Z

Yazar Kravets, Alla. editor. (orcid)0000-0003-1675-8652
https://doi.org/10.1007/978-3-319-65551-2
Format: Electronic Resources

Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part II

2024-05-22T23:13:51Z

Yazar Rojas, Ignacio. editor.
https://doi.org/10.1007/978-3-319-59147-6
Format: Electronic Resources

Structured Object-Oriented Formal Language and Method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers

2024-05-22T23:13:51Z

Yazar Liu, Shaoying. editor.
https://doi.org/10.1007/978-3-319-57708-1
Format: Electronic Resources

Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part I

2024-05-22T23:13:51Z

Yazar Rojas, Ignacio. editor.
https://doi.org/10.1007/978-3-319-59153-7
Format: Electronic Resources