Results 11 to 20 of about 2,116,656 (327)
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
Proceedings of the Second Annual Conference of the MidSouth Computational Biology and Bioinformatics Society [PDF]
BMC Bioinformatics, 2005 The MCBIOS 2004 conference brought together regional researchers and students in biology, computer science and bioinformatics on October 7th-9th 2004 to present their latest work.
Slikker William, Wren Jonathan D
doaj +4 more sources
Counting the number of inequivalent arithmetic expressions on $n$ variables [PDF]
arXivAn expression is any mathematical formula that contains certain formal variables and operations to be executed in a specified order. In computer science, it is usually convenient to represent each expression in the form of an expression tree. Here, we consider only arithmetic expressions, i.e., those that contain only the four standard arithmetic ...
Damnjanović, Ivan +2 more
arxiv +2 more sources
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
Derived terms without derivation a shifted perspective on the derived-term automaton [PDF]
Journal of Computer Science and Cybernetics, Vietnamese Academy of
Science and Technology, Vietnam, Acedemie des Sciences du Vietnam, 2021, 37
(3), pp.201-221, 2021 We present here a construction for the derived term automaton (aka partial derivative, or Antimirov, automaton) of a rational (or regular) expression based on a sole induction on the depth of the expression and without making reference to an operation of derivation of the expression.
arxiv +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
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
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
A procedure establishing perfect multilingualism in a community [PDF]
Mouvements et Enjeux Sociaux, 2023 This paper attempts to provide a procedure establishing perfect multilingualism. Apart from the two items related to gender and age, the author uses ten items based on socio-psycholinguistic parameters, namely the speaker’s emotional expression languages
Remy NSIMAMBOTE ZOLA
doaj
, 2018 Face plays significant role in social communication. This is a 'window' to human personality, emotions and thoughts. Verbal part contributes about 7% of the message, vocal – 34% and facial expression about 55%.
, Dinesh Kumar.K, Ganesh Kumar.M, Karthik Raja.M, S.Raja, Mr.T.Sivaprakasam
core +2 more sources