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

作者： Veloso, Sheila R.M. Veloso, Paulo A.S. Veloso, Paula M. Systems and Computer Engin. Dept. Fac. of Engineering UERJ: State University of Rio de Janeiro Rio de Janeiro RJ Brazil Systems and Computer Engineering Program COPPE UFRJ: Federal University of Rio de Janeiro Rio de Janeiro RJ Brazil Mathematics Dept. ICEx UFMG: Federal University of Minas Gerais Belo Horizonte MG Brazil

We introduce and examine a tool for analysing logics. This algebraic tool, coming from some ideas introduced by J. Piaget, provides condensed information about a logic (with emphasis on the behavior of a unary symbol), as such, it can be employed for analysing and, to some extent, comparing logics. © 2011 Elsevier B.V. All rights reserved.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

Logic as energy: A SAT-based approach

Logic as energy: A SAT-based approach

引用

2nd International Symposium on Brain, Vision, and Artificial Intelligence, BVAI 2007

作者： Lima, Priscila M. V. Morveli-Espinoza, M. Mariela M. França, Felipe M. G. LAM - Computer Architecture and Microelectronics Laboratory Universidade Federal Do Rio de Janeiro Brazil Departament d'Informàtica Universitat Autònoma de Barcelona Spain COPPE - Systems Engineering and Computer Science Program Universidade Federal Do Rio de Janeiro Brazil

ISBN: (纸本)3540755543

This paper presents the implementation of ARQ-PROP II, a limited-depth propositional reasoner, via the compilation of its specification into an exact formulation using the satyrus platform. satyrus' compiler takes as input the definition of a problem as a set of pseudo-Boolean constraints and produces, as output, the Energy function of a higher-order artificial neural network. This way, satisfiability of a formula can be associated to global optima. In the case of ARQ-PROP II, global optima is associated to Resolution-based refutation, in such a way that allows for simplified abduction and prediction to be unified with deduction. Besides experimental results on deduction with ARQ-PROP II, this work also corrects the mapping of satisfiability into Energy minima originally proposed by Gadi Pinkas. © 2007 Springer-Verlag Berlin Heidelberg.

关键词： Neural networks

来源：评论

学校读者我要写书评

暂无评论

Dynamic process adaptation: A context-aware approach

Dynamic process adaptation: A context-aware approach

引用

International Conference on Computer Supported Cooperative Work in Design

作者： Vanessa Tavares Nunes Cláudia M. Lima Werner Flávia Maria Santoro COPPE PESC-Systems Engineering and Computer Science Program UFRJ Rio de Janeiro Brazil NP2Tec and Postgraduate Information Systems Program UNIRIO Rio de Janeiro Brazil

Dynamism of day-to-day activities in organizations is inextricably linked and there is a variety of information, insight and reasoning being processed between people and systems, in carrying out a business process. We argue that flexibility in processes could be managed in real time, using context information collected in the work environment. This paper proposes a context management architecture approach that aims to improve and automate dynamic process adaptation. We explain how process adaptation may occur in real time and discuss a scenario for this proposal.

关键词： Context Adaptation models Organizations Cognition Context modeling Uncertainty

来源：评论

学校读者我要写书评

暂无评论

SpMT WaveCache: Exploiting Thread-Level Parallelism in WaveScalar

SpMT WaveCache: Exploiting Thread-Level Parallelism in WaveS...

引用

Computer Science and Information engineering, CSIE, WRI World Congress on FLAGGED

作者： Songwen Pei Baifeng Wu Min Du Gang Chen Leandro A.J. Marzulo Felipe M.G. Franca School of Computer Science Fudan University Shanghai China Systems Engineering and Computer Science Program COPPE Rio de Janeiro Brazil

Speculative multithreading (SpMT) increases the performance by means of executing multiple threads speculatively to exploit thread-level parallelism. By combining software and hardware approaches, we have improved the capabilities of previous WaveScalar ISA on the basis of transactional memory system for the WaveCache Architecture. Threads are extracted at the course of static compiling, and speculatively executed as a thread-level transaction that is supported by extra hardware components, such as thread-context-table (TCT) and thread-memory-history (TMH). We have evaluated the SpMT WaveCache with 6 real benchmarks from SPEC, Mediabench and Mibench. On the whole, the SpMT WaveCache outperforms superscalar architecture ranging from 2times to 3times, and great performance gains are achieved over original WaveCache and transactional WaveCache as well.

关键词： Yarn Parallel processing Multithreading Hardware Computer science Computer architecture Instruction sets Out of order program processors Protocols

