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

15th ACM International Symposium on Mobile Ad Hoc Networking and computing, MobiHoc 2014

作者： Zhu, Ruihao Li, Zhijing Wu, Fan Shin, Kang G. Chen, Guihai Department of Electrical Engineering and Computer Science University of Michigan Ann ArborMI48109 United States Shanghai Key Laboratory of Scalable Computing and Systems Shanghai Jiao Tong University Shanghai China

ISBN: (纸本)9781450326209

Dynamic spectrum redistribution-under which spectrum owners lease out under-utilized spectrum to users for financial gain-is an effective way to improve spectrum utilization. Auction is a natural way to incentivize spectrum owners to share their idle resources. In recent years, a number of strategy-proof auction mechanisms have been proposed to stimulate bidders to truthfully reveal their valuations. However, it has been shown that truthfulness is not a necessary condition for revenue maximization. Furthermore, in most existing spectrum auction mechanisms, bidders may infer the valuations-which are private information-of the other bidders from the auction outcome. In this paper, we propose a Differentially privatE spectrum auction mechanism with Approximate Revenue maximization (DEAR). We theoretically prove that DEAR achieves approximate truthfulness, privacy preservation, and approximate revenue maximization. Our extensive evaluations show that DEAR achieves good performance in terms of both revenue and privacy preservation. © 2015 ACM.

关键词： Machine design

来源：评论

学校读者我要写书评

暂无评论

A Novel Approach to Driving Fatigue Detection Using Forehead EOG

A Novel Approach to Driving Fatigue Detection Using Forehead...

引用

International IEEE/EMBS Conference on Neural Engineering

作者： Yu-Fei Zhang Xiang-Yu Gao Jia-Yi Zhu Wei-Long Zheng Bao-Liang Lu Center for Brain-Like Computing and Machine Intelligence Department of Computer Science and Engineering and the Key Laboratory of Shanghai Education Commission for Intelligent Interaction and Cognitive Engineering Shanghai Jiao Tong University

ISBN: (纸本)9781467363877

Various studies have shown that the traditional electrooculograms (EOGs) are effective for driving fatigue detection. However, the electrode placement of the traditional EOG recording method is around eyes, which may disturb the subjects' activities, and is not convenient for practical applications. To deal with this problem, we propose a novel electrode placement on forehead and present an effective method to extract horizon electrooculogram (HEO) and vertical electrooculogram (VEO) from forehead EOG. The correlation coefficients between the extracted HEO and VEO and the corresponding traditional HEO and VEO are 0.86 and 0.78, respectively. To alleviate the inconvenience of manually labelling fatigue states, we use the videos recorded by eye tracking glasses to calculate the percentage of eye closure over time, which is a conventional indicator of driving fatigue. We use support vector machine (SVM) for regression analysis and get a rather high prediction correlation coefficient of 0.88 on average.

关键词： Electrooculography Forehead Fatigue Feature extraction Electrodes Correlation Glass

来源：评论

学校读者我要写书评

暂无评论

Distributed stochastic ADMM for matrix factorization 14

Distributed stochastic ADMM for matrix factorization

引用

23rd ACM International Conference on Information and Knowledge Management, CIKM 2014

作者： Yu, Zhi-Qin Shi, Xing-Jian Yan, Ling Li, Wu-Jun Shanghai Key Laboratory of Scalable Computing and Systems Department of Computer Science and Engineering Shanghai Jiao Tong University China Department of Computer Science and Engineering Hong Kong University of Science and Technology Hong Kong National Key Laboratory for Novel Software Technology Department of Computer Science and Technology Nanjing University China

ISBN: (纸本)9781450325981

Matrix factorization (MF) has become the most popular technique for recommender systems due to its promising performance. Recently, distributed (parallel) MF models have received much attention from researchers of big data community. In this paper, we propose a novel model, called distributed stochastic alternating direction methods of multipliers (DS-ADMM), for large-scale MF problems. DS-ADMM is a distributed stochastic variant of ADMM. In particular, we first devise a new data split strategy to make the distributed MF problem fit for the ADMM framework. Then, a stochastic ADMM scheme is designed for learning. Finally, we implement DS-ADMM based on message passing interface (MPI), which can run on clusters with multiple machines (nodes). Experiments on several data sets from recommendation applications show that our DS-ADMM model can outperform other state-of-the-art distributed MF models in terms of both efficiency and accuracy. Copyright 2014 ACM.

