检索结果-内蒙古大学图书馆

International Conference on Indoor Positioning and Indoor Navigation (IPIN)

作者： Tobias Feigl Christopher Mutschler Michael Philippsen Machine Learning and Information Fusion Group Fraunhofer Institute for Integrated Circuits IIS Nuremberg Germany Machine Learning and Data Analytics Lab Friedrich-Alexander University Erlangen-Nürnberg Erlangen Germany Programming Systems Group

With free movement and multi-user capabilities, there is demand to open up Virtual Reality (VR) for large spaces. However, the cost of accurate camera-based tracking grows with the size of the space and the number of users. No-pose (NP) tracking is cheaper, but so far it cannot accurately and stably estimate the yaw orientation of the user's head in the long-run. Our novel yaw orientation estimation combines a single inertial sensor located at the human's head with inaccurate positional tracking. We exploit that humans tend to walk in their viewing direction and that they also tolerate some orientation drift. We classify head and body motion and estimate heading drift to enable low-cost long-time stable head orientation in NP tracking on 100 m×100 m. Our evaluation shows that we estimate heading reasonably well.

关键词： Magnetic heads Feature extraction Acceleration Tracking Head Accelerometers Estimation

来源：评论

学校读者我要写书评

暂无评论

Input Data Time Range Impact on Forecast Quality Using Automated Procedures

Input Data Time Range Impact on Forecast Quality Using Autom...

引用

Computer Science (COMSCI), International Scientific Conference on

作者： Kiril Andreev Koparanov Elena Ventseslavova Antonova Ognyan Nakov Nakov Daniela Veleva Minkovska Krasin Krasimirov Georgiev Lyudmila Yordanova Stoyanova Department of Programming and Computer Technologies Faculty of Computer Systems and Technologies Technical University of Sofia 8 Kliment Ohridski blvd Sofia Bulgaria Department of Computer Systems Faculty of Computer Systems and Technologies Technical University of Sofia 8 Kliment Ohridski blvd Sofia Bulgaria Department of Air Transport Faculty of Transport Technical University of Sofia 8 Kliment Ohridski blvd Sofia Bulgaria

Easy access to time series forecasting provides a strong competitive advantage for any company or organization. As automated forecasting environments become more prevalent in the market, it is crucial to explore their capabilities and features to utilize them competently. This study demonstrates the influence of data coverage on prediction accuracy and validates the initial assumption. Based on the findings, recommendations have been presented to enhance the quality of predictive processes.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Structure and Functioning of Information systems of Background Monitoring of Landscape Elements of Gorgany Nature Reserve 10

Structure and Functioning of Information Systems of Backgrou...

引用

10th International Conference on Advanced Computer Information Technologies, ACIT 2020

作者： Nykolaychuk, Yaroslav Petrashchuk, Yaroslav Slobodian, Olena Pitukh, Ihor Grynchyshyn, Taras Nykolaychuk, Lyubov Hryha, Volodymyr Ternopil National Economic University Department of Specialized Computer Systems Ternopil Ukraine Gorgany Nature Reserve Nadvirna Ukraine Nadvirna College by National Transport University Department of Programming and Information Technologies Nadvirna Ukraine Ivano-Frankivsk National Technical University of Oil and Gas Department of Social Communication and Law Ivano-Frankivsk Ukraine Vasyl Stefanyk Precarpathian National University Department of Computer Engineering and Electronics Ivano-Frankivsk Ukraine

This paper discusses the structural organization of the background monitoring system (BMS) of the transboundary UNESCO World Heritage Site 'Beech forests of the Carpathians and ancient beech forests of Germany' using actual data and information from Gorgany Nature Reserve in Ivano-Frankivsk, Ukraine. The features of the structure and functions of background monitoring of the protected natural resources, forests and wildlife of Gorgany Nature Reserve is based on modern methods of collecting and processing of digital data, implementation of the principles of Internet of Things and cloud technologies, combined with GPS-systems, sensor networks with the use of optical and fiber-optic telecommunication channels. The information technology of the background monitoring system is based on figurative cluster models of monitoring objects according to theoretical principles of statistical, correlatory, spectral, cluster, logic-statistical and entropy analysis. © 2020 IEEE.

