Results 131 to 140 of about 2,243,395 (337)

Comparative Analysis of Arabic Language Learning Management in Formal and Non-Formal Educational Institutions

Uktub
This research aims to describe the differences in Arabic language learning management in formal and non-formal educational institutions. This research uses a qualitative descriptive approach with a library research approach.
Khoeriyah Ajeng Prasasti, Ahmadi, Ali Samaila   +2 more
doaj   +1 more source

Theory of L systems: From the point of view of formal language theory [PDF]

, 1974
Grzegorz Rozenberg
openalex   +1 more source

FMint: Bridging Human Designed and Data Pretrained Models for Differential Equation Foundation Model for Dynamical Simulation

Advanced Theory and Simulations, EarlyView.
FMint is introduced as a multi‐modal foundation model that integrates human‐designed solvers and data‐driven methods for fast, accurate simulation of dynamical systems. FMint leverages in‐context learning within a transformer‐based framework to refine coarse numerical solutions.
Zezheng Song, Jiaxin Yuan, Haizhao Yang
wiley   +1 more source

Difficulties in analysing animal song under formal language theory framework: comparison with metric-based model evaluation. [PDF]

R Soc Open Sci, 2020
Morita T, Koda H.
europepmc   +1 more source

Formal translations and the containment problem for Szilard languages [PDF]

, 1975
H.-P. Kriegel, Hermann Maurer
openalex   +1 more source

On the entropy of a formal language [PDF]

, 1975
Aldo de Luca, Aldo de Luca
openaire   +3 more sources

Formally verifying Ada programs which use real number types [PDF]

Formal verification is applied to programs which use real number arithmetic operations (mathematical programs). Formal verification of a program P consists of creating a mathematical model of F, stating the desired properties of P in a formal logical ...
Sutherland, David
core   +1 more source

Leveraging Transfer Learning to Overcome Data Limitations in Czochralski Crystal Growth

Advanced Theory and Simulations, EarlyView.
A data‐driven framework combining Computational Fluid Dynamics (CFD) simulations and machine learning is proposed to model and optimize Czochralski crystal growth. Using different transfer learning strategies (Warm Start, Merged Training, and Hyperparameter Transfer) the study demonstrates improved predictions for Ge and GaAs growth from Si‐trained ...
Milena Petkovic, Natasha Dropka, Xia Tang, Janina Zittel   +3 more
wiley   +1 more source

Formal definition of programming languages (Panel Session) [PDF]

, 1972
Burt Leavenworth
openalex   +1 more source

The separability of formal languages [PDF]

RAIRO. Informatique théorique, 1982
Renzo Sprugnoli, Renzo Pinzani
openaire   +3 more sources