Works about FORMAL languages

Results: 910

A PRAGMA-LINGUISTIC ANALYSIS OF THE SCHOLAR'S LANGUAGE IN MANGA BLEACH.

Published in:

Studia Universitatis Babes-Bolyai, Philologia, 2025, v. 70, n. 2, p. 1

By:

TOȘU, Ioana Ruxandra

Publication type:

Article

EMI book alerts.

Published in:: Journal of English-Medium Instruction, 2025, v. 4, n. 2, p. 259, doi. 10.1075/jemi.00010.boo
Publication type:: Article

How Informal Approaches and Terminology Can Influence the Formal Training of Professionals.

Published in:

Youth (2673-995X), 2025, v. 5, n. 2, p. 38, doi. 10.3390/youth5020038

By:

Williams, Simon Craig;
Richardson, Ruth

Publication type:

Article

Towards Hazard Analysis Result Verification for Autonomous Ships: A Formal Verification Method Based on Timed Automata.

Published in:

Journal of Marine Science & Engineering, 2025, v. 13, n. 6, p. 1058, doi. 10.3390/jmse13061058

By:

Zhou, Xiang-Yu;
Jin, Shiqi;
Mei, Yang;
Sun, Xu;
Yang, Xue;
Nie, Shengzheng;
Zhang, Wenjun

Publication type:

Article

Multilingualism, translanguaging, and education in the Vaupés, Northwest Amazonia: dynamics of language use, and language loss.

Published in:

Applied Linguistics Review, 2025, v. 16, n. 4, p. 1803, doi. 10.1515/applirev-2023-0037

By:

Palacio Hernandez, Ricardo;
Bolaños, Katherine

Publication type:

Article

Engaging Turkish Learners in Digital Participatory Culture Through Social Media-Enhanced Language Instruction.

Published in:

CALICO Journal, 2024, v. 41, n. 1, p. 48, doi. 10.1558/cj.25514

By:

Solmaz, Osman;
Reinhardt, Jonathon

Publication type:

Article

Online Fan Practices and CALL.

Published in:

CALICO Journal, 2017, v. 34, n. 2, p. 131, doi. 10.1558/cj.33077

By:

Sauro, Shannon

Publication type:

Article

One-dimensional pattern generation by cellular automata.

Published in:

Natural Computing, 2022, v. 21, n. 3, p. 361, doi. 10.1007/s11047-022-09887-1

By:

Kutrib, Martin;
Malcher, Andreas

Publication type:

Article

Conjugate word blending: formal model and experimental implementation by XPCR.

Published in:

Natural Computing, 2021, v. 20, n. 4, p. 647, doi. 10.1007/s11047-021-09867-x

By:

Bellamoli, Francesco;
Franco, Giuditta;
Kari, Lila;
Lampis, Silvia;
Ng, Timothy;
Wang, Zihao

Publication type:

Article

Pumping lemmas for classes of languages generated by folding systems.

Published in:

Natural Computing, 2021, v. 20, n. 2, p. 321, doi. 10.1007/s11047-019-09771-5

By:

Lucero, Jorge C.

Publication type:

Article

Computational completeness of simple semi-conditional insertion–deletion systems of degree (2,1).

Published in:

Natural Computing, 2019, v. 18, n. 3, p. 563, doi. 10.1007/s11047-019-09742-w

By:

Fernau, Henning;
Kuppusamy, Lakshmanan;
Raman, Indhumathi

Publication type:

Article

On decidability and closure properties of language classes with respect to bio-operations.

Published in:

Natural Computing, 2016, v. 15, n. 2, p. 225, doi. 10.1007/s11047-015-9500-y

By:

Ibarra, Oscar

Publication type:

Article

Simulation methods for quantum walks on graphs applied to formal language recognition.

Published in:

Natural Computing, 2015, v. 14, n. 1, p. 145, doi. 10.1007/s11047-014-9441-x

By:

Barr, K.;
Fleming, T.;
Kendon, V.

Publication type:

Article

Extended Watson-Crick L systems with regular trigger languages and restricted derivation modes.

Published in:

Natural Computing, 2012, v. 11, n. 4, p. 653, doi. 10.1007/s11047-012-9329-6

By:

Sears, David;
Salomaa, Kai

Publication type:

Article

Theoretical and computational properties of transpositions.

Published in:

Natural Computing, 2011, v. 10, n. 2, p. 795, doi. 10.1007/s11047-010-9207-z

By:

Daley, Mark;
McQuillan, Ian;
McQuillan, James M.;
Mahalingam, Kalpana

Publication type:

Article

Computational power of insertion-deletion (P) systems with rules of size two.

Published in:

Natural Computing, 2011, v. 10, n. 2, p. 835, doi. 10.1007/s11047-010-9208-y

By:

Krassovitskiy, Alexander;
Rogozhin, Yurii;
Verlan, Sergey

Publication type:

Article

On the regularity of circular splicing languages: a survey and new developments.