关键词： Sensor networks

来源：评论

学校读者我要写书评

暂无评论

Optimizing Machine Learning Algorithms to Enhance Blood Donation for Liver Patients: A Case Study 7

Optimizing Machine Learning Algorithms to Enhance Blood Dona...

引用

7th IET Smart Cities Symposium, SCS 2023

作者： Mijwil, Maad M. El-Kenawy, El-Sayed M. Bala, Indu Aljanabi, Mohammad Abotaleb, Mostafa Ibrahim, Abdelhameed Computer Techniques Engineering Department Baghdad College of Economic Sciences University Baghdad Iraq Department of Communications and Electronics Delta Higher Institute of Engineering and Technology Egypt School of Electrical and Electronics Engineering Lovely Professional University Punjab India Department of Computer Aliraqia University Baghdad Iraq Department of System Programming South Ural State University Chelyabinsk Russia Computer Engineering and Control Systems Department Faculty of Engineering Mansoura University Mansoura Egypt

ISBN: (纸本)9781839539831

Blood is vital for transporting oxygen, nutrients, and hormones to all body parts as it circulates through arteries and veins. It removes carbon dioxide, regulates body temperature, and maintains the body's immune system. Individuals constantly need blood and its derivatives to save their lives and improve their health through medical treatments and surgical operations. Liver diseases are one of the diseases that affects the health of individuals and requires blood to continue living. These diseases cause significant damage to people's health, and early diagnosis plays a crucial role in saving lives. In this paper, machine learning algorithms (support vector machine and random forest) are involved in detecting liver diseases and determining whether donors are suitable to donate blood from blood values. This paper is applied research that found that the performance measures of the random forest algorithm achieved excellent performance in identifying suitable people to donate blood. © The Institution of Engineering & Technology 2023.

关键词： Support vector machines

来源：评论

学校读者我要写书评

暂无评论

B2A, A Straight-Through Approach from Basics to Advanced Level: Case Study for Python Course 11

B2A, A Straight-Through Approach from Basics to Advanced Lev...

引用

11th Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications, SQAMIA 2024

作者： Shazmeen, Abbasi Dakić, Pavle Zoltan, Alwahab Dhulfiqar Department of Programming Languages and Compilers Faculty of Informatics Eötvös Loránd University 1/C Pázmány Péter st. BudapestH-1117 Hungary Faculty of Informatics and Computing Singidunum University Danijelova 32 Belgrade Serbia Institute of Informatics Information Systems and Software Engineering Faculty of Informatics and Information Technologies Slovak University of Technology in Bratislava Ilkovičova 2 Bratislava842 16 Slovakia

In this study, we present a straightforward teaching strategy for teaching the Python programming language. Our method emphasizes a clear progression from fundamental to sophisticated concepts. Beginning with a thorough explanation of core Python ideas, we show a beginner-level script that dissects each line of code and displays the results. One distinguishing feature of our system is that students use ChatGPT to optimize code, which encourages them to improve the core program with fewer lines. After getting the updated solutions, students carefully compare the original and optimized programs to discover improvements and potential flaws. This study underlines the effectiveness of the Straight-Through Approach, which focuses on improving Python understanding while also developing critical thinking and code optimization skills. Our findings show that this strategy is a simple and effective way for teachers to assist students in growing from basic to advanced Python abilities, resulting in a dynamic and successful learning environment. The proposed technique will teach students how to use AI-driven modules correctly, such as ChatGPT. © 2024 Copyright for this paper by its authors.

关键词： Python

来源：评论

学校读者我要写书评

暂无评论

On the Applicability of Static Analysis for System Software using CodeChecker

