Zobrazeno 1 - 10
of 76
pro vyhledávání: '"Petříček, Tomáš"'
Autor:
Verter, Jan Liam, Petricek, Tomas
There are two kinds of systems that programming language researchers use for their work. Semantics engineering tools let them interactively explore their definitions, while proof assistants can be used to check the proofs of their properties. The dis
Externí odkaz:
http://arxiv.org/abs/2409.13872
Schema change is an unsolved problem in both live programming and local-first software. We include in schema change any change to the expected shape of data, whether that is expressed explicitly in a database schema or type system, or whether those e
Externí odkaz:
http://arxiv.org/abs/2309.11406
Publikováno v:
20 June 2023
Depth perception is considered an invaluable source of information in the context of 3D mapping and various robotics applications. However, point cloud maps acquired using consumer-level light detection and ranging sensors (lidars) still suffer from
Externí odkaz:
http://arxiv.org/abs/2303.01123
Publikováno v:
The Art, Science, and Engineering of Programming, 2023, Vol. 7, Issue 3, Article 13
Programming requires much more than just writing code in a programming language. It is usually done in the context of a stateful environment, by interacting with a system through a graphical user interface. Yet, this wide space of possibilities lacks
Externí odkaz:
http://arxiv.org/abs/2302.10003
Autor:
Petricek, Tomas, Burg, Gerrit J. J. van den, Nazábal, Alfredo, Ceritli, Taha, Jiménez-Ruiz, Ernesto, Williams, Christopher K. I.
Data wrangling tasks such as obtaining and linking data from various sources, transforming data formats, and correcting erroneous records, can constitute up to 80% of typical data engineering work. Despite the rise of machine learning and artificial
Externí odkaz:
http://arxiv.org/abs/2211.00192
Autor:
Edwards, Jonathan, Petricek, Tomas
Many beloved programming systems are image-based: self-contained worlds that persist both code and data in a single file. Examples include Smalltalk, LISP, HyperCard, Flash, and spreadsheets. Image-based programming avoids much of the complexity of m
Externí odkaz:
http://arxiv.org/abs/2110.08993
Autor:
Rouček, Tomáš, Pecka, Martin, Čížek, Petr, Petříček, Tomáš, Bayer, Jan, Šalanský, Vojtěch, Azayev, Teymur, Heřt, Daniel, Petrlík, Matěj, Báča, Tomáš, Spurný, Vojtěch, Krátký, Vít, Petráček, Pavel, Baril, Dominic, Vaidis, Maxime, Kubelka, Vladimír, Pomerleau, François, Faigl, Jan, Zimmermann, Karel, Saska, Martin, Svoboda, Tomáš, Krajník, Tomáš
We present a field report of CTU-CRAS-NORLAB team from the Subterranean Challenge (SubT) organised by the Defense Advanced Research Projects Agency (DARPA). The contest seeks to advance technologies that would improve the safety and efficiency of sea
Externí odkaz:
http://arxiv.org/abs/2110.05911
We present new language-based dynamic analysis techniques for linking visualisations and other structured outputs to data in a fine-grained way, allowing a user to interactively explore how data attributes map to visual or other output elements by se
Externí odkaz:
http://arxiv.org/abs/2109.00445
Autor:
Petricek, Tomas
Publikováno v:
The Art, Science, and Engineering of Programming, 2020, Vol. 4, Issue 3, Article 8
Context: A growing amount of code is written to explore and analyze data, often by data analysts who do not have a traditional background in programming, for example by journalists. Inquiry: The way such data anlysts write code is different from the
Externí odkaz:
http://arxiv.org/abs/2002.06190
Autor:
Petricek, Tomas
Publikováno v:
The Art, Science, and Engineering of Programming, 2018, Vol. 2, Issue 3, Article 12
Computer science provides an in-depth understanding of technical aspects of programming concepts, but if we want to understand how programming concepts evolve, how programmers think and talk about them and how they are used in practice, we need to co
Externí odkaz:
http://arxiv.org/abs/1803.10195