Results 121 to 130 of about 2,322,283 (342)
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
Advanced Healthcare Materials, EarlyView.The emerging field of MXene/MBene materials has progressed rapidly, advancing diverse research fields, including biomedical engineering, biomedicine, agriculture, and the environment. This nanobiotechnology can tackle longstanding challenges in these areas.
Alireza Rafieerad, Ahmad Amiri
wiley +1 more source
Automata, formal languages abstract switching, and computability in a Ph.D. computer science program [PDF]
, 1968 Robert McNaughton
openalex +1 more source
A generalized approach to formal languages
Journal of Computer and System Sciences, 1974 A generalization of ranked alphabets, many-sorted alphabets, is studied. The concepts of finite automaton, regular, recognizable, equational, and context free languages are generalized to sets over these new alphabets. It is shown that the derivation trees of a context free set are always characterized by some recognizable set over a related many ...
openaire +3 more sources
AI‐Assisted Design and Evaluation of SLM‐Ti64 Implants for Enhanced Bone Regeneration
Advanced Healthcare Materials, EarlyView.AI‐driven simulations of biological healing, combining biomechanical modeling and machine learning, enable personalized orthopedic treatments. By decoding healing patterns influenced by implants and patient‐specific factors, this approach advances fracture repair understanding, optimizes implant design, and supports precision medicine and sustainable ...
Muhammad Usama Zaheer +3 more
wiley +1 more source
Error detection in formal languages
Journal of Computer and System Sciences, 1970 The effects that certain classes of errors have on formal languages are considered from the point of view of preservation of languages under error transformations. This approach is an expansion of an article by Hartmanis and Stearnes [9], in which only the finite error case on regular expressions was considered.An automaton that detects that errors ...
openaire +1 more source
Computational Modeling of Reticular Materials: The Past, the Present, and the Future
Advanced Materials, EarlyView.Reticular materials are advanced materials with applications in emerging technologies. A thorough understanding of material properties at operating conditions is critical to accelerate the deployment at an industrial scale. Herein, the status of computational modeling of reticular materials is reviewed, supplemented with topical examples highlighting ...
Wim Temmerman +3 more
wiley +1 more source
Ekasakti Jurnal Penelitian dan PengabdianFormal language is the type of language used in formal situations such as academic activities on campus. This language does not include colloquial language or non-formal words.
Amalia Tri Wardani +3 more
doaj +1 more source
Attempto - From Specifications in Controlled Natural Language towards Executable Specifications
, 1996 Deriving formal specifications from informal requirements is difficult since one has to take into account the disparate conceptual worlds of the application domain and of software development.
Fuchs, Norbert E., Schwitter, Rolf
core +2 more sources