209 research outputs found
Using fractional order method to generalize strengthening generating operator buffer operator and weakening buffer operator
Traditional integer order buffer operator is extended to fractional order buffer operator, the corresponding relationship between the weakening buffer operator and the strengthening buffer operator is revealed. Fractional order buffer operator not only can generalize the weakening buffer operator and the strengthening buffer operator, but also realize tiny adjustment of buffer effect. The effectiveness of GM(1,1) with the fractional order buffer operator is validated by six cases
A Review of Findings from Neuroscience and Cognitive Psychology as Possible Inspiration for the Path to Artificial General Intelligence
This review aims to contribute to the quest for artificial general
intelligence by examining neuroscience and cognitive psychology methods for
potential inspiration. Despite the impressive advancements achieved by deep
learning models in various domains, they still have shortcomings in abstract
reasoning and causal understanding. Such capabilities should be ultimately
integrated into artificial intelligence systems in order to surpass data-driven
limitations and support decision making in a way more similar to human
intelligence. This work is a vertical review that attempts a wide-ranging
exploration of brain function, spanning from lower-level biological neurons,
spiking neural networks, and neuronal ensembles to higher-level concepts such
as brain anatomy, vector symbolic architectures, cognitive and categorization
models, and cognitive architectures. The hope is that these concepts may offer
insights for solutions in artificial general intelligence.Comment: 143 pages, 49 figures, 244 reference
Programming Languages and Systems
This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The actual ETAPS 2020 meeting was postponed due to the Corona pandemic. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems
Programming Languages and Systems
This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems
Programming Languages and Systems
This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems
Computer Aided Verification
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications
Atmospheric Circulation of Exoplanets
We survey the basic principles of atmospheric dynamics relevant to explaining
existing and future observations of exoplanets, both gas giant and terrestrial.
Given the paucity of data on exoplanet atmospheres, our approach is to
emphasize fundamental principles and insights gained from Solar-System studies
that are likely to be generalizable to exoplanets. We begin by presenting the
hierarchy of basic equations used in atmospheric dynamics, including the
Navier-Stokes, primitive, shallow-water, and two-dimensional nondivergent
models. We then survey key concepts in atmospheric dynamics, including the
importance of planetary rotation, the concept of balance, and scaling arguments
to show how turbulent interactions generally produce large-scale east-west
banding on rotating planets. We next turn to issues specific to giant planets,
including their expected interior and atmospheric thermal structures, the
implications for their wind patterns, and mechanisms to pump their east-west
jets. Hot Jupiter atmospheric dynamics are given particular attention, as these
close-in planets have been the subject of most of the concrete developments in
the study of exoplanetary atmospheres. We then turn to the basic elements of
circulation on terrestrial planets as inferred from Solar-System studies,
including Hadley cells, jet streams, processes that govern the large-scale
horizontal temperature contrasts, and climate, and we discuss how these
insights may apply to terrestrial exoplanets. Although exoplanets surely
possess a greater diversity of circulation regimes than seen on the planets in
our Solar System, our guiding philosophy is that the multi-decade study of
Solar-System planets reviewed here provides a foundation upon which our
understanding of more exotic exoplanetary meteorology must build.Comment: In EXOPLANETS, edited by S. Seager, to be published in the Spring of
2010 in the Space Science Series of the University of Arizona Press (Tucson,
AZ) (refereed; accepted for publication
28th International Symposium on Temporal Representation and Reasoning (TIME 2021)
The 28th International Symposium on Temporal Representation and Reasoning (TIME 2021) was planned to take place in Klagenfurt, Austria, but had to move to an online conference due to the insecurities and restrictions caused by the pandemic. Since its frst edition in 1994, TIME Symposium is quite unique in the panorama of the scientifc conferences as its main goal is to bring together researchers from distinct research areas involving the management and representation of temporal data as well as the reasoning about temporal aspects of information. Moreover, TIME Symposium aims to bridge theoretical and applied research, as well as to serve as an interdisciplinary forum for exchange among researchers from the areas of artifcial intelligence, database management, logic and verifcation, and beyond
- …