Results 121 to 130 of about 2,393,512 (361)
A Formal Language to Describe and Animate Signs in Brazilian Sign Language
Journal on Interactive Systems, 2013 Nenhum resumo ...
Danilo Assis Nobre dos S. Silva +6 more
doaj +1 more source
Towards Nominal Formal Languages [PDF]
arXiv, 2011 We introduce formal languages over infinite alphabets where words may contain binders. We define the notions of nominal language, nominal monoid, and nominal regular expressions. Moreover, we extend history-dependent automata (HD-automata) by adding stack, and study the recognisability of nominal languages.
arxiv
International Journal of Adaptive Control and Signal Processing, EarlyView.Summary Data‐driven forecasting of ship motions in waves is investigated through feedforward and recurrent neural networks as well as dynamic mode decomposition. The goal is to predict future ship motion variables based on past data collected on the field, using equation‐free approaches.
Matteo Diez +2 more
wiley +1 more source
Unification of Information Security Policies for Network Security Solutions
Безопасность информационных технологий, 2012 Diversity of command languages on network security solutions’ (NSS) interfaces causes problems in a process of information security policy (ISP) deployment.
D.S. Chernyavskiy
doaj
On The Structure of Dyck Languages [PDF]
arXiv, 2019 We prove that the closure of the one-sided Dyck language in a free monoid is a two-sided Dyck language.
arxiv
Automata, formal languages abstract switching, and computability in a Ph.D. computer science program [PDF]
, 1968 Robert McNaughton
openalex +1 more source
Formal translations and Szilard languages
Information and Control, 1976 One of the methods for defining translations is the so called syntax-directed translation scheme which can be interpreted as a pair of rather similar grammars with the productions working in parallel. Because of the similarity of the grammars each of the two grammars “fits” the other in the sense that for each derivation process in one grammar leading ...
Hermann A. Maurer, Hans-Peter Kriegel
openaire +2 more sources
Bridging Nature and Technology: A Perspective on Role of Machine Learning in Bioinspired Ceramics
Advanced Engineering Materials, EarlyView.Machine learning (ML) is revolutionizing the development of bioinspired ceramics. This article investigates how ML can be used to design new ceramic materials with exceptional performance, inspired by the structures found in nature. The research highlights how ML can predict material properties, optimize designs, and create advanced models to unlock a ...
Hamidreza Yazdani Sarvestani +2 more
wiley +1 more source
User Experience with Language-Independent Formal Verification [PDF]
arXiv, 2019 The goal of this paper is to help mainstream programmers routinely use formal verification on their smart contracts by 1) proposing a new YAML-format for writing general-purpose formal specifications, 2) demonstrating how a formal specification can be incrementally built up without needing advanced training, and 3) showing how formal specifications can
arxiv
Programmed Grammars and Classes of Formal Languages [PDF]
, 1969 Daniel J. Rosenkrantz
openalex +1 more source