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

Conceptual Modeling – ER 2005 1

丛书名： Lecture Notes in computer science

1000年

作者： Lois Delcambre Christian Kop Heinrich C. Mayr John Mylopoulos Oscar Pastor

ISBN: (数字)9783540320685

ISBN: (纸本)9783540293897

Conceptual modeling is fundamental to any domain where one must cope with complex real-world situations and systems because it fosters communication - tween technology experts and those who would bene?t from the application of those technologies. Conceptual modeling is the key mechanism for und- standing and representing the domains of information system and database - gineering but also increasingly for other domains including the new “virtual” *** of conceptual modeling in software engineering is evidenced by recent interest in “model-drivenarchitecture”and“extremenon-programming”.Conceptualm- eling also plays a prominent rolein various technical disciplines and in the social sciences. The Annual International Conference on Conceptual Modeling (referred to as the ER Conference) provides a central forum for presenting and discussing current research and applications in which conceptual modeling is the major emphasis. In keeping with this tradition, ER 2005, the 24th ER Conference, spanned the spectrum of conceptual modeling including research and practice in areas such as theories of concepts and ontologies underlying conceptual m- eling, methods and tools for developing and communicating conceptual models, and techniques for transforming conceptual models into e?ective (information) system implementations. Moreover, new areas of conceptual modeling incl- ing Semantic Web services and the interdependencies of conceptual modeling with knowledge-based, logical and linguistic theories and approaches were also addressed.

关键词： Software Engineering/Programming and Operating systems Simulation and Modeling Database Management Information systems Applications (incl. Internet) Mathematical Logic and Formal Languages Artificial Intelligence

来源：评论

学校读者我要写书评

暂无评论

Consistency and performance of concurrent interactive database applications

Consistency and performance of concurrent interactive databa...

引用

International Conference on Data Engineering

作者： K. Stathatos S. Kelley N. Roussopoulos J.S. Baras Institute for Systems Research Department of Computer Science University of Maryland College Park MD USA Institute for Systems Research Institute for Advanced Computer Studies University of Maryland College Park MD USA Institute for Systems Research Department of Computer Science Institute for Advanced Computer Studies University of Maryland College Park MD USA Institute for Systems Research Department of Electrical Engineering University of Maryland College Park MD USA

In many modern database applications, there is an emerging need for interactive environments where users directly manipulate the contents of the database. Graphical user interfaces (GUIs) display images of the database which must reflect a consistent up-to-date state of the data with minimum perceivable delay to the user. Moreover, the possibility of several applications concurrently displaying different views of the same database increases the overall system complexity. In this paper, we show how design, performance and concurrency issues can be addressed by adapting existing database techniques. We propose the use of suitable display schemas whose instances compose active views of the database, an extended client caching scheme which is expected to yield significant performance benefits, and a locking mechanism that maintains consistency between the GUIs and the database.

关键词： Image databases Graphical user interfaces Delay Educational institutions Concurrent computing computer displays computer networks Network servers Scalability Rendering (computer graphics)

来源：评论

学校读者我要写书评

暂无评论

Information security for sensors by overwhelming random sequences and permutations 10

Information security for sensors by overwhelming random sequ...

引用

Proceedings of the 6th International Workshop on Foundations of Mobile Computing

作者： Dolev, Shlomi Gilboa, Niv Kopeetsky, Marina Persiano, Giuseppe Spirakis, Paul G. Department of Computer Science Ben-Gurion University Beer-Sheva 84105 Israel Department of Software Engineering Sami-Shamoon College of Engineering Beer-Sheva 84100 Israel Dipartimento di Informatica Ed Applicazioni Università di Salerno Via Ponte Don Melillo Salerno 84084 Campania Italy Department of Computer Engineering and Informatics University of Patras Research Academic Computer Technology Institute N. Kazantzakis str. 265 00 Rio Patras Greece

ISBN: (纸本)9781450304139

