Výsledky vyhledávání - "Lecture Notes in Computer Science; Theoretical Computer Science and General Issues"

Quantum interaction: 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) ; Lecture Notes in Computer Science / Theoretical Computer Science and General Issues

Autoři: Song, Dawei Melucci, Massimo Frommholz, Ingo a další

Témata: cognitive science, contextual focus, distributional semantics, neural networks, semantic space

Relation: http://www.springer.com/computer/theoretical+computer+science/book/978-3-642-24970-9; Song, D., Melucci, M., Frommholz, I., Zhang, P., Wang, L., Arafat, S. (Eds.) (2011) 'Quantum Interaction: 5th International Symposium, QI 2011, Aberdeen, UK, Revised Selected Papers' Springer Berlin Heidelberg, 2011; http://hdl.handle.net/10547/275680

Dostupnost: http://hdl.handle.net/10547/275680

A Theory of History Dependent Abstractions for Learning Interface Automata.

Autoři: Aarts, Fides

Témata: Lecture Notes in Computer Science. Theoretical Computer Science and General Issues., Software Science.

Témata: Part of book or chapter of book.

URL: https://doi.org/10.1007/978-3-642-32940-1_18
http://hdl.handle.net/2066/103288

Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings.

Autoři: Eekelen, M.C.J.D. van

Témata: Lecture Notes in Computer Science. Theoretical Computer Science and General Issues., Data Science., Digital Security., Software Science.

Témata: Book (monograph)

URL: http://hdl.handle.net/2066/91946
https://doi.org/10.1007/978-3-642-22863-6

Preface.

Autoři: Geuvers, H.

Témata: Lecture Notes in Computer Science. Theoretical Computer Science and General issues., Data Science., Digital Security., Software Science.

Témata: Part of book or chapter of book.

URL: http://hdl.handle.net/2066/92217
https://repository.ubn.ru.nl//bitstream/handle/2066/92217/92217.pdf

Reversible Computation: Extending Horizons of Computing

Autoři: Irek Ulidowski Ivan Lanese Ulrik Pagh Schultz a další

Resource Type: eBook.

Témata: Reversible computing

Categories: COMPUTERS / Logic Design, COMPUTERS / Computer Architecture, COMPUTERS / Networking / General, COMPUTERS / Operating Systems / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

Autoři: Heike Wehrheim Jordi Cabot

Resource Type: eBook.

Témata: Software engineering--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Networking / General, COMPUTERS / Hardware / General

Foundations of Software Science and Computation Structures

Autoři: Jean Goubault-Larrecq Barbara König

Resource Type: eBook.

Témata: Software engineering--Congresses, Computer software--Congresses

Categories: MATHEMATICS / Logic, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Hardware / General, MATHEMATICS / Discrete Mathematics

Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I

Autoři: Armin Biere David Parker

Resource Type: eBook.

Témata: System design--Congresses, System analysis--Congresses, Computer software--Verification--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Hardware / General, MATHEMATICS / Applied

Quantitative Analysis of Interval Markov Chains

Autoři: Bacci, Giovanni Delahaye, Benoît Larsen, Kim Guldstrand a další

Přispěvatelé: Bacci, Giovanni Delahaye, Benoît Larsen, Kim Guldstrand a další

Zdroj: Bacci, G, Delahaye, B, Larsen, K G & Mariegaard, A 2021, Quantitative Analysis of Interval Markov Chains. in E-R Olderog, B Steffen & W Li (eds), Model Checking, Synthesis, and Learning : Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday. vol. 13030, Springer, Lecture Notes in Computer Science, Theoretical Computer Science and General Issues, vol. 13030, pp. 57-77. https://doi.org/10.1007/978-3-030-91384-7_4

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-030-91383-0

Dostupnost: https://vbn.aau.dk/da/publications/2f03fbff-7890-44fd-8382-74ec414b7124
https://doi.org/10.1007/978-3-030-91384-7_4
https://www.scopus.com/pages/publications/85120888875

Graph visualization efficiency of popular web-based libraries.

Autoři: Zhao, Xin Wang, Xuan Zou, Xianzhe a další

