scholarly journals A Recursive Approach to Solving Parity Games in Quasipolynomial Time

2022 ◽  
Vol Volume 18, Issue 1 ◽  
Author(s):  
Karoliina Lehtinen ◽  
Paweł Parys ◽  
Sven Schewe ◽  
Dominik Wojtczak
Keyword(s):  
State Of The Art ◽  
Recursive Algorithm ◽  
The State ◽  
Parity Games ◽  
The Many

Zielonka's classic recursive algorithm for solving parity games is perhaps the simplest among the many existing parity game algorithms. However, its complexity is exponential, while currently the state-of-the-art algorithms have quasipolynomial complexity. Here, we present a modification of Zielonka's classic algorithm that brings its complexity down to $n^{O\left(\log\left(1+\frac{d}{\log n}\right)\right)}$, for parity games of size $n$ with $d$ priorities, in line with previous quasipolynomial-time solutions.

scholarly journals Designing of Nanomaterials-Based Enzymatic Biosensors: Synthesis, Properties, and Applications

Electrochem ◽  
2021 ◽  
Vol 2 (1) ◽  
pp. 149-184
Author(s):  
Francisco T. T. Cavalcante ◽  
Italo R. R. de A. Falcão ◽  
José E. da S. Souza ◽  
Thales G. Rocha ◽  
Isamayra G. de Sousa ◽  
...  
Keyword(s):  
Enzyme Immobilization ◽  
State Of The Art ◽  
Volume Ratio ◽  
The State ◽  
Future Research ◽  
Synthesis Properties ◽  
Signal Response ◽  
Enzymatic Biosensors ◽  
The Many ◽  
Biological Entities

Among the many biological entities employed in the development of biosensors, enzymes have attracted the most attention. Nanotechnology has been fostering excellent prospects in the development of enzymatic biosensors, since enzyme immobilization onto conductive nanostructures can improve characteristics that are crucial in biosensor transduction, such as surface-to-volume ratio, signal response, selectivity, sensitivity, conductivity, and biocatalytic activity, among others. These and other advantages of nanomaterial-based enzymatic biosensors are discussed in this work via the compilation of several reports on their applications in different industrial segments. To provide detailed insights into the state of the art of this technology, all the relevant concepts around the topic are discussed, including the properties of enzymes, the mechanisms involved in their immobilization, and the application of different enzyme-derived biosensors and nanomaterials. Finally, there is a discussion around the pressing challenges in this technology, which will be useful for guiding the development of future research in the area.

Testing Graphical User Interfaces

2011 ◽  
pp. 3739-3744 ◽  
Author(s):  
Jaymie Strecker ◽  
Atif M. Memon
Keyword(s):  
User Interfaces ◽  
State Of The Art ◽  
Graphical User Interfaces ◽  
The State ◽  
Regression Testing ◽  
Test Cases ◽  
Test Oracles ◽  
Gui Testing ◽  
The Many ◽  
Technological World

This chapter describes the state of the art in testing GUI-based software. Traditionally, GUI testing has been performed manually or semimanually, with the aid of capture- replay tools. Since this process may be too slow and ineffective to meet the demands of today’s developers and users, recent research in GUI testing has pushed toward automation. Model-based approaches are being used to generate and execute test cases, implement test oracles, and perform regression testing of GUIs automatically. This chapter shows how research to date has addressed the difficulties of testing GUIs in today’s rapidly evolving technological world, and it points to the many challenges that lie ahead.

The Possibility of Soaring in Horizontal Wind

1898 ◽  
Vol 2 (6) ◽  
pp. 29-33
Author(s):  
L. Hargrave
Keyword(s):  
State Of The Art ◽  
The State ◽  
Horizontal Wind ◽  
The Subject ◽  
The Many

There is a publication called the “Aeronautical Annual,” edited by James Means, Boston, Mass. In No. ‘Z and 3 of that work, Mr. Octave Chanute goes exhaustively into the question of sailing flight, and specifies every letter and article that bears on the subject. This paper may be said to take up the running where Mr. Chanute leaves off. My reasons for not writing to that periodical straight, are that publication would be delayed for many months; and the state of the art is such that at any moment some one of the many who are investigating this subject may drop on the facts stated in this paper, take out a master patent which would rule the construction of all future flying machines, and tax us all round for our good, as the protectionists say, thus throwing our work back for years. I therefore, with your permission, read this paper, and show the models that work as I describe, and thereby destroy the novelty of the invention for all time.

Custodial Grandparents: The State of the Art and the Many Faces of this Contribution

2009 ◽  
Vol 7 (2-3) ◽  
pp. 137-143 ◽  
Author(s):  
Sacramento Pinazo-Hernandis ◽  
Catherine J. Tompkins
Keyword(s):  
State Of The Art ◽  
The State ◽  
Custodial Grandparents ◽  
The Many

Flow Over Tail and in Wake of Axisymmetric Bodies: Review of the State of the Art

1986 ◽  
Vol 30 (03) ◽  
pp. 201-214
Author(s):  
V. C. Patel ◽  
H. C. Chen
Keyword(s):  
State Of The Art ◽  
Axisymmetric Flow ◽  
The State ◽  
Computational Techniques ◽  
Body Of Revolution ◽  
The Past ◽  
The Many ◽  
Axisymmetric Bodies

The many methods that have been proposed over the past decade for the calculation of unseparated axisymmetric flow over the tail of a body of revolution are reviewed, and the results of a recently developed method are presented and discussed in detail to assess the state of the art. It is shown that some computational techniques have advanced to a stage where quite accurate solutions can be obtained for such flows.