We propose efficient schemes for information-theoretically secure key exchange in the Bounded Storage Model (BSM), where the adversary is assumed to have limited storage. Our schemes generate a secret One Time Pad (OTP) shared by the sender and the receiver, from a large number of public random bits produced by the sender or by an external source. Our schemes initially generate a small number of shared secret bits, using known techniques. We introduce a new method to expand a small number of shared bits to a much longer, shared key. Our schemes are tailored to the requirements of sensor nodes and wireless networks. They are simple, efficient to implement and take advantage of the fact that practical wireless protocols transmit data in frames, unlike previous protocols, which assume access to specific bits in a stream of data. Indeed, our main contribution is twofold. On the one hand, we construct schemes that are attractive in terms of simplicity, computational complexity, number of bits read from the shared random source and expansion factor of the initial key to the final shared key. On the other hand, we show how to transform any existing scheme for key exchange in BSM into a more efficient scheme in the number of bits it reads from the shared source, given that the source is transmitted in frames.

关键词： Digital storage

来源：评论

学校读者我要写书评

暂无评论

Blue-White Veil Classification in Dermoscopy Images of the Skin Lesions Using Convolutional Neural Networks 19th

Blue-White Veil Classification in Dermoscopy Images of the S...

引用

19th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2020

作者： Milczarski, Piotr Wąs, Lukasz Faculty of Physics and Applied Informatics Department of Computer Science University of Lodz Pomorska Str. 149/153 Lodz90-226 Poland Institute of Mechatronics and Information Systems Lodz University of Technology Stefanowskiego Str. 18/22 Lodz Poland

ISBN: (纸本)9783030614003

In the dermatology, Three-Point Checklist of Dermatology is defined and it is proved to be a sufficient screening method in the skin lesions assessments during the checking by dermatology expert. In the method there is a criterion of blue-whitish veil appearance within the lesion defined and it can be classified using a binary classifier. In the paper, we show the results of CNN application to the problem of the assessment of whether the blue-white veil is present or absent within the lesion using the pre-trained VGG19 CNN network, trained and tested on the prepared images taken from the PH2 dataset. © 2020, Springer Nature Switzerland AG.

关键词： Convolutional neural networks

来源：评论

学校读者我要写书评

暂无评论

A method and a case study for the selection of the best available tool for mobile device forensics using decision analysis 3

A method and a case study for the selection of the best avai...

引用

3rd Annual DFRWS Europe, DFRWS 2016 EU

作者： Saleem, Shahzad Popov, Oliver Baggili, Ibrahim School of Electrical Engineering and Computer Science National University of Science and Technology H-12 Islamabad Pakistan Department of Computer and Systems Sciences Stockholm University Postbox 7003 KistaSE-164 07 Sweden Tagliatela College of Engineering University of New Haven 300 Boston Post Road West HavenCT06516 United States

The omnipresence of mobile devices (or small scale digital devices - SSDD) and more importantly the utility of their associated applications for our daily activities, which range from financial transactions to learning, and from entertainment to distributed social presence, create an abundance of digital evidence for each individual. Some of the evidence may be a result of illegal activities that need to be identified, understood and eventually prevented in the future. There are numerous tools for acquiring and analyzing digital evidence extracted from mobile devices. The diversity of SSDDs, types of evidence generated and the number of tools used to uncover them posit a rather complex and challenging problem of selecting the best available tool for the extraction and the subsequent analysis of the evidence gathered from a specific digital device. Failing to select the best tool may easily lead to incomplete and or improper extraction, which eventually may violate the integrity of the digital evidence and diminish its probative value. Moreover, the compromised evidence may result in erroneous analysis, incorrect interpretation, and wrong conclusions which may eventually compromise the right of a fair trial. Hence, a digital forensics investigator has to deal with the complex decision problem from the very start of the investigative process called preparatory phase. The problem could be addressed and possibly solved by using multi criteria decision analysis. The performance of the tool for extracting a specific type of digital evidence, and the relevance of that type of digital evidence to the investigative problem are the two central factors for selecting the best available tool, which we advocate in our work. In this paper we explain the method used and showcase a case study by evaluating two tools using two mobile devices to demonstrate the utility of our proposed approach. The results indicated that XRY (Alt1) dominates UFED (Alt2) for most of the cases after bal

