×

Found 8,248 Documents (Results 1–100)

100
MathJax

OCaml scientific computing. Functional programming in data science and artificial intelligence. (English) Zbl 07503505

Undergraduate Topics in Computer Science. Cham: Springer (ISBN 978-3-030-97644-6/pbk; 978-3-030-97645-3/ebook). xxii, 359 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI

Communicating finite state machines and an extensible toolchain for multiparty session types. (English) Zbl 07530222

Bampis, Evripidis (ed.) et al., Fundamentals of computation theory. 23rd international symposium, FCT 2021, Athens, Greece, September 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12867, 18-35 (2021).
MSC:  68Q85 68N19 68Q45
PDF BibTeX XML Cite
Full Text: DOI

Function management in multi-population methods with a variable number of populations: a variable action learning automaton approach. (English) Zbl 1485.68325

Kordestani, Javidan Kazemi (ed.) et al., Advances in learning automata and intelligent optimization. Cham: Springer. Intell. Syst. Ref. Libr. 208, 323-340 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Learning automata for online function evaluation management in evolutionary multi-population methods for dynamic optimization problems. (English) Zbl 1485.68324

Kordestani, Javidan Kazemi (ed.) et al., Advances in learning automata and intelligent optimization. Cham: Springer. Intell. Syst. Ref. Libr. 208, 287-321 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Learning automata for behavior control in evolutionary computation. (English) Zbl 1485.68219

Kordestani, Javidan Kazemi (ed.) et al., Advances in learning automata and intelligent optimization. Cham: Springer. Intell. Syst. Ref. Libr. 208, 127-157 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Cellular automata, learning automata, and cellular learning automata for optimization. (English) Zbl 1485.68218

Kordestani, Javidan Kazemi (ed.) et al., Advances in learning automata and intelligent optimization. Cham: Springer. Intell. Syst. Ref. Libr. 208, 75-125 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Learning automaton and its variants for optimization: a bibliometric analysis. (English) Zbl 1485.68217

Kordestani, Javidan Kazemi (ed.) et al., Advances in learning automata and intelligent optimization. Cham: Springer. Intell. Syst. Ref. Libr. 208, 51-73 (2021).
PDF BibTeX XML Cite
Full Text: DOI

An introduction to learning automata and optimization. (English) Zbl 1485.68216

Kordestani, Javidan Kazemi (ed.) et al., Advances in learning automata and intelligent optimization. Cham: Springer. Intell. Syst. Ref. Libr. 208, 1-50 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Categorical semantics of a simple differential programming language. (English) Zbl 1477.68262

Spivak, David I. (ed.) et al., Proceedings of the 3rd annual international applied category theory conference 2020, ACT 2020, Cambridge, USA, July 6–10, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 333, 289-310 (2021).
PDF BibTeX XML Cite
Full Text: arXiv Link

Netter: probabilistic, stateful network models. (English) Zbl 1472.68012

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 486-508 (2021).
PDF BibTeX XML Cite
Full Text: DOI

A synchronous effects logic for temporal verification of pure Esterel. (English) Zbl 1472.68020

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 417-440 (2021).
MSC:  68N15 03B70 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Generative program analysis and beyond: the power of domain-specific languages (invited paper). (English) Zbl 1472.68042

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 29-51 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Deductive verification of floating-point Java programs in KeY. (English) Zbl 1474.68186

Groote, Jan Friso (ed.) et al., 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. Lect. Notes Comput. Sci. 12652, 242-261 (2021).
MSC:  68Q60 65G50 68N15
PDF BibTeX XML Cite
Full Text: DOI arXiv

Query lifting. Language-integrated query for heterogeneous nested collections. (English) Zbl 1473.68067

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 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. Cham: Springer. Lect. Notes Comput. Sci. 12648, 579-606 (2021).
MSC:  68P15 68N15 68N30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Bayesian strategies: probabilistic programs as generalised graphical models. (English) Zbl 1473.68054

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 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. Cham: Springer. Lect. Notes Comput. Sci. 12648, 519-547 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Correctness of sequential Monte Carlo inference for probabilistic programming languages. (English) Zbl 1473.68038

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 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. Cham: Springer. Lect. Notes Comput. Sci. 12648, 404-431 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Complete trace models of state and control. (English) Zbl 1473.68037

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 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. Cham: Springer. Lect. Notes Comput. Sci. 12648, 348-374 (2021).
MSC:  68N15 68Q55
PDF BibTeX XML Cite
Full Text: DOI arXiv