Zdroj: Visual Computing for Industry, Biomedicine & Art; 5/8/2025, Vol. 8 Issue 1, p1-17, 17p

Témata: GRAPH algorithms, COMPLETE graphs, INFORMATION storage & retrieval systems, DATA visualization, LIBRARY users, DATA modeling

A Theory of History Dependent Abstractions for Learning Interface Automata

Autoři: Koutny, M. Aarts, Fides Heidarian, F. a další

Zdroj: Koutny, M. (ed.), CONCOR 2012 - Concurrency theory : CONCUR 2012- Concurrency Theory23rd International Conference, CONCUR 2012, Newcastle upon Tyne, September 4-7, 2012. Proceedings; 240; 255; 9783642329395; Lecture Notes in Computer Science. Theoretical Computer Science and General Issues ; 7454; Koutny, M. (ed.), CONCOR 2012 - Concurrency theory : CONCUR 2012- Concurrency Theory23rd International Conference, CONCUR 2012, Newcastle upon Tyne, September 4-7, 2012. Proceedings~~240~255~~9783642329395~~~~Lecture Notes in Computer Science. Theoretical Computer Science and General Issues ; 7454~

Témata: Lecture Notes in Computer Science. Theoretical Computer Science and General Issues

URL: http://hdl.handle.net/2066/103288
https://doi.org/10.1007/978-3-642-32940-1_18
Lecture Notes in Computer Science. Theoretical Computer Science and General Issues ; 7454

Preface

Autoři: Eekelen, M. Van Geuvers, H. Schmaltz, J. a další

Zdroj: Eekelen, M. Van; Geuvers, H.; Schmaltz, J. (ed.), Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings; V; VI; 9783642228629; Lecture Notes in Computer Science. Theoretical Computer Science and General issues ; 6898; Eekelen, M. Van; Geuvers, H.; Schmaltz, J. (ed.), Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings~~V~VI~~9783642228629~~~~Lecture Notes in Computer Science. Theoretical Computer Science and General issues ; 6898~

Témata: Lecture Notes in Computer Science. Theoretical Computer Science and General issues

URL: http://hdl.handle.net/2066/92217
Lecture Notes in Computer Science. Theoretical Computer Science and General issues ; 6898

Multiple Bayesian Models for the Sustainable City: The Case of Urban Sprawl

Autoři: Fusco, Giovanni Tettamanzi, Andrea G. B. Études des Structures, des Processus d’Adaptation et des Changements de l’Espace (ESPACE) a další

Přispěvatelé: Fusco, Giovanni Tettamanzi, Andrea G. B. Études des Structures, des Processus d’Adaptation et des Changements de l’Espace (ESPACE) a další

Zdroj: Lecture Notes in Computer Science. Theoretical Computer Science and General Issues ; ICCSA 2017 - 17th International Conference on Computational Science and Its Applications ; https://hal.science/hal-01567726 ; ICCSA 2017 - 17th International Conference on Computational Science and Its Applications, Jul 2017, Trieste, Italy. pp.392-407, ⟨10.1007/978-3-319-62401-3_29⟩ ; http://www.iccsa.org/

Témata: Urban Sprawl, Uncertainty, Model Selection, Belief Revision, Bayesian Networks, Grenoble, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [SHS.GEO]Humanities and Social Sciences/Geography

Geografické téma: Trieste, Italy

Dostupnost: https://hal.science/hal-01567726
https://hal.science/hal-01567726v1/document
https://hal.science/hal-01567726v1/file/Fusco%20Tettamanzi%20ICCSA%202017%20author%20copy.pdf
https://doi.org/10.1007/978-3-319-62401-3_29

The Maximum Matrix Contraction Problem

Autoři: Watel, Dimitri Poirion, Pierre-Louis Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE) a další

Přispěvatelé: Watel, Dimitri Poirion, Pierre-Louis Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE) a další

Zdroj: Lecture Notes in Computer Science, Theoretical Computer Science and General Issues, Combinatorial Optimization ; International Symposium on Combinatorial Optimization ; https://hal.science/hal-04114016 ; International Symposium on Combinatorial Optimization, May 2016, Vietri sul Mare, Italy. pp.426-438, ⟨10.1007/978-3-319-45587-7_37⟩

