Results 11 to 20 of about 716 (151)
Where Mathematical Symbols Come From. [PDF]
Top Cogn SciAbstract There is a sense in which the symbols used in mathematical expressions and formulas are arbitrary. After all, arithmetic would be no different if we would replace the symbols ‘+$+$’ or ‘8’ by different symbols. Nevertheless, the shape of many mathematical symbols is in fact well motivated in practice.
Schlimm D.
europepmc +2 more sources
CONTROL BODY COORDINATION MODEL IN THE PROCESS OF RESPONSE TO LARGE-SCALE EMERGENCIES
Nauka ta progres transportu, 2018 Purpose. The article is devoted to developing the control body coordination model in the process of response to large-scale emergencies. Methodology.
O. M. Liashenko
doaj +1 more source
Definiteness-indefiniteness category and logical quantification
Cognitive Studies | Études cognitives, 2015 Definiteness-indefiniteness category and logical quantification This work has been written within the “Logic and Language” project, realized under a cooperation agreement between the Institute of Slavic Studies of the Polish Academy of Sciences and the
Violetta Koseska-Toszewa
doaj +1 more source
Finite predicate-driven logic networks method for enhanced education data analysis
Радіоелектронні і комп'ютерні системиThe subject matter of the study is intelligent data analysis in the field of academic information. The goal of the study is to create a mathematical model for analyzing students' academic information using the predicate-driven logic networks method ...
Zoia Dudar, Andrii Kozyriev
doaj +1 more source
Formal Methods Unifying Computing Science and Systems Theory [PDF]
Journal of Systemics, Cybernetics and Informatics, 2005 Computing Science and Systems Theory can gain much from unified mathematical models and methodology, in particular formal reasoning ("letting the symbols do the work"). This is achieved by a wide-spectrum formalism. The language uses just four constructs,
Raymond Boute
doaj
Formal Language for Objects’ Transactions
StandardsThe gap between software design and implementation often results in a lack of clarity and precision. Formal languages, based on mathematical rules, logic, and symbols, are invaluable for specifying and verifying system designs.
Mo Adda
doaj +1 more source
European Policy Analysis, EarlyView.ABSTRACT Does street‐level bureaucrats' (SLBs) willingness to sacrifice their own self‐interests to meet the needs of their clients vary depending on their contexts? To date, it has been very challenging to empirically examine how SLBs who have different orientations toward social values might act in different institutional and administrative contexts.
Nissim Cohen, Teddy Lazebnik
wiley +1 more source
Artificial intelligence in preclinical epilepsy research: Current state, potential, and challenges
Epilepsia Open, EarlyView.Abstract Preclinical translational epilepsy research uses animal models to better understand the mechanisms underlying epilepsy and its comorbidities, as well as to analyze and develop potential treatments that may mitigate this neurological disorder and its associated conditions. Artificial intelligence (AI) has emerged as a transformative tool across
Jesús Servando Medel‐Matus +7 more
wiley +1 more source
Energy Science &Engineering, EarlyView.This study presents a new control strategy for doubly fed induction generator (DFIG) wind turbine systems to overcome the limitations of traditional direct field control using proportional‐integral (DFOC‐PI) regulators, which are sensitive to coefficient changes and lead to low power quality.
Hamza Gasmi +5 more
wiley +1 more source