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

International Conference on Computer Supported Cooperative Work in Design

作者： Boz, Geraldo Ramos, Milton P. Sato, Gilson Yukio Nievola, Julio Paraiso, Emerson C. Artificial Intelligence Division Parana Institute of Technology Curitiba Brazil DAELN - PPGEB Fed. University of Technology - Parana Curitiba Brazil Postgraduate Program in Informatics Pontifical Catholic University of Parana Curitiba Brazil

ISBN: (纸本)9781457703874

This paper presents Noctua, a tool to assist in Knowledge Acquisition and Collaborative Knowledge Construction processes. Noctua contains an innovation: a virtual catalyst designed to facilitate the task of eliciting and validating knowledge. The virtual catalyst queries collaborators, proposing new knowledge, seeking confirmation to the knowledge already elicited, and showing conflicting opinions. Noctua takes into account collaborators' profiles in order to automatically ask them questions related to each one's field of knowledge or interest. © 2011 IEEE.

关键词： Knowledge acquisition

来源：评论

学校读者我要写书评

暂无评论

Minimum maximum-degree publish-subscribe overlay network design

Minimum maximum-degree publish-subscribe overlay network des...

引用

作者： Onus, Melih Richa, Andréa W. Department of Computer Engineering Bilkent University Ankara 06560 Turkey Computer Science and Engineering Program School of Computing Informatics and Decision Systems Engineering Arizona State University Tempe AZ 85281 United States

Designing an overlay network for publish/subscribe communication in a system where nodes may subscribe to many different topics of interest is of fundamental importance. For scalability and efficiency, it is important to keep the degree of the nodes in the publish/subscribe system low. It is only natural then to formalize the following problem: Given a collection of nodes and their topic subscriptions, connect the nodes into a graph that has least possible maximum degree in such a way that for each topic t, the graph induced by the nodes interested in t is connected. We present the first polynomial-time logarithmic approximation algorithm for this problem and prove an almost tight lower bound on the approximation ratio. Our experimental results show that our algorithm drastically improves the maximum degree of publish/subscribe overlay systems. We also propose a variation of the problem by enforcing that each topic-connected overlay network be of constant diameter while keeping the average degree low. We present three heuristics for this problem that guarantee that each topic-connected overlay network will be of diameter 2 and that aim at keeping the overall average node degree low. Our experimental results validate our algorithms, showing that our algorithms are able to achieve very low diameter without increasing the average degree by much. © 2011 IEEE.

关键词： Overlay networks

来源：评论

学校读者我要写书评

暂无评论

Towards a novel statistical method for generating test sets with a given coverage probability

Towards a novel statistical method for generating test sets ...

引用

SEKE 2011 - Proceedings of the 23rd International Conference on Software Engineering and Knowledge Engineering

作者： Neves, Cristiane Selem Ferreira Schmitz, Eber Assiz Protti, Fábio Alenear, Antônio Juarez Federal University of Rio de Janeiro Postgraduate Program in Informatics Fundão Island Rio de Janeiro Brazil Fluminensc Federal University Computation Institute Niterói Rio de Janeiro Brazil

ISBN: (纸本)1891706292

The basis path testing is one of the most used techniques for generating white box lest cases. This approach depends on the unknown state of the program, variables at the time of execution, i.e., each path can be seen as the result of a random experiment, associated with an execution probability. We can define the coverage probability of a test set as the sum of the execution probability of its members. Although running the program a large number of times provide us an approximation for this set, its computational cost would be equal to that of testing the program in itself. This paper presents a method that uses a small set of execution samples to select a minimal set of execution paths, which has the property of its coverage probability being above a required confidence level, and then generate a natural language specification of the test case set. Experimental results show that it is not only simple to be applied but also generates a reliable test case set.

关键词： Probability

来源：评论

学校读者我要写书评

暂无评论

A Clonal Selection Algorithm for the container stacking problem

A Clonal Selection Algorithm for the container stacking prob...

引用

World Congress on Nature & Biologically Inspired Computing (NaBIC)

作者： Luiz Antonio Carraro Leandro Nunes de Castro Computer and Informatics Faculty & Graduate Program in Electrical Engineering Mackenzie University Sao Paulo Brazil

