We define the class of micro-macro stack graphs, a new class of graphs modeling infinite-state sequential systems with a decidable model-checking problem. Micro-macro stack graphs are the configuration graphs of stack automata whose states are partitioned into micro and macro states. Nodes of the graph are configurations of the stack automaton where the state is a macro state. Edges of the grap...

This paper presents Wizard, a generalised framework for learning macro-actions in planning. Wizard suggests macroactions that can be provided as additional actions for future planning. It enhances a domain for a planner through comprehensive macro suggestions. Wizard learns macro-actions for arbitrary planners or domains without exploiting their structural properties. It not only captures macro...

The article defines the concept of "city transport system" and it’s subsystems. Social non-social (quantitative qualitative) indicators characteristics urban public evaluation systems as a whole are described. hierarchy regulatory legal framework for management directions its improvement analysed. order managing city at macro- meso-level is schematically depicted, main tasks bodies these levels...

The sixth generation (6G) of mobile network will be composed by different nodes, from macro-devices (satellite) to nano-devices (sensors inside the human body), providing a full connectivity fabric all around us. These heterogeneous nodes constitute an ultra dense managing tons information, often very sensitive. To trust services provided such network, security is mandatory feature design. In t...

idiarrhea is known as the current and economic disease among new born calves. it is characterized by dehydration, loss of macro-minerals, weakness, recumbency and death. in calves diarrhea with different etiology, loss of liquid and electrolytes are the principle signs and the cause of death too. therefore, determination of the amounts of liquid and mainly electrolytes depletion is important in...

EVAL is a widely used yet frequently misunderstood SAS macro language function due to its seemingly simple form. However, when its actual argument is a complex macro expression interlaced with special characters, mixed arithmetic and logical operators, or macro quotation functions, its usage and result become elusive and problematic. In this paper, we aim to explore and demystify the intricate ...

We analyze the use of built-in policies, or macro-actions, as a form of domain knowledge that can improve the speed and scaling of reinforcement learning algorithms. Such macro-actions are often used in robotics, and macro-operators are also well-known as an aid to state-space search in AI systems. The macro-actions we consider are closed-loop policies with termination conditions. The macro-act...

Purpose. The aim of the article is to improve methodological approach diagnosis processes formation and sustainable development a smart city, in particular, logical structural this process. Methodology research. study uses generally accepted methods economics: monographic, theoretical comparative analysis – reveal conceptual foundations city; synthesis, system structural, abstract logical, stat...

Armed aggression and its negative impact on the exogenous endogenous environment of economic agents aggravate problems sectors national economy, in particular, banking sector. In this context, state acquires a key role managing processes sector at both micro macro levels. The aim article is to determine characteristics state’s influence Ukraine during active phase war. method synthesis, statist...

The MSC macro package facilitates LaTEX users to easily include Message Sequence Charts in their texts. This article describes the motivation for developing the MSC macro package, the features of the MSC macro package, and the design of the MSC macro package.