Results 1 to 10 of about 1,325,838 (268)
TRX: A Formally Verified Parser Interpreter [PDF]
Logical Methods in Computer Science, 2011 Parsing is an important problem in computer science and yet surprisingly little attention has been devoted to its formal verification. In this paper, we present TRX: a parser interpreter formally developed in the proof assistant Coq, capable of producing
Adam Koprowski, Henri Binsztok
doaj +4 more sources
The impact of interdisciplinary dynamic images on public perception [PDF]
E3S Web of Conferences, 2021 Dynamic image, usually defined as motion graphics or dynamic graphics, is a kind of image art based on art design and computer science. In a broad sense, dynamic image is a discipline that integrates animation, film, and graphic design.
Shi ChaoYuan, Gu Li
doaj +1 more source
Scientific Reports, 2022 Using responses from a large respondent-initiated online survey, we find that the career interests of many current and aspiring computer scientists in the United States diverge from a popular and official depiction of computer scientists’ interests used ...
Jenna E. McChesney +2 more
doaj +1 more source
Advances in the application of a brain–computer interface to the Metaverse
工程科学学报, 2023 The brain–machine interface has been an integral component of the metaverse since the inception of the latter, in his classic science fiction novel “True Names,” Vernor Vinge, the American mathematician and computer science Professor, describes a virtual
Xue WANG +3 more
doaj +1 more source
Deep learning methods applied to digital elevation models: state of the art
Geocarto International, 2023 Deep Learning (DL) has a wide variety of applications in various thematic domains, including spatial information. Although with limitations, it is also starting to be considered in operations related to Digital Elevation Models (DEMs). This study aims to
Juan J. Ruiz-Lendínez +4 more
doaj +1 more source
Frontiers in Psychology, 2022 Under the wave of globalization, the ties between countries are getting closer and closer. Based on the differences in the languages of different countries, the importance of English as a universal language is becoming more and more prominent.
Qilin Yan
doaj +1 more source
Higher-Order Termination: from Kruskal to Computability [PDF]
, 2006 Termination is a major question in both logic and computer science. In logic, termination is at the heart of proof theory where it is usually called strong normalization (of cut elimination).
C. Borralleras +13 more
core +9 more sources
CENTRE-PERIPHERY DICHOTOMY AND ITS INVESTIGATION BY GIS METHODS [PDF]
Acta Geographica Debrecina. Landscape & Environment Series, 2016 Centre-periphery dichotomy can be regarded as one of the crucial issues in human geography and regional science. The definition of periphery is far from unambiguous due to its relative expression and its content.
JÁNOS PÉNZES
doaj +1 more source
Problems for combinatorial numbers satisfying a class of triangular arrays
Lietuvos Matematikos Rinkinys, 2023 Numbers satisfying a class of triangular arrays, defined by a bivariate first-order linear difference equation with linear coefficients, include a wide range of combinatorial numbers: binomial coefficients, Morgan numbers, Stirling numbers of the first ...
Igoris Belovas
doaj +3 more sources
Algorithmic Accountability in Context. Socio-Technical Perspectives on Structural Causal Models
Frontiers in Big Data, 2021 The increasing use of automated decision making (ADM) and machine learning sparked an ongoing discussion about algorithmic accountability. Within computer science, a new form of producing accountability has been discussed recently: causality as an ...
Nikolaus Poechhacker, Severin Kacianka
doaj +1 more source