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

Conferencia Latinoamericana En Informatica (CLEI)

作者： Luciano Pacione Dana K. Urribarri Martín L. Larrea Luciano H. Tamargo Dept. of Computer Science and Engineering Universidad Nacional del Sur Bahia Blanca Argentina Dept. of Computer Science and Engineering Computer Graphics and Visualization R&D Laboratory (CIC) Institute for Computer Science and Engineering (CONICET) Universidad Nacional del Sur Bahia Blanca Argentina Dept. of Computer Science and Engineering Institute for Computer Science and Engineering (CONICET) Universidad Nacional del Sur Bahia Blanca Argentina

ISBN: (数字)9798331540975

ISBN: (纸本)9798331540982

Runtime Verification is a software testing technique based on extracting and analyzing information from a system while it is running. The objective is to use this information to find faults or problems in the system under test. To achieve this, it is necessary that the insertion of testing logic does not modify the code being tested and that it does not affect the performance of the system. In this article, we present a runtime testing framework for JavaScript, which utilizes Aspect-Oriented Programming and regular expressions. This framework encapsulates the idea of Message Sequence Specification applied to Runtime Verification. Our work is freely available and open source.

关键词： Software testing Runtime Codes Programming Logic Data mining

来源：评论

学校读者我要写书评

暂无评论

The experience of developing real-time rendering systems for the simulation and training 23

The experience of developing real-time rendering systems for...

引用

23rd International Conference on computer graphics and Vision, GraphiCon 2013

作者： Dolgovesov, Boris S. Morozov, Boris B. Synthesizing Visualization Systems Laboratory Institute of Automation and Electrometry SB RAS Russia Software Systems for Computer Graphics Laboratory Institute of Automation and Electrometry SB RAS Russia

ISBN: (纸本)9785804414024

This paper is about implementation of the presentations system based on integrated virtual reality technology. This system provides the combining of a virtual environment and a lecturer who can interact with object's models of a virtual environment real-time. Furthermore the system can combine different multimedia data (3D objects' models, video, Microsoft PowerPoint presentations, histograms, tomography data, etc.). This option expands the potential of interactive presentation process. © 23rd International Conference on computer graphics and Vision, GraphiCon 2013 - Conference Proceedings. All rights reserved.

关键词： Virtual reality

来源：评论

学校读者我要写书评

暂无评论

Nuwa: An Authoring Tool for Graph visualizations

Nuwa: An Authoring Tool for Graph Visualizations

引用

Pacific (formerly Asia-Pacific APVIS) visualization Symposium

作者： Dongming Han Haiyang Zhu Wei Chen Jiacheng Pan Ran Chen Xumeng Wang Zhen Wen Luoxuan Weng Minfeng Zhu Yingcai Wu Rüdiger Westermann State Key Lab of CAD&CG Zhejiang University China Hithink RoyalFlush Information Network Co. Ltd. China Wuchan Zhongda Digital Technology Co. Ltd. China Laboratory of Art and Archaeology Image (Zhejiang University) Ministry of Education China College of Computer Science Nankai University China Zhejiang University China Computer Graphics and Visualization Technical University of Munich Germany

ISBN: (数字)9798350393804

ISBN: (纸本)9798350393811

Authoring graph visualization requires advanced programming skills, expert domain knowledge, and significant workload. Existing authoring tools either support limited templates of graph visualization, or suffer from a high learning cost. We analyze the design requirements on a tool for graph visualizations, and contribute Nuwa, a user-friendly declarative authoring tool for the interactive specification of graph visualizations in terms of data, entity, change, and encoding. Our implementation empowers users to conveniently create, compare, and modulate comprehensive graph visualizations with a wide range of styles. We showcase various examples to verify the expressiveness of Nuwa. Via an expert interview and the analysis on cognitive dimensions we evaluate the usability of Nuwa.

关键词： Analytical models Authoring systems Costs Semantics Data visualization Prototypes Programming

来源：评论

学校读者我要写书评

暂无评论

FluidPlaying: Efficient Adaptive Simulation for Highly Dynamic Fluid

FluidPlaying: Efficient Adaptive Simulation for Highly Dynam...

引用

Virtual Reality and 3D User Interfaces Abstracts and Workshops (VRW), IEEE Conference on