Verified software units. (English) Zbl 1473.68035

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 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. Cham: Springer. Lect. Notes Comput. Sci. 12648, 118-147 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Computational thinking: a perspective on computer science. (English) Zbl 07385350

Singapore: Springer (ISBN 978-981-16-3847-3/hbk; 978-981-16-3848-0/ebook). xxvi, 319 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI

Multi-objective optimization of long-run average and total rewards. (English) Zbl 1467.68094

Groote, Jan Friso (ed.) et al., 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 I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 230-249 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

On satisficing in quantitative games. (English) Zbl 1467.68161

Groote, Jan Friso (ed.) et al., 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 I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 20-37 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Deep learning with Python. Learn best practices of deep learning models with PyTorch. 2nd updated edition. (English) Zbl 1467.68002

Berkeley, CA: Apress (ISBN 978-1-4842-5363-2/pbk; 978-1-4842-5364-9/ebook). xvii, 306 p. (2021).
MSC:  68-01 68N15 68T07
PDF BibTeX XML Cite
Full Text: DOI

Advances in learning automata and intelligent optimization. (English) Zbl 1470.68021

Intelligent Systems Reference Library 208. Cham: Springer (ISBN 978-3-030-76290-2/hbk; 978-3-030-76291-9/ebook). xx, 340 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI

Pyomo – optimization modeling in Python. 3rd edition. (English) Zbl 1462.90001

Springer Optimization and Its Applications 67. Cham: Springer (ISBN 978-3-030-68927-8/hbk; 978-3-030-68930-8/pbk; 978-3-030-68928-5/ebook). xvii, 225 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI

Tabular: probabilistic inference from the spreadsheet. (English) Zbl 07311054

Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 489-532 (2021).
MSC:  68N01
PDF BibTeX XML Cite
Full Text: DOI

Luck: a probabilistic language for testing. (English) Zbl 07311053

Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 449-488 (2021).
MSC:  68N01
PDF BibTeX XML Cite
Full Text: DOI

Probabilistic abstract interpretation: sound inference and application to privacy. (English) Zbl 07311051

Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 361-390 (2021).
MSC:  68N01
PDF BibTeX XML Cite
Full Text: DOI

Bat algorithm with applications to signal, speech, and image processing – a review. (English) Zbl 1459.94042

Dey, Nilanjan (ed.) et al., Applications of bat algorithm and its variants. Singapore: Springer. Springer Tracts Nat.-Inspir. Comput., 133-153 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Concrete mathematics (not only) for computer scientists. With many graphics and algorithms in Python. With illustrations by Heike Stephan. 2nd revised and expanded edition. (Konkrete Mathematik (nicht nur) für Informatiker. Mit vielen Grafiken und Algorithmen in Python.) (German) Zbl 1457.00003

Berlin: Springer Spektrum (ISBN 978-3-662-62617-7/hbk; 978-3-662-62618-4/ebook). xv, 989 p. (2021).
MSC:  00A06 68-01 68N15
PDF BibTeX XML Cite
Full Text: DOI

Equational logic and categorical semantics for multi-languages. (English) Zbl 07516372

Johann, Patricia (ed.), Proceedings of the 36th conference on mathematical foundations of programming semantics, MFPS XXXVI, virtual conference, June 2–6, 2020. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 352, 79-103 (2020).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Typestates to automata and back: a tool. (English) Zbl 1477.68073

Lange, Julien (ed.) et al., Proceedings of the 13th interaction and concurrency experience workshop, ICE’20, online, June 19, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 324, 25-42 (2020).
PDF BibTeX XML Cite
Full Text: arXiv Link

Highly automated formal proofs over memory usage of assembly code. (English) Zbl 1483.68211

