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

Leveraging Applications of Formal Methods, Verification, and Validation 1

丛书名： Communications in computer and Information science

1000年

作者： Reiner Hähnle Jens Knoop Tiziana Margaria Dietmar Schreiner Bernhard Steffen

ISBN: (数字)9783642347818

ISBN: (纸本)9783642347801

This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic Systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during October 17-18 in Vienna, Austria, under the auspices of the International Symposium Series on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA. The topics covered by the papers of the SARS and the MLSC workshop demonstrate the breadth and the richness of the respective fields of the two workshops stretching from robot programming to languages and compilation techniques, to real-time and fault tolerance, to dependability, software architectures, computer vision, cognitive robotics, multi-robot-coordination, and simulation to bio-inspired algorithms, and from machine learning for anomaly detection, to model construction in software product lines to classification of web service interfaces. In addition the SARS workshop hosted a special session on the recently launched KOROS project on collaborating robot systems that is borne by a consortium of researchers of the faculties of architecture and planning, computer science, electrical engineering and information technology, and mechanical and industrial engineering at the Vienna University of Technology. The four papers devoted to this session highlight important research directions pursued in this interdisciplinary research project.

关键词： Artificial Intelligence Data Mining and Knowledge Discovery Software Engineering Computation by Abstract Devices Information Storage and Retrieval Pattern Recognition

来源：评论

学校读者我要写书评

暂无评论

COMPOzE-intention-based music composition through constraint programming

COMPOzE-intention-based music composition through constraint...

引用

International Conference on Tools for Artificial Intelligence (ICTAI)

作者： M. Henz S. Lauer D. Zimmermann Programming Systems Laboratory University of Saarland Saarbruecken Germany Computer Science Department University of Saarland Saarbruecken Germany Graduate School for Cognitive Science University of Saarland Saarbruecken Germany

We goal of the work is to derive four-voice music pieces from given musical plans, which describe the harmonic flow and the intentions of a desired composition. We developed the experimentation platform COMPOzE for intention based composition. COMPOzE is based on constraint programming over finite domains of integers. We argue that constraint programming provides a suitable technology for this task and that the libraries and tools available for the constraint programming system Oz effectively support the implementation of COMPOzE. This work links the research areas of automatic music composition on one hand and finite domain constraint programming on the other, and contributes the tool COMPOzE, which practically demonstrates the potential of constraint programming to open up new areas of application for automatic music composition.

关键词： Multiple signal classification Application software computer science Cognitive science Electronic mail Libraries Automatic programming Music Concrete Graphical user interfaces

来源：评论

学校读者我要写书评

暂无评论

Heterogeneous computing

Heterogeneous computing

引用

作者： Kalinov, Alexey Lastovetsky, Alexey Robert, Yves Institue for System Programming Russain Academy of Sciences B. Kommunisticheskaya 25 109004 Moscow Russia Department of Computer Science University College Dublin Belfield Dublin 4 Ireland LIP Ecole Normale Supérieure de Lyon Laboratoire LIP F-69364 Lyon Cedex 07 France

No abstract available

关键词：

来源：评论

学校读者我要写书评

暂无评论

Calculation of Signal Information Delay in Intelligent Communication Networks 3

Calculation of Signal Information Delay in Intelligent Commu...

引用

3rd IEEE KhPI Week on Advanced Technology, KhPI Week 2022

作者： Kuchuk, Nina Mozhaiev, Mykhailo Kalinin, Yevhen Davydov, Viacheslav Mozhaev, Oleksandr Kuchuk, Heorhii National Technical University 'Kharkiv Polytechnic Institute' Department of Computer Engineering and Programming Kharkiv Ukraine Computer Technology and Telecommunications Researches Sector National Scientific Center «hon. Prof Bokarius Forensic Science Institute» Kharkiv Ukraine National University of Life and Environmental Sciences of Ukraine Tractors Cars and Bioenergy Resources Department Kyiv Ukraine Kharkiv National University of Internal Affairs Department of Cyber Security and Data Technologies Kharkiv Ukraine

ISBN: (数字)9798350399202

ISBN: (纸本)9798350399202

An analysis of the signaling systems used in the Intelligent Communication Network has been carried out. The main probabilistic characteristics of signal information delay are determined. A method for calculating these characteristics for such error correction methods is proposed: basic error control method and preventive cyclical control method. The analysis of the delay of signal units from loading the signal network is carried out. Simple formulas are proposed for approximating the load applied to the signaling link. © 2022 IEEE.

关键词： Error correction

来源：评论

学校读者我要写书评

暂无评论

InfoShield: a security architecture for protecting information usage in memory