作者： Sinuo Liu Xiaojuan Ban Sheng Li Haokai Zeng Xiaokun Wang Yanrui Xu Fei Zhu Guoping Wang Graphics & Interaction Lab National Biomedical Imaging Center School of Computer Science Peking University School of Intelligence Science and Technology University of Science and Technology Beijing Beijing Engineering Technology Research Center of Virtual Simulation and Visualization Peking University Southern Marine Science and Engineering Guangdong Laboratory (Zhuhai)

We present FliudPlaying, a novel dynamic level-based spatially adaptive simulation method that can handle highly dynamic fluid efficiently. To capture the subtle detail of the fluid surface, the high-resolution simulation is performed not only at the free surface but also at those regions with high vorticity levels and velocity difference levels. To minimize the density error, an online optimization scheme is used when increasing the resolution by particle splitting. We also proposed a neighbor-based splash enhancement to compensate for the loss of dynamic details. Compared with the high-resolution simulation baseline, our method can achieve over 3× speedups while consuming only less than 10% computational resources. Furthermore, our method can make up for the loss of high-frequency details caused by the spatial adaptation, and provide more realistic dynamics in particle-based fluid simulation.

关键词： Solid modeling Adaptation models Three-dimensional displays Fluid dynamics Computational modeling Conferences Virtual reality

来源：评论

学校读者我要写书评

暂无评论

Development of distributed multimedia virtual environment with multichannel visualization of multimedia data by graphic accelerators 23

Development of distributed multimedia virtual environment wi...

引用

23rd International Conference on computer graphics and Vision, GraphiCon 2013

作者： Morozov, Boris B. Dolgovesov, Boris S. Mazurok, Boris S. Gorodilov, Mikhail A. Software Systems for Computer Graphics Laboratory Institute of Automation and Electrometry SB RAS Russia Synthesizing Visualization Systems Laboratory Institute of Automation and Electrometry SB RAS Russia Institute of Automation and Electrometry SB RAS Russia

ISBN: (纸本)9785804414024

An approach to the development of technical solutions for the creating of a real-time Distributed Multimedia Virtual Environment is described. The main objective of the environment - control the formation and delivery of multimedia content from multiple sources to multiple recipients. © 23rd International Conference on computer graphics and Vision, GraphiCon 2013 - Conference Proceedings. All rights reserved.

关键词： Virtual reality

来源：评论

学校读者我要写书评

暂无评论

A novel parallel algorithm for computing the mooring line based on lumped-mass method

引用

International Journal of Modeling, Simulation, and Scientific Computing 2017年第1期8卷 52-66页

作者： Zhong-Xian Zhu Yong Yin Muhammad Mobeen Movania Laboratory of Marine Simulation and ControlDalian Maritime University Linghai Road No.1 Dalian116026P.R.China Computer Graphics and Visualization Research Group DHA Suffa University 75500 KarachiPakistan

Dynamic modeling and simulation of the mooring system are the key technologies in anchor handling simulator(AHS).Built up the mooring line’s dynamics model based on lumped-mass method(LMM),and fourth-order Runge–Kutta method was used to solve the model;because of the huge amounts of calculation in the model’s solving,the very time-consuming process brings great impact on the real-time,fidelity and immersed feeling in the anchor handling scene simulation,seriously hindered its application in AHS.A novel parallel algorithm was proposed to speed-up the model’s solving process by taking the advantages of graphic processing units(GPU’s)massive parallel computing and float point computing *** model’s solving process was implemented on vertex shader based on the transform feedback(TF)mechanism in modern *** results show that,the new algorithm reduced the calculating time largely without losing accuracy,and can finally realize the real-time solving and simulation.

关键词： Anchor handling simulator mooring system lumped-mass method dynamics model parallel computing transform feedback mechanism

来源：评论

学校读者我要写书评

暂无评论

Comparative cellular analysis of motor cortex in human, marmoset and mouse (vol 598, pg 111, 2021)

引用

NATURE 2022年第7904期604卷 E8-E8页

