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

Annual Meeting of The North American Fuzzy Information Processing Society

作者： Bedregal, Benjamin Santiago, Regivan H. N. Benevides, Mario Viana, Petrucio Group of Logic Language Information Theory and Applications - LoLITA Department of Informatics and Applied Mathematics Federal University of Rio Grande Do Norte 59072-970 Natal-RN Brazil Program of Engineering of Systems and Computing - PESC Department of Computer Science Federal University of Rio de Janeiro 21941-972 Rio de Janeiro-RJ Brazil Department of Analysis Fluminense Federal University 24020-140 Niterói-RJ Brazil

ISBN: (纸本)9781612849676

The idea of a Kripke semantics endowed with possibility/plausibility information is not new;in fact there are different approaches for that;see: [6], [13], [16], [19]. This paper follows the approach found in [6], but whereas [6] provides a fixed interpretation for connectives into [0,1] here we provide a characterization of a fuzzy semantics for connectives in such a way that the resulting fuzzy frames: K, T and D, are described precisely by the set of statements which also describes, respectively, the usual modal systems K, T and D. © 2011 IEEE.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Using Memory Access Traces to Map Threads and Data on Hierarchical Multi-core Platforms

Using Memory Access Traces to Map Threads and Data on Hierar...

引用

IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum (IPDPSW)

作者： Eduardo Henrique Molina da Cruz Marco Antonio Zanata Alves Alexandre Carissimi Philippe Olivier Alexandre Navaux Christiane Pousa Ribeiro Jean-Francois Mehaut PPGC Graduate Program in Computer Science Institute of Informatics Federal University of Rio Grande do Sul Porto Alegre Rio Grande do Sul Brazil INRIA Mescal Research Team LIG Laboratory Grenoble University France

In parallel programs, the tasks of a given application must cooperate in order to accomplish the required computation. However, the communication time between the tasks may be different depending on which core they are executing and how the memory hierarchy and interconnection are used. The problem is even more important in multi-core machines with NUMA characteristics, since the remote access imposes high overhead, making them more sensitive to thread and data mapping. In this context, process mapping is a technique that provides performance gains by improving the use of resources such as interconnections, main memory and cache memory. The problem of detecting the best mapping is considered NP-Hard. Furthermore, in shared memory environments, there is an additional difficulty of finding the communication pattern, which is implicit and occurs through memory accesses. This work aims to provide a method for static mapping for NUMA architectures which does not require any prior knowledge of the application. Different metrics were adopted and an heuristic method based on the Edmonds matching algorithm was used to obtain the mapping. In order to evaluate our proposal, we use the NAS Parallel Benchmarks (NPB) and two modern multi-core NUMA machines. Results show performance gains of up to 75% compared to the native scheduler and memory allocator of the operating system.

关键词： Instruction sets Memory management Linux Benchmark testing Measurement Multicore processing

来源：评论

学校读者我要写书评

暂无评论

Hope for the best and prepare for the worst: Interaction design and the tipping point

引用

Interactions 2010年第5期17卷 26-30页

作者： Blevis, Eli Blevis, Shunying Human-Computer Interaction Design Program School of Informatics and Computing Indiana University Bloomington United States

Typical interaction designers which are not climate scientists, but interaction designers can make well-informed use of climate sciences and closely related sciences are discussed. Interaction design can make scientific information, interpretations, and perspectives available in an accessible and widely distributed form so that people's consciousness is raised. Interaction design can help bridge the gap between scientific predictions and notions of certainty and uncertainty. The tipping point, by definition, is the point at which any efforts to stop something from happening arrive too late. The 2007 IPCC report predicts climate change will have massive implications for global food production and conditions of production, as well as for water, coastal habitations, health, and ecosystems. Such systems must make this information available at scale and in forms that are suitable to a number of different constituencies, individuals, policy makers, governments, and intergovernmental organizations.

关键词： Climate change

来源：评论

学校读者我要写书评

暂无评论

Use of Neural Networks in the Management of Virtual Web Servers

Use of Neural Networks in the Management of Virtual Web Serv...

引用

Brazilian Symposium on Computing System Engineering (SBESC)

作者： Andre Felipe Monteiro Marcus V. Azevedo Alexandre Sztajnberg Postgraduate Program in Electronic Engineering-PEL Rio de Janeiro State University Rio de Janeiro Rio de Janeiro Brazil Department of Informatics and Computing Science Rio de Janeiro State University Rio de Janeiro Rio de Janeiro Brazil

