Results 41 to 50 of about 2,243,395 (337)

On Formal Specification of Maple Programs [PDF]

, 2012
This paper is an example-based demonstration of our initial results on the formal specification of programs written in the computer algebra language MiniMaple (a substantial subset of Maple with slight extensions). The main goal of this work is to define
Khan, Muhammad Taimoor, Schreiner, Wolfgang   +1 more
core   +1 more source

Cross-language variation in the acceptability of vowelless nonwords

Frontiers in Communication
This study examines the acceptability of voweled and vowelless nonwords produced by a native speaker of Tashlhiyt (a Moroccan Amazigh language) across listeners from five different language groups: L1 Tashlhiyt, L1 Tarifit, L1 Moroccan Arabic, L1 English,
Georgia Zellou, Mohamed Afkir, Mohamed Lahrouchi, Karim Bensoukas   +3 more
doaj   +1 more source

Unique decipherability in formal languages [PDF]

Theoretical Computer Science, 2020
We consider several language-theoretic aspects of various notions of unique decipherability (or unique factorization) in formal languages. Given a language L at some position within the Chomsky hierarchy, we investigate the language of words UD(L) in L∗ that have unique factorization over L.
Jeffrey Shallit, Paul C. Bell, Daniel Reidenbach   +2 more
openaire   +3 more sources

Formal Model Engineering for Embedded Systems Using Real-Time Maude

, 2011
This paper motivates why Real-Time Maude should be well suited to provide a formal semantics and formal analysis capabilities to modeling languages for embedded systems.
A. Boronat, A. Boronat, A. Boronat, A. Boronat, A. Cerone, E. Lien, F. Wang, Francisco Durán, J. E. Rivera, J. E. Rivera, J. Eker, J. Meseguer, J. Srba, K. Bae, K. Bae, M. AlTurki, M. Clavel, M. Katelman, P. C. Ölveczky, P. C. Ölveczky, P. C. Ölveczky, P. C. Ölveczky, P. C. Ölveczky, P. C. Ölveczky, Peter Csaba Ölveczky, R. Alur, S. P. Miller, Vlad Rusu   +27 more
core   +2 more sources

The Language Exchange Programme: plugging the gap in formal learning [PDF]

, 2017
In the context of distance language learning, speaking is frequently perceived as the most challenging skill; this paper reports on a 12-week summer language exchange programme providing students with new ways of practising their oral abilities. Students
Brammerts, Council of Europe, Cziko, Dörnyei, Hall, Lewis, O’Dowd, Ryan, Vassallo, Voller   +9 more
core   +1 more source

Rewriting Logic Semantics of a Plan Execution Language [PDF]

, 2010
The Plan Execution Interchange Language (PLEXIL) is a synchronous language developed by NASA to support autonomous spacecraft operations. In this paper, we propose a rewriting logic semantics of PLEXIL in Maude, a high-performance logical engine.
A. Verdejo, Bartek Klin, C. Rocha, Camilo Rocha, César Muñoz, D. Lucanu, G. Berry, G. D. Plotkin, G. Dowek, G. Dowek, Gilles Dowek, J. Meseguer, J. Meseguer, M. AlTurki, M. Clavel, N. Dershowitz, O. Tardieu, P. Caspi, P. Viry, Paweł Sobociński, R. Bruni, S. Owre, T. Estlin, T. Serbanuta, T. Serbanuta, V. Verna   +25 more
core   +4 more sources

Towards automatic Maude specifications generation from C functions

Journal of Innovation Information Technology and Application, 2023
In this paper, we aim to contribute to the knowledge about how imperative C functions can be transformed to Maude functional and system modules respectively.
fateh boutekkouk
doaj   +1 more source

Comparing self‐reported race and genetic ancestry for identifying potential differentially methylated sites in endometrial cancer: insights from African ancestry proportions using machine learning models

Molecular Oncology, EarlyView.
Integrating ancestry, differential methylation analysis, and machine learning, we identified robust epigenetic signature genes (ESGs) and Core‐ESGs in Black and White women with endometrial cancer. Core‐ESGs (namely APOBEC1 and PLEKHG5) methylation levels were significantly associated with survival, with tumors from high African ancestry (THA) showing ...
Huma Asif, J. Julie Kim
wiley   +1 more source

Finite Systems Handling Language (YAFOLL message 1)

Studia Humana, 2015
The concept a finite multi-carrier algebraic system (FMAS) as well as a language for handling systems such as YAFOLL (Yet Another First Order Logic Language) are introduced.
Shkotin Alex
doaj   +1 more source

A Survey of Languages for Formalizing Mathematics [PDF]

, 2020
CICM 2020 conference paper ...
Cezary Kaliszyk, Florian Rabe
openaire   +3 more sources