关键词： Digital forensics

来源：评论

学校读者我要写书评

暂无评论

DoS-Aware Quantized Control of Nonlinear systems via Linearization ⁎

引用

IFAC-PapersOnLine 2020年第2期53卷 3054-3059页

作者： Rui Kato Ahmet Cetinkaya Hideaki Ishii Department of Computer Science Tokyo Institute of Technology Yokohama 226-8502 Japan Information Systems Architecture Science Research Division National Institute of Informatics Tokyo 101-8430 Japan

This paper deals with a quantized feedback stabilization problem of nonlinear networked control systems via linearization. In particular, we study circumstances where the communication channel is interrupted by Denial-of-Service (DoS) attacks and its data rate is limited. We employ a deterministic DoS attack model which constraints the amount of attacks only by their frequency and duration, allowing us to capture a large class of potential attacks. To achieve asymptotic stabilization, we propose a resilient dynamic quantizer in the sense that it does not saturate in the presence of packet losses caused by DoS attacks. A sufficient condition for stability is derived by restricting the average frequency and duration of attacks. Since our result only guarantees local stability, we explicitly investigate an estimate of the region of attraction, which may be reduced by attacks. A simulation example is presented for demonstration of our results.

关键词： DoS attacks quantized control nonlinear systems stability analysis linearization

来源：评论

学校读者我要写书评

暂无评论

PyODDS: An end-to-end outlier detection system

arXiv

引用

arXiv 2019年

作者： Li, Yuening Zha, Daochen Zou, Na Hu, Xia Department of Computer Science and Engineering Department of Industrial & Systems Engineering Department of Computer Science and Engineering Texas A&M University College StationTX77840 United States

PyODDS is an end-to-end Python system for Outlier Detection with Database Support. It provides various outlier detection algorithms which meet the demands for users in different fields, with or without data science or machine learning background. PyODDS gives the ability to execute machine learning algorithms in-database without moving data out of the database server or over the network. It also provides access to a wide range of outlier detection algorithms, including statistical analysis and more recent deep learning based approaches. PyODDS is released under the MIT open-source license, and publicly available at https://***/datamllab/pyodds with official documentations at https://***/. Copyright © 2019, The Authors. All rights reserved.

关键词： Data visualization

来源：评论

学校读者我要写书评

暂无评论

Multiuser relaying over mixed RF/FSO links

Multiuser relaying over mixed RF/FSO links

引用

IEEE Transactions on Communications

作者： Miridakis, Nikolaos I. Matthaiou, Michail Karagiannidis, George K. Department of Informatics University of Piraeus 185 34 Piraeus Greece Department of Computer Engineering Technological Education Institute of Piraeus 122 44 Aegaleo Greece School of Electronics Electrical Engineering and Computer Science Queen's University Belfast Belfast BT3 9DT United Kingdom Department of Signals and Systems Chalmers University of Technology 412 96 Gothenburg Sweden Department of Electrical and Computer Engineering Aristotle University of Thessaloniki 541 24 Thessaloniki Greece Department of Electrical and Computer Engineering Khalifa University PO Box 127788 Abu Dhabi United Arab Emirates

A multiuser dual-hop relaying system over mixed radio frequency/free-space optical (RF/FSO) links is investigated. Specifically, the system consists of m single-antenna sources, a relay node equipped with n≥ m receive antennas and a single photo-aperture transmitter, and one destination equipped with a single photo-detector. RF links are used for the simultaneous data transmission from multiple sources to the relay. The relay operates under the decode-and-forward protocol and utilizes the popular V-BLAST technique by successively decoding each user's transmitted stream. Two common norm-based orderings are adopted, i.e., the streams are decoded in an ascending or a descending order. After V-BLAST, the relay retransmits the decoded information to the destination via a point-to-point FSO link in m consecutive timeslots. Analytical expressions for the end-to-end outage probability and average symbol error probability of each user are derived, while closed-form asymptotic expressions are also presented. Capitalizing on the derived results, some engineering insights are manifested, such as the coding and diversity gain of each user, the impact of the pointing error displacement on the FSO link and the V-BLAST ordering effectiveness at the relay. © 1972-2012 IEEE.