scholarly journals Back to Basics: Benchmarking Canonical Evolution Strategies for Playing Atari

2018 ◽  
Author(s):  
Patryk Chrabąszcz ◽  
Ilya Loshchilov ◽  
Frank Hutter
Keyword(s):  
Deep Learning ◽  
Reinforcement Learning ◽  
State Of The Art ◽  
The State ◽  
Evolution Strategies ◽  
Learning Problems ◽  
Local Minima ◽  
Natural Evolution ◽  
The Many ◽  
Made In

Evolution Strategies (ES) have recently been demonstrated to be a viable alternative to reinforcement learning (RL) algorithms on a set of challenging deep learning problems, including Atari games and MuJoCo humanoid locomotion benchmarks. While the ES algorithms in that work belonged to the specialized class of natural evolution strategies (which resemble approximate gradient RL algorithms, such as REINFORCE), we demonstrate that even a very basic canonical ES algorithm can achieve the same or even better performance. This success of a basic ES algorithm suggests that the state-of-the-art can be advanced further by integrating the many advances made in the field of ES in the last decades.We also demonstrate that ES algorithms have very different performance characteristics than traditional RL algorithms: on some games, they learn to exploit the environment and perform much better while on others they can get stuck in suboptimal local minima. Combining their strengths and weaknesses with those of traditional RL algorithms is therefore likely to lead to new advances in the state-of-the-art for solving RL problems.

Weight Considerations for Deep Submersibles

1970 ◽  
Vol 7 (02) ◽  
pp. 196-204
Author(s):  
E. H. Nickell
Keyword(s):  
Weight Reduction ◽  
State Of The Art ◽  
Bulk Material ◽  
Mathematical Expression ◽  
The State ◽  
Total Weight ◽  
Vehicle Weight ◽  
Large Weight ◽  
Weight Penalty ◽  
The Many

Conventional shallow submersible vehicles depend on the pressure hull for buoyancy, but deep submersibles depend on some type of bulk material for buoyancy. As a consequence, the design of very deep submersibles requires new considerations on the vehicle weight. The purpose of this paper is to evaluate the many parameters which affect the boat weight to see which ones are most influential on total weight. To accomplish this objective, a simplified mathematical expression is derived which describes the total weight for a deep submergence vehicle. The expression contains both structural and nonstructural weight items. The structural items include the pressure capsule, outer hull, foundations, and hard tanks. The nonstructural items are the equipment, buoyancy material, and payload. Each weight item is then examined in detail to determine what parameters affect the boat weight. The results show that the greatest weight reduction is possible with the equipment. This is because the state-of-the-art equipment used for deep submersibles has a weight almost equal to three times its displacement, and to furnish sufficient buoyancy material in the boat to float such equipment results in a large weight penalty.

The Oxford Handbook of the Philosophy of Consciousness

2020 ◽  
Keyword(s):  
State Of The Art ◽  
Physical Reality ◽  
The State ◽  
Panoramic View ◽  
Psychological Phenomena ◽  
Wide Range ◽  
The Many

This book provides a panoramic view of the state of the art in current philosophical research on consciousness. Featuring some of the most prominent contributors to the field, it explores (1) the wide range of types of consciousness there may be, (2) the many psychological phenomena with which consciousness interacts, and (3) the various views concerning the ultimate relationship between consciousness and the physical reality.

Data analytics

2019 ◽  
pp. 35-46
Author(s):  
Ifan Shepherd ◽  
Gary Hearne
Keyword(s):  
Data Analytics ◽  
State Of The Art ◽  
Software Tools ◽  
Social Practices ◽  
The State ◽  
Digital Tools ◽  
Societal Issues ◽  
Short Period ◽  
The Many

Data analytics have emerged in recent years as a family of overlapping, competing and hybridising products and practices. They have been championed by technology companies, academics, business users and governments alike, and in a short period of time have earned business developers and adopters billions of pounds in revenue and unprecedented levels of market domination. Data analytics have also provided distinct benefits in terms of an increasing democratisation of digital tools, but at the same time are giving rise to increasing levels of societal and governmental concern. This chapter has four aims: to help intelligent outsiders and old school data analysts make sense of the many competing methodologies and technologies that inhabit the data analytics ecosystem; to assist readers understand which of the many techniques and methodologies represent genuine additions to the state of the art rather than simply old wine in new bottles; to provide a brief overview of the software tools currently available for data analytics; and to identify societal issues and concerns that attend this family of technical and social practices, and the extent to which they are being adequately addressed by developers, users and society at large.

Jobs, Prosperity, and World Peace through Polymer Concrete

2013 ◽  
Vol 687 ◽  
pp. 426-429 ◽  
Author(s):  
Muthian Gunasekaran
Keyword(s):  
State Of The Art ◽  
The State ◽  
Polymer Concrete ◽  
World Peace ◽  
Interested Reader ◽  
Concrete Technology ◽  
The World ◽  
Sustainable Employment ◽  
The Many ◽  
Extensive Bibliography

This paper gives an over-view of the many areas in which polymer concrete technology can create opportunities for developing and manufacturing products of immediate and local interest. It is postulated that such opportunities, if grasped and sensibly addressed will create sustainable employment which in turn will lead to prosperity throughout the world and the creation of world peace. An extensive Bibliography is provided to enable the interested reader to access further and more detailed information on the various application areas and also to study the state-of-the-art R&D in these areas involving various types of polymer concrete.

Sign in / Sign up

Export Citation Format

Share Document