Results 1 to 10 of about 282,705 (268)
On the Issue of Improving Remuneration System in Budget Organizations of the Republic of Kazakhstan
Учёт. Анализ. Аудит, 2021 Budget organizations are created by public authorities, they are non-profit organizations whose activities are related to the provision of various types of services.
S. K. Baidybekova
doaj +1 more source
Games with recurring certainty [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Infinite games where several players seek to coordinate under imperfect information are known to be intractable, unless the information flow is severely restricted.
Dietmar Berwanger, Anup Basil Mathew
doaj +1 more source
Sensors, 2022 Autonomous components within electric power systems can be successfully specified by interpreted Petri nets. Such a formal specification makes it possible to check some basic properties of the models, such as determinism or deadlock freedom.
Iwona Grobelna, Paweł Szcześniak
doaj +1 more source
Aerospace, 2022 Helicopter dronization is expanding, for example, the VSR700 project. This leads to the integration of electromechanical actuators (EMAs) into the primary flight control system (PFCS).
Jeremy Roussel +2 more
doaj +1 more source
Journal of Space Weather and Space Climate, 2023 Data assimilation (DA) is the process of merging information from prediction models with noisy observations to produce an estimate of the state of a physical system. In ionospheric physics-based models, the solar ionizing irradiance is commonly estimated
Hodyss Daniel +4 more
doaj +1 more source
On the “Specifics” of Specific Reading Disability and Specific Language Impairment [PDF]
Journal of Child Psychology and Psychiatry, 2000 The reading and oral language scores of 110 children with a specific reading disability (SRD) and 102 children with a specific language impairment (SLI) indicated that approximately 53% of children with an SRD and children with an SLI could be equally classified as having an SRD or an SLI, 55%
G M, McArthur +4 more
openaire +2 more sources
Declarative specifications [PDF]
The Knowledge Engineering Review, 1996 Abstract Deriving formal specifications from informal requirements is extremely difficult since one has to overcome the conceptual gap between an application domain and the domain of formal specification methods. To reduce this gap we introduce application-specific specification languages, i.e., graphical and textual notations that ...
Fuchs, Norbert E, Robertson, David
openaire +2 more sources
Specification of a specification language [PDF]
Annual Review in Automatic Programming, 1981 ESPRESO is a recently developed specification system for process control software. It consists of a specification language and a software system which serves as a tool to check, manage, and evaluate specifications. The language was precisely defined by an Extended Attribute Grammar and by a mapping into a programming language. The definition turned out
openaire +2 more sources
Un gérondif pas comme les autres : le gérondif de spécification processuelle [PDF]
Studii de Lingvistica, 2023 With the exception of Moortgat (1978) and Halmøy (1982 and 2003), the French gerund of the type Paul a fait une erreur en se mariant has not been recognized in grammars or in works on -ant forms, even though it is extremely common.
Georges Kleiber, Anne Theissen
doaj
Resolution methods in proving the program correctness [PDF]
Yugoslav Journal of Operations Research, 2007 Program testing determines whether its behavior matches the specification, and also how it behaves in different exploitation conditions. Proving of program correctness is reduced to finding a proof for assertion that given sequence of formulas represents
Markoski Branko +3 more
doaj +1 more source