InfoShield: a security architecture for protecting informati...

引用

IEEE Symposium on High-Performance computer Architecture

作者： W. Shi J.B. Fryman G. Gu H.-H.S. Lee Y. Zhang J. Yang School of Electrical and Computer Engineering Georgia Tech College of Computing Georgia Institute of Technology Programming System Lab Corporate Technology Intel Corporation USA Department of Computer Science University of Pittsburgh USA Department of Computer Science and Engineering University of California Riverside USA

Cyber theft is a serious threat to Internet security. It is one of the major security concerns by both network service providers and Internet users. Though sensitive information can be encrypted when stored in non-volatile memory such as hard disks, for many e-commerce and network applications, sensitive information is often stored as plaintext in main memory. Documented and reported exploits facilitate an adversary stealing sensitive information from an application's memory. These exploits include illegitimate memory scan, information theft oriented buffer overflow, invalid pointer manipulation, integer overflow, password stealing Trojans and so forth. Today's computing system and its hardware cannot address these exploits effectively in a coherent way. This paper presents a unified and lightweight solution, called InfoShield that can strengthen application protection against theft of sensitive information such as passwords, encryption keys, and other private data with a minimal performance impact. Unlike prior whole memory encryption and information flow based efforts, InfoShield protects the usage of information. InfoShield ensures that sensitive data are used only as defined by application semantics, preventing misuse of information. Comparing with prior art, InfoShield handles a broader range of information theft scenarios in a unified framework with less overhead. Evaluation using popular network client-server applications shows that InfoShield is sound for practical use and incurs little performance loss because InfoShield only protects absolute, critical sensitive information. Based on the profiling results, only 0.3% of memory accesses and 0.2% of executed codes are affected by InfoShield.

关键词： Information security Protection Cryptography computer security IP networks Web and internet services Nonvolatile memory Hard disks Buffer overflow Hardware

来源：评论

学校读者我要写书评

暂无评论

An efficient data interface for heterogeneous distributed environments

An efficient data interface for heterogeneous distributed en...

引用

International Conference on Distributed Computing Systems

作者： D.D.H. Lin B. Shirazi K. Kavi Personal Systems Programming Center IBM Corporation Austin TX USA Department of Computer Science Engineering University of Texas Arlington Arlington TX USA

A multi-language-based data interface system for heterogeneous distributed processing is introduced. A prototyped environment based on this system is discussed, and an evaluation of the prototyped system is presented. It is shown that by keeping the syntax of the specification language flexible and close to existing high-level languages, a user can learn the interface language quickly. Semantically, this data interface views structured data as consisting of two parts: the data values themselves and the representation of the structure among the data values. Through this separation, it is possible to have pipelined data type checking and data conversion operations.< >

关键词： Data structures Application software Prototypes Uninterruptible power systems Software prototyping Focusing Operating systems Data conversion computer science Distributed processing

来源：评论

学校读者我要写书评

暂无评论

Emerging technologies for improving embryo selection: a systematic review

引用

Advanced Health Care Technologies 2015年 1卷 55-64页

作者： Sengul, Yasemin Bener, Ayse Uyar, Asli 1 Computer Programming Program Advanced Vocational Studies Dogus University Acibadem Kadikoy Istanbul Turkey 2 Data Science Laboratory Department of Mechanical and Industrial Engineering Ryerson University Toronto ON Canada 3 Department of Computer Engineering Okan University Tuzla Istanbul Turkey

Background: Embryo selection procedure is one of the critical success factors in in vitro fertilization treatment. Various embryo selection technologies have emerged within the past decade. These technologies are either used in combination with morphology or introduced to replace the conventional morphological evaluation. This review aims at investigating the effect of these novel embryo selection technologies on in vitro fertilization success rates. Methods: A systematic review of the literature was performed among full-text English articles in the PubMed database. Study selection was based on the predefined inclusion and exclusion criteria. Clinical effectiveness of the selected studies was measured in terms of implantation, pregnancy, live birth, and multiple pregnancy rates. Results: Five studies were identified that fitted the inclusion criteria. In these studies, researchers used aneuploidy screening, metabolomic profiling, and time-lapse imaging analysis as the new technologies. Among these studies, the one that conducted a randomized controlled trial of a commercial time-lapse imaging system demonstrated significant improvement in implantation rate. Conclusion: Studies using emerging technologies for embryo assessment provide promising results in retrospective analysis. On the other hand, randomized controlled trial studies that test the efficacy of novel embryo selection techniques in clinical practice failed to demonstrate a consistent improvement in the resulting success rates. This review provides a snapshot of the most recent literature on embryo assessment and embryo selection studies. Our findings show that there is a lack of comparative measurements and analyses that are able to assess benefits of the novel technologies in the field of embryo selection.