Témata: Complexity, Approximation algorithm, Linear Programming, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]

Geografické téma: Vietri sul Mare, Italy

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2306.01349; ARXIV: 2306.01349

Dostupnost: https://hal.science/hal-04114016
https://hal.science/hal-04114016v1/document
https://hal.science/hal-04114016v1/file/ISCO-2016.pdf
https://doi.org/10.1007/978-3-319-45587-7_37

Modeling of Crisis Periods in Stock Markets

Autoři: Emiris, Ioannis Z. Chalkis, Apostolos Christoforou, Emmanouil a další

Přispěvatelé: Emiris, Ioannis Z. Chalkis, Apostolos Christoforou, Emmanouil a další

Zdroj: Lecture Notes in Computer Science. Theoretical Computer Science and General Issues ; LION 15 - 15th Learning and Intelligent Optimization ; https://hal.science/hal-03523838 ; LION 15 - 15th Learning and Intelligent Optimization, Jun 2021, Athens, France. pp.55-65, ⟨10.1007/978-3-030-92121-7_5⟩

Témata: Investment risk, Bitcoin, Financial portfolio, Clustering, Stock market, Crisis detection, Copula, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG], [INFO.INFO-CE]Computer Science [cs]/Computational Engineering, Finance, and Science [cs.CE]

Geografické téma: Athens, France

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2103.13294; ARXIV: 2103.13294

Dostupnost: https://hal.science/hal-03523838
https://doi.org/10.1007/978-3-030-92121-7_5

Hurdle-QAP models overcome dependency and sparsity in scientific collaboration count networks.

Autoři: Marchi, Hannah Fuchs, Christiane

Zdroj: Journal of Mathematical Sociology; 2024, Vol. 48 Issue 1, p100-127, 28p

Témata: COOPERATIVE research, SPARSE matrices, LOST architecture, INTERDISCIPLINARY research

Core-Guided and Core-Boosted Search for CP

Autoři: Grange, Graeme Berg, Jeremias Demirovic , Emir a další

Přispěvatelé: Grange, Graeme Berg, Jeremias Demirovic , Emir a další

Témata: Computer and information sciences

Popis souboru: application/pdf

Relation: Integration of Constraint Programming, Artificial Intelligence, and Operations Research; Lecture Notes in Computer Science. Theoretical Computer Science and General Issues; conference; http://hdl.handle.net/10138/324852; 000884722900014

Dostupnost: http://hdl.handle.net/10138/324852

Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution)

Autoři: Ponce de León, Hernán Hass, Thomas Meyer, Roland

Zdroj: 978-3-030-72012-4 ; 978-3-030-72013-1 ; Ponce de León, Hernán; Hass, Thomas; Meyer, Roland: Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution). In: Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II. Cham : Springer, 2021, S. 428-432 - (Lecture Notes in Computer Science ; Theoretical Computer Science and General Issues ; 12652), DOI:10.1007/978-3-030-72013-1_26. ISBN 978-3-030-72012-4.

Dostupnost: http://athene-forschung.unibw.de/node?id=140019
https://doi.org/10.1007/978-3-030-72013-1_26

Computer Aided Verification

Přispěvatelé: Silva, Alexandra Leino, K. Rustan M.

Témata: architecture verification, artificial intelligence, computer programming, distributed computer systems, distributed systems, embedded systems, formal logic, formal methods, formal verifications, model checker, model checking, signal processing, software architecture, software design, software engineering, software quality, Software Engineering, Mathematical theory of computation, Artificial intelligence, Computer programming / software engineering, Computer modelling and simulation

Popis souboru: application/pdf

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/50429

Brain-Inspired Computing

Přispěvatelé: Amunts, Katrin Grandinetti, Lucio Lippert, Thomas a další

Témata: artificial intelligence, communication systems, computer hardware, computer networks, computer programming, computer systems, computer vision, deep learning, distributed computer systems, image analysis, image processing, machine learning, network protocols, neural networks, signal processing, User interface design and usability, Artificial intelligence, Computer vision, Computer networking and communications

Popis souboru: application/pdf

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/50430