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

IEEE International Conference on Services Computing (SCC)

作者： Honghao Gao Huaikou Miao Yucong Duan Jinyu Kai School of Computer Engineering and Science Shanghai University Shanghai P.R. China Shanghai Key Laboratory of Computer Software Evaluating&Testing Shanghai P.R. China College of Information Science and Technology Hainan University Haikou P.R. China

The complex requirements of E-commerce application call for selecting a set of Web services to reuse theirs business logics, where Service Oriented Architecture (SOA) provides a promising solution to the problem of cross-platform services integration. To this purpose, how to discovery services is a key to support the quick services composition, which has been a challenging task in Web application engineering. However, the traditional approaches have limitations in recall ratio and precision ratio because the keyword and semantic annotation query modes are hard to verify the target Web service, such as interaction behaviors and control flows of composite service. In this paper, it proposes a probabilistic model checking based service discovery method. First, it focuses on service reliability and time constraints to formalize the probabilistic behaviors of service process. Second, the quantitative verification properties of user requirements are specified in the form of temporal logic formulae. Third, the service discovery is to verify service process model against expected properties for identifying candidate services. Finally, in order to reduce model checking tasks, the correlation based service recommendation is introduced to explore more suitable services for user. Our framework improves the efficiency of service discovery without changing any existing service infrastructures.

关键词： Probabilistic logic Model checking Clocks Web services Business Time factors

来源：评论

学校读者我要写书评

暂无评论

Anonymous yoking-group proofs 15

Anonymous yoking-group proofs

引用

10th ACM Symposium on information, computer and Communications Security, ASIACCS 2015

作者： Li, Nan Mu, Yi Susilo, Willy Varadharajan, Vijay Centre for Computer and Information Security School of Computer Science and Software Engineering University of Wollongong Wollongong Australia Information and Networked Systems Security Research Department of Computing Faculty of Science Macquarie University Sydney Australia

ISBN: (纸本)9781450332453

Yoking-proofs show an interesting application in Radio Frequency Identification (RFID) that a verifier can check whether two tags are simultaneously scanned by a reader. We consider a scenario that multi-group of tags can be proved to be scanned simultaneously. Grouping-proof, which is an extension of yoking-proofs, allows multiple tags to be proved together, while existing protocols cannot support multiple groups. In this paper, we introduce a novel concept called "yoking-group proofs". Additionally, we propose an anonymous yoking-proof protocol and an anonymous yoking-group proof protocol and prove their security in Universal Composability framework. Copyright © 2015 ACM.

关键词： Radio frequency identification (RFID)

来源：评论

学校读者我要写书评

暂无评论

Comparison of adaptive input-output linearization & fuzzy sliding-mode control for induction motor 16

Comparison of adaptive input-output linearization & fuzzy sl...

引用

16th International Conference on Sciences and Techniques of Automatic Control and computer engineering, STA 2015

作者： Boubzizi, Said Abid, Hafedh Kharrat, Maher Hajjaji, Ahmed El Chaabane, Mohamed Laboratory of Sciences and Techniques of Automatic and Computer Engineering University of Sfax Tunisia Laboratory of Modeling Information and Systems University of Picardie Jules Verne France

ISBN: (纸本)9781467392341

This paper presents a comparison between adaptive input-output linearization and adaptive fuzzy sliding mode control (FSMC) for induction motor. At first, we describe the adaptive linearization control method, which consists in the cancelling of the nonlinearities and decoupling between speed and flux of the system when Rr and TL are unknowns constants. The adaptive sliding mode control, which is insensitive to parameter variations and external disturbances. The substituting of discontinuous control by fuzzy system can be solution for the chattering problem and minimize the control effort. © 2015 IEEE.

关键词： Fuzzy systems

来源：评论

学校读者我要写书评

暂无评论

Quantum majorization and a complete set of entropic conditions for quantum thermodynamics

arXiv

引用

arXiv 2017年

作者： Gour, Gilad Jennings, David Buscemi, Francesco Duan, Runyao Marvian, Iman Department of Mathematics and Statistics University of Calgary ABT2N 1N4 Canada Institute for Quantum Science and Technology University of Calgary ABT2N 1N4 Canada Department of Physics University of Oxford OxfordOX1 3PU United Kingdom Department of Physics Imperial College London LondonSW7 2AZ United Kingdom Department of Computer Science and Mathematical Informatics Nagoya University Chikusa-ku Nagoya464-8601 Japan Centre for Quantum Software and Information Faculty of Engineering and Information Technology University of Technology Sydney NSW2007 Australia MIT Research Laboratory of Electronics United States

