The State of the Art of General Aviation Autopilots: Now and in the Future

1981 ◽  
Author(s):  
Jan Roskam ◽  
Michael J. See
Keyword(s):  
State Of The Art ◽  
The State ◽  
General Aviation ◽  
The Future

scholarly journals What you always wanted to know about the deterministic part of the International Planning Competition (IPC) 2014 (but were too afraid to ask)

2018 ◽  
Vol 33 ◽  
Author(s):  
Mauro Vallati ◽  
Lukáš Chrpa ◽  
Thomas L. Mccluskey
Keyword(s):  
Artificial Intelligence ◽  
State Of The Art ◽  
The State ◽  
Strong Impact ◽  
Significant Progress ◽  
Planning Techniques ◽  
Artificial Intelligence Planning ◽  
The Future ◽  
International Planning ◽  
Planning Approaches

AbstractThe International Planning Competition (IPC) is a prominent event of the artificial intelligence planning community that has been organized since 1998; it aims at fostering the development and comparison of planning approaches, assessing the state-of-the-art in planning and identifying new challenging benchmarks. IPC has a strong impact also outside the planning community, by providing a large number of ready-to-use planning engines and testing pioneering applications of planning techniques.This paper focusses on the deterministic part of IPC 2014, and describes format, participants, benchmarks as well as a thorough analysis of the results. Generally, results of the competition indicates some significant progress, but they also highlight issues and challenges that the planning community will have to face in the future.

Computer-assisted database indexing: the state-of-the-art

1994 ◽  
Vol 19 (1) ◽  
pp. 23-27
Author(s):  
Gail M. Hodge
Keyword(s):  
Data Base ◽  
Production System ◽  
State Of The Art ◽  
The State ◽  
Computer Support ◽  
Computer Assisted ◽  
Computer Assistance ◽  
The Future ◽  
Database Indexing ◽  
Operational Systems

Discusses the state-of-the-art in computer indexing, defines indexing and computer assistance, describes the reasons for renewed interest, identifies the types of computer support in use using selected operational systems, describes the integration of various computer supports in one data base production system, and speculates on the future.

scholarly journals ARCH-COMP 2019 Category Report: Falsification

10.29007/68dk ◽  
2019 ◽  
Author(s):  
Gidon Ernst ◽  
Paolo Arcaini ◽  
Alexandre Donzé ◽  
Georgios Fainekos ◽  
Logan Mathesen ◽  
...  
Keyword(s):  
Temporal Logic ◽  
State Of The Art ◽  
Cyber Physical Systems ◽  
The State ◽  
Base Line ◽  
Physical Systems ◽  
The Future ◽  
Friendly Competition ◽  
Initial Base

This report presents the results from the 2019 friendly competition in the ARCH workshop for the falsification of temporal logic specifications over Cyber-Physical Systems. We describe the organization of the competition and how it differs from previous years. We give background on the participating teams and tools and discuss the selected benchmarks and results. The benchmarks are available on the ARCH website1, as well as in the competition’s gitlab repository2. The main outcome of the 2019 competition is a common benchmark repository, and an initial base-line for falsification, with results from multiple tools, which will facilitate comparisons and tracking of the state-of-the-art in falsification in the future.

scholarly journals Intraoperative Molecular Imaging in Lung Cancer: The State of the Art and the Future

2018 ◽  
Vol 26 (2) ◽  
pp. 338-341 ◽  
Author(s):  
Stephan Rogalla ◽  
Sebastiaan C.M. Joosten ◽  
Israt S. Alam ◽  
Sanjiv S. Gambhir ◽  
Ophir Vermesh
Keyword(s):  
Lung Cancer ◽  
Molecular Imaging ◽  
State Of The Art ◽  
The State ◽  
The Future

RNA Interference Therapeutics and Human Diseases

2019 ◽  
pp. 69-83
Author(s):  
Dolly Sharma ◽  
Shailendra Singh ◽  
Trilok Chand
Keyword(s):  
Gene Expression ◽  
Protein Synthesis ◽  
Rna Interference ◽  
State Of The Art ◽  
The State ◽  
Human Diseases ◽  
Future Prospects ◽  
The Future ◽  
Rnai Therapeutics ◽  
Interference Rna

Defective protein synthesis leads to diseases. If protein synthesis can be controlled, disease causing molecules can be tailored in some way. This is the perception behind RNA interference. RNA interference (RNAi) therapeutics is branch of medicine which deals with the treatment of diseases while controlling the gene expression at RNA level. The motive of this chapter is to discover the state-of-the-art of RNAi therapeutics, to explore various techniques used by RNAi therapeutics to fight from diseases, and discuss the future prospects of it.

Ubiquitous Learning Supporting Systems

2015 ◽  
pp. 202-225
Author(s):  
Elena B. Durán ◽  
Margarita Álvarez
Keyword(s):  
Information System ◽  
State Of The Art ◽  
The State ◽  
System Research ◽  
Ubiquitous Learning ◽  
Information System Research ◽  
The Future ◽  
National University ◽  
The Right ◽  
Research Institute

Ubiquitous learning features intuitive ways of identifying appropriate learning collaborators and right learning contents and services at the right place and at the right time. Consequently, there are many aspects that must be considered in designing computing applications that support this kind of learning. In this chapter, ubiquitous learning is introduced and characterized, the challenges that must be faced by those in charge of designing and developing such applications are reviewed, and the state of the art of this recently initiated line of research at the Informatics and Information System Research Institute of the National University of Santiago del Estero are presented. The developments achieved to date as well as the future guidelines are also shown.

Masking Models and Watermarking

2011 ◽  
pp. 93-116
Author(s):  
Mirko Luca Lobina ◽  
Luigi Atzori ◽  
Davide Mula
Keyword(s):  
Signal Processing ◽  
Intellectual Property ◽  
State Of The Art ◽  
The State ◽  
Audio Watermarking ◽  
Digital Right Management ◽  
The Future ◽  
Psychological Models ◽  
High Level ◽  
The Relationship

Many audio watermarking techniques presented in the last years make use of masking and psychological models derived from signal processing. Such a basic idea is winning because it guarantees a high level of robustness and bandwidth of the watermark as well as fidelity of the watermarked signal. This chapter first describes the relationship between digital right management, intellectual property, and use of watermarking techniques. Then, the crossing use of watermarking and masking models is detailed, providing schemes, examples, and references. Finally, the authors present two strategies that make use of a masking model, applied to a classic watermarking technique. The joint use of classic frameworks and masking models seems to be one of the trends for the future of research in watermarking. Several tests on the proposed strategies with the state of the art are also offered to give an idea of how to assess the effectiveness of a watermarking technique.

Sign in / Sign up

Export Citation Format

Share Document