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