21 research outputs found

    MaxSAT Evaluation 2020 : Solver and Benchmark Descriptions

    Get PDF
    Non peer reviewe

    MaxSAT Evaluation 2020 : Solver and Benchmark Descriptions

    Get PDF

    Proceedings of the 11th international Conference on Cognitive Modeling : ICCM 2012

    Get PDF
    The International Conference on Cognitive Modeling (ICCM) is the premier conference for research on computational models and computation-based theories of human behavior. ICCM is a forum for presenting, discussing, and evaluating the complete spectrum of cognitive modeling approaches, including connectionism, symbolic modeling, dynamical systems, Bayesian modeling, and cognitive architectures. ICCM includes basic and applied research, across a wide variety of domains, ranging from low-level perception and attention to higher-level problem-solving and learning. Online-Version published by Universitätsverlag der TU Berlin (www.univerlag.tu-berlin.de

    Air Traffic Management Abbreviation Compendium

    Get PDF
    As in all fields of work, an unmanageable number of abbreviations are used today in aviation for terms, definitions, commands, standards and technical descriptions. This applies in general to the areas of aeronautical communication, navigation and surveillance, cockpit and air traffic control working positions, passenger and cargo transport, and all other areas of flight planning, organization and guidance. In addition, many abbreviations are used more than once or have different meanings in different languages. In order to obtain an overview of the most common abbreviations used in air traffic management, organizations like EUROCONTROL, FAA, DWD and DLR have published lists of abbreviations in the past, which have also been enclosed in this document. In addition, abbreviations from some larger international projects related to aviation have been included to provide users with a directory as complete as possible. This means that the second edition of the Air Traffic Management Abbreviation Compendium includes now around 16,500 abbreviations and acronyms from the field of aviation

    Proceedings of Papers 2-nd International Scientific Conference MILCON'19

    Get PDF
    In front of you is the thematic Proceedings, as a collection of papers presented at the 2nd MILCON’19 Conference ''Contemporary education based on ADL'', organized on November 12th 2019, by the Military Academy "General MihailoApostolski" - Skopje associated member of the University ''Goce Delcev'' - Shtip, within the RADLI Project (Regional Advance Distributive Learning Initiative), supported by the Kingdom of Norway and implemented by the Jefferson Institute, USA. The objective of the Conference was to gather educators and trainers from different countries in order to give us the opportunity to increase both knowledge and cooperation within all aspects of advance distributed learning - ADL. Hence, the Proceedings contain 32 papers focused on the contemporary trends in the use of information technology in a pedagogical way, as well as the best practices both from a theoretical point of view, but also from a practical aspect on the topics related to educational programs using blended learning, emerging learning technologies, multiplatform delivery of courseware, motivational and pedagogical learning strategies and other topics related to ADL. This international scientific conference gives us a wonderful opportunity for exchanging experience and knowledge between the scientific workers and the practitioners from North Macedonia, USA, Serbia, Poland, Slovenia, Bosna and Hercegovina and Norway. The papers published in the Proceedings are written by eminent scholars as well as by members of the security system participating in the educational process of the army, police and other security services from different countries. Each paper has been reviewed by international experts competent for the field to which the paper is related. The data and information gained with the empirical research, as well as theoretical thoughts and comparative analyses in the Proceedings will give a significant contribution to the development of the use of ADL in a pedagogical way. We wish to extend our gratitude to all authors and participants to the Conference, as well as to all those who contributed to, or supported the Conference, especially the Kingdom of Norway and the Jefferson Institute, as well as to the Ministry of Defense and the Armed Forces of the Republic of North Macedoniafor their immense support of the Conference

    Global forest management certification: future development potential

    Get PDF

    Discount options as a financial instrument supporting REDD +

    Get PDF

    REDD options as a risk management instrument under policy uncertainty and market volatility

    Get PDF
    corecore