scholarly journals Raccomandazioni per lo sviluppo dell'Editoria Elettronica negli Atenei Italiani

2006 ◽  
Keyword(s):  
Working Group ◽  
Electronic Publishing ◽  
State Of The Art ◽  
The State ◽  
Academic World ◽  
The Future ◽  
Definition Of ◽  
University Of Florence ◽  
The University

In May 2004, the delegates of the Library Commission of the CRuI had already identified the issue of electronic publishing as one of the strategic aspects to be addressed and explored with the utmost attention. The setting up of the working group on Electronic Publishing, co-ordinated by the University of Florence, formalised this interest, stimulating the analysis of the state of the art in this field in Italy, the opportunities which it offered to the academic world and the definition of possible lines of development. The "Recommendations" comprised in this publication are addressed to the delegates of the Chancellors of the Italian universities and their collaborators, and intended to provide information and suggestions for the development of electronic publishing initiatives. They are consequently designed not only as a tool for help and guidance for those who are already moving in the direction of a University publishing initiative, but also as an invitation to reflect on the importance that electronic publishing is acquiring for the teaching and scientific activities of 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 Implementation of Normative Intelligence Policy In Immigration View

2019 ◽  
Vol 1 (2) ◽  
pp. 103-116
Author(s):  
Olyvia Sindiawaty ◽  
Mercy Marvel
Keyword(s):  
Human Rights ◽  
Law Enforcement ◽  
State Government ◽  
The State ◽  
Government Agencies ◽  
Immigration Enforcement ◽  
Legal Rules ◽  
State Security ◽  
The Future ◽  
Definition Of

Intelligence Policy has often been heard in the realm of law, especially with government agencies held in Indonesia. One of them is the immigration agency, which is under the auspices of the Ministry of Law and Human Rights. The implementation of the policy is still minimal, although in fact it is contained in article 1 of Law No. 6 of 2011 number 30, as well as article 74. There are still many that need to be addressed, both in the applicable legal rules and with implementation in the field. The fact that sometimes the Immigration Officer is sometimes mixed in its own definition of intelligence and oversight. Are they the same or different and how to distinguish the two. Recognizing the fact that immigration is increasingly compacted by traffic activities in and out of foreigners and citizens and their supervision, a qualified intelligence is needed in maintaining the upholding of the country's sovereignty. It is an obligation, especially for immigration to safeguard the country as stated in the immigration function, is part of the affairs of the state government in providing Immigration services, law enforcement, state security, and community welfare development facilitators. Therefore, immigration should take part in enforcing supervision and security of the state in the field of law. Immigration intelligence which is under the auspices of the Directorate of Intelligence and immigration enforcement should need to be developed more thoroughly as a whole. So, it is hoped that in the future the Indonesian state will have total sovereignty over the country and its own people.

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

Planning of Material Handling : Literature Review

2019 ◽  
Vol 13 (2) ◽  
pp. 29-44
Author(s):  
Péter Telek ◽  
Ákos Cservenák
Keyword(s):  
Literature Review ◽  
Material Handling ◽  
State Of The Art ◽  
The State ◽  
Integrated Planning ◽  
Complex Process ◽  
Individual Planning ◽  
The Individual ◽  
The University

Nowadays, there are many well proved, effective processes to solve planning tasks in the field of material handling used advanced calculations forms and software. Unfortunately, most of them are used for individual tasks, so the applicability of their results is limited. The Institute of Logistics of the University of Miskolc has been working on integrated planning of handling machines for decades, where the individual planning tasks have to be solved together in a complex process. The main aim of this paper to give an overview about the state of the art of the planning of material handling, based on a literature review of the Science Direct publication database. As a result of this research we can determine some new direction for the planning of material handling.

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.

Sign in / Sign up

Export Citation Format

Share Document