作者： Bakken, Trygve E. Jorstad, Nikolas L. Hu, Qiwen Lake, Blue B. Tian, Wei Kalmbach, Brian E. Crow, Megan Hodge, Rebecca D. Krienen, Fenna M. Sorensen, Staci A. Eggermont, Jeroen Yao, Zizhen Aevermann, Brian D. Aldridge, Andrew I. Bartlett, Anna Bertagnolli, Darren Casper, Tamara Castanon, Rosa G. Crichton, Kirsten Daigle, Tanya L. Dalley, Rachel Dee, Nick Dembrow, Nikolai Diep, Dinh Ding, Song-Lin Dong, Weixiu Fang, Rongxin Fischer, Stephan Goldman, Melissa Goldy, Jeff Graybuck, Lucas T. Herb, Brian R. Hou, Xiaomeng Kancherla, Jayaram Kroll, Matthew Lathia, Kanan van Lew, Baldur Li, Yang Eric Liu, Christine S. Liu, Hanqing Lucero, Jacinta D. Mahurkar, Anup McMillen, Delissa Miller, Jeremy A. Moussa, Marmar Nery, Joseph R. Nicovich, Philip R. Niu, Sheng-Yong Orvis, Joshua Osteen, Julia K. Owen, Scott Palmer, Carter R. Pham, Thanh Plongthongkum, Nongluk Poirion, Olivier Reed, Nora M. Rimorin, Christine Rivkin, Angeline Romanow, William J. Sedeno-Cortes, Adriana E. Siletti, Kimberly Somasundaram, Saroja Sulc, Josef Tieu, Michael Torkelson, Amy Tung, Herman Wang, Xinxin Xie, Fangming Yanny, Anna Marie Zhang, Renee Ament, Seth A. Behrens, M. Margarita Bravo, Hector Corrada Chun, Jerold Dobin, Alexander Gillis, Jesse Hertzano, Ronna Hof, Patrick R. Hollt, Thomas Horwitz, Gregory D. Keene, C. Dirk Kharchenko, Peter V. Ko, Andrew L. Lelieveldt, Boudewijn P. Luo, Chongyuan Mukamel, Eran A. Pinto-Duarte, Antonio Preiss, Sebastian Regev, Aviv Ren, Bing Scheuermann, Richard H. Smith, Kimberly Spain, William J. White, Owen R. Koch, Christof Hawrylycz, Michael Tasic, Bosiljka Macosko, Evan Z. McCarroll, Steven A. Ting, Jonathan T. Zeng, Hongkui Zhang, Kun Feng, Guoping Ecker, Joseph R. Linnarsson, Sten Lein, Ed S. Allen Institute for Brain Science Seattle WA USA Department of Physiology and Biophysics University of Washington Seattle WA USA Department of Biomedical Informatics Harvard Medical School Boston MA USA Department of Bioengineering University of California San Diego La Jolla CA USA The Salk Institute for Biological Studies La Jolla CA USA Epilepsy Center of Excellence Department of Veterans Affairs Medical Center Seattle WA USA Stanley Institute for Cognitive Genomics Cold Spring Harbor Laboratory Cold Spring Harbor NY USA Department of Genetics Harvard Medical School Boston MA USA Broad Institute of MIT and Harvard Cambridge MA USA LKEB Department of Radiology Leiden University Medical Center Leiden The Netherlands Pattern Recognition and Bioinformatics group Delft University of Technology Delft The Netherlands J. Craig Venter Institute La Jolla CA USA Department of Pathology University of California San Diego CA USA Division of Vaccine Discovery La Jolla Institute for Immunology La Jolla CA USA Genomic Analysis Laboratory The Salk Institute for Biological Studies La Jolla CA USA Computer Science and Engineering Program University of California San Diego La Jolla CA USA Howard Hughes Medical Institute The Salk Institute for Biological Studies La Jolla CA USA Bioinformatics and Systems Biology Graduate Program University of California San Diego La Jolla CA USA Institute for Genomes Sciences University of Maryland School of Medicine Baltimore MD USA Center for Epigenomics Department of Cellular and Molecular Medicine University of California San Diego La Jolla CA USA Ludwig Institute for Cancer Research La Jolla CA USA Department of Computer Science University of Maryland College Park College Park MD USA Sanford Burnham Prebys Medical Discovery Institute La Jolla CA USA Biomedical Sciences Program School of Medicine University of California San Diego La Jolla CA USA University of Connecticut Storrs CT USA Department