This work proposes using a neural network with self organizing maps, to build a configuration policy, which enables the management of a supporting infrastructure for Web applications using virtual machines. The neural network classifies the cluster's operation states to perform configuration operations adding or subtracting resources from the cluster. The overall goal is to ensure quality of service required by the application, while trying to save energy, acting efficiently on physical servers (hosts) or manipulating the VMs. The work includes a performance evaluation carried out over a system implemented based on the proposed architecture.

关键词： Monitoring Hardware Virtual machine monitors Process control NASA Self organizing feature maps

来源：评论

学校读者我要写书评

暂无评论

Power Line Interference Detection and Rejection in ECG

Power Line Interference Detection and Rejection in ECG

引用

Advances in Communication Technology——2011 3rd World Congress in Applied Computing, Computer Science, and Computer Engineering (ACC 2011)

作者： Yue-Der Lin Ching-Che Tsai Hu-Ying Ho Shih-Fan Wang Kang-Ping Lin Hen-Hong Chang Master's Program in Biomedical Informatics & Biomedical Engineering Feng Chia University Department of Automatic Control Engineering Feng Chia University Holistic Medical Device Research and Development Center Chung Yuan Christian University Institute of Traditional Chinese Medicine Chang-Gung University

A novel power-line interference(PLI) reduction algorithm is proposed as a pre-processing step for electrocardiogram(ECG) signals. A distinct feature of this proposed algorithm is its ability to detect the presence of PLI in the ECG signal before applying the PLI removal algorithm. A constant-false alarm rate(CFAR) PLI detector using a band-pass IIR notch filter is developed for this purpose. Once the presence of PLI is detected, a recursive least-squares(RLS) adaptive IIR filter then will be applied to eliminate the PLI anomaly. On the other hand, if the PLI is not detected, no PLI reduction filtering will be applied. The proposed intelligent algorithm is able to perform PLI reduction operation without human operator supervision. The proposed RLS adaptive notch filtering algorithm also exhibits fast convergence and numerical stability.

关键词： Power-line interference(PLI),electrocardiogram(ECG),constant-false alarm rate(CFAR),recursive least-squares(RLS).

来源：评论

学校读者我要写书评

暂无评论

Collaborative refinement of emergency plans through public engagement

Collaborative refinement of emergency plans through public e...

引用

International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom)

作者： Ma Carmen Penadés Marcos Borges Adriana Vivacqua José H. Canós Carlos Solis ISSI-DSIC Universitat Politècnica de Valencia Valencia Spain Graduate Program in Informatics Instituto de Matematica Federal University of Rio de Janeiro Rio de Janeiro Brazil Lero the Irish Software Engineering Research Centre University of Limerick Limerick Ireland

Emergency plans are fundamental for the speedy and effective response in disaster situations. Plans are often constructed by teams of experts, who apply their expertise to define response procedures, but lack part of location-specific knowledge that can be very relevant to make decisions during responses. Such knowledge is, however, in the minds of people who use those spaces every day, but are not involved in the planning processes. In this paper, we advocate for citizens' involvement in emergency plan elaboration via Public Participation, a mechanism long time used in other areas of e-government. We define the steps of a collaborative process for the elicitation of citizen's knowledge via Public Participation. A summary of the results of an initial case study is used to demonstrate the feasibility of our proposal for improving emergency plans.

关键词： Fires Artificial intelligence Blogs TV Reflection Collaboration Educational institutions

来源：评论

学校读者我要写书评

暂无评论

A roadmap to the Collaboration Maturity Model (CollabMM) evolution

A roadmap to the Collaboration Maturity Model (CollabMM) evo...

引用

International Conference on Computer Supported Cooperative Work in Design

作者： Andréa Magalhães Magdaleno Renata Mendes de Araujo Cláudia Maria Lima Werner System Engineering and Computer Science Program-COPPE NP2Tec-Research and Practice Group in Information Technology UFRJ Rio de Janeiro Rio de Janeiro Brazil System Engineering and Computer Group in Information Technology Rio de Janeiro RJ Brazil PPGI - Graduate Program in Informatics - UNIRIO NP2Tec - Research and Practice Group in Information Technology Rio de Janeiro RJ Brazil System Engineering and Computer Science Program-COPPE UFRJ Rio de Janeiro Rio de Janeiro Brazil System Engineering and Computer Science Program - COPPEIUFRJ Rio de Janeiro RJ Brazil

Organizations have been relying on collaboration for productivity improvement and knowledge sharing. The first step to foster collaboration in organizations is to make it explicit. With this aim, the Collaboration Maturity Model (CollabMM) was proposed and evaluated. The lessons learned during model applications in previous work pointed out the need to review both the model and its evaluation instruments. A literature review also showed some improvement opportunities. Therefore, the objective of this work is to develop a roadmap to highlight the main opportunities of evolution in CollabMM. These opportunities will compose our research agenda in this topic and guide future work.