关键词： Recommender systems

来源：评论

学校读者我要写书评

暂无评论

A hybrid model for hepatitis B virus 4

A hybrid model for hepatitis B virus

引用

4th IFAC Conference on Analysis and Control of Chaotic systems, CHAOS 2015

作者： Zhang, Ben-Gong Tanaka, Gouhei Aihara, Kazuyuki Honda, Masao Kaneko, Shuichi Chen, Luonan School of Mathematics and Computer Science Wuhan Textile University Wuhan China Institute of Industrial Science University of Tokyo Mrguro-ku 4-6-1 153-8505 Japan Department of Gastroenterology Graduate School of Medical Science Kanazawa University Kanazawa Ishikawa920-8641 Japan Key Laboratory of Systems Biology Shanghai Institutesfor Biological Sciences Chinese Academy of Sciences China

The hepatitis B virus (HBV) is a kind of pandemic infectious disease. It is becoming a major health problem in Asian and African countries, however, less so in other areas around the world. There is a vast background for studying HBV. However, some problems still require further study. For example, when the patient is infected by HBV, how to arrange the treatment schedule? Using long term continuous treatment or others? Therefore, we wish to readdress the study of HBV. First, we propose a new hybrid model that contains both continuous and discrete variables. Second, we analyze its dynamical behavior. We hope that this study may provide some new insight for HBV disease and some new guidance for the therapy. © 2015, IFAG (International Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved.

关键词： Drug therapy

来源：评论

学校读者我要写书评

暂无评论

Response Policies to Process Module Failure in Single-Arm Cluster Tools Subject to Wafer Residency Time Constraints

Response Policies to Process Module Failure in Single-Arm Cl...

引用

作者： Qiao, Yan Pan, Chun-Rong Wu, Nai-Qi Zhou, Mengchu Department of Industrial Engineering School of Electro-Mechanical Engineering Guangdong University of Technology Guangzhou510006 China School of Mechatronics and Electrical Engineering Jiangxi University of Science and Technology Ganzhou341000 China Institute of Systems Engineering Macau University of Science and Technology Taipa China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai201804 China Department of Electrical and Computer Engineering New Jersey Institute of Technology NewarkNJ07102-1982 United States

In semiconductor manufacturing, wafer residency time constraints make the scheduling problem of cluster tools complicated. A process module (PM) in cluster tools is prone to failure. It is crucial to deal with any such failure in a proper and timely manner. If there are feasible periodic schedules in operating a cluster tool before and after a PM failure, it is desired to make it operate continuously when such a failure occurs. However, due to wafer residency time constraints, it is highly challenging to control a tool such that it can be correctly transferred from a feasible schedule before failure to another after it. To solve this problem, a Petri net model is developed to describe the dynamic behavior of a single-arm cluster tool and failure response policies are proposed. The proposed policies are formulated via simple control laws for their easy implementation. Examples are given to show them. © 2015 IEEE.

关键词： Scheduling

来源：评论

学校读者我要写书评

暂无评论

On the Cycle Structure of Some Nonlinear Feedback Shift Registers

引用

Chinese Journal of Electronics 2014年第4期23卷 801-804页

作者： WANG Zhongxiao XU Hong QI Wenfeng State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou Information Science and Technology Institute Department of Computer Science and Engineering Shanghai Jiao Tong University

In this paper, we partly determine the cycle structure of two types of Nonlinear feedback shift registers(NFSRs). Based on these results, the cycle structure of a class of NFSRs with symmetric feedback functions can be completely characterized. Furthermore, an alternative proof of Kjeldsen’s results is presented. Compared with the original proof based on abstract algebra theory, ours is straightforward and easy to understand.

关键词： Cryptography Stream ciphers Nonlinear feedback shift registers Symmetric functions

来源：评论

学校读者我要写书评

暂无评论

Core Hybrid Event-B I: Single Hybrid Event-B machines

Core Hybrid Event-B I: Single Hybrid Event-B machines

引用

作者： Banach, Richard Butler, Michael Qin, Shengchao Verma, Nitika Zhu, Huibiao School of Computer Science University of Manchester Oxford Road ManchesterM13 9PL United Kingdom School of Electronics and Computer Science University of Southampton Highfield SouthamptonSO17 1BJ United Kingdom School of Computing University of Teesside Middlesbrough Tees ValleyTS1 3BA United Kingdom Department of Mathematics Indian Institute of Technology Hauz Khas New Delhi India Shanghai Key Laboratory of Trustworthy Computing East China Normal University 3663 Zhongshan Road North Shanghai200062 China

Faced with the increasing need for correctly designed hybrid and cyber-physical systems today, the problem of including provision for continuously varying behaviour as well as the usual discrete changes of state is considered in the context of Event-B. An extension of Event-B called Hybrid Event-B is presented, that accommodates continuous behaviours (called pliant events) in between familiar discrete transitions (called mode events in this context). The continuous state change can be specified by a combination of indirect specification via ordinary differential equations, or direct specification via assignment of variables to values that depend on time, or indirect specification by demanding that behaviour obeys a time dependent predicate. The syntactic elements of the extension are discussed, and the semantics is described in terms of the properties of time dependent valuations of variables. Refinement is examined in detail, with reference to the notion of refinement inherited from discrete Event-B. A full suite of proof obligations is presented, covering all aspects of the new framework. A selection of examples and case studies is presented. A particular challenge - bearing in mind the desirability of conforming to existing intuitions about discrete Event-B, and the impact on tool support (as embodied in tools for discrete Event-B like Rodin) - is to design the whole framework so as to disturb as little as possible the existing structures for handling discrete Event-B. © 2015 Elsevier B.V. All rights reserved.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

25th Annual Computational Neuroscience Meeting CNS-2016, Seogwipo City, South Korea, July 2-7, 2016 Abstracts

引用

BMC NEUROscience 2016年第1期17卷 1-112页

作者： [Anonymous] Computational Neurobiology Laboratory The Salk Institute for Biological Studies San Diego USA UNIC CNRS Gif sur Yvette France The European Institute for Theoretical Neuroscience (EITN) Paris France ATR Computational Neuroscience Laboratories Kyoto Japan Krembil Research Institute University Health Network Toronto Canada Department of Physiology University of Toronto Toronto Canada Department of Medicine (Neurology) University of Toronto Toronto Canada Department of Physics University of New Hampshire Durham USA Department of Neurophysiology Nencki Institute of Experimental Biology Warsaw Poland Department of Theory Wigner Research Centre for Physics of the Hungarian Academy of Sciences Budapest Hungary Department of Mathematical Sciences KAIST Daejoen Republic of Korea Department of Mathematics University of Houston Houston USA Department of Biochemistry & Cell Biology and Institute of Biosciences and Bioengineering Rice University Houston USA Department of Biology and Biochemistry University of Houston Houston USA Grupo de Neurocomputación Biológica Dpto. de Ingeniería Informática Escuela Politécnica Superior Universidad Autónoma de Madrid Madrid Spain Department of Biological Sciences University of Southern California Los Angeles USA Center for Neuroscience Korea Institute of Science and Technology Seoul South Korea Department of Neurology Albert Einstein College of Medicine Bronx USA Center for Neuroscience KIST Seoul South Korea Department of Neuroscience University of Science and Technology Daejon South Korea Systems Neuroscience Group QIMR Berghofer Medical Research Institute Herston Australia Department of Psychology Yonsei University Seoul South Korea Department of Psychiatry Kyung Hee University Hospital at Gangdong Seoul South Korea Department of Psychiatry Veterans Administration Boston Healthcare System and Harvard Medical School Brockton USA Department of Electrical and Electronic Engineering The University of Melbourne Parkvil

A1 Functional advantages of cell-type heterogeneity in neural circuits Tatyana O. Sharpee A2 Mesoscopic modeling of propagating waves in visual cortex Alain Destexhe A3 Dynamics and biomarkers of mental disorders Mitsuo Kawato F1 Precise recruitment of spiking output at theta frequencies requires dendritic h-channels in multi-compartment models of oriens-lacunosum/moleculare hippocampal interneurons Vladislav Sekulić, Frances K. Skinner F2 Kernel methods in reconstruction of current sources from extracellular potentials for single cells and the whole brains Daniel K. Wójcik, Chaitanya Chintaluri, Dorottya Cserpán, Zoltán Somogyvári F3 The synchronized periods depend on intracellular transcriptional repression mechanisms in circadian clocks. Jae Kyoung Kim, Zachary P. Kilpatrick, Matthew R. Bennett, Kresimir Josić O1 Assessing irregularity and coordination of spiking-bursting rhythms in central pattern generators Irene Elices, David Arroyo, Rafael Levi, Francisco B. Rodriguez, Pablo Varona O2 Regulation of top-down processing by cortically-projecting parvalbumin positive neurons in basal forebrain Eunjin Hwang, Bowon Kim, Hio-Been Han, Tae Kim, James T. McKenna, Ritchie E. Brown, Robert W. McCarley, Jee Hyun Choi O3 Modeling auditory stream segregation, build-up and bistability James Rankin, Pamela Osborn Popp, John Rinzel O4 Strong competition between tonotopic neural ensembles explains pitch-related dynamics of auditory cortex evoked fields Alejandro Tabas, André Rupp, Emili Balaguer-Ballester O5 A simple model of retinal response to multi-electrode stimulation Matias I. Maturana, David B. Grayden, Shaun L. Cloherty, Tatiana Kameneva, Michael R. Ibbotson, Hamish Meffin O6 Noise correlations in V4 area correlate with behavioral performance in visual discrimination task Veronika Koren, Timm Lochmann, Valentin Dragoi, Klaus Obermayer O7 Input-location dependent gain modulation in cerebellar nucleus neurons Maria Psarrou, Maria Schilstra, Neil Davey, Benjamin Torben-Ni

关键词：

来源：评论

学校读者我要写书评

暂无评论

Exploiting trajectory-based coverage for geocast in vehicular networks

引用

IEEE Transactions on Parallel and Distributed systems 2014年第12期25卷 3177-3189页

作者： Jiang, Ruobing Zhu, Yanmin He, Tian Liu, Yunhuai Ni, Lionel M. Department of Computer Science and Engineering Shanghai Jiao Tong University Shanghai China Shanghai Key Lab of Scalable Computing and Systems China Department of Computer Science and Engineering Minnesota University 200 Union Street SE MinneapolisMN55455 United States IOT Third Research Institute Ministry of Public Security B-303 Bisheng Road 339 Zhangjiang Pudong Shanghai201204 China Department of Computer Science and Engineering Hong Kong University of Science and Technology Kowloon Hong Kong

Geocast in vehicular networks aims to deliver a message to a target geographical region, which is useful for many applications such as geographic advertising. This is a highly challenging task in vehicular network environments due to the rare encounter opportunities and uncertainty caused by vehicular mobility. As more vehicles are equipped with on-board navigation systems, vehicle trajectories are ready for exploitation. We observe that a vehicle has a higher capability of delivering a message to the target region if its own future trajectory or trajectories of those vehicles to be encountered overlap the target region. Motivated by this observation, we develop a message forwarding metric, called coverage capability, to characterize the capability of a vehicle to successfully geocast the message. When calculating the coverage capability, we are facing the major challenge raised by the absence of accurate vehicle arrival time. Through an empirical study using real vehicular GPS traces of 2,600 taxis, we verify that the travel time of a vehicle, which is modeled as a random variable, follows the Gamma distribution. The travel time modeling helps us to make accurate predictions for inter-vehicle encounters. We perform extensive trace-driven simulations and the results show that our approach achieves 37.4 percent higher delivery ratio and 43.1 percent lower transmission overhead comparing with GPSR which is a representative geographic routing protocol. © 2013 IEEE.

关键词： Vehicles

来源：评论

学校读者我要写书评

暂无评论

Construction algorithms for index model based on Web page classification

引用

Journal of Computational Information systems 2014年第2期10卷 655-664页

作者： Zhang, Yangjie Yan, Chungang Wang, Pengwei Sun, Haichun Department of Computer Science and Technology Tongji University Shanghai 201804 China The Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 201804 China

Web pages on the Internet are massive, diverse, heterogeneous and redundant. How to organize and manage them effectively is an urgent problem. In this paper, we propose a method to index web pages and build an index model based on web page classification and hyperlink analysis. First, an initialization algorithm is given to construct an index model for an initial set of web pages. Then, considering the dynamics of web pages on the Internet, we propose an incremental updating algorithm which can update an index model incrementally. Through theoretical analysis, the complexity of proposed algorithms shows linear relationships with the scale of web pages and their growth. The experimental results show that initialization algorithm can construct an index model for a fixed number of web pages relatively fast, while the incremental updating algorithm can satisfy the update speed of web pages on the Internet. Thus, the proposed algorithms are feasible and effective. The constructed index model can provide supports for diversified information service systems to enable them to make better use of web resources and provide more valuable services to users. Copyright © 2014 Binary Information Press.

关键词： Websites

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：