Due to increasing demand, container terminals face the challenges of increasing its service capacity and minimize the time of ships loading and unloading. The assignment of storage locations for reshuffled containers is a problem to the efficiency of container terminals operations, as a wrong assignment may result in several future reshuffles. This paper proposes a meta-heuristic based on the Clonal Selection Algorithm to minimize reshuffle when retrieving containers from a stack. The model competitiveness in accuracy and time are established by extensive numerical experiments comparing with an existing Integer program model. The preliminary results obtained here suggest the proposed model is a promising optimization tool for the container stacking problem.

关键词： Containers Stacking Cloning Optimization Immune system Loading Computational modeling

来源：评论

学校读者我要写书评

暂无评论

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...

引用

25th IEEE International Parallel and Distributed Processing Symposium, Workshops and Phd Forum, IPDPSW 2011

作者： Da Cruz, Eduardo Henrique Molina Alves, Marco Antonio Zanata Carissimi, Alexandre Navaux, Philippe Olivier Alexandre Ribeiro, Christiane Pousa Méhaut, Jean-François PPGC Graduate Program in Computer Science Institute of Informatics UFRGS Federal University of Rio Grande do Sul Porto Alegre RS Brazil INRIA Mescal Research Team LIG Laboratory Grenoble University France

ISBN: (纸本)9780769543857

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. © 2011 IEEE.

关键词： Cache memory

来源：评论

学校读者我要写书评

暂无评论

Normalization for sparse encoding of odors by a wide-field interneuron (vol 332, pg 721, 2011)

引用

SCIENCE 2011年第6035期332卷 1263-1263页

作者： Papadopoulou, M. Division of Biology Computation and Neural Systems Program California Institute of Technology Pasadena CA 91125 USA. Broad Fellows Program in Brain Circuitry California Institute of Technology Pasadena CA 91125 USA. Centre for Computational Neuroscience and Robotics (CCNR) School of Informatics University of Sussex Falmer Brighton BN1 9QJ UK. Max Planck Institute for Brain Research 60528 Frankfurt Germany.

Sparse coding presents practical advantages for sensory representations and memory storage. In the insect olfactory system, the representation of general odors is dense in the antennal lobes but sparse in the mushroom bodies, only one synapse downstream. In locusts, this transformation relies on the oscillatory structure of antennal lobe output, feed-forward inhibitory circuits, intrinsic properties of mushroom body neurons, and connectivity between antennal lobe and mushroom bodies. Here we show the existence of a normalizing negative-feedback loop within the mushroom body to maintain sparse output over a wide range of input conditions. This loop consists of an identifiable “giant” nonspiking inhibitory interneuron with ubiquitous connectivity and graded release properties.

关键词： Action Potentials Animals Arthropod Antennae/cytology Arthropod Antennae/physiology Axons/physiology Dendrites/physiology Excitatory Postsynaptic Potentials Feedback, Sensory Feedback, Sensory Female gamma-Aminobutyric Acid/physiology gamma-Aminobutyric Acid/physiology Grasshoppers/cytology Grasshoppers/physiology Inhibitory Postsynaptic Potentials Interneurons/physiology Male Mushroom Bodies/cytology Mushroom Bodies/physiology Neural Inhibition Odors Olfactory Pathways/physiology

来源：评论

学校读者我要写书评

暂无评论

Application specific e-health & telemedicine systems: Implementation experience for community healthcare and systematic review of disaster publications

Application specific e-health & telemedicine systems: Implem...

引用

International Conference on Instrumentation, Communications, Information Technology, and Biomedical Engineering (ICICI-BME)

作者： Soegijardjo Soegijoko Biomedical Engineering Program School of Electrical Engineering and Informatics Institut Teknologi Bandung Bandung Indonesia

ISBN: (纸本)9781457711671

This presentation describes our experience in the development, implementation and evaluation of three different application specific e-health and telemedicine systems. There are two projects in the development, clinical implementation, and evaluation of community healthcare e-health systems dedicated for community healthcare in Indonesia with two different specific applications: [a]. Paperless Prescription e-Health System and [b]. Mobile e-Health System for Supporting Mother and Childcare. The third project is [c]. Systematic Review of Publications on the Application Specific Telemedicine/e-Health Systems dedicated for Disaster Management, meeting certain predetermined criteria.

关键词： Communities Disaster management Systematics Telemedicine Mobile communication Pediatrics

来源：评论

学校读者我要写书评

暂无评论

Collaboration model of software development

Collaboration model of software development

引用

2011 International Conference on Electrical Engineering and informatics, ICEEI 2011

