Reviewerly/exHarmony huggingface dataset:
Optimization based 3D Multi-Object Tracking using Camera and Radar Data.

Robust and reliable online 3D multi-object tracking is an essential component of autonomous driving. Recent research follows the tracking-by-detection paradigm and focuses mainly on lidar sensors, due to their superior range, resolution and depth accuracy compared to other automotive sensors. This simplifies the challenging data association in crowded urban road scenes, resulting in a predominant status of laser based methods. In contrast, we propose an online 3D multi-object tracker based solely on mono camera images and radar data to promote non-lidar based tracking research. By representing all detections of one frame as a Gaussian mixture model (GMM), we are able to avoid a fixed data association, which may include wrong assumptions. Instead, we assign the GMM to each tracked object and solve the data association implicitly and jointly by estimating the full 3D object tracks in our factor graph based optimization back end. By including all available information from the object detector, our algorithm achieves accurate, robust and reliable tracking results. We conduct real world experiments on the nuScenes tracking data set improving the state-of-the-art for non-lidar based methods from 17.7% to 34.1 % AMOTA.
O contributo do profissional da informação na curadoria digital: contribution of the information professional in digital curation

The information professional is gaining more and more space in the current information society. Information and communication technologies appear to facilitate the performance of work in the digital environment. With the increasing amount of information, either digitized or born digital, the care of digital objects has become urgent. Digital curation appears as an alternative in the care of digital objects, ensuring that they have a longer life and can be used. It is believed that activities related to digital curation have required constant updates and other competencies for the information professional. Therefore, we intend to know: what are the information professional's practices that contribute to digital curatorship? General Objective: To identify which types of information professionals perform activities related to digital curatorship. Specific objectives: to highlight the literatures that deal with the information professional in digital curatorship; to verify the necessary competences for the information professional to act as digital curator; to specify the similar and different aspects in the typologies of the information professional. Results: Most digital curators are librarian, archivist or museologist professionals, with master's degrees in the areas of librarianship, records management, archivists or in information science. Few specialize or have master's degrees in digital curation or data curation. Some of the activities that the digital curator performs include the following services: creating metadata; accessing, collecting and manipulating content; discarding; maintaining resources; developing policies and managing data plans and procedures for digital content. Conclusion: Digital curation is important to ensure the long life and integrity of the digital object, so organizations adapt to their reality, life cycle models to work with these digital objects. The specialized training for digital curators is directly linked to the areas of Librarianship and Information Science. This research highlights the type of information professional: the librarian, who most performs activities related to digital curation.
Touring the MetaCoq Project (Invited Paper).

Proof assistants are getting more widespread use in research and industry to provide certified and independently checkable guarantees about theories, designs, systems and implementations. However, proof assistant implementations themselves are seldom verified, although they take a major share of the trusted code base in any such certification effort. In this area, proof assistants based on Higher-Order Logic enjoy stronger guarantees, as self-certified implementations have been available for some years. One cause of this difference is the inherent complexity of dependent type theories together with their extensions with inductive types, universe polymorphism and complex sort systems, and the gap between theory on paper and practical implementations in efficient programming languages. MetaCoq is a collaborative project that aims to tackle these difficulties to provide the first fully-certified realistic implementation of a type checker for the full calculus underlying the Coq proof assistant. To achieve this, we refined the sometimes blurry, if not incorrect, specification and implementation of the system. We show how theoretical tools from this community such as bidirectional type-checking, Tait-Martin-Lof/Takahashi's confluence proof technique and monadic and dependently-typed programming can help construct the following artefacts: a specification of Coq's syntax and type theory, the Polymorphic Cumulative Calculus of (Co)-Inductive Constructions (PCUIC); a monad for the manipulation of raw syntax and interaction with the Coq system; a verification of PCUIC's metatheory, whose main results are the confluence of reduction, type preservation and principality of typing; a realistic, correct and complete type-checker for PCUIC; a sound type and proof erasure procedure from PCUIC to untyped lambda-calculus, i.e., the core of the extraction mechanism of Coq.
LibGuides: Donating Books: Value of a Book

Before you load up your books and drive to your nearest library to unload, you may want to know some basics before you go! Determine if your book is valuable.
Recomendaciones metodológicas para mejorar el proceso de enseñanza-aprendizaje en las clases virtuales de la unidad educativa Dr. Carlos Rufino Marín

