咨询与建议

限定检索结果

文献类型

  • 526 篇 会议
  • 196 篇 期刊文献
  • 21 册 图书

馆藏范围

  • 743 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 466 篇 工学
    • 376 篇 计算机科学与技术...
    • 307 篇 软件工程
    • 55 篇 信息与通信工程
    • 52 篇 控制科学与工程
    • 27 篇 电气工程
    • 27 篇 土木工程
    • 24 篇 电子科学与技术(可...
    • 23 篇 船舶与海洋工程
    • 22 篇 生物工程
    • 19 篇 机械工程
    • 16 篇 建筑学
    • 15 篇 网络空间安全
    • 14 篇 生物医学工程(可授...
    • 10 篇 材料科学与工程(可...
    • 9 篇 农业工程
  • 222 篇 理学
    • 124 篇 数学
    • 38 篇 系统科学
    • 35 篇 物理学
    • 29 篇 生物学
    • 27 篇 统计学(可授理学、...
    • 21 篇 海洋科学
  • 117 篇 管理学
    • 76 篇 管理科学与工程(可...
    • 44 篇 图书情报与档案管...
    • 41 篇 工商管理
  • 18 篇 经济学
    • 17 篇 应用经济学
  • 15 篇 法学
    • 14 篇 社会学
  • 15 篇 教育学
    • 13 篇 教育学
  • 15 篇 医学
    • 12 篇 临床医学
    • 11 篇 基础医学(可授医学...
  • 12 篇 农学
    • 11 篇 作物学
  • 3 篇 文学
  • 2 篇 哲学
  • 1 篇 军事学

主题

  • 21 篇 application soft...
  • 21 篇 artificial intel...
  • 20 篇 software enginee...
  • 20 篇 semantics
  • 17 篇 programming
  • 17 篇 software
  • 14 篇 testing
  • 14 篇 unified modeling...
  • 13 篇 optimization
  • 12 篇 monitoring
  • 12 篇 data models
  • 11 篇 runtime
  • 11 篇 hardware
  • 10 篇 java
  • 9 篇 computer archite...
  • 9 篇 model checking
  • 9 篇 analytical model...
  • 8 篇 computer science
  • 8 篇 software systems
  • 8 篇 electronic mail

机构

  • 15 篇 institute for pr...
  • 11 篇 department of sy...
  • 10 篇 technical univer...
  • 8 篇 programming syst...
  • 7 篇 chair for progra...
  • 7 篇 department of pr...
  • 6 篇 department of co...
  • 6 篇 programming syst...
  • 6 篇 department of co...
  • 6 篇 computer enginee...
  • 6 篇 computer techniq...
  • 5 篇 department of co...
  • 5 篇 department of el...
  • 5 篇 department of pr...
  • 5 篇 technical univer...
  • 5 篇 tu braunschweig ...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 institute for so...
  • 5 篇 institute for pr...

作者

  • 49 篇 steffen bernhard
  • 33 篇 margaria tiziana
  • 22 篇 bernhard steffen
  • 18 篇 michael philipps...
  • 17 篇 bauer bernhard
  • 15 篇 philippsen micha...
  • 14 篇 tiziana margaria
  • 13 篇 goltz ursula
  • 13 篇 wu youfeng
  • 13 篇 lochau malte
  • 12 篇 gancheva veska
  • 12 篇 christopher muts...
  • 10 篇 veska gancheva
  • 9 篇 wang cheng
  • 9 篇 lamprecht anna-l...
  • 9 篇 youfeng wu
  • 9 篇 christiansen hen...
  • 9 篇 naujokat stefan
  • 9 篇 niehren joachim
  • 8 篇 mostafa abotaleb

语言

  • 714 篇 英文
  • 19 篇 其他
  • 6 篇 德文
  • 2 篇 中文
  • 1 篇 法文
  • 1 篇 日文
检索条件"机构=Systems and Programming"
743 条 记 录,以下是731-740 订阅
排序:
Conceptual model of the VR module for “Virtual plaza for interactive presentation of Bulgarian cultural heritage”
收藏 引用
AIP Conference Proceedings 2019年 第1期2172卷
作者: Angel Bachvarov Dimo Chotrov Yordan Yordanov Zlatka Uzunova 1Technical University Sofia Faculty of Mechanical Engineering Department Automation of Discrete Production Engineering Bulgaria 2Technical University Sofia Faculty of Computer Systems and Technologies Department Programming and Computer Technologies Bulgaria 3Technical University Sofia Faculty of German Engineering Education and Industrial Management Bulgaria 4Research and Development and Innovation Consortium Virtual and Augmented Reality Laboratory Bulgaria
In the last years, Virtual Reality (VR) has been established itself as a highly promising media technology for reconstruction and presentation of cultural heritage sites to a wide audience. Virtual Reality enables not...
来源: 评论
Centering Climate Science in Learning
收藏 引用
Connected Science Learning 2024年 第4期6卷
作者: Déana Scipio Priya Pugh Kali Natarajan Deb L. Morrison Bethany Kogut Karli Honebein Michelle Grove Jen Eklund a Director Graduate and Higher Education Programming Islandwood Bainbridge Island WA b Graduate and Higher Education Programming Senior Faculty for Practicum Islandwood Bainbridge Island WA c Climate Literacy Outreach Specialist Climate Institute Gonzaga University Spokane WA d Learning Scientist Institute of Science and Math Education College of Education University of Washington Seattle WA e Program Manager EarthGen Seattle WA f Climate Literacy Program Manager Climate Institute Gonzaga University Spokane WA g Elementary Science Coordinator Elementary Science Network NorthEast Washington Educational Service District 101 Spokane WA h Education Liaison & Project Manager Institute for Systems Biology Seattle WA
The Washington StateClimeTime Networkhas been designed to build capacity for climate science learning, as well as broader NGSS implementation. As a network, we acknowledge the diversity of scientific histories and pra... 详细信息
来源: 评论
A58: Demographics, Clinical Features and Therapies of Patients with Juvenile Dermatomyositis Participating in a National Myositis Patient Registry
收藏 引用
Arthritis & Rheumatology 2014年 第S3期66卷
作者: Lisa G Rider Abdullah Faiq Payam Noroozi Farhadi Nastaran Bayat Lukasz Itert Mikaela Chase Robert Ulrey Karen Malley Jesse Wilkerson Anne Johnson Kathryn Rose Richard Morris Christine Parks Edward H. Giannini Hermine Brunner Bob Goldberg Frederick W Miller Environmental Autoimmunity Group Program of Clinical Research National Institute of Environmental Health Sciences National Institutes of Health US Department of Health and Human Services Bethesda MD NIEHS NIH Bethesda MD Cincinnati Children's Hospital Medical Center Cincinnati OH The Myositis Association Alexandria VA Malley Research Programming Inc Bethesda MD Social and Scientific Systems Inc. Durham NC NIEHS NIH Research Triangle Park NC Environmental Autoimmunity Group NIEHS NIH Bethesda MD
Background/Purpose: The myositis syndromes are rare systemic autoimmune diseases with poorly understood etiologies. We present the demographics, illness features and treatments of patients with juvenile dermatomyositi...
来源: 评论
TLM MODELING USING AN SIMD COMPUTER
收藏 引用
INTERNATIONAL JOURNAL OF NUMERICAL MODELLING-ELECTRONIC NETWORKS DEVICES AND FIELDS 1993年 第4期6卷 299-304页
作者: TAN, CC FUSCO, VF The Queen's University of Belfast Department of Electrical & Electronic Engineering Ashby Building Stranmillis Road Belfast BT9 5AH U.K. Chun Chia Tan obtained a first-class honours degree from The Queen's University of Belfast. He was awarded an IEE prize for best final-year project. His current research interests include the modelling of electromagnetic fields using parallel processing techniques. At present Mr Tan is working as an electrical engineer in Malaysia. Vincent F. Fusco was educated at The Queen's University of Belfast where he obtained the degree of Ph.D. He has worked as a research engineer on short-range radar and radio telementry systems. Currently he is a Reader in Microwave Commnications in the School of Electrical Engineering and Computer Science The Queen's Univeristy of Belfast. His current research interests include non-linear microwave circuit simulation and concurrent programming techniques for electromagnetic field problems. He has acted as consultant to a number of major companies and has published numerous research papers in these areas. He is author of the bookMicrowave Circuits Analysis and Computer Aided Design(Prentice Hall 1987). Dr Fusco is a Chartered Electrical Engineer and a Member of the Institute of Electrical Engineers.
A major limitation of the transmission-line matrix (TLM) method used to solve Maxwell's equations is the long computation time required. The TLM scattering calculations involved can, however, be viewed as parallel... 详细信息
来源: 评论
Piquasso: A Photonic Quantum Computer Simulation Software Platform
arXiv
收藏 引用
arXiv 2024年
作者: Kolarovszki, Zoltán Rybotycki, Tomasz Rakyta, Péter Kaposi, Ágoston Poór, Boldizsár Jóczik, Szabolcs Nagy, Dániel T.R. Varga, Henrik El-Safty, Kareem H. Morse, Gregory Oszmaniec, Michal Kozsik, Tamás Zimborás, Zoltán Quantum Computing and Quantum Information Research Group HUN-REN Wigner Research Centre for Physics Konkoly-Thege Miklós út 29-33 BudapestH-1525 Hungary Department of Programming Languages and Compilers Eötvös Loránd University Pázmány Péter sétány 1/a BudapestH-1117 Hungary Center for Theoretical Physics Polish Academy of Sciences Al. Lotników 32/46 Warszawa02-668 Poland Department of Physics of Complex Systems Eötvös Loránd University Pázmány Péter sétány 1/a BudapestH-1117 Hungary Quantinuum 17 Beaumont Street OxfordOX1 2NA United Kingdom Robert Bosch Kft. Gyömrői út 104. BudapestH-1103 Hungary Department of Computer Engineering Technical University of Munich Arcisstraße 21 München80333 Germany Algorithmiq Ltd. Kanavakatu 3C Helsinki00160 Finland
We introduce the Piquasso quantum programming framework, a full-stack open-source software platform for the simulation and programming of photonic quantum computers. Piquasso can be programmed via a high-level Python ... 详细信息
来源: 评论
Preface
收藏 引用
CEUR Workshop Proceedings 2019年 2514卷 1-2页
作者: Avetisyan, Arutyun Ivar, Jacobson Pozin, Boris A. Petrenko, Alexander K. Pozin, Boris A. Petrenko, Alexander K. Cavalli, Ana Rosa Petrenko, Alexander K. Avetisyan, Arutyun Arlazarov, Vladimir Avdoshin, Sergey Batovrin, Victor K. Bershadsky, Alexander M. Boichenko, Alexander Juris, Borzovs Vasenin, Valery A. Schlingloff, Holger Kalyanov, Georgy Kantorovich, Georgy G. Korolev, Anton Kosolapov, Mikhail S. Kostogryzov, Andrey I. Koznov, Dmitry V. Kuznetsov, Sergey Prokhorov, Sergei Soyfer, Victor A. Starykh, Vladimir A. Stolyarov, Gennady K. Stupnikov, Sergey A. Telnov, Yury Ph. Shmid, Alexander Mira, Kajko-Mattssen Miroslawa Wentzl, Wilfried Mayer, Walter H. Yevtushenko, Nina Zakharov, Victor Zmeev, Oleg Cavalli, Ana Rosa Petrenko, Alexander K. Pozin, Boris A. RAS ISP Russia Ivar Jacobson International Switzerland NRU HSE «-leasing» Co Russia NRU HSE ISP RAS Russia Information and Analytical Systems «-leasing» Co Russia Department of Network Software TELECOM and Management SudParis France NRU HSE Russia Software Engineering of Ivannikov Institute for System Programming RAS Russia RAS System Analysis Institute of Federal Research Centre Informatics and Management Russia Russia Penza State University Russia Federal State Educational Centre of Higher Learning «Plekhanov Russian University of Economics» Russia CISA Academy of Sciences of Latvia State University of Latvia Latvia MSU Institut für Offene Kommunikationssysteme FOKUS Germany Verifikation und Testtheorie an der Humboldt-Universität zu Berlin Germany Institute of Control Sciences RAS Russia Institute of Sociology RAS NRU HSE Russia ISO IEEC Institute of Informatics Problems Federal Research Centre IM RAS Russia St. Petersburg State University Russia Institute for System Programming RAS Moscow State University Russia SRI Korolev Samara State Aerospace University Russia Belarus FRC IM RAS Russia FSEC «Plekhanov Russian University of Economics» Russia KTH School of Information and Communication Technology Sweden Governmental Agricultural Analyst Austria Austria Ivannikov Institute for System Programming RAS Russia Institute of Informatics Problems Federal Research Centre IM RAS Russia Tomsk State University Russia
来源: 评论
RATIONALE FOR AN ADA SOFTWARE ENGINEERING ENVIRONMENT FOR NAVY MISSION CRITICAL APPLICATIONS
收藏 引用
NAVAL ENGINEERS JOURNAL 1984年 第4期96卷 133-145页
作者: PAIGE, KK CONVERSE, RA USN LCdr. Kathleen K. Paige USN:graduated with a BA from the University of New Hampshire in 1970. She received her commission from Officer Candidate School in April 1971 and performed her first tour of duty with VFP-63 NAS Miramar. LCdr. Paige then received her MS from the Naval Post Graduate School in June 1976 and returned to San Diego to serve as Head Support Software Division at the Fleet Combat Direction System Support Activity. In May 1981 she reported to NA VSEA (PMS-408) where she served initially as Chairman of the NAVMAT Software Engineering Environment Working Group. She has been assigned as Deputy AN/UYK-43 Acquisition Manager since October 1981. LCdr. Paige was designated a fully qualified Engineering Duty Officer in December 1983. Robert A. Converse:is presently the Acquisition Manager for the Ada Language System/Navy (ALS/N) for the Naval Sea Systems Command Tactical Embedded Computer Resources Project. As such he is responsible for the definition and development of the ALS/N to be provided as a Navy standard computer programming system for Navy mission critical applications. Mr. Converse received a Bachelor of Science degree in Physics from Wheaton College Wheaton II. He spent fourteen years with the Naval Underwater Systems Center Newport Rhode Island during which time he designed and developed the Fortran compiler for the Navy Standard AN/UYK-7 computer. Also during that period he received a Master of Science degree in Computer Science from the University of Rhode Island. His thesis for that degree was entitled “Optimization Techniques for the NUSC Fortran Cross-Compiler”. Mr. Converse started his involvement with the Ada program in 1975 with the initial “Strawman” requirements review. Subsequently he was named as the Navy Ada Distinguished Reviewer and was intimately involved in the selection and refinement of the Ada language as it evolved to become ANSI/MIL-STD-1815A.
The U.S. Navy introduced the use of digital computers in mission critical applications over a quarter of a century ago. Today, virtually every system in the current and planned Navy inventory makes extensive use of co...
来源: 评论
COMBAT SYSTEM ENGINEERING - A RETURN TO FUNDAMENTALS
收藏 引用
NAVAL ENGINEERS JOURNAL 1993年 第3期105卷 61-69页
作者: MITTURA, A KARP, MS PE Andrew Mittura:is currently a senior program engineer with SYSCON Corp. He began his career in the Combat System Installation and Integration Office of NavSea in 1978. He has worked as a system engineer on the Seafire program at NSWCDD on the NATO Anti-air Warfare Program while at FMC Corporation and for the past four years on the Aegis Combat System with SYSCON. Current efforts include performance assessment studies of the Aegis combat system and combat system architecture and connectivity analysis. Mr. Mittura received a B.S. in electrical engineering from Penn State University in 1978 and an M.S. in engineering management from Catholic University of America in 1982. He is a licensed professional engineer with the State of Virginia. Mitchel S. Karp:cofounded K&K Software Engineering Inc. in February 1970. He is currently secretary/treasurer and senior system engineer. His involvement in combat systems began with NTDS in 1963. He has been involved in the Aegis Program since 1968 and has worked in all aspects of combat system development including computer programming tactical analysis software development and management. He has given several seminars on real-time software development and documentation. He currently is working under contracts to NSWCDD in the areas of combat system architecture and connectivity configuration management and documentation. Mr. Karp received a B.S. in engineering physics from Lehigh University in 1958.
The Navy's focus has shifted from global war scenarios to preparedness for the prospect of involvement in regional, littoral contingencies and conflicts. Operationally, shipboard personnel will need the ability to...
来源: 评论
CONTROL SYSTEM DESIGN CONSIDERING A TRADEOFF BETWEEN EVALUATED UNCERTAINTY RANGES AND CONTROL PERFORMANCE
收藏 引用
Asian Journal of Control 2008年 第1期1卷
作者: Y. Wakasa Y. Yamamoto Dept. of Applied Analysis and Complex Dynamical Systems Graduate School of Informatics Kyoto University Kyoto Japan. Yuji Wakasa was born in Okayama Japan in 1968. He received the B.S. and M.S. degrees in engineering from Kyoto university Japan in 1992 and 1994 respectively. From 1994 to 1998 he was a Research Associate in the Department of Information Technology Okayama University. Since April 1998 he has been a Research Associate in the Graduate School of Informatics Kyoto University. His current research interests include robust control and control system design via mathematical programming. Yutaka Yamamoto received his B.S. and M.S. degrees in engineering from Kyoto University Kyoto Japan in 1972 and 1974 respectively and the M.S. and Ph.D. degree in mathematics from the University of Florida in 1976 and 1978 respectively. From 1978 to 1987 he was with Department of Applied Mathematics and Physics Kyoto University and from 1987 to 1997 with Department of Applied System Science. Since 1998 he is a professor at the current position. His current research interests include realization and robust control of distributed parameter systems learning control sampled-data systems and digital signal processing. Dr. Yamamoto is a receipient of the Sawaragi memorial paper award (1985) the Outstanding Paper Award of SICE (1987) Best Author Award of SICE (1990) the George Axelby Outstanding Paper Award of IEEE CSS in 1996 Takeda Paper Prize of SICE in 1997. He is a Fellow of IEEE. He was an associate editor of Automatica. He is currently an associate editor of IEEE Transactions on Automatic Control Systems and Control Letters and Mathematics of Control Signals and Systems. He is a member of the IEEE the Society of Instrument and Control Engineers (SICE) and the Institute of Systems Control and Information Engineers.
This paper presents a design method of control systems such that a designer can flexibly take account of tradeoffs between evaluated uncertainty ranges and the level of control performance. The problem is reduced to a... 详细信息
来源: 评论
THE PROSPECT OF AN UNDER WA TER NA VAL ROBOT
收藏 引用
Naval Engineers Journal 1980年 第1期92卷 65-72页
作者: DIXON, JOHN K. JOHNSON, HERBERT A. SLAGLE, JAMES R. Dr. John K. Dixon was born on 1 December 1934 in Detroit. Mich. He received his B.S. degree in Electrical Engineering from Lawrence Institute of Technology in 1957 his M.B.A. degree from Wayne State University in 1964 his M.S. degree in Physics from the University of California at Davis in 1967 and his Ph.D. degree in Computer Science from the University of California at Livermore in 1970. In 1957 he was employed by the Chrysler Missile Division Warren Mich. where he designed circuits for the Redstoneand Jupitermissiles. In 1959 he joined the Staff of the Bendix Research Laboratory Southfield Mich. where he designed equipment for missile guidance systems and aircraft blind landing systems. From 1965 until 1968 he was a Research Assistant in the Artificial Intelligence Group Lawrence Radiation Laboratory. Livermore Calif at which time he left to join the Heuristics Laboratory of the National Institutes of Health Bethesda Md. as a Computer Scientist. In 1974 he moved to the Computer Science Laboratory at the Naval Research Laboratory. Washington D.C. where he is currently employed on various Research Projects. Mr. Herbert A. Johnson graduated from the U.S. Coast Guard Academy and later continued his graduate studies at Massachusetts Institute of Technology and Purdue University. receiving his M.S. degree in Electrical Engineering from the latter. He is presently a Captain in the U.S. Coast Guard Reserve and Head of the Ocean Instrumentation Branch. Ocean Technology Division Naval Research Laboratory (NRL). Prior to joining NRL in 1974 he was employed on various marine systems projects at Honeywell and on Polarisinstrumentation at Interstate Electronics a company he assisted in founding in 1956. He is a Senior Member of the Institute of Electrical and Electronics Engineers (IEEE). Dr. James R. Slagle received his M.S. and Ph.D. degrees from Massachusetts Institute of Technology and was the recipient of an Outstanding Blind Student Award for 1959 which was presented to him by President Dwight D.
This paper explores the concept of an underwater robot manipulator mounted on an unmanned submersible for the purpose of doing some undersea tasks of interest to the U.S. Navy. The robot concept is compared with other...
来源: 评论