What does it mean for one quantum process to be more disordered than another? Here we provide a precise answer to this question in terms of a quantum-mechanical generalization of majorization. The framework admits a complete description in terms of single-shot entropies, and provides a range of significant applications. These include applications to the comparison of quantum statistical models and quantum channels, to the resource theory of asymmetry, and to quantum thermodynamics. In particular, within quantum thermodynamics, we apply our results to provide the first complete set of necessary and sufficient conditions for arbitrary quantum state transformations under thermodynamic processes, and which rigorously accounts for quantum-mechanical properties, such as coherence. Our framework of generalized thermal processes extends thermal operations, and is based on natural physical principles, namely, energy conservation, the existence of equilibrium states, and the requirement that quantum coherence be accounted for thermodynamically. In the zero coherence case we recover thermo-majorization while in the asymptotic coherence regime we obtain a constraint that takes the form of a Page-Wootters clock condition. Copyright © 2017, The Authors. All rights reserved.

关键词： Thermodynamics

来源：评论

学校读者我要写书评

暂无评论

Semantic validation of affinity constrained service function chain requests

Semantic validation of affinity constrained service function...

引用

IEEE Conference on Network Softwarization (NetSoft)

作者： Niels Bouten Maxim Claeys Rashid Mijumbi Jeroen Famaey Steven Latré Joan Serrat Department of Mathematics and Computer Science University of Antwerp Antwerp Belgium Department of Information Technology iMinds Ghent Belgium Telecommunications Software and Systems Group Waterford Institute of Technology Ireland Network Engineering Department Universitat Politècnica de Catalunya Barcelona Spain

Network Function Virtualization (NFV) has been proposed as a paradigm to increase the cost-efficiency, flexibility and innovation in network service provisioning. By leveraging IT virtualization techniques in combination with programmable networks, NFV is able to decouple network functionality from the physical devices on which they are deployed. This opens up new business opportunities for both Infrastructure Providers (InPs) as well as Service Providers (SPs), where the SP can request to deploy a chain of Virtual Network Functions (VNFs) on top of which its service can run. However, current NFV approaches lack the possibility for SPs to define location requirements and constraints on the mapping of virtual functions and paths onto physical hosts and links. Nevertheless, many scenarios can be envisioned in which the SP would like to attach placement constraints for efficiency, resilience, legislative, privacy and economic reasons. Therefore, we propose a set of affinity and anti-affinity constraints, which can be used by SPs to define such placement restrictions. This newfound ability to add constraints to Service Function Chain (SFC) requests also introduces an additional risk that SFCs with conflicting constraints are requested or automatically generated. Therefore, a framework is proposed that allows the InP to check the validity of a set of constraints and provide feedback to the SP. To achieve this, the SFC request and relevant information on the physical topology are modeled as an ontology of which the consistency can be checked using a semantic reasoner. Enabling semantic validation of SFC requests, eliminates inconsistent SFCs requests from being transferred to the embedding algorithm.

关键词： Semantics Virtualization Indium phosphide III-V semiconductor materials Resilience Privacy Cloud computing

来源：评论

学校读者我要写书评

暂无评论

Corrigendum to “Road detection algorithm for Autonomous Navigation systems based on dark channel prior and vanishing point in complex road scenes” [Robot. Auton. Syst. 85 (2016) 1–11]

引用

Robotics and Autonomous systems 2017年 88卷 202-202页

作者： Yong Li Weili Ding Xuguang Zhang Zhaojie Ju Laboratory of Pattern Recognition and Intelligent Systems Key Laboratory of Industrial Computer Control Engineering of Hebei Province Department of Automation Institute of Electrical Engineering Yanshan University Qinghuangdao Hebei 066004 China College of Information Science and Engineering Northeastern University Shenyang Liaoning 110004 China School of Computing University of Portsmouth PO1 3HE UK

来源：评论

学校读者我要写书评

暂无评论

An analysis of personal information privacy concerns using Q-methodology 26

An analysis of personal information privacy concerns using Q...

引用

26th Australasian Conference on information systems, ACIS 2015

作者： Martin, Gregg Gupta, Hritik Wingreen, Stephen C. Mills, Annette M. Department of Computer Science and Software Engineering University of Canterbury Christchurch New Zealand Department of Accounting and Information Systems University of Canterbury Christchurch New Zealand

ISBN: (纸本)9780646953373

