Results 241 to 250 of about 17,782,647 (300)
The electro-MICA toolbox for integrating electrophysiology within multimodal imaging and connectomics workflows. [PDF]
Imaging Neurosci (Camb)von Ellenrieder N +13 more
europepmc +1 more source
Vector symbolic algebras for the Abstraction and Reasoning Corpus. [PDF]
Npj Unconv ComputJoffe I, Eliasmith C.
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
2009
Model programs are used as high-level behavioral specifications typically representing abstract state machines. For modeling reactive systems, one uses input-output model programs, where the action vocabulary is divided between two conceptual players: the input player and the output player.
Margus Veanes, Nikolaj S. Bjørner
openaire +1 more source
Model programs are used as high-level behavioral specifications typically representing abstract state machines. For modeling reactive systems, one uses input-output model programs, where the action vocabulary is divided between two conceptual players: the input player and the output player.
Margus Veanes, Nikolaj S. Bjørner
openaire +1 more source
Interregional Input-Output Models
2019This chapter presents and critically evaluates the economic assumptions and applicability of a series of regional and interregional interindustry models. It begins with the demand-driven, single-region Leontief quantity model and its cost-push price dual. Then Sect.
Oosterhaven, Jan, Hewings, G. J. D.
openaire +2 more sources
Disaggregating Input-Output Models
The Review of Economics and Statistics, 1984A general solution is given to the problem: with little computation, construct a more disaggregated input-output model from an available model, using information about some activities that were aggregated when the available model was built. The solution is exact and explicit.
openaire +1 more source