关键词： embryo selection in vitro fertilization IVF

来源：评论

学校读者我要写书评

暂无评论

Lemma Functions for Frama-C: C Programs as Proofs

Lemma Functions for Frama-C: C Programs as Proofs

引用

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Grigoriy Volkov Mikhail Mandrykin Denis Efremov Faculty of Computer Science Higher School of Economics Moscow Russia Software Engineering Department Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow Russia

ISBN: (纸本)9781728112763;9781728112756

This paper describes the development of an auto-active verification technique in the Frama-C framework. We outline the lemma functions method and present the corresponding ACSL extension, its implementation in Frama-C, and evaluation on a set of string-manipulating functions from the Linux kernel. We illustrate the benefits our approach can bring concerning the effort required to prove lemmas, compared to the approach based on interactive provers such as Coq. Current limitations of the method and its implementation are discussed.

关键词： Tools Manuals Contracts Linux Kernel Economics

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of a Smart Human Posture Monitoring Device Using a Wearable Vest 7

Design and Implementation of a Smart Human Posture Monitorin...

引用

7th International Conference on Advances in Biomedical Engineering, ICABME 2023

作者： Daou, Roy Abi Zeid Geha, Elio Aoun, Youssef Hayek, Ali Boercsoek, Josef Olmedo, Jose Javier Serrano Université la Sagesse Biomedical Engineering Department Furn El Chebbak Beirut Lebanon Mart Learning Education and Research Center Chananir Lebanon Lebanese German University Faculty of Public Health Biomedical Technologies Department Jounieh Lebanon University of Applied Science Hamm-Lippstadt Department Lippstadt 2 Hardware Engineering Marker Allee 76-78 Hamm59063 Germany University of Kassel Faculty of Electrical Engineering /Computer Science Department of Computer Architecture and System Programming Germany Universidad Politecnica de Madrid Lab of Bioinstrumentation and Nanomedicine Centro de Tecnologia Biomedica Spain

ISBN: (纸本)9798350325850

Chronic back pain can present a serious health concern, with symptoms that can significantly affect an individual's well-being, mobility, and overall quality of life over an extended period. While chronic back pain may manifest suddenly in some cases, it often develops gradually and persists for weeks, and in untreated cases, it can linger for years. Hence, the utilization of assistive devices such as wearable posture-monitoring vests can offer valuable assistance and guidance to users. This research paper is dedicated to the development of a system for detecting, diagnosing, and correcting poor posture, specifically leaning posture. The vest is designed to provide users with visual, auditory, and tactile cues to help them address this issue, thereby reducing the risk associated with leaning. Additionally, an integrated electrical box has been designed to consolidate all components directly onto the main board in a secure enclosure. This box also displays the daily count of instances where the user has leaned. This system is characterized by its electrical safety, portability, compactness, comfort, and affordability. A comprehensive analysis of the system's performance has been conducted with a meticulous evaluation of accuracy. Each component of the system has undergone successful testing, and the system as a whole is currently in the testing phase. The results of these tests have indicated a lack of faulty errors and have demonstrated outstanding accuracy and detection rates. Over 100 individuals of varying ages, genders, and BMI categories were involved in testing, with each person wearing the device for an average of six hours. The accuracy rate achieved was 98.85%, with an average of 54.35 instances of poor posture detected per participant. © 2023 IEEE.

关键词： Wearable technology

来源：评论

学校读者我要写书评

暂无评论

On objects and events 01

On objects and events

引用

ACM SIGPLAN Conference on Object-oriented programming, Systems, Languages, and Applications

作者： Patrick Th. Eugster Rachid Guerraoui Christian Heide Damm Distributed Programming Laboratory Swiss Federal Institute of Technology in Lausanne CH-1015 Switzerland Department of Computer Science University of Aarhus 8200 Aarhus N Denmark

ISBN: (纸本)1581133359

This paper presents linguistic primitives for publish/subscribe programming using events and objects. We integrate our primitives into a strongly typed object-oriented language through four mechnisms: (1) serialization, (2) multiple subtyping, (3)closures, and (4) deferred code evaluation. We illustrate our primitives through Java, showing how we have overcome its respective lacks. A precompiler transforms statements based on our publish/subscribe primitives into calls to specifically generated typed adapters, which resemble the typed stubs and skeletons by the rmic precompiler for remote method invocations in Java

关键词： Java Java programming language Primitive Skeletons remote procedure calls calls strong typing Object oriented programming languages serialize Application Adapter bone structure

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：