咨询与建议

限定检索结果

文献类型

  • 1,333 篇 期刊文献
  • 1,092 篇 会议
  • 35 册 图书

馆藏范围

  • 2,460 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,507 篇 理学
    • 998 篇 物理学
    • 378 篇 数学
    • 153 篇 地球物理学
    • 144 篇 生物学
    • 121 篇 统计学(可授理学、...
    • 114 篇 化学
  • 1,370 篇 工学
    • 712 篇 计算机科学与技术...
    • 586 篇 软件工程
    • 202 篇 核科学与技术
    • 181 篇 信息与通信工程
    • 179 篇 电子科学与技术(可...
    • 165 篇 光学工程
    • 153 篇 仪器科学与技术
    • 149 篇 电气工程
    • 120 篇 控制科学与工程
    • 119 篇 生物医学工程(可授...
    • 114 篇 生物工程
    • 84 篇 化学工程与技术
    • 75 篇 机械工程
    • 62 篇 航空宇航科学与技...
    • 61 篇 材料科学与工程(可...
    • 46 篇 建筑学
    • 45 篇 冶金工程
    • 45 篇 土木工程
  • 201 篇 管理学
    • 125 篇 管理科学与工程(可...
    • 76 篇 图书情报与档案管...
    • 59 篇 工商管理
  • 107 篇 医学
    • 85 篇 临床医学
    • 72 篇 基础医学(可授医学...
    • 48 篇 药学(可授医学、理...
  • 25 篇 法学
  • 20 篇 经济学
  • 19 篇 农学
  • 13 篇 教育学
  • 4 篇 艺术学
  • 1 篇 哲学
  • 1 篇 文学
  • 1 篇 历史学
  • 1 篇 军事学

主题

  • 173 篇 hadron colliders
  • 84 篇 higgs bosons
  • 63 篇 computer graphic...
  • 56 篇 face recognition
  • 52 篇 visualization
  • 51 篇 computer science
  • 49 篇 w & z bosons
  • 47 篇 proton-proton in...
  • 40 篇 relativistic hea...
  • 38 篇 top quark
  • 35 篇 large hadron col...
  • 35 篇 neutrons
  • 35 篇 standard model (...
  • 34 篇 supersymmetric m...
  • 33 篇 hadron-hadron sc...
  • 31 篇 machine learning
  • 30 篇 quark & gluon je...
  • 29 篇 collisions (nucl...
  • 29 篇 nuclear counters
  • 28 篇 accuracy

机构

  • 419 篇 department for p...
  • 409 篇 faculty of scien...
  • 400 篇 kirchhoff-instit...
  • 385 篇 department of ph...
  • 381 篇 department of ph...
  • 376 篇 department of ph...
  • 371 篇 institute of phy...
  • 371 篇 institute of phy...
  • 358 篇 fakultät für phy...
  • 353 篇 yerevan physics ...
  • 328 篇 instituto de fís...
  • 304 篇 department of ph...
  • 298 篇 department of ph...
  • 294 篇 nikhef national ...
  • 286 篇 department of ph...
  • 280 篇 graduate school ...
  • 280 篇 universidade fed...
  • 279 篇 dipartimento di ...
  • 275 篇 department of ph...
  • 262 篇 department of ph...

作者

  • 328 篇 c. alexa
  • 326 篇 j. m. izen
  • 319 篇 g. bella
  • 317 篇 j. strandberg
  • 315 篇 d. calvet
  • 314 篇 c. amelung
  • 295 篇 g. spigo
  • 291 篇 f. siegert
  • 286 篇 r. ströhmer
  • 284 篇 m. rijssenbeek
  • 282 篇 s. jin
  • 282 篇 g. gaudio
  • 281 篇 s. mohapatra
  • 278 篇 y. tayalati
  • 276 篇 s. guindon
  • 270 篇 a. kaczmarska
  • 263 篇 j. schaarschmidt
  • 258 篇 a. d. pilkington
  • 257 篇 l. chevalier
  • 253 篇 m. klein

语言

  • 2,394 篇 英文
  • 57 篇 其他
  • 8 篇 中文
  • 1 篇 德文
  • 1 篇 法文
检索条件"机构=Institute of Computer Science II-Computer Graphics"
2460 条 记 录,以下是2361-2370 订阅
排序:
Parallel programming with CAPSE-A case study  4
Parallel programming with CAPSE-A case study
收藏 引用
4th Euromicro Workshop on Parallel and Distributed Processing, PDP 1996
作者: Gruber, B. Haring, G. Kranzlmuller, D. Volkert, J. University of Vienna Institute of Applied Computer Science Aid Information Systems Dept. of Advanced Computer Engineering Lenaugasse 218 ViennaA-1080 Austria Johannes Kepler University Linz Institute of Computer Science Dept. for Graphics and Parallel Processing Altenbergerstr. 69 LinzA-4040 Austria
The CAPSE environment for computer Aided Parallel Software Engineering is intended to assist the developer in the crucial task of parallel programming. The methodology of CAPSE is based on direct manipulative graphica... 详细信息
来源: 评论
Combining VDM-SL specifications with C++ code  3rd
收藏 引用
3rd International Symposium of Formal Methods Europe, FME 1996
作者: Fröhlich, Brigitte Larsen, Peter Gorm University of Technology Graz Münzgabenstr. 11/II Graz8010 Austria The Institute of Applied Computer Science IFAD Forskerparken 10 Odense M5230 Denmark
Experience shows that it is not economically feasible to formally specify all parts of a system in an industrial application. Either one already has a number of existing components which are trusted and therefore desi... 详细信息
来源: 评论
A motion generator framework
A motion generator framework
收藏 引用
computer Animation
作者: M. Preston Computer Graphics Unit Manchester Computing University of Manchester Institute of Science and Technology Manchester UK
There are two broad categories of research animation system: those designed to support a particular motion synthesis tool, and those whose implementation is intended to foster a particular form of motion generator des... 详细信息
来源: 评论
Parallel programming with CAPSE-a case study
Parallel programming with CAPSE-a case study
收藏 引用
Euromicro Workshop on Parallel and Distributed Processing
作者: B. Gruber G. Haring D. Kranzlmuller J. Volkert Institute of Applied Computer Science and Information Systems Department of Advanced Computer Engineering University of Technology Vienna Vienna Austria Institute of Computer Science Department for Graphics and Parallel Processing Johannes Kepler University Linz Linz Austria
The CAPSE environment for computer Aided Parallel Software Engineering is intended to assist the developer in the crucial task of parallel programming. The methodology of CAPSE is based on direct manipulative graphica... 详细信息
来源: 评论
Program comprehension support for knowledge-based parallelization  4
Program comprehension support for knowledge-based paralleliz...
收藏 引用
4th Euromicro Workshop on Parallel and Distributed Processing, PDP 1996
作者: Andel, S. Di Martino, B. Hulman, J. Zima, H.P. Institute for Software Technology and Parallel Systems University of Vienna Liechtensteinstr. 22 ViennaA-1090 Austria Department of Computer Science and Systems University federico II via Claudio 21 Naples80124 Italy
Current compilation systems for distributed memory computers have to integrate new techniques to support the highly complex task of producing efficient programs for parallel systems. Two techniques, program comprehens... 详细信息
来源: 评论
Correcting type errors in the curry system  16th
收藏 引用
16th Annual Conference on Foundations of Software Technology and Theoretical computer science, 1996
作者: Gandhe, Milind Venkatesh, G. Sanyal, Amitabha Department of Computer Science and Engineering Indian Institute of Technology Bombay400 076 India Silicon Automation Systems 3008 12B Main 8 Cross HAL II Stage Bangalore560008 India
In this paper, we address the problem of suggesting corrections to terms that are ill-typed in the Curry System. For this, we convert the term into a set of constraints over type expressions, and use a method due to C... 详细信息
来源: 评论
Head-tracked orbital viewing: an interaction technique for immersive virtual environments  96
Head-tracked orbital viewing: an interaction technique for i...
收藏 引用
Proceedings of the 9th annual ACM symposium on User interface software and technology
作者: David R. Koller Mark R. Mine Scott E. Hudson Graphics Visualization & Usability Center College of Comuputing Georgia Institute of Technology Atlanta GA Department of Computer Science University of North Carolira Chapel Hill NC
No abstract available.
来源: 评论
A platform for user-tailored interaction development in 2D, 3D, and VR
收藏 引用
computer graphics FORUM 1996年 第3期15卷 C433-C442页
作者: Encarnacao, LM Fechter, J Grunert, T Strasser, W University of Tubingen Wilhelm-Schickarb-Institute of Computer Science Interactive Graphics Systems Lab (WSI/GRIS) Auf der Morgenstelle IO C9 D-72076 Tubingen Germany Tel.: +49 7071 29 (546454656356) Email: Miguel.Encarnacao@Uni-Tuebingen.DE Juergen.Fechter@Uni-Tuebingen.DE Thomas.Grunert@Uni-Tuebingen.DE Wolfgang.Strasser@Uni-Tuebingen.DE URL: http://www.gris.informatik.uni-tuebingen.de
The discussion on the advantages and disadvantages of 2D, 3D, and VR interfaces and their applicability to different types of systems, users, and information led to a series of stand-alone implementations that lack th... 详细信息
来源: 评论
Adaptivity in graphical user interfaces: An experimental framework
收藏 引用
computerS & graphics 1995年 第6期19卷 873-884页
作者: Encarnacao, LM University of Tübingen-Wilhelm Schickard Institute of Computer Science (WSI) Interactive Graphics Systems Lab (GRIS) Auf der Morgenstelle 10 C-9-D-72076 Tübingen Germany
Several user and task modeling approaches evolved during the past years and were applied to certain problem areas showing different strengths and weaknesses. A qualitative comparison of these approaches and techniques...
来源: 评论
Parallel navier-stokes computations on shared and distributed memory architectures  33rd
Parallel navier-stokes computations on shared and distribute...
收藏 引用
33rd Aerospace sciences Meeting and Exhibit, 1995
作者: Ehtesham Hayder, M. Jayasimha, D.N. Pillay, Sasi Kumar Institute for Computational Mechanics in Propulsion Ohio Aerospace Institute NASA Lewis Research Center ClevelandOH United States Department of Computer Science The Ohio State University ColumbusOH United States Chief Computer Graphics Branch Computer Services Division NASA Lewis Research Center ClevelandOH United States
We study a high order finite difference scheme to solve the time accurate flow field of a jet using the compressible Navier-Stokes equations. As part of OUT ongoing efforts, we have implemented our numerical model on ... 详细信息
来源: 评论