Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Ukraiński (UK)
Przejdź do strony domowej biblioteki Uniwersytet Ekonomiczny we Wrocławiu Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaUniwersytet Ekonomiczny we Wrocławiu

Wyszukujesz frazę ""QA1-939"" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-20 z 2511
Tytuł:
Quantitative Aspects of Programming Languages and Systems over the past 2^4 years and beyond
Autorzy:
Alessandro Aldini
Pokaż więcej
Temat:
Mathematics
QA1-939
Electronic computers. Computer science
QA75.5-76.95
Źródło:
Electronic Proceedings in Theoretical Computer Science, Vol 312, Iss Proc. QAPL 2019, Pp 1-19 (2020)
Opis pliku:
electronic resource
Relacje:
http://arxiv.org/pdf/2001.06942v1; https://doaj.org/toc/2075-2180
Dostęp URL:
https://doaj.org/article/f4ce6dcb502a496d95fbb04162af4a8f  Link otwiera się w nowym oknie
Czasopismo naukowe
Szczegóły
Tytuł:
A Faster-Than Relation for Semi-Markov Decision Processes
Autorzy:
Mathias Ruggaard Pedersen
Giorgio Bacci
Kim Guldstrand Larsen
Pokaż więcej
Temat:
Mathematics
QA1-939
Electronic computers. Computer science
QA75.5-76.95
Źródło:
Electronic Proceedings in Theoretical Computer Science, Vol 312, Iss Proc. QAPL 2019, Pp 29-42 (2020)
Opis pliku:
electronic resource
Relacje:
http://arxiv.org/pdf/1810.11243v2; https://doaj.org/toc/2075-2180
Dostęp URL:
https://doaj.org/article/965555eb02ff44b4b4b728065f1f6019  Link otwiera się w nowym oknie
Czasopismo naukowe
Szczegóły
Tytuł:
Probabilistic Output Analyses for Deterministic Programs — Reusing Existing Non-probabilistic Analyses
Autorzy:
Maja Hanne Kirkeby
Pokaż więcej
Temat:
Mathematics
QA1-939
Electronic computers. Computer science
QA75.5-76.95
Źródło:
Electronic Proceedings in Theoretical Computer Science, Vol 312, Iss Proc. QAPL 2019, Pp 43-57 (2020)
Opis pliku:
electronic resource
Relacje:
http://arxiv.org/pdf/2001.06943v1; https://doaj.org/toc/2075-2180
Dostęp URL:
https://doaj.org/article/304c2d86432142e6ae230b5f476dc2b1  Link otwiera się w nowym oknie
Czasopismo naukowe
Szczegóły
Tytuł:
Towards Digital Twins for the Description of Automotive Software Systems
Autorzy:
Jan Olaf Blech
Pokaż więcej
Temat:
Mathematics
QA1-939
Electronic computers. Computer science
QA75.5-76.95
Źródło:
Electronic Proceedings in Theoretical Computer Science, Vol 312, Iss Proc. QAPL 2019, Pp 20-28 (2020)
Opis pliku:
electronic resource
Relacje:
http://arxiv.org/pdf/2001.07706v1; https://doaj.org/toc/2075-2180
Dostęp URL:
https://doaj.org/article/9b6882a9e02a44e082beda4c0d7499d5  Link otwiera się w nowym oknie
Czasopismo naukowe
Szczegóły
Tytuł:
Speeding up Generalized PSR Parsers by Memoization Techniques
Autorzy:
Mark Minas
Pokaż więcej
Temat:
Mathematics
QA1-939
Electronic computers. Computer science
QA75.5-76.95
Źródło:
Electronic Proceedings in Theoretical Computer Science, Vol 309, Iss Proc. GCM 2019, Pp 71-86 (2019)
Opis pliku:
electronic resource
Relacje:
http://arxiv.org/pdf/1912.09609v1; https://doaj.org/toc/2075-2180
Dostęp URL:
https://doaj.org/article/993ac34bb8a644f3853aede0887ee17f  Link otwiera się w nowym oknie
Czasopismo naukowe
Szczegóły
Tytuł:
Rule-based Graph Repair
Autorzy:
Christian Sandmann
Annegret Habel
Pokaż więcej
Temat:
Mathematics
QA1-939
Electronic computers. Computer science
QA75.5-76.95
Źródło:
Electronic Proceedings in Theoretical Computer Science, Vol 309, Iss Proc. GCM 2019, Pp 87-104 (2019)
Opis pliku:
electronic resource
Relacje:
http://arxiv.org/pdf/1912.09610v1; https://doaj.org/toc/2075-2180
Dostęp URL:
https://doaj.org/article/6c0a383a1f274242af3b7bf439730f4d  Link otwiera się w nowym oknie
Czasopismo naukowe
Szczegóły
Tytuł:
Using ConceptNet to Teach Common Sense to an Automated Theorem Prover
Autorzy:
Claudia Schon
Sophie Siebert
Frieder Stolzenburg
Pokaż więcej
Temat:
Mathematics
QA1-939
Electronic computers. Computer science
QA75.5-76.95
Źródło:
Electronic Proceedings in Theoretical Computer Science, Vol 311, Iss Proc. ARCADE 2019, Pp 19-24 (2019)
Opis pliku:
electronic resource
Relacje:
http://arxiv.org/pdf/1912.12957v1; https://doaj.org/toc/2075-2180
Dostęp URL:
https://doaj.org/article/fa7d7f99bfe04ab8bebce5d13af26e67  Link otwiera się w nowym oknie
Czasopismo naukowe
Szczegóły
Tytuł:
A Component-Based Formal Language Workbench
Autorzy:
Peter D. Mosses
Pokaż więcej
Temat:
Mathematics
QA1-939
Electronic computers. Computer science
QA75.5-76.95
Źródło:
Electronic Proceedings in Theoretical Computer Science, Vol 310, Iss Proc. F-IDE 2019, Pp 29-34 (2019)
Opis pliku:
electronic resource
Relacje:
http://arxiv.org/pdf/1912.10631v1; https://doaj.org/toc/2075-2180
Dostęp URL:
https://doaj.org/article/37f18e6839b048dcac81d9f50a19eb18  Link otwiera się w nowym oknie
Czasopismo naukowe
Szczegóły
Tytuł:
Automated Deductive Verification for Ladder Programming
Autorzy:
Denis Cousineau
David Mentré
Hiroaki Inoue
Pokaż więcej
Temat:
Mathematics
QA1-939
Electronic computers. Computer science
QA75.5-76.95
Źródło:
Electronic Proceedings in Theoretical Computer Science, Vol 310, Iss Proc. F-IDE 2019, Pp 7-12 (2019)
Opis pliku:
electronic resource
Relacje:
http://arxiv.org/pdf/1912.10629v1; https://doaj.org/toc/2075-2180
Dostęp URL:
https://doaj.org/article/c48fc5c0160b456e83c3816906c6e0db  Link otwiera się w nowym oknie
Czasopismo naukowe
Szczegóły
Tytuł:
Deeply Integrating C11 Code Support into Isabelle/PIDE
Autorzy:
Frédéric Tuong
Burkhart Wolff
Pokaż więcej
Temat:
Mathematics
QA1-939
Electronic computers. Computer science
QA75.5-76.95
Źródło:
Electronic Proceedings in Theoretical Computer Science, Vol 310, Iss Proc. F-IDE 2019, Pp 13-28 (2019)
Opis pliku:
electronic resource
Relacje:
http://arxiv.org/pdf/1912.10630v1; https://doaj.org/toc/2075-2180
Dostęp URL:
https://doaj.org/article/cef6aec8387446268e34e98986331fb3  Link otwiera się w nowym oknie
Czasopismo naukowe
Szczegóły
Tytuł:
On Quantified Modal Theorem Proving for Modeling Ethics
Autorzy:
Naveen Sundar Govindarajulu
Selmer Bringsjord
Matthew Peveler
Pokaż więcej
Temat:
Mathematics
QA1-939
Electronic computers. Computer science
QA75.5-76.95
Źródło:
Electronic Proceedings in Theoretical Computer Science, Vol 311, Iss Proc. ARCADE 2019, Pp 43-49 (2019)
Opis pliku:
electronic resource
Relacje:
http://arxiv.org/pdf/1912.12959v1; https://doaj.org/toc/2075-2180
Dostęp URL:
https://doaj.org/article/97603d6d044f450ca37e1095da42fe6c  Link otwiera się w nowym oknie
Czasopismo naukowe
Szczegóły
Tytuł:
Sesqui-Pushout Rewriting: Concurrency, Associativity and Rule Algebra Framework
Autorzy:
Nicolas Behr
Pokaż więcej
Temat:
Mathematics
QA1-939
Electronic computers. Computer science
QA75.5-76.95
Źródło:
Electronic Proceedings in Theoretical Computer Science, Vol 309, Iss Proc. GCM 2019, Pp 23-52 (2019)
Opis pliku:
electronic resource
Relacje:
http://arxiv.org/pdf/1904.08357v2; https://doaj.org/toc/2075-2180
Dostęp URL:
https://doaj.org/article/d3a3544205f745f092c707fec6dddff0  Link otwiera się w nowym oknie
Czasopismo naukowe
Szczegóły
Tytuł:
Experience Report: Towards Moving Things with Types - Helping Logistics Domain Experts to Control Cyber-Physical Systems with Type-Based Synthesis
Autorzy:
Jan Bessai
Moritz Roidl
Anna Vasileva
Pokaż więcej
Temat:
Mathematics
QA1-939
Electronic computers. Computer science
QA75.5-76.95
Źródło:
Electronic Proceedings in Theoretical Computer Science, Vol 310, Iss Proc. F-IDE 2019, Pp 1-6 (2019)
Opis pliku:
electronic resource
Relacje:
http://arxiv.org/pdf/1912.10628v1; https://doaj.org/toc/2075-2180
Dostęp URL:
https://doaj.org/article/127f9e33f75142e88bd7a8c125e9232f  Link otwiera się w nowym oknie
Czasopismo naukowe
Szczegóły
Tytuł:
Smarter Features, Simpler Learning?
Autorzy:
Sarah Winkler
Georg Moser
Pokaż więcej
Temat:
Mathematics
QA1-939
Electronic computers. Computer science
QA75.5-76.95
Źródło:
Electronic Proceedings in Theoretical Computer Science, Vol 311, Iss Proc. ARCADE 2019, Pp 25-31 (2019)
Opis pliku:
electronic resource
Relacje:
http://arxiv.org/pdf/1911.06578v2; https://doaj.org/toc/2075-2180
Dostęp URL:
https://doaj.org/article/41da2daabc694de69a22876354498a22  Link otwiera się w nowym oknie
Czasopismo naukowe
Szczegóły
Tytuł:
Simulation under Arbitrary Temporal Logic Constraints
Autorzy:
Julien Brunel
David Chemouil
Alcino Cunha
Nuno Macedo
Pokaż więcej
Temat:
Mathematics
QA1-939
Electronic computers. Computer science
QA75.5-76.95
Źródło:
Electronic Proceedings in Theoretical Computer Science, Vol 310, Iss Proc. F-IDE 2019, Pp 63-69 (2019)
Opis pliku:
electronic resource
Relacje:
http://arxiv.org/pdf/1912.10634v1; https://doaj.org/toc/2075-2180
Dostęp URL:
https://doaj.org/article/8b3afbd784ae44c99c8d1b43c7e40d40  Link otwiera się w nowym oknie
Czasopismo naukowe
Szczegóły
Tytuł:
The TLA+ Toolbox
Autorzy:
Markus Alexander Kuppe
Leslie Lamport
Daniel Ricketts
Pokaż więcej
Temat:
Mathematics
QA1-939
Electronic computers. Computer science
QA75.5-76.95
Źródło:
Electronic Proceedings in Theoretical Computer Science, Vol 310, Iss Proc. F-IDE 2019, Pp 50-62 (2019)
Opis pliku:
electronic resource
Relacje:
http://arxiv.org/pdf/1912.10633v1; https://doaj.org/toc/2075-2180
Dostęp URL:
https://doaj.org/article/f3ddb494451d4771893ab16041e8f03c  Link otwiera się w nowym oknie
Czasopismo naukowe
Szczegóły
Tytuł:
The Challenge of Unifying Semantic and Syntactic Inference Restrictions
Autorzy:
Christoph Weidenbach
Pokaż więcej
Temat:
Mathematics
QA1-939
Electronic computers. Computer science
QA75.5-76.95
Źródło:
Electronic Proceedings in Theoretical Computer Science, Vol 311, Iss Proc. ARCADE 2019, Pp 5-10 (2019)
Opis pliku:
electronic resource
Relacje:
http://arxiv.org/pdf/1912.12966v1; https://doaj.org/toc/2075-2180
Dostęp URL:
https://doaj.org/article/4d701d63e03541eeb2eb6aabf307a5cc  Link otwiera się w nowym oknie
Czasopismo naukowe
Szczegóły
Tytuł:
Boldly Going Where No Prover Has Gone Before
Autorzy:
Giles Reger
Pokaż więcej
Temat:
Mathematics
QA1-939
Electronic computers. Computer science
QA75.5-76.95
Źródło:
Electronic Proceedings in Theoretical Computer Science, Vol 311, Iss Proc. ARCADE 2019, Pp 37-41 (2019)
Opis pliku:
electronic resource
Relacje:
http://arxiv.org/pdf/1912.12958v1; https://doaj.org/toc/2075-2180
Dostęp URL:
https://doaj.org/article/5669b6f2667e4b35b3363489fdf26d73  Link otwiera się w nowym oknie
Czasopismo naukowe
Szczegóły
Tytuł:
An Integrated Development Environment for the Prototype Verification System
Autorzy:
Paolo Masci
César A. Muñoz
Pokaż więcej
Temat:
Mathematics
QA1-939
Electronic computers. Computer science
QA75.5-76.95
Źródło:
Electronic Proceedings in Theoretical Computer Science, Vol 310, Iss Proc. F-IDE 2019, Pp 35-49 (2019)
Opis pliku:
electronic resource
Relacje:
http://arxiv.org/pdf/1912.10632v1; https://doaj.org/toc/2075-2180
Dostęp URL:
https://doaj.org/article/a8e0f44e349a43cba5306f25f83dd88b  Link otwiera się w nowym oknie
Czasopismo naukowe
Szczegóły
Tytuł:
Transformation of Turing Machines into Context-Dependent Fusion Grammars
Autorzy:
Aaron Lye
Pokaż więcej
Temat:
Mathematics
QA1-939
Electronic computers. Computer science
QA75.5-76.95
Źródło:
Electronic Proceedings in Theoretical Computer Science, Vol 309, Iss Proc. GCM 2019, Pp 53-70 (2019)
Opis pliku:
electronic resource
Relacje:
http://arxiv.org/pdf/1912.09608v1; https://doaj.org/toc/2075-2180
Dostęp URL:
https://doaj.org/article/cb3fa43ee3214657b2119f06eae26096  Link otwiera się w nowym oknie
Czasopismo naukowe
Szczegóły
Wyświetlanie 1-20 z 2511

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies