Results 1 to 10 of about 146,057 (221)
Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages [PDF]
IEEE International Conference on Formal Engineering Methods, 2022 Recurrent Neural Networks (RNNs) have achieved tremendous success in sequential data processing. However, it is quite challenging to interpret and verify RNNs' behaviors directly.
Zeming Wei, Xiyue Zhang, Meng Sun
semanticscholar +1 more source
Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny [PDF]
World Congress on Formal Methods, 2023 The Ethereum protocol implements a replicated state machine. The network participants keep track of the system state by: 1) agreeing on the sequence of transactions to be processed and 2) computing the state transitions that correspond to the sequence of
F. Cassez +4 more
semanticscholar +1 more source
Non-Derivative Terms of Ecology as a Subject of Comparative Anthropocentric Analysis
Filologičeskie nauki. Voprosy teorii i praktiki, 2022 . The aim of the article is to determine the features of non-derivative ecological terms formation in two languages with different structures. The scientific novelty lies in a new approach to describing the te r-minology of ecology: the article is the ...
L. Chernyshova, E. Chernikova
semanticscholar +1 more source
More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme [PDF]
NASA Formal Methods, 2022 Formal methods for software correctness are critical to the future of software engineering - and so must be an essential part of software engineering education.
J. Noble +3 more
semanticscholar +1 more source
Petri Nets Generating Array Languages
International Journal of Advanced Trends in Computer Science and Engineering, 2020 Petri net models have been characterised to create array languages. In array generating Petri nets arrays are utilised as tokens in the initial places, instead of black dots. Triangular exhibits and triangular models are generally found in the literature
M.I.Mary Metilda
semanticscholar +1 more source
Vocabulary Teaching in Refugee Children within the Context of the Greek Formal Education
Languages, 2022 The aim of the present study is to investigate vocabulary teaching in children with refugee backgrounds. The effectiveness of three vocabulary interventions—flashcards, pantomime, and use of contextual cues—is examined within the context of formal ...
Konstantina Olioumtsevits +2 more
semanticscholar +1 more source
Not…Until across European Languages: A Parallel Corpus Study
Languages, 2022 We present a parallel corpus study on the expression of the temporal construction ‘not…until’ in a sample of European languages. We use data from the Europarl corpus and create semantic maps by multidimensional scaling, in order to analyze cross ...
H. de Swart +2 more
semanticscholar +1 more source
Formal Specification and Verification of JDK’s Identity Hash Map Implementation
International Conference on Integrated Formal Methods, 2023 Hash maps are a common and important data structure in efficient algorithm implementations. Despite their wide-spread use, real-world implementations are not regularly verified.
Martin De Boer +5 more
semanticscholar +1 more source
Foundations for structured programming with GADTs [PDF]
, 2008 GADTs are at the cutting edge of functional programming and become more widely used every day. Nevertheless, the semantic foundations underlying GADTs are not well understood.
Ghani, Neil, Johann, Patricia
core +2 more sources
Schreier split extensions of preordered monoids [PDF]
, 2020 Properties of preordered monoids are investigated and important subclasses of such structures are studied. The corresponding full subcategories of the category of preordered monoids are functorially related between them as well as with the categories of ...
Martins-Ferreira, Nelson +1 more
core +2 more sources