Published in:

Natural Computing, 2010, v. 9, n. 2, p. 397, doi. 10.1007/s11047-009-9155-7

By:

Bonizzoni, Paola;
De Felice, Clelia;
Fici, Gabriele;
Zizza, Rosalba

Publication type:

Article

Modelling programmed frameshifting with frameshift machines.

Published in:

Natural Computing, 2010, v. 9, n. 1, p. 239, doi. 10.1007/s11047-009-9144-x

By:

Daley, Mark;
McQuillan, Ian

Publication type:

Article

Proof Systems for Planning Under Cautious Semantics.

Published in:

Minds & Machines, 2013, v. 23, n. 1, p. 5, doi. 10.1007/s11023-012-9288-9

By:

Shen, Yuping;
Zhao, Xishun

Publication type:

Article

Reasoning About Agent Types and the Hardest Logic Puzzle Ever.

Published in:

Minds & Machines, 2013, v. 23, n. 1, p. 123, doi. 10.1007/s11023-012-9287-x

By:

Liu, Fenrong;
Wang, Yanjing

Publication type:

Article

Hints for a formal language inspired by Lewis structures.

Published in:

Foundations of Chemistry, 2022, v. 24, n. 3, p. 315, doi. 10.1007/s10698-022-09439-6

By:

Longo, Savino

Publication type:

Article

The beginnings of a formal language for conceptual analysis of processes in macro-chemistry.

Published in:

Foundations of Chemistry, 2020, v. 22, n. 1, p. 31, doi. 10.1007/s10698-019-09343-6

By:

Friend, Michèle

Publication type:

Article

Ingrid Simonnæs, Øælvin Anderson, and Klaus Schubert (eds). New Challenges for Research on Language for Special Purposes.

Published in:

2020

By:

Faber, Pamela

Publication type:

Book Review

A FORMAL LANGUAGE THEORETIC APPROACH TO DISTRIBUTED COMPUTING ON DYNAMIC NETWORKS.

Published in:

Advances in Complex Systems, 2010, v. 13, n. 3, p. 253, doi. 10.1142/S0219525910002608

By:

LÁZÁR, KATALIN ANNA

Publication type:

Article

Interview with Martin Raussen.

Published in:

European Mathematical Society Magazine, 2024, n. 131, p. 11, doi. 10.4171/MAG/181

By:

Skau, Christian F.

Publication type:

Article

A historical overview of the most significant aspects of the education policy in Iran.

Published in:

Eurasian Journal of Language Teaching & Linguistic Studies (EAJLTLS), 2023, v. 2, n. 2, p. 293

By:

Coskun, Parisa

Publication type:

Article

INDEFINITE EXTENSIBILITY IN NATURAL LANGUAGE.

Published in:

Monist, 2013, v. 96, n. 2, p. 295

By:

Luna, Laureano

Publication type:

Article

From monologue to dialogue: Opening teachers' minds to authentic interaction with students.

Published in:

Journal of Multilingual Theories & Practices, 2023, v. 4, n. 1, p. 120, doi. 10.1558/jmtp.23500

By:

Studer, Patrick;
Kelly, Paul

Publication type:

Article

From "where I live" to "my slave songs": Integrity and Extension in Wanda Coleman's Poetry.

Published in:

Crossroads. A Journal of English Studies, 2023, n. 41, p. 35, doi. 10.15290/CR.2023.41.2.03

By:

KAMIONOWSKI, JERZY

Publication type:

Article

SITCOMS AND THE LANGUACULTURE.

Published in:

Knowledge: International Journal, 2024, v. 67, n. 5, p. 789

By:

Krsteva, Marija

Publication type:

Article

Students' L1 non-standard lexical constructions as an effect of second language formal instruction.

Published in:

Studia Jezykoznawcze: Synchroniczne i diachroniczne aspekty badan polszczyzny, 2021, n. 20, p. 5, doi. 10.18276/sj.2021.20-01

By:

CHWESIUK, URSZULA

Publication type:

Article

Translations from Coding to Reality.

Published in:

Technology - Architecture & Design, 2024, v. 8, n. 2, p. 169, doi. 10.1080/24751448.2024.2405337

By:

Newman, Winifred Elysse

Publication type:

Article

The use of English abbreviations on WhatsApp amongst university students in Zimbabwe.

Published in:

Journal of Modern Languages, 2024, v. 34, n. 2, p. 78, doi. 10.22452/jml.vol34no2.5

By:

Mukenge, Clemenciana

Publication type:

Article

ZMIANY W POLSKIM MODELU GRZECZNOŚCI NA PRZYKŁADZIE JĘZYKOWYCH SPOSOBÓW ZWRACANIA SIĘ FIRM DO KLIENTÓW W MEDIACH SPOŁECZNOŚCIOWYCH.

Published in:

Linguistic Guide / Poradnik Jezykowy, 2023, n. 3, p. 66, doi. 10.33896/PorJ.2023.3.5