来源：评论

学校读者我要写书评

暂无评论

Mediating process adaptation through a goal-oriented context-aware approach

Mediating process adaptation through a goal-oriented context...

引用

International Conference on Computer Supported Cooperative Work in Design

作者： Vanessa Tavares Nunes Cláudia M. Lima Werner Flávia Maria Santoro COPPE/PESC-Systems Engineering and Computer Science Program UFRJ Rio de Janeiro Brazil NP2Tec and Postgraduate Information Systems Program UNIRIO Rio de Janeiro Brazil

Complexity and dynamism of day-to-day activities in organizations are inextricably linked, one impacting the other, increasing the challenges for constant adaptation on the way to organize work to address emerging demands. Market is demanding systems that are aware of organizations processes and able to evolve and adapt to new situations in everyday working activities. We argue that flexibility in processes could be managed in real time, by PAIS (Process-aware Information systems), using context information collected in the work environment. This paper proposes CGAdapt, a context management architecture approach that aims to improve and automate dynamic process adaptation. We explain how process adaptation may occur in real time through an existent scenario using this proposal and discuss the value of context-awareness to reason about process alternative adaptations in a goal oriented approach.

关键词： Context Materials Business Adaptation models Analytical models

来源：评论

学校读者我要写书评

暂无评论

On using grid of collocated APs to improve performance of wireless VoD systems

On using grid of collocated APs to improve performance of wi...

引用

5th International Latin American Networking Conference, LANC 2009

作者： De Pinho, Leonardo Bidese De Amorim, Claudio Luis Computer Engineering - Campus Bage UNIPAMPA - Federal University of Pampa P.O. Box 07 Bage RS 96400-970 Brazil COPPE - Systems Engineering Program UFRJ - Federal University of Rio de Janeiro P.O. Box 68.511 Rio de Janeiro RJ 21941-972 Brazil

ISBN: (纸本)9781605587752

In previous work we showed that Collocated Wireless Access Points coupled with appropriate management of their non-overlapping channels could be used for building Scalable Wireless Video-On-Demand (SWVoD) systems within a limited covered area. In this paper, we introduce the Grid of collocated Access Points or simply GAPS, a novel approach that uses clusters of Collocated Access Points as the basic blocks to efficiently build SWVoD systems for a wider covered area. In GAPS, each basic block is responsible for a distinct part of the covered area and the amount of APs per block can be set either statically or dynamically depending on the client concentration pattern (CCP). We present in details the framework of GAPS and report simulated performance results that indicated that GAPS could significantly decrease the blocking rate of video requests in comparison with previous design based on fixed distribution of basic blocks. In addition, GAPS had the advantage of sustaining the lower blockage rate over larger covered areas. Also, we showed that the higher setup cost of dynamic grids was fully compensated by handling changes on CCP much better than the static scheme so that GAPS could generate a higher monthly net income according to our cost metric. Copyright 2009 ACM.

关键词： Video on demand

来源：评论

学校读者我要写书评

暂无评论

A massively parallel hardware architecture for ray-tracing

引用

International Journal of High Performance systems Architecture 2009年第1期2卷 26-34页

作者： Nery, A.S. Nedjah, N. França, F.M.G. Computer Architecture and Microelectronics Laboratory Systems Engineering and Computer Science Program COPPE P.O. Box 68511 21941-972 Rio de Janeiro Brazil Department of Electronics Engineering and Telecommunications Faculty of Engineering Universidade do Estado do Rio de Janeiro Rua Sao Francisco Xavier 524 Sala 5145-F Maracana 20.550-900 Rio de Janeiro RJ Brazil Universidade Federal do Rio de Janeiro Rio de Janeiro Brazil Department of Electronics Engineering and Telecommunications Faculty of Engineering State University of Rio de Janeiro Brazil Brazil

Real time performance of non-interactive rendering of three-dimensional scenes is usually unachievable. Ray tracing is one of the methods used for rendering such scenes. The performance achieved by a sequential software-based implementation of ray tracing is far from satisfactory. In contrast, many parallel implementations of ray tracing have been enabling real time performance, as the underlying algorithm can be massively parallelised. Thus, it is expected that a custom parallel design in hardware is likely to achieve the acceptable performance standards. In this paper, we propose a hardware architecture, which we call GridRT, capable of dealing with the main desirable features of ray tracing, such as shadows and reflections effects, imposing low requirements in terms of silicon area while achieving acceptable performance in terms of rendering time. This architecture achieves is efficient yet compact as it explores the massive parallelism offered by the intrinsic structure of the algorithm. The design exploits the usage the spatial data structure of regular grids. Copyright © 2009 Inderscience Enterprises Ltd.