关键词： Decoding Data communication equipment Mobile telecommunication systems Probability Radio links Receiving antennas Space time adaptive processing Analytical expressions Asymptotic expressions Average symbol error probabilities Decode and forward Decode and forward protocols End to end outage probabilities Ordered successive interference cancellation V blasts

来源：评论

学校读者我要写书评

暂无评论

Profile-based string kernels for remote homology detection and motif extraction

Profile-based string kernels for remote homology detection a...

引用

Proceedings of the IEEE Computational systems Bioinformatics Conference, CSB

作者： Rui Kuang E. Ie Ke Wang Kai Wang M. Siddiqi Y. Freund C. Leslie Department of Computer Science Columbia University USA Department of Computer Science Center for Computational Learning Systems Columbia University USA Department of Biomedical Informatics Columbia University USA Department of Computer Science Center for Computational Learning Systems Center for Computational Biology and Bioinformatics Columbia University USA Department of Computer Science Center for Computational Learning Systems Center for Computational Biology and Bioinformatics Columbia University New York NY USA

We introduce novel profile-based string kernels for use with support vector machines (SVMs) for the problems of protein classification and remote homology detection. These kernels use probabilistic profiles, such as those produced by the PSI-BLAST algorithm, to define position-dependent mutation neighborhoods along protein sequences for inexact matching of k-length subsequences ("k-mers") in the data. By use of an efficient data structure, the kernels are fast to compute once the profiles have been obtained. For example, the time needed to run PSI-BLAST in order to build the profiles is significantly longer than both the kernel computation time and the SVM training time. We present remote homology detection experiments based on the SCOP database where we show that profile-based string kernels used with SVM classifiers strongly outperform all recently presented supervised SVM methods. We also show how we can use the learned SVM classifier to extract "discriminative sequence motifs" - short regions of the original profile that contribute almost all the weight of the SVM classification score - and show that these discriminative motifs correspond to meaningful structural features in the protein data. The use of PSI-BLAST profiles can be seen as a semi-supervised learning technique, since PSI-BLAST leverages unlabeled data from a large sequence database to build more informative profiles. Recently presented "cluster kernels " give general semi-supervised methods for improving SVM protein classification performance. We show that our profile kernel results are comparable to cluster kernels while providing much better scalability to large datasets.

关键词： Kernel Support vector machines Support vector machine classification Proteins Genetic mutations Data structures Data mining Semisupervised learning Spatial databases Scalability

来源：评论

学校读者我要写书评

暂无评论

Towards a Context-Aware Biofeedback Activity Recommendation Mobile Application for Healthy Lifestyle

引用

Procedia computer science 2013年 21卷 382-389页

作者： Hawazin Badawi Abdulmotaleb El Saddik Multimedia Communications Research Laboratory – MCRLab - University of Ottawa Ottawa Canada Department of Computer Science College of Computer and Information Systems - Umm Al-Qura University Mecca Saudi Arabia

In this paper, we propose a mobile application that provides users with physical activity recommendations on a daily basis. The increasing percentage of physical inactivity among individuals [1] is the main motivation behind this system. Thus, this system represents one possible solution to counter this issue by recommending the minimum threshold of daily physical activity required for individuals to maintain an active lifestyle. The system performs this task by utilizing a biofeedback sensor (accelerometer) that tracks user's movements. Users’ calorie consumption is calculated from acceleration data and is then used as a foundation for system recommendations. Also, context data is utilized to provide context- aware recommendations, which will make the suggested activities from our system easier to follow for individuals. The proposed system gives recommendations in the forms of textual, audio and haptic recommendations. A questionnaire has been conducted in order to estimate the importance of the proposed system through estimating participants’ daily activity levels. Additionally, it aims to determine context data that can support the proposed system most fully. Results upheld the proposed system with 46% of participants who exercise for less than 15 minutes daily. Our findings also show that weather conditions and work commitments are the factors, which have the strongest negative impact on an individual's physical activity.

关键词： Physical ctivity recommendation biofeedback sensors context-aware data

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：