作者： Kusumasari, Tien Fabrianti Supriana, Iping Surendro, Kridanto Sastramihardja, Husni Information System Program Study STMIK im Bandung Jl.Jakarta No.79 Bandung Indonesia School of Electrical Engineering and Informatics Bandung Institute of Technology Jl. Ganessa No.10 Bandung Indonesia

ISBN: (纸本)9781457707520

Software development is a series of processes activity involving more than one person, especially in medium to large software projects. Each activity of software development is carried out by various combination of different individual. Collaboration occurs in every phase of the process software development. The right team collaboration method is one of the important things in success software development. This research is focused to develop collaboration model of software development to meet time schedule, budget, scope, and software *** collaboration model of software development is generated from survey of collaboration method (about face to face and virtual collaboration) and software development methodology especially agile methodology. The direct collaboration was used in the software specification processes, and combination (with a direct and virtual) collaboration was used during software design, implementation, and validation. Team coordination in every process of software development was done with face to face method. The same artifacts were used in this collaboration model with some collaboration software tools. Combination between face to face and virtual communication was used in this model. The model is implemented in small case software development project. During the software development, some measurement is carried out. The measurement included the measurement of project completion time, cost, software specification, and software quality. The software is developed in time schedule (two months), cost under budged, and meet specification. In addition, the software has built a fairly good quality. Thus, this collaboration model good use in software development to achieved accuracy of schedule, cost, scope, and quality. © 2011 IEEE.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

WE-E-BRC-09: 4D CT Image Based Bifurcation Trajectory Tracking in the Lung

引用

Medical Physics 2011年第6PART33期38卷 3820-3821页

作者： G Xiong L Xing Biomedical Informatics Program Stanford University Stanford CA Department of Radiation Oncology Stanford University School of Medicine Stanford CA

Purpose: Vessel and bronchial bifurcations are ubiquitous in the lungs and their motions caused by respiration are detectable in 4D CT and serve as valuable internal fiducial markers for studying and monitoring the respiratory motion patterns of the lungs. Bifurcations also serve as reliable landmarks for validation of deformable registration models. In this work, we report the first systematic investigation of motion patterns of a large collection of lung bifurcations. Methods: More than 500 bifurcations are identified automatically on a reference image. Each bifurcation is tracked separately. Trajectory of a bifurcation is defined by a B-spline space curve with 5 control points with imposed cyclic constraints. A metric is defined as the combination of the correlation coefficients from all images with respect to the reference image. It is used to measure how well the image intensities on the trajectory match. Correlation coefficient is employed since it is bounded and straightforward to indicate the reliability of a tracked trajectory. Finally, an optimization strategy based on the L-BFGS method is employed to optimize the metric parameterized by the coordinates of control points. Local extrema, if found, are suppressed by improving the initial conditions by random walks from pair-wise optimizations. Results: We successfully tested our method in 5 cases. With automatically detected bifurcations, the tracked trajectories correspond to image intensities of high correlation coefficients. Non-homogeneous and hysteretic motion is clearly observable in all cases. For validation, the tracking error is measured by computing the distance between the tracked and manual bifurcations. On average, the error is within the voxel size in all cases. Conclusions: We have shown that our approach can track the motion of the bifurcations in 4D CT images of the lung accurately. It may substitute the invasive fiducial markers as noninvasive counterparts for future real-time volumetric im

关键词： Bifurcations Medical imaging Lungs Computed tomography Radiation therapy Optimization Pneumodynamics Random walks Trajectory models Image guided radiation therapy

来源：评论

学校读者我要写书评

暂无评论

Fluctuation free matrix representation based random data partitioning through HDMR

引用

AIP Conference Proceedings 2012年第1期1504卷

作者： M. Alper Tunga Metin Demiralp Bahçeşehir University Faculty of Engineering Department of Software Engineering Beşiktaş 34349 İstanbul Turkey İstanbul Technical University Informatics Institute Computational Science and Engineering Program Group for Science and Methods of Computing Maslak 34469 İstanbul Turkey

High Dimensional Model Representation (HDMR) method does not have the random data partitioning capability because of its nature. This paper focuses on how we can bring the random data partitioning feature to the HDMR method by virtue of the fluctuation free approximation method for the multivariate interpolation problems. The main aim of this work is to construct the universal fluctuation free matrix and to determine the best eigenvalues and the corresponding eigenvectors needed in our new method for partitioning the given multivariate random data through the HDMR method.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：