关键词： Collaboration Organizations Instruments Coordinate measuring machines Capability maturity model Knowledge management

来源：评论

学校读者我要写书评

暂无评论

Regression test cases prioritization using Failure Pursuit Sampling

Regression test cases prioritization using Failure Pursuit S...

引用

2010 10th International Conference on Intelligent Systems Design and Applications, ISDA'10

作者： Simons, Cristian Paraiso, Emerson Cabrera Postgraduate Program in Informatics Pontifical Catholic University of Parana Curitiba Brazil

ISBN: (纸本)9781424481354

The necessity of lowering the execution of system tests' cost is a consensual point in the software development community. The present study presents an optimization of the regression tests' activity, by adapting a test cases prioritization technique called Failure Pursuit Sampling - previously used and validated for the prioritization of tests in general - improving its efficiency for the exclusive execution of regression test. For this purpose, the clustering and sampling phases of the original technique were modified, so that it becomes capable of receive information from tests made on the previous version of a program, and can use this information to drive de efficiency of the new developed technique, for tests made on a present version. The adapted technique was implemented and executed using the Schedule program, of the Siemens suit. By using Average of the Percentage of Faults Detected charts, the modified Failure Pursuit Sampling technique presented a high level of efficiency improvement. © 2010 IEEE.

关键词： Software testing

来源：评论

学校读者我要写书评

暂无评论

Designing enhanced classifiers using prior process knowledge: Regularized maximum-likelihood

Designing enhanced classifiers using prior process knowledge...

引用

IEEE International Workshop on Genomic Signal Processing and Statistics (GENSIPS)

作者： Mohammad Shahrokh Esfahani Amin Zollanvari Byung-Jun Yoon Edward R. Dougherty Department of Electrical and Computer Engineering Texas A and M University USA Childrens Hospital Informatics Program at Harvard-MIT Division of Health Sciences and Technology Harvard Medical School and Brigham and Women's Hospital USA Computational Biology Division Translational Genomics Research Institute Phoenix Phoenix AZ USA

We propose a novel optimization-based paradigm for designing enhanced classifiers. The proposed paradigm allows us to incorporate available prior process knowledge into classifier design, thereby improving the performance of the resulting classifiers. In this work, we focus on dynamical systems that can be represented as finite-state multi-dimensional stochastic processes that possess labeled steady-state distributions. Given prior operational knowledge of the process, our goal is to build a classifier that can accurately label future observations obtained from the steady-state, by utilizing both the available prior knowledge and the training data. Simulation results show that the proposed paradigm yields improved classifiers that outperform traditional classifiers that use only training data.

关键词： Uncertainty Knowledge engineering Steady-state Training data Bioinformatics Cancer Genomics

来源：评论

学校读者我要写书评

暂无评论

Simultaneous Identification for Synergistic Transcription Factors and their Transcription Factor Binding Sites

Simultaneous Identification for Synergistic Transcription Fa...

引用

International Conference on Complex, Intelligent and Software Intensive Systems, CISIS

作者： Zing Tsung-Yeh Tsai Grace Tzu-Wei Huang Huai-Kuang Tsai Institute of Information Science Academia Sinica Taipei Taiwan Institute of Biomedical Informatics National Yang-Ming University Taiwan Joint CMU-Pitt PhD Program in Computational Biology University of Pittsburgh Carnegie Mellon University Pittsburgh USA Computer Science and Engineering National Taiwan Ocean University Keelung Taiwan

Identifying transcription factor binding sites (TFBSs) is crucial for understanding the mechanism of transcriptional regulation. It is known that transcription factors (TFs) often cooperate to regulate genes. While traditional approaches can be used to discover binding motifs of a group of co-regulated genes, they often fail to accurately assign motifs to the corresponding TFs. Here, we consider two TFs together to infer their TFBSs and their synergistic relationship simultaneously. The basic idea is that if two TFs interact, their TFBSs, if distinct, would be conserved across species and coincided in the promoter regions of the genes they co-regulated. Applying our method to Saccharomyces cerevisiae chromatin immunoprecipitation data, we predicted 110 TF pairs with statistically significant motif assignments. A majority of these TF pairs have literature support to be synergistic, and the designated motifs to TFs match well with their known consensus. We further examined the synergism of predicted TF pairs in seven experimental conditions using ANOVA, and identified significant interactions.

关键词： Bioinformatics Analysis of variance DNA Databases Gene expression Proteins Stress

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：