By:

Dąbkowska, Anna

Publication type:

Article

Neural factoid geospatial question answering.

Published in:

Journal of Spatial Information Science, 2021, n. 23, p. 65, doi. 10.5311/JOSIS.2021.23.159

By:

Haonan Li;
Hamzei, Ehsan;
Majic, Ivan;
Hua Hua;
Renz, Jochen;
Tomko, Martin;
Vasardani, Maria;
Winter, Stephan;
Baldwin, Timothy

Publication type:

Article

Understanding of source code in language: Contribution of philosophical hermeneutics to the critical code studies.

Published in:

Digital Scholarship in the Humanities, 2022, v. 37, n. 2, p. 307, doi. 10.1093/llc/fqab089

By:

Bajer, Anna

Publication type:

Article

Complexity as Epistemic Oppression: Writing People with Intellectual Disabilities Back into Philosophical Conversations.

Published in:

Hypatia, 2023, v. 38, n. 4, p. 746, doi. 10.1017/hyp.2023.85

By:

Monteleone, Rebecca

Publication type:

Article

The Explorative Nature of Heideggerian Logic.

Published in:

Human Studies, 2021, v. 44, n. 1, p. 139, doi. 10.1007/s10746-020-09568-x

By:

Heimann, Marc

Publication type:

Article

Glasovi ruskoga jezika i hrvatska narječja kao pomoć pri njihovom usvajanju.

Published in:

Govor, 2021, v. 38, n. 1, p. 63, doi. 10.22210/govor.2021.38.04

By:

Čelić, Željka

Publication type:

Article

An Algebraic Characterization of Prefix-Strict Languages.

Published in:

Mathematics (2227-7390), 2022, v. 10, n. 19, p. 3416, doi. 10.3390/math10193416

By:

Tian, Jing;
Chen, Yizhi;
Xu, Hui

Publication type:

Article

Semantic Protocol and Resource Description Framework Query Language: A Comprehensive Review.

Published in:

Mathematics (2227-7390), 2022, v. 10, n. 17, p. 3203, doi. 10.3390/math10173203

By:

Houssein, Essam H.;
Ibrahem, Nahed;
Zaki, Alaa M.;
Sayed, Awny

Publication type:

Article

From Automata to Multiautomata via Theory of Hypercompositional Structures.

Published in:

Mathematics (2227-7390), 2022, v. 10, n. 1, p. 1, doi. 10.3390/math10010001

By:

Křehlík, Štěpán;
Novák, Michal;
Vyroubalová, Jana

Publication type:

Article

On the Languages Accepted by Watson-Crick Finite Automata with Delays.

Published in:

Mathematics (2227-7390), 2021, v. 9, n. 8, p. 813, doi. 10.3390/math9080813

By:

Sempere, José M.;
Cavaliere, Matteo

Publication type:

Article

Hypercompositional Algebra, Computer Science and Geometry.

Published in:

Mathematics (2227-7390), 2020, v. 8, n. 8, p. 1338, doi. 10.3390/math8081338

By:

Massouros, Gerasimos;
Massouros, Christos

Publication type:

Article

A 6-Letter 'DNA' for Baskets with Handles †.

Published in:

Mathematics (2227-7390), 2019, v. 7, n. 2, p. 165, doi. 10.3390/math7020165

By:

Mallos, James

Publication type:

Article

Rule-Based Production of Mathematical Expressions.

Published in:

Mathematics (2227-7390), 2018, v. 6, n. 11, p. 254, doi. 10.3390/math6110254

By:

Alavi Milani, Mir Mohammad Reza;
Hosseinpour, Sahereh;
Pehlivan, Huseyin

Publication type:

Article

Design and Implementation of a UMLRPAsec-Extension for Robotic Process Automation.

Published in:

Electronics (2079-9292), 2024, v. 13, n. 4, p. 769, doi. 10.3390/electronics13040769

By:

Kurylets, Anastasiya;
Goranin, Nikolaj

Publication type:

Article

Interpretable Geometry Problem Solving Using Improved RetinaNet and Graph Convolutional Network.

Published in:

Electronics (2079-9292), 2023, v. 12, n. 22, p. 4578, doi. 10.3390/electronics12224578

By:

Jian, Pengpeng;
Guo, Fucheng;
Pan, Cong;
Wang, Yanli;
Yang, Yangrui;
Li, Yang

Publication type:

Article

Detecting Data Anomalies from Their Formal Specifications: A Case Study in IoT Systems.

Published in:

Electronics (2079-9292), 2023, v. 12, n. 3, p. 630, doi. 10.3390/electronics12030630

By:

Aziz, Benjamin

Publication type:

Article

CONTENTS AND VEHICLES IN ANALOG PERCEPTION.

Published in:

Crítica, 2023, v. 55, n. 163, p. 109, doi. 10.22201/iifs.18704905e.2023.1410

By:

BECK, JACOB

Publication type:

Article