来源：评论

学校读者我要写书评

暂无评论

The interactive image: A media archaeology approach

The interactive image: A media archaeology approach

引用

ACM SIGGRAPH 2017 Art Gallery - International Conference on computer graphics and Interactive Techniques, SIGGRAPH 2017

作者： Bravo, Esteban García Burbano, Andrés Byrd, Vetria L. Forbes, Angus G. Purdue University Department of Computer Graphics Technology West LafayetteIN47907 United States Universidad de Los Andes Department of Design Cra 1 No. 18A-12 Bogotá111711 Colombia University of Illinois at Chicago Electronic Visualization Laboratory Department of Computer Science M/C 152 851 S Morgan Room 1120 ChicagoIL60607 United States

ISBN: (纸本)9781450349987

This paper examines the history of the influential Interactive Image computer graphics showcase, which took place at museum and conference venues from 1987 to 1988. The authors present a preliminary exploration of the historical contexts that led to the creation of this exhibition by the Electronic visualization Lab (EVL), which included the integrated efforts of both artists and computer scientists. In addition to providing historical details about this event, the authors introduce a media archaeology approach for examining the cultural and technological contexts in which this event is situated. © 2017 Esteban García Bravo, Andr's Burbano, Vetria L. Byrd, Angus G. Forbes.

关键词： Exhibitions

来源：评论

学校读者我要写书评

暂无评论

Highlights from the 5th Symposium on Biological Data visualization: Part 2

引用

BMC proceedings 2015年第SUPPL 6 PROCEEDINGS OF THE 5TH SYMPOSIUM ON BIOLOGICAL DATA期9卷 S1页

作者： Jan Aerts G Elisabeta Marai Kay Nieselt Cydney Nielsen Marc Streit Daniel Weiskopf Visual Data Analysis Lab ESAT/STADIUS KU Leuven Kasteelpark Arenberg 10 3001 Leuven Belgium iMinds Medical IT KU Leuven Kasteelpark Arenberg 10 3001 Leuven Belgium. Electronic Visualization Lab University of Illinois at Chicago 851 S. Morgan St Chicago IL 60607 USA. Center for Bioinformatics University of Tübingen Sand 14 72076 Tübingen Germany. Department of Pathology and Laboratory Medicine University of British Columbia and British Columbia Cancer Agency 675 West 10th Avenue Vancouver British Columbia V5Z 1L3 Canada. Institute of Computer Graphics Johannes Kepler University Linz Altenberger Straße 69 4020 Linz Austria. VISUS University of Stuttgart Allmandring 19 70569 Stuttgart Germany.

来源：评论

学校读者我要写书评

暂无评论

On-Line Reconstruction of CAD Geometry

On-Line Reconstruction of CAD Geometry

引用

International Conference on 3D Imaging, Modeling, Processing, visualization and Transmission (3DIMPVT)

作者： Klaus Denker Daniel Hagel Jakob Raible Georg Umlauf Bernd Hamann Computer Graphics Laboratory Department of Computer Science Konstanz University of Applied Sciences Konstanz Germany Institute for Data Analysis and Visualization Department of Computer Science University of California Davis CA USA

In reverse engineering and computer-aided design (CAD) applications point cloud data is usually manually scanned, reconstructed, and post-processed in separated steps. When point cloud data resulting from a scanning process do not satisfy certain necessary reconstruction requirements, one must perform scanning again to enable proper reconstruction. On-line reconstruction of 3d geometry allows one to generate and update a CAD reconstruction on-line during the scanning process with an hand-held laser scanner. Thus, regions where the scanned data is insufficient for the reconstruction are detected on the fly to allow an immediate correction and improvement of the scanned data. This enables the operator to focus on critical regions in the scanned data to improve the reconstruction quality. We present an on-line segmentation and on-line reconstruction of basic geometric primitives. The presented methods allow for a real-time processing of a point stream. They utilize data structures that can be updated at any time when additional data from the stream has to be processed. This data is used to complete and improve the segmentation and reconstruction during the scanning process.

关键词： Surface reconstruction Geometry Image reconstruction Shape Lasers Design automation Image segmentation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：