On the Applicability of Static Analysis for System Software ...

引用

Software and System Engineering (ICoSSE), International Conference on

作者： Ádám Balogh Richárd Szalay Nokia Solutions and Networks Ltd. Budapest Hungary Department of Programming Languages and Compilers Faculty of Informatics Eötvös Loránd University Budapest Hungary Ericsson Hungary Communication Systems Ltd. Budapest Hungary

ISBN: (数字)9798350386592

ISBN: (纸本)9798350386608

In the last decade, static analysis has been gaining more and more ground as it is a powerful method to detect errors in software code early during development. However, most tools primarily focus on the application layer and therefore try to enforce the use of higher-level abstractions. These design decisions often result in low-level code being marked as dangerous. In this paper, we examine the effect of static analysers’ design on their applicability for system software, where direct access to hardware resources requires the use of very low-level methods. These codes, while idiomatic for the field, are considered as “hacks” or dangerous constructs by static analysers, resulting in an increased number of false positives. We present the list of Clang Static Analyzer, Clang-Tidy, and Cppcheck checkers which we observed to produce low false positive rate for system software. Based on these observations, we suggest developers to use these checks, as they can be efficiently used to detect real bugs. We implemented our suggestions as an analysis profile in the CodeChecker static analysis driver framework.

关键词： Codes Reviews Computer bugs Static analysis programming systems engineering and theory System software

来源：评论

学校读者我要写书评

暂无评论

A dynamic compilation framework for controlling microprocessor energy and performance

A dynamic compilation framework for controlling microprocess...

引用

IEEE/ACM International Symposium on Microarchitecture (MICRO)

作者： Qiang Wu V.J. Reddi Youfeng Wu Jin Lee D. Connors D. Brooks M. Martonosi D.W. Clark Depts. of Computer Science Electrical Engineering Princeton University USA Department of Electrical and Computer Engineering University of Colorado Boulder USA Programming Systems Laboratory Intel Corporation USA Division of Engineering and Applied Science Harvard University USA

Dynamic voltage and frequency scaling (DVFS) is an effective technique for controlling microprocessor energy and performance. Existing DVFS techniques are primarily based on hardware, OS time-interrupts, or static-compiler techniques. However, substantially greater gains can be realized when control opportunities are also explored in a dynamic compilation environment. There are several advantages to deploying DVFS and managing energy/performance tradeoffs through the use of a dynamic compiler. Most importantly, dynamic compiler driven DVFS is fine-grained, code-aware, and adaptive to the current microarchitecture environment. This paper presents a design framework of the run-time DVFS optimizer in a general dynamic compilation system. A prototype of the DVFS optimizer is implemented and integrated into an industrial-strength dynamic compilation system. The obtained optimization system is deployed in a real hardware platform that directly measures CPU voltage and current for accurate power and energy readings. Experimental results, based on physical measurements for over 40 SPEC or Olden benchmarks, show that significant energy savings are achieved with little performance degradation. SPEC2K FP benchmarks benefit with energy savings of up to 70% (with 0.5% performance loss). In addition, SPEC2K INT show up to 44% energy savings (with 5% performance loss), SPEC95 FP save up to 64% (with 4.9% performance loss), and Olden save up to 61% (with 4.5% performance loss). On average, the technique leads to an energy delay product (EDP) improvement that is 3times-5times better than static voltage scaling, and is more than 2times (22% vs. 9%) better than the reported DVFS results of prior static compiler work. While the proposed technique is an effective method for microprocessor voltage and frequency control, the design framework and methodology described in this paper have broader potential to address other energy and power issues such as di/dt and thermal control

关键词： Dynamic compiler Microprocessors Performance loss Voltage control Hardware Energy measurement Dynamic voltage scaling Frequency Energy management Microarchitecture

来源：评论

学校读者我要写书评

暂无评论

Editorial: Special issue dedicated to ICFP 2010

引用

Journal of Functional programming 2012年第4-5期22卷 379-381页

