Search Results - "Lecture Notes in Computer Science. Theoretical Computer Science and General Issues."
-
1
Authors: et al.
Subject Terms: 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
Availability: http://hdl.handle.net/10547/275680
-
2
Authors: Aarts, Fides
Subjects: Lecture Notes in Computer Science. Theoretical Computer Science and General Issues., Software Science.
Index Terms: Part of book or chapter of book.
-
3
-
4
Authors: Geuvers, H.
Subjects: Lecture Notes in Computer Science. Theoretical Computer Science and General issues., Data Science., Digital Security., Software Science.
Index Terms: Part of book or chapter of book.
-
5
Authors: et al.
Resource Type: eBook.
Subjects: Reversible computing
Categories: COMPUTERS / Logic Design, COMPUTERS / Computer Architecture, COMPUTERS / Networking / General, COMPUTERS / Operating Systems / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General
PDF Full Text ePub Full Text -
6
Authors:
Resource Type: eBook.
Subjects: Software engineering--Congresses
Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Networking / General, COMPUTERS / Hardware / General
PDF Full Text -
7
-
8
Authors:
Resource Type: eBook.
Subjects: System design--Congresses, System analysis--Congresses, Computer software--Verification--Congresses
Categories: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Hardware / General, MATHEMATICS / Applied
PDF Full Text -
9
Authors: et al.
Contributors: et al.
Source: 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
-
10
Authors: et al.
Source: Visual Computing for Industry, Biomedicine & Art; 5/8/2025, Vol. 8 Issue 1, p1-17, 17p
-
11
Authors: et al.
Source: 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~
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 -
12
Authors: et al.
Source: 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~
URL:
http://hdl.handle.net/2066/92217
Lecture Notes in Computer Science. Theoretical Computer Science and General issues ; 6898 -
13
Authors: et al.
Contributors: et al.
Source: 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/
Subject Terms: 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
Availability: 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 -
14
Authors: et al.
Contributors: et al.
Source: 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⟩
Subject Terms: 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]
Subject Geographic: Vietri sul Mare, Italy
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2306.01349; ARXIV: 2306.01349
Availability: 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 -
15
Authors: et al.
Contributors: et al.
Source: 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⟩
Subject Terms: 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]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2103.13294; ARXIV: 2103.13294
Availability: https://hal.science/hal-03523838
https://doi.org/10.1007/978-3-030-92121-7_5 -
16
Authors:
Source: Journal of Mathematical Sociology; 2024, Vol. 48 Issue 1, p100-127, 28p
Subject Terms: COOPERATIVE research, SPARSE matrices, LOST architecture, INTERDISCIPLINARY research
-
17
Authors: et al.
Contributors: et al.
Subject Terms: Computer and information sciences
File Description: 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
Availability: http://hdl.handle.net/10138/324852
-
18
Authors:
Source: 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.
-
19
Contributors:
Subject Terms: 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
File Description: application/pdf
Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
-
20
Contributors: et al.
Subject Terms: 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
File Description: application/pdf
Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
Nájsť tento článok vo Web of Science 
Full Text 
Full Text Finder