关键词： Ray tracing

来源：评论

学校读者我要写书评

暂无评论

Towards A Taxonomy for Ranking Knowledge in Internet of Everything

Towards A Taxonomy for Ranking Knowledge in Internet of Ever...

引用

International Conference on Computer Supported Cooperative Work in Design

作者： Viviane Cunha Farias da Costa Luiz Oliveira Jano de Souza Systems Engineering and Computer Science Program/COPPE Federal University of Rio de Janeiro Brazil Rio de Janeiro Brazil Systems Engineering and Computer Science Program/COPPE IFRJ Campus Niterói Federal Institute of Rio de Janeiro Federal University of Rio de Janeiro Brazil Rio de Janeiro Brazil

The paradigm of the Internet of Everything (IoE) adds value to Internet of Things (IoT) in connections among people, processes, data, and things. However, knowledge creation process in IoE context still requires concerns to what extent connected sensors and actuators collaborates in value created and outcomes of IoE applications. This study focuses on the requirement and design approach for identification of critical knowledge within IoE domain though a knowledge ranking approach. Existing solutions for semantic definitions and taxonomies in IoE are reviewed for this purpose. In addition, this work proposes the use of a knowledge-based taxonomy as the main driver for ranking knowledge in smart sensors as IoE enablers with a qualitative approach of its dimensions. To the best of our knowledge, this is the first work that comprehensively integrate a taxonomy concerning ranking knowledge in IoE applications.

关键词： Actuators Conferences Taxonomy Semantics Knowledge based systems Collaborative work Internet of Things

来源：评论

学校读者我要写书评

暂无评论

Information Extraction to Improve Link Prediction in Scientific Social Networks

Information Extraction to Improve Link Prediction in Scienti...

引用

IEEE International Conference on Computer Supported Cooperative Work in Design

作者： Victor Stroele Fernanda Campos Crystiam K. Pereira Geraldo Zimbrao Jano M. Souza PGCC - Postgraduate Program in Computer Science UFJF - Federal University of Juiz de Fora COPPE - Systems Engineering and Computer Program UFRJ - Federal University of Rio de Janeiro

ISBN: (纸本)9781509019168

Link Prediction is a classic social networks analysis problem. Knowing in advance future actions in social network can help, for example, agents decision. Link Prediction techniques are based on metrics that have different approaches. In this paper, we model a multi-relational scientific social network to assess the impact of content extraction on topological metrics. Thus, a metric composed of topological and semantic approach is proposed to solve link prediction problem. The results were compared with those presented by Katz metric.

关键词： Information Extraction Link Prediction Scientific Social Network

来源：评论

学校读者我要写书评

暂无评论

NARX structures for non-invasive temperature estimation in non-homogeneous media

NARX structures for non-invasive temperature estimation in n...

引用

IEEE International Symposium on Intelligent Signal Processing

作者： C. A. Teixeira W. C. A. Pereira A. E. Ruano M. Graca Ruano Centre for Intelligent Systems Faculty of Sciences and Technology University of Algarve Portugal Biomedical Engineering Program-COPPE Federal University of Rio de Janeiro Brazil

ISBN: (纸本)1424408296;97

The safe and effective application of thermal therapies are limited by the existence of precise non-invasive temperature estimators. Such estimators would enable a correct power deposition on the region of interest by means of a correct instrumentation control. In multi-layered media, the temperature should be estimated at each layer and especially at the interfaces, where significant temperature changes should occur during therapy. In this work, a non-linear autoregressive structure with exogenous inputs (NARX) was applied to non-invasively estimate temperature in a multi-layered (non-homogeneous) medium, while submitted to physiotherapeutic ultrasound. The NARX structure is composed by a static feed-forward radial basis functions neural network (RBFNN), with external dynamics induced by its inputs. The NARX structure parameters were optimized by means of a multi-objective genetic algorithm. The best attained models reached a maximum absolute error inferior to 0.5degC (proposed threshold in hyperthermia/diathermia) at both the interface and inner layer points, at four radiation intensities. These models present also a small computational complexity as desired for real-time applications. To the best of ours knowledge this is the first non-invasive estimation approach in multi-layered media using ultrasound for both heating and estimation.

关键词： Temperature Nonhomogeneous media Medical treatment Ultrasonic imaging Instruments Feedforward systems Radial basis function networks Genetic algorithms Hyperthermia Computational complexity

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：