Biere, Armin (ed.) et al., 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 II. Cham: Springer. Lect. Notes Comput. Sci. 12079, 98-117 (2020).
MSC:  68Q60 68N15 68V15
PDF BibTeX XML Cite
Full Text: DOI

Probabilistic Lipschitz analysis of neural networks. (English) Zbl 1474.68155

Pichardie, David (ed.) et al., Static analysis. 27th international symposium, SAS 2020, virtual event, November 18–20, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12389, 274-309 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Certified semantics for relational programming. (English) Zbl 1476.68043

Oliveira, Bruno C. d. S. (ed.), Programming languages and systems. 18th Asian symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12470, 167-185 (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Syntactically restricting bounded polymorphism for decidable subtyping. (English) Zbl 1476.68041

Oliveira, Bruno C. d. S. (ed.), Programming languages and systems. 18th Asian symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12470, 125-144 (2020).
MSC:  68N15 68N18 68N19
PDF BibTeX XML Cite
Full Text: DOI

Behavioural types for memory and method safety in a core object-oriented language. (English) Zbl 1476.68039

Oliveira, Bruno C. d. S. (ed.), Programming languages and systems. 18th Asian symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12470, 105-124 (2020).
MSC:  68N15 68N30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Multi-purpose syntax definition with SDF3. (English) Zbl 1476.68040

de Boer, Frank (ed.) et al., Software engineering and formal methods. 18th international conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12310, 1-23 (2020).
MSC:  68N15 68Q42
PDF BibTeX XML Cite
Full Text: DOI

System description: lang-n-change – a tool for transforming languages. (English) Zbl 07368092

Nakano, Keisuke (ed.) et al., Functional and logic programming. 15th international symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12073, 198-214 (2020).
MSC:  68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI

A tutorial introduction to quantum circuit programming in dependently typed proto-quipper. (English) Zbl 07368053

Lanese, Ivan (ed.) et al., Reversible computation. 12th international conference, RC 2020, Oslo, Norway, July 9–10, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12227, 153-168 (2020).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI arXiv

One-shot algebraic effects as coroutines. (English) Zbl 1475.68063

Byrski, Aleksander (ed.) et al., Trends in functional programming. 21st international symposium, TFP 2020, Krakow, Poland, February 13–14, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12222, 159-179 (2020).
MSC:  68N18 68N15
PDF BibTeX XML Cite
Full Text: DOI

A proof assistant based formalisation of a subset of sequential core Erlang. (English) Zbl 1475.68059

Byrski, Aleksander (ed.) et al., Trends in functional programming. 21st international symposium, TFP 2020, Krakow, Poland, February 13–14, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12222, 139-158 (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

Development of customized scripts. (English) Zbl 07364705

Cheng, Zhiguang (ed.) et al., Modeling and application of electromagnetic and thermal field in electrical engineering. Beijing: Science Press; Singapore: Springer. 139-174 (2020).
MSC:  68T35 78A55
PDF BibTeX XML Cite
Full Text: DOI

Correct audit logging in concurrent systems. (English) Zbl 07313968

Nalon, Cláudia (ed.) et al., Proceedings of the 15th international workshop on logical and semantic frameworks, with applications, LSFA 2020, virtual workshop, August 27–28, 2020. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 351, 115-141 (2020).
MSC:  03B70 68Q55 68T27
PDF BibTeX XML Cite
Full Text: DOI

Linear dependent type theory for quantum programming languages. Extended abstract. (English) Zbl 07299487

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 440-453 (2020).
MSC:  68-XX
PDF BibTeX XML Cite
Full Text: DOI arXiv

Cones as a model of intuitionistic linear logic. (English) Zbl 07299482

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 370-383 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

Representing structural language features in formal meta-languages. (English) Zbl 1455.68268

Benzmüller, Christoph (ed.) et al., Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12236, 206-221 (2020).
MSC:  68V30 68N15
PDF BibTeX XML Cite
Full Text: DOI

Intermediate representation of programs with type specification based on pattern matching. (English. Russian original) Zbl 1455.68040

Program. Comput. Softw. 46, No. 1, 57-66 (2020); translation from Programmirovanie 46, No. 1, 63-74 (2020).
MSC:  68N15 68N18
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software