作者： UMUT A. ACAR JAMES CHENEY STEPHANIE WEIRICH Programming Languages and Systems Group Max Planck Institute for Software Systems Germany (e-mail: umut@***) Laboratory for Foundations of Computer Science University of Edinburgh Edinburgh UK (e-mail: jcheney@inf.ed.ac.uk) School of Engineering and Applied Science University of Pennsylvania Philadelphia PA 19104 USA (e-mail: sweirich@cis.upenn.edu)

The 15th ACM SIGPLAN International Conference on Functional programming (ICFP) took place on September 27–29, 2010 in Baltimore, Maryland. After the conference, the programme committee, chaired by Stephanie Weirich, selected several outstanding papers and invited their authors to submit to this special issue of Journal of Functional programming. Umut A. Acar and James Cheney acted as editors for these submissions. This issue includes the seven accepted papers, each of which provides substantial new material beyond the original conference version. The selected papers reflect a consensus by the program committee that ICFP 2010 had a number of strong papers that link core functional programming ideas with other areas, such as multicore, embedded systems, and data compression.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Fast RNA structure alignment for crossing input structures

Fast RNA structure alignment for crossing input structures

引用

作者： Backofen, Rolf Landau, Gad M. Möhl, Mathias Tsur, Dekel Weimann, Oren Bioinformatics Institute of Computer Science Albert-Ludwigs-Universität Freiburg Germany Department of Computer Science University of Haifa Haifa 31905 Israel Department of Computer Science and Engineering NYU-Poly Six MetroTech Center Brooklyn NY 11201-3840 United States Programming Systems Lab Saarland University Saarbrücken Germany Ben-Gurion University Beer-Sheva Israel Massachusetts Institute of Technology Cambridge MA 02139 United States

The complexity of pairwise RNA structure alignment depends on the structural restrictions assumed for both the input structures and the computed consensus structure. For arbitrarily crossing input and consensus structures, the problem is NP-hard. For non-crossing consensus structures, Jiang et al.'s (2002) [9] algorithm computes the alignment in O(n2m2) time where n and m denote the lengths of the two input sequences. If the input structures are also non-crossing, the problem corresponds to tree editing which can be solved in O(m2n(1+lognm)) time (Demaine et al., 2007) [3]. We present a new algorithm that solves the problem for d-crossing structures in O(dm2nlogn) time, where d is a parameter that is one for non-crossing structures, bounded by n for crossing structures, and much smaller than n on many practical examples. Crossing input structures allow for applications where the input is not a fixed structure but is given as base-pair probability matrices. © 2010 Elsevier B.V. All rights reserved.

关键词： RNA

来源：评论

学校读者我要写书评

暂无评论

Evolution of software in automated production systems: challenges and research directions

Evolution of software in automated production systems: chall...

引用

Software Engineering-Konferenz, SE 2016 - Software Engineering Conference, SE 2016

作者： Vogel-Heuser, Birgit Fay, Alexander Schaefer, Ina Tichy, Matthias Institute of Automation and Information Systems Technische Universität München Boltzmannstr. 15 Garching near Munich85748 Germany Institute of Automation Technology Helmut Schmidt University Holstenhofweg 85 Hamburg22043 Germany Institute of Software Engineering and Automotive Informatics Technische Universität Braunschweig Mühlenpfordtstr. 23 Braunschweig38106 Germany Institute of Software Engineering and Programming Languages Universität Ulm Ulm89069 Germany

ISBN: (纸本)9783885796466

Coping with evolution in automated production systems implies cross-disciplinary challenges along the system's life-cycle for variant-rich systems of high complexity. We provide an interdisciplinary survey on challenges and research directions in the evolution of automated production systems. After an initial discussion about the nature of automated production systems and their specific development process, we sketch in this extended abstract the challenges associated with evolution in the different development phases and a couple of cross-cutting areas.

关键词： Life cycle

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：