information privacy has gained increased attention in recent years. This paper focuses on a particular aspect of privacy, i.e., personal information privacy. In this paper a conceptual framework is developed based Westin’s theory of Personal information Privacy (PIP). Concourse theory and Q-methodology was used alongside the literature and the New Zealand Privacy Act 1993 to develop a Q-sort questionnaire. The resulting 29 statements were then sorted by 12 students (majoring in IS Security). The results indicate that for some, privacy priorities may be stable across contexts, and for others this differs, suggesting that current views of privacy (e.g. Westin’s theory) may need revising for the modern digital age. The Q-sort methodology also identified three types, each representing distinct collective perspectives on personal information privacy. These types are discussed along with implications and suggestions for future research. © 2015 Martin, Gupta, Wingreen, and Mills.

关键词： information dissemination

来源：评论

学校读者我要写书评

暂无评论

Erratum to “An Efficient Code-Based Threshold Ring Signature Scheme with a Leader-Participant Model”

引用

Security and Communication Networks 2017年第1期2017卷

作者： Guomin Zhou Peng Zeng Xiaohui Yuan Siyuan Chen Kim-Kwang Raymond Choo Department of Computer and Information Technology Zhejiang Police College Hangzhou Zhejiang Province *** Shanghai Key Laboratory of Trustworthy Computing East China Normal University Shanghai *** Department of Computer Science and Engineering University of North Texas Denton TX 76203 USAunt.edu College of Information Engineering China University of Geosciences Wuhan *** Department of Information Systems and Cyber Security University of Texas at San Antonio San Antonio TX 78249 USAutsa.edu

来源：评论

学校读者我要写书评

暂无评论

A cloud workflow modeling framework using extended proclets 3rd

A cloud workflow modeling framework using extended proclets

引用

3rd Asia Pacific Conference on Business Process Management, AP-BPM 2015

作者： Huang, Hua Peng, Rong Feng, Zaiwen Zhang, Min State Key Laboratory of Software Engineering School of Computer Wuhan University Wuhan430072 China School of Information Engineering Jingdezhen Ceramic Institute Jingdezhen333001 China

ISBN: (纸本)9783319195087

Most existing cloud workflow modeling approaches focus on how to support business process customization for multiple tenants. But there are many factors to be considered in actual cloud workflow modeling, such as how to model interaction between different tenants’ business processes while protecting their privacy respectively, and how to facilitate the reuse of common process fragments for different stakeholder roles. To address these issues, this paper proposes a cloud workflow modeling framework using extended proclets. The framework provides a hierarchical management mechanism to isolate the private data of each tenant’s business process and adopts two-level-channel transmission protocol to explicitly model interaction between different tenants’ business processes. At last, a case study is carried out to illustrate its modeling capability and feasibility. © Springer International Publishing Switzerland 2015.

关键词： Workflow management

来源：评论

学校读者我要写书评

暂无评论

Identifying the best machine learning algorithms for brain tumor segmentation, progression assessment, and overall survival prediction in the BRATS challenge

arXiv

引用

arXiv 2018年