The main objetive of this research plan is to describe how are the classes taught by the teachers of the Dr. Carlos Rufino Marin Educational Unit in theframe work of virtuality, in the province of Santo Domingo de los Tsachilas, since it was evidenced deficiencies in the process of teaching learning virtual classes. The methodology used for the study was base don the mixed approach fo the quantitative analysis of the data and the quanlitative descrption of the results. The research was of non-experimental type, specifically transversal, therefore, a pedagogical test was carried out, considering the research of an exploratory type.The sample consisted of 17 teachers of the institution, while thw data collection technique was the pedagogicaltest to ensure the effectiveness, degree of satisfaction and the significance of the teaching strategies used by educators. After obtaining the results, an analysis was carried out usingdescriptive statistics with the SPPS tool, demonstrating that the didactic strategies and the teaching-learning media are the indicators most affecr during this process. Finally, a Manual of Methological Recommendations was delivered with the objective of improving the development of virtual classes at the Dr. Carlos Rufino Marin Educational Unit.
치의학분야 사례분석을 통한 신의료기술평가 현황 평가

The new medical technology assessment system has a basic goal of protecting the public’s health rights and promoting the development of the new medical technology with safe and effective medical technology that has been scientifically proven. The purpose of this study is to contribute to the activation of the new medical technology evaluation system by analyzing the application cases of the dental field after the implementation of the new medical technology evaluation system and proposing an efficient approach to approach the new medical technology evaluation system. The number of related literature and medical technology evaluation results are not significant in dental applications, the number of cases and the length of follow-up period of the relevant medical technology adopted as the new medical technology was far higher. As the speed of medical technology development increases, medical technology is expected to develop in the dental field as well. To introduce the medical technology to the clinical site, access to the correct direction of evidence is required to collect and objectify data at the medical site in order to prepare a literary basis for the medical technology.
Physical Adversarial Attacks on Deep Neural Networks for Traffic Sign Recognition: A Feasibility Study.

Deep Neural Networks (DNNs) are increasingly applied in the real world in safety critical applications like advanced driver assistance systems. An example for such use case is represented by traffic sign recognition systems. At the same time, it is known that current DNNs can be fooled by adversarial attacks, which raises safety concerns if those attacks can be applied under realistic conditions. In this work we apply different black-box attack methods to generate perturbations that are applied in the physical environment and can be used to fool systems under different environmental conditions. To the best of our knowledge we are the first to combine a general framework for physical attacks with different black-box attack methods and study the impact of the different methods on the success rate of the attack under the same setting. We show that reliable physical adversarial attacks can be performed with different methods and that it is also possible to reduce the perceptibility of the resulting perturbations. The findings highlight the need for viable defenses of a DNN even in the black-box case, but at the same time form the basis for securing a DNN with methods like adversarial training which utilizes adversarial attacks to augment the original training data.
The Potential of Breakthroughs Technologies in the City's Information Infrastructure Renovation

The development of modern cities is closely connected with information technologies, the introduction of which has made it possible to speed up and simplify many processes of interaction of citizens with authorities and business. However, the short life span of modern information technologies, and often the industry focus on the development of information infrastructure of modern cities increasingly leads to the need for reengineering and transformation of this infrastructure. A significant role in this is played by breakthrough information technologies, which are both a source of technological risk and a potential for development. In this article, the authors consider the problems of introducing breakthrough technologies in the conditions of the existing information infrastructure, risks and expected effects.
Use of play analysis in ore deposit forecasting аnd prospecting

Play analysis was developed and is successfully used in oil and gas deposit prospecting. It is recommended for use in ore deposit forecasting and prospecting. Ore plays are deposits, mineral occurrences and prospects of common genesis, they are confined to a single structural and formational complex. Within one play, deposits are prospected and explored using the same technique; discovered deposits have similar technological ore properties. Geological/genetic and technological play uniformity simplifies their forecast assessment.
Underwater Image Enhancement for Automotive Wading.

To improve the driver safety for automotive wading, the underwater image enhancement is designed to help drivers to deal with fuzzy images shown in highly scattered underwater environments and detect hidden obstacles. In addition to the traditional methods, some neural network approaches which may perform better are suggested. The purpose of this paper is to integrate traditional methods and deep learning methods to enhance underwater images. The former Deep Underwater Image Enhancement Network (DUIENET) employs a gated fusion network architecture to learn three confidence maps which will be used to combine the three input images into an enhanced result, the white balance is replaced by Multi-Scale Retinex in the modified approach. Then, some objective evaluation methods are also adopted, mean square error method and peak signal to noise ratio method, to compare the performance of the different methods. Finally, we chose some test images from test data randomly, the results show that the developed approach is better than the previous methods, the clarity of the pictures have been indeed improved.
Competence Improvement For Elementary School Teacher in Kecamatan Kedungjati Through Article Writing and Making Learning Media

This service activity is aimmat SD / MI teachers in Kecamatan Kedungjati  Grobogan in order to support the Minister of Administrative Reform and Reform Regulation Number 16 of 2009 concerning Teacher Functional Position and Credit Numbers, specifically article 17 which explains that the requirements for proposing promotion or teaching must be contains sub-elements of scientific publications on their credit score. This regulation came into force on January 1, 2013, this is different from previous years which only applies to proposals for promotion or rank IV / a teacher class above. Therefore, the need to write scientific papers is a very important requirement for teachers. This was also very much felt by elementary or elementary school teachers in Kecamatan Kedungjati  Grobogan, as stated by the Head of education  to the service team. To culture  scientific writing in the environment of elementary teachers in Kecamaan  Kedungjati  Grobogan , assistance is needed. For this reason, we consider the need to provide assistance in writing scientific articles and making learning media with proposal writing instruments, instruments  reports, to scientific articles. In addition, the service team also facilitates partners by assisting in making learning media. This is an effort to improve the quality of learning carried out in schools. Elementary  students still have a level of concrete thinking, so it would be better in learning to use a variety of learning media that can construct student knowledge. Keywords—mentoring, scientific articles, learning media, elementary teachers.
Features of formation of research skills of postgraduate education subjects

The article deals with the formation of research skills of subjects of postgraduate education. The purpose of the study is to provide theoretical justification and methodological support for the process of forming research skills of subjects of postgraduate education as a readiness to implement high-quality research activities. The theoretical foundations of the formation of research skills of subjects of postgraduate education are revealed. The criteria and indicators are defined: motivational (understanding of the value of research, interest, desire to perform research activities); cognitive (knowledge of methodology, methods of scientific research and the logic of research construction), activity (operational and design skills), communicative (ability to work in a team for successful research; ability to present research results) and levels of formation of research skills (situational-intuitive, normative-reproductive, creative-intellectual). The program of diagnostics of the level of formation of research skills of subjects of postgraduate education is presented. A program of elective disciplines has been developed, with continuity of learning outcomes at the bachelor's, master's and doctoral levels, contributing to the purposeful formation of research skills.
On evaluating artificial intelligence systems: Competitions and benchmarks

This chapter discusses some approaches and methods used by the artificial intelligence (AI) community to measure and evaluate AI systems. It looks at the evolution of competitions, giving special attention to the Turing Test and the Winograd Schema Challenge. It also looks at the fascination of researchers for testing AI through games such as chess and Go. Several tests for measuring intelligence proposed for AI systems are examined, as well as the role of benchmark datasets in evaluating AI systems. The chapter ends with a discussion of the benefits and limitations of four approaches: custom dataset, benchmarks, competition and qualitative evaluation.
NLMK Library. Achievements in sustainable development

The brief history and current state of NLMK Library are discussed, in particular collection development issues, library’s website sections in NLMK LAN, etc. Recent developments and plans for the nearest future are characterized.
Forward Vehicle Detection Based on Thermal Vision and Convolutional Neural Network for Autonomous Vehicles

In this study, we present a forward nighttime on-road vehicle detection system using far infrared thermal imaging. The proposed vehicle detection system integrates deep convolution neural network, expert system and Kalman filter to increase the robustness of the system performance. In addition, according to the on-road physical properties, we design the tracking area and warning area to reduce the searching region. From the experimental results, the proposed method demonstrates high detection accuracy and high performance.
Faktor-faktor yang Mempengaruhi Kesuksesan Sistem Informasi Remunerasi (Studi pada Fakultas Teknik Universitas Brawijaya Malang)

Three components in the implementation of higher education, among others, education,  research and  devotion. Universities have implemented many information systems that can facilitate the work of  users but need to be considered to address the problems faced. Remuneration Information System at Brawijaya University has often been improved,  both from the user side of the application and from the application system itself.  The purpose of this study is to find out what factors affect the Net Benefits of Remuneration Information System (Study at the Faculty of Engineering Universitas Brawijaya Malang) using the theory of DeLone &McLean 2003. This study is a deductive study with a quantitative approach with survey research methods with a sample of 100 respondents. Hypothesis testing formulated in this study uses Partial Least Squares (PLS). The result of this study is that there are seven factors that affect the net benefits of Remuneration Information System, namely: System Quality against User Satisfaction, Quality of Information against Use, Quality of Information on User Satisfaction,  Quality of Service to Use, Quality of Service to User Satisfaction, User Satisfaction against Use, User Satisfaction to Net Benefits. The quality of the System on Remuneration Information System has not been good so its use is still low and the use in remuneration information systems is still low so that the Net Benefit is still low. Therefore, the net benefits felt in the Remuneration Information System have not been maximal in accordance with institutional expectations.
Implementation of Powtoon Media On Students' Fiction Writing Learning Junior High School

This study aims to describing the implementation of Powtoon media in Fiction Writing Learning for Junior High School Students Curriculum 2013. The data in this study are in the forms of learning and learning tools using Powtoon media. There are two kinds of data sources, namely primary and secondary data. Primary data is Powtoon media. In addition, secondary data comes from research based on of Anggita Aprilia and Anggun Solehati's thesis. The instrument of this research is the researcher themselves who have been equipped with a set of theories and data cards that contain the Powtoon media and then validated by an expert. Data collection techniques use interview techniques, observation, and document analysis. The data analysis technique used is Miles and Huberman's interactive analysis included data collection, data reduction, data presentation, and conclusion drawing/verification. As the result, the implementation of Powtoon media can improve junior high school student’s ability in writing fiction. Keywords: Powtoon, Audiovisual Media, Writing Learning
The Use of Pop-Up Book to Enhance Young Learners’ Vocabulary Acquisition

This research discussed about the use of pop-up book to teach English for young learners. The study aims to find out the implementation of Pop-up book to enhance young learners’ vocabularies acquisition. The research employs a qualitative research with a case study design. The participants were six students around 4-8 years old.  The data were collected through observation. The data were, transcribe, coded, analyzed and displayed in extracted data and tables. The result of the research showed that in enhancing the vocabulary acquisition on the marine creatures’ topic, the marine creature Pop-up book was combined with a storytelling which was delivered in ESA teaching procedure can help young learners to enhance their vocabulary acquisition. The result of the research shows that the ‘dolphin’ word was the easiest to be recognized and also the most frequent. In addition, the teacher frequency utterances during teaching them also give effect to young learners’ vocabulary acquisition. Keywords: Pop-Up Book, Young Learners, Vocabulary Acquisition, ESA
A Precís on Intellectual Property Rights: Challenges and Prospects for Nigeria's Economy

Objective - This research study examines the benefits and advantages associated with Intellectual Property Rights (IPRs) in Nigeria's ecosystem. It scrutinises the contributions of safety or security of heroic inventions and innovations to economic growth.Methodology/Technique – With the adoption of institutional theory, this study examines the pertinent legal instruments, administration, and challenges of IPRs in Nigeria. The paper is specifically built on content analysis, key informant interviews, and expert insights which are used to unearth the institutional framework for transforming IPRs into sustainable economic or financial assets.Finding – Based on the content validity of the research, it is concluded that IPRs can be transformed into sustainable economic wealth or tangible financial resources with the creation of institutional apparatus for mitigating theft, piracy, or illegal transfer of IPRs in Nigeria as well as other developing nations. Consequently, some key policy suggestions necessary to secure IPRs for economic growth or optimal performance are espoused in this study.Novelty - The paper makes findings relevant to how institutional weaknesses actually spearhead the growth of theft, piracy, and illegal exchange or utilisation of intellectual resources of Nigeria.Type of Paper: Review.
BRONKOSKOPI SEBAGAI PROSEDUR DIAGNOSTIK DAN TERAPEUTIK PENYAKIT PARU

AbstractBronchoscopy is a medical procedure that provides tracheobronchial visualization by placing an optical instrument (bronchoscope) into the airways and is performed by a competent doctor. Bronchoscopy was invented by Gustav Killian in 1897 and since then the techniques have continued to develop. In 1966 Shigeto Ikeda introduced flexible bronchoscopy with fiber optic imaging technology. This is a revolution in the field of bronchoscopy. As cases of lung disease become more complex and the need for minimally invasive procedures, the contribution of bronchoscopy becomes increasingly important. This procedure has had significant developments in the last two decades. The latest bronchoscopy technology allows us to look outside the endobronchial tree to the mediastinum using endobronchial ultrasound (EBUS). Then the small nodules located in the periphery can also be traced for sampling using an electromagnetic navigation bronchoscopy (ENB). We can also manipulate the airway muscles to reduce asthma symptoms using bronchial thermoplasty. This paper is written to describe the basic principles of bronchoscopy and its clinical application in the diagnostic and therapeutic measures of pulmonary disease.Keywords: Bronchoscopy, Diagnostic, Therapeutic