作者： Bakas, Spyridon Reyes, Mauricio Jakab, Andras Bauer, Stefan Rempfler, Markus Crimi, Alessandro Shinohara, Russell Takeshi Berger, Christoph Ha, Sung Min Rozycki, Martin Prastawa, Marcel Alberts, Esther Lipkova, Jana Freymann, John Kirby, Justin Bilello, Michel Fathallah-Shaykh, Hassan M. Wiest, Roland Kirschke, Jan Wiestler, Benedikt Colen, Rivka Kotrotsou, Aikaterini Lamontagne, Pamela Marcus, Daniel Milchenko, Mikhail Nazeri, Arash Weber, Marc-Andr Mahajan, Abhishek Baid, Ujjwal Gerstner, Elizabeth Kwon, Dongjin Acharya, Gagan Agarwal, Manu Alam, Mahbubul Albiol, Alberto Albiol, Antonio Albiol, Francisco J. Alex, Varghese Allinson, Nigel Amorim, Pedro H.A. Amrutkar, Abhijit Anand, Ganesh Andermatt, Simon Arbel, Tal Arbelaez, Pablo Avery, Aaron Azmat, Muneeza Pranjal, B. Bai, Wenjia Banerjee, Subhashis Barth, Bill Batchelder, Thomas Batmanghelich, Kayhan Battistella, Enzo Beers, Andrew Belyaev, Mikhail Bendszus, Martin Benson, Eze Bernal, Jose Bharath, Halandur Nagaraja Biros, George Bisdas, Sotirios Brown, James Cabezas, Mariano Cao, Shilei Cardoso, Jorge M. Carver, Eric N. Casamitjana, Adri Castillo, Laura Silvana Cat, Marcel Cattin, Philippe Cérigues, Albert Chagas, Vinicius S. Chandra, Siddhartha Chang, Yi-Ju Chang, Shiyu Chang, Ken Chazalon, Joseph Chen, Shengcong Chen, Wei Chen, Jefferson W. Chen, Zhaolin Cheng, Kun Choudhury, Ahana Roy Chylla, Roger Clrigues, Albert Colleman, Steven Colmeiro, Ramiro German Rodriguez Combalia, Marc Costa, Anthony Cui, Xiaomeng Dai, Zhenzhen Dai, Lutao Daza, Laura Alexandra Deutsch, Eric Ding, Changxing Dong, Chao Dong, Shidu Dudzik, Wojciech Eaton-Rosen, Zach Egan, Gary Escudero, Guilherme Estienne, Tho Everson, Richard Fabrizio, Jonathan Fan, Yong Fang, Longwei Feng, Xue Ferrante, Enzo Fidon, Lucas Fischer, Martin French, Andrew P. Fridman, Naomi Fu, Huan Fuentes, David Gao, Yaozong Gates, Evan Gering, David Gholami, Amir Gierke, Willi Glocker, Ben Gong, Mingming Gonzlez-Vill, Sandra Grosges, T. Guan, Yuanfang Guo, Sheng Gupta, Sudeep Han, Woo-Sup Han, Il Song Harmuth, Ko Center for Biomedical Image Computing and Analytics University of Pennsylvania PhiladelphiaPA United States Department of Radiology Perelman School of Medicine University of Pennsylvania PhiladelphiaPA United States Department of Pathology and Laboratory Medicine Perelman School of Medicine University of Pennsylvania PhiladelphiaPA United States Institute for Surgical Technology and Biomechanics University of Bern Bern Switzerland Center for MR-Research University Children's Hospital Zurich Zurich Switzerland Support Centre for Advanced Neuroimaging Inselspital Institute for Diagnostic and Interventional Neuroradiology Bern University Hospital Bern Switzerland University Hospital of Zurich Zurich Switzerland Center for Clinical Epidemiology and Biostatistics University of Pennsylvania Philadelphia United States Image-Based Biomedical Modeling Group Technical University of Munich Munich Germany Icahn School of Medicine Mount Sinai Health System New YorkNY United States Leidos Biomedical Research Inc. Frederick National Laboratory for Cancer Research FrederickMD21701 United States Cancer Imaging Program National Cancer Institute National Institutes of Health BethesdaMD20814 United States Department of Neurology University of Alabama at Birmingham BirminghamAL United States Department of Diagnostic Radiology University of Texas MD Anderson Cancer Center HoustonTX United States Department of Psychology Washington University St. LouisMO United States Neuroimaging Informatics and Analysis Center Washington University St. LouisMO United States Department of Radiology Washington University St. LouisMO United States Institute of Diagnostic and Interventional Radiology Pediatric Radiology and Neuroradiology University Medical Center Rostock Ernst-Heydemann-Str. 6 Rostock18057 Germany Tata Memorial Centre Homi Bhabha National Institute Mumbai India Shri Guru Gobind Singhji Institute of Engineering and Technology Nanded India NVIDIA Santa Clara

Gliomas are the most common primary brain malignancies, with different degrees of aggressiveness, variable prognosis and various heterogeneous histologic sub-regions, i.e., peritumoral edematous/invaded tissue, necrotic core, active and non-enhancing core. This intrinsic heterogeneity is also portrayed in their radio-phenotype, as their sub-regions are depicted by varying intensity profiles disseminated across multi-parametric magnetic resonance imaging (mpMRI) scans, reflecting varying biological properties. Their heterogeneous shape, extent, and location are some of the factors that make these tumors difficult to resect, and in some cases inoperable. The amount of resected tumor is a factor also considered in longitudinal scans, when evaluating the apparent tumor for potential diagnosis of progression. Furthermore, there is mounting evidence that accurate segmentation of the various tumor sub-regions can offer the basis for quantitative image analysis towards prediction of patient overall survival. This study assesses the state-of-the-art machine learning (ML) methods used for brain tumor image analysis in mpMRI scans, during the last seven instances of the International Brain Tumor Segmentation (BraTS) challenge, i.e., 2012-2018. Specifically, we focus on i) evaluating segmentations of the various glioma sub-regions in pre-operative mpMRI scans, ii) assessing potential tumor progression by virtue of longitudinal growth of tumor sub-regions, beyond use of the RECIST/RANO criteria, and iii) predicting the overall survival from pre-operative mpMRI scans of patients that underwent gross total resection. Finally, we investigate the challenge of identifying the best ML algorithms for each of these tasks, considering that apart from being diverse on each instance of the challenge, the multi-institutional mpMRI BraTS dataset has also been a continuously evolving/growing dataset. Copyright © 2018, The Authors. All rights reserved.

关键词： Tumors

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：