咨询与建议

限定检索结果

文献类型

  • 624 篇 会议
  • 532 篇 期刊文献
  • 7 册 图书

馆藏范围

  • 1,163 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 681 篇 工学
    • 334 篇 计算机科学与技术...
    • 265 篇 软件工程
    • 111 篇 信息与通信工程
    • 84 篇 电气工程
    • 80 篇 电子科学与技术(可...
    • 75 篇 控制科学与工程
    • 75 篇 土木工程
    • 75 篇 生物工程
    • 71 篇 船舶与海洋工程
    • 65 篇 生物医学工程(可授...
    • 48 篇 化学工程与技术
    • 42 篇 光学工程
    • 38 篇 材料科学与工程(可...
    • 33 篇 机械工程
    • 30 篇 动力工程及工程热...
    • 29 篇 仪器科学与技术
  • 466 篇 理学
    • 144 篇 数学
    • 120 篇 生物学
    • 112 篇 物理学
    • 67 篇 海洋科学
    • 58 篇 化学
    • 54 篇 统计学(可授理学、...
    • 37 篇 系统科学
  • 166 篇 管理学
    • 119 篇 管理科学与工程(可...
    • 67 篇 工商管理
    • 48 篇 图书情报与档案管...
  • 96 篇 医学
    • 65 篇 临床医学
    • 57 篇 基础医学(可授医学...
    • 31 篇 药学(可授医学、理...
  • 32 篇 教育学
    • 31 篇 教育学
  • 29 篇 法学
  • 28 篇 农学
  • 20 篇 经济学
  • 2 篇 艺术学
  • 1 篇 文学
  • 1 篇 军事学

主题

  • 21 篇 computer archite...
  • 19 篇 optimization
  • 18 篇 computer science
  • 18 篇 computational mo...
  • 16 篇 conferences
  • 16 篇 accuracy
  • 16 篇 training
  • 15 篇 neural networks
  • 15 篇 machine learning
  • 15 篇 software
  • 14 篇 software enginee...
  • 14 篇 feature extracti...
  • 14 篇 data models
  • 13 篇 systems engineer...
  • 13 篇 predictive model...
  • 13 篇 semantics
  • 13 篇 equations
  • 12 篇 visualization
  • 12 篇 uncertainty
  • 12 篇 hardware

机构

  • 12 篇 wireless and mic...
  • 11 篇 systems engineer...
  • 8 篇 health managemen...
  • 8 篇 ieee
  • 8 篇 wireless and mic...
  • 7 篇 department of bi...
  • 7 篇 tércio pacitti i...
  • 7 篇 university colle...
  • 7 篇 the pillar of in...
  • 7 篇 postgraduate pro...
  • 7 篇 systems engineer...
  • 6 篇 department of ph...
  • 6 篇 department of co...
  • 6 篇 karachi pakistan
  • 6 篇 health systems a...
  • 6 篇 department of pu...
  • 6 篇 julius centre fo...
  • 6 篇 department of co...
  • 6 篇 the school of au...
  • 6 篇 electrical and c...

作者

  • 19 篇 baylis charles
  • 14 篇 daniel schneider
  • 11 篇 charles baylis
  • 10 篇 niyato dusit
  • 10 篇 jano moreira de ...
  • 9 篇 xiong zehui
  • 9 篇 du hongyang
  • 8 篇 fellows matthew
  • 8 篇 marks robert j.
  • 8 篇 cohen lawrence
  • 8 篇 antónio correia
  • 7 篇 llanos carlos h.
  • 7 篇 barbosa valmir c...
  • 7 篇 marcos antonio d...
  • 7 篇 kang jiawen
  • 7 篇 robert j. marks
  • 6 篇 moldovan matthew
  • 6 篇 martin josh
  • 6 篇 abdelmalek kouad...
  • 6 篇 carlos h. llanos

语言

  • 1,130 篇 英文
  • 24 篇 其他
  • 7 篇 中文
  • 3 篇 日文
  • 1 篇 德文
  • 1 篇 法文
  • 1 篇 葡萄牙文
检索条件"机构=Computer and Systems Engineering Program"
1163 条 记 录,以下是931-940 订阅
排序:
Proof Method for correctness of refinements of algebraic specification in abstract sequential machine style
收藏 引用
systems AND computerS IN JAPAN 1996年 第5期27卷 25-38页
作者: Okano, K Higashino, T Taniguchi, K Member Faculty of Engineering Science Osaka University Toyonaka Japan 560 Teruo Hipshino received his B.E. M.E.and Ph.D. degrees in Information and Computer Sciences from Osaka University Osaka Japan in 1R9 1981 and 1984 respectively. He joined the Faculty of Osaka University in 1984. Since 1991 he has been an Associate Professor in the Department of Information and Computer Sciences at Osaka University. In 1990 he was a Visiting Researcher of Dept. I.R.O. at University of Montreal Canada. His current research interests include design and analysis of distributed systems specification and verification of communication protocols and formal approach of program design. He is a member of IEEE-CS ACM IEICE of Japan and IPS of Japan.
In this paper, new methods for providing the correctness of refinement among abstract sequential machine style programs are described. The programs are described in algebraic language ASL using some useful notions, i.... 详细信息
来源: 评论
A computer-MODEL FOR SHIPBOARD ENERGY ANALYSIS
收藏 引用
NAVAL ENGINEERS JOURNAL 1984年 第5期96卷 33-45页
作者: DETOLLA, JP FLEMING, JR Joseph DeTolla:is a ship systems engineer in the Ship Systems Engineering Division SEA 56D5 at the Naval Sea Systems Command. His career with the Navy started in 1965 at the Philadelphia Naval Shipyard Design Division. In 1971 he transferred to the Naval Ship Engineering Center. He has held positions as a fluid systems design engineer and auxiliary systems design integration engineer. Mr. DeTolla has worked extensively in the synthesis and analysis of total energy systems notably the design development of the FFG-7 class waste heat recovery system. He is NA VSEA's machinery group computer supported design project coordinator and is managing the development of a machinery systems data base load forecasting algorithms and design analysis computer programs. Mr. DeTolla has a bachelor of science degree in mechanical engineering from Drexel University and a master of engineering administration degree from George Washington University. He is a registered professional engineer in the District of Columbia and has written several technical papers on waste heat recovery and energy conservation. Jeffrey Fleming:is a senior project engineer in the Energy R&D Office at the David Taylor Naval Ship R&D Center. In his current position as group leader for the future fleet energy conservation portion of the Navy's energy R&D program he is responsible for the identification and development of advanced components and subsystems which will lead to reductions in the fossil fuel consumption of future ships. Over the past several years he has also directed the development and application of total energy computer analysis techniques for the assessment of conventional and advanced shipboard machinery concepts. Mr. Fleming is a 1971 graduate electrical engineer of Virginia Polytechnic Institute and received his MS in electrical engineering from Johns Hopkins University in 1975. Mr. Fleming has authored various technical publications and was the recipient of the Severn Technical Society's “Best Technical Paper of the Year” award in 1
In support of the Navy's efforts to improve the energy usage of future ships and thereby to reduce fleet operating costs, a large scale computer model has been developed by the David Taylor Naval Ship Research and...
来源: 评论
Hamiltonian Hopping for Efficient Chiral Mode Switching in Encircling Exceptional Points
收藏 引用
Physical Review Letters 2020年 第18期125卷 187403-187403页
作者: Aodong Li Jianji Dong Jian Wang Ziwei Cheng John S. Ho Dawei Zhang Jing Wen Xu-Lin Zhang C. T. Chan Andrea Alù Cheng-Wei Qiu Lin Chen Wuhan National Laboratory for Optoelectronics Huazhong University of Science and Technology Wuhan 430074 China Department of Electrical and Computer Engineering National University of Singapore Singapore 117583 Singapore Engineering Research Center of Optical Instrument and Systems Ministry of Education and Shanghai Key Lab of Modern Optical System University of Shanghai for Science and Technology No. 516 Jungong Road Shanghai 200093 China State Key Laboratory of Integrated Optoelectronics College of Electronic Science and Engineering Jilin University Changchun 130012 China Department of Physics The Hong Kong University of Science and Technology Clear Water Bay Hong Kong 999077 China Photonics Initiative Advanced Science Research Center City University of New York New York New York 10031 USA Physics Program Graduate Center City University of New York New York New York 10016 USA
Dynamically encircling exceptional points (EPs) can lead to chiral mode switching as the system parameters are varied along a path that encircles EP. However, conventional encircling protocols result in low transmitta... 详细信息
来源: 评论
Human systems integration and advanced technology in engineering department workload and manpower reduction
收藏 引用
NAVAL ENGINEERS JOURNAL 2003年 第1期115卷 57-65页
作者: Lively, KA Seman, AJ Kirkpatrick, M KENNETH A. LIVELY graduated from the University of Colorado with a BS in applied mathematics and an MS in mathematics in 1976 and from the Massachusetts Institute of Technology with an MS in electrical engineering and the degree ocean engineer in naval architecture and marine engineering in 1984. He retired from the U.S. Navy in 1989 after 23 years of service. Assignments included electrical officer on the USS Constellation (CV 64) project engineer for the DDG 51 machinery control system (NAVSEA) and DDG 51 Technical Director (NAVSEA). He was vice president of the PDI Division of Bird-Johnson Company from July 1989 to November 1998 where he managed various gas turbine and machinery controls related development projects. He joined Anteon Corporation's Systems Engineering Group as senior controls engineer in December 1998 where he provided technical support to the integrated power systems program (NAVSEA PMS 510) and managed the Office of Naval Research Afloat Laboratory. DR. MARK KIRKPATRICK is currently an independent consultant in human factors and work-load/manning analysis and modeling. He holds a Ph.D. degree in experimental psychology from The Ohio State University and has 34 years of experience in applied human factors. From 1982 through 2000 Dr. Kirkpatrick served as the senior vice president of Carlow International. Prior to joining Carlow in 1982 Dr. Kirkpatrick served as a member of the technical staff at North American Rockwell's Missiles Division and as a project director and vice president for Essex Corporation. His areas of expertise include workload simulation task analysis operator-in-the-loop simulation human performance experimentation statistical analysis and human factors T&E. He has directed and/or participated in human factors projects for the U.S. Navy U.S. Army NASA Department of Transportation the U.S. Nuclear Regulatory Commission and private industry. ANTHONY J. SEMAN III is the technical manager for the reduced ship's crew by virtual presence (RSVP) advanced technology d
Aboard current ships, such as the DDG 51, engineering control and damage control activities are manpower intensive. It is anticipated that, for future combatants, the workload demand arising from operation of systems ... 详细信息
来源: 评论
computer-SYSTEM ARCHITECTURE CONCEPTS FOR FUTURE COMBAT systems
收藏 引用
NAVAL ENGINEERS JOURNAL 1990年 第3期102卷 43-62页
作者: ZITZMAN, LH FALATKO, SM PAPACH, JL Dr. Lewis H. Zitzman:is the group supervisor of the Advanced Systems Design Group Fleet Systems Department The Johns Hopkins University Applied Physics Laboratory (JHU/APL). He has been employed at JHU/APL since 1972 performing applied research in computer science and in investigating and applying advanced computer technologies to Navy shipboard systems. He is currently chairman of Aegis Computer Architecture Data Bus and Fiber Optics Working Group from which many concepts for this paper were generated. Dr. Zitzman received his B.S. degree in physics from Brigham Young University in 1963 and his M.S. and Ph.D. degrees in physics from the University of Illinois in 1967 and 1972 respectively. Stephen M. Falatko:was a senior engineering analyst in the Combat Systems Engineering Department Comptek Research Incorporated for the majority of this effort. He is currently employed at ManTech Services Corporation. During his eight-year career first at The Johns Hopkins University Applied Physics Laboratory and currently with ManTech Mr. Falatko's work has centered around the development of requirements and specifications for future Navy systems and the application of advanced technology to Navy command and control systems. He is a member of both the Computer Architecture Fiber Optics and Data Bus Working Group and the Aegis Fiber Optics Working Group. Mr. Falatko received his B.S. degree in aerospace engineering with high distinction from the University of Virginia in 1982 and his M.S. degree in applied physics from The Johns Hopkins University in 1985. Mr. Falatko is a member of Tau Beta Pi Sigma Gamma Tau the American Society of Naval Engineers and the U.S. Naval Institute. Janet L. Papach:is a section leader and senior engineering analyst in the Combat Systems Engineering Department Comptek Research Incorporated. She has ten years' experience as an analyst supporting NavSea Spa War and the U.S. Department of State. She currently participates in working group efforts under Aegis Combat System Doctrin
This paper sets forth computer systems architecture concepts for the combat system of the 2010–2030 timeframe that satisfy the needs of the next generation of surface combatants. It builds upon the current Aegis comp... 详细信息
来源: 评论
Computational Methods for Single-Cell RNA Sequencing
收藏 引用
Biomedical Data Science 1000年 第1期3卷 339-364页
作者: Brian Hie Joshua Peters Sarah K. Nyquist Alex K. Shalek Bonnie Berger Bryan D. Bryson 1Computer Science and Artificial Intelligence Laboratory (CSAIL) Massachusetts Institute of Technology Cambridge Massachusetts 02139 USA email: bab@mit.edu 3Ragon Institute of MGH MIT and Harvard Cambridge Massachusetts 02139 USA 2Department of Biological Engineering Massachusetts Institute of Technology Cambridge Massachusetts 02139 USA email: bryand@mit.edu 4Program in Computational and Systems Biology Massachusetts Institute of Technology Cambridge Massachusetts 02139 USA 5Department of Chemistry Institute for Medical Engineering & Science (IMES) and Koch Institute for Integrative Cancer Research Massachusetts Institute of Technology Cambridge Massachusetts 02139 USA 6Department of Mathematics Massachusetts Institute of Technology Cambridge Massachusetts 02139 USA
Single-cell RNA sequencing (scRNA-seq) has provided a high-dimensional catalog of millions of cells across species and diseases. These data have spurred the development of hundreds of computational tools to derive nov...
来源: 评论
Finding shortest and nearly shortest path nodes in large substantially incomplete networks
arXiv
收藏 引用
arXiv 2022年
作者: Kitsak, Maksim Ganin, Alexander Elmokashfi, Ahmed Cui, Hongzhu Eisenberg, Daniel A. Alderson, David L. Korkin, Dmitry Linkov, Igor Faculty of Electrical Engineering Mathematics and Computer Science Delft University of Technology Delft Netherlands Network Science Institute Northeastern University BostonMA02115 United States Department of Systems and Information Engineering University of Virginia CharlottesvilleVA22904 United States U.S. Army Engineer Research and Development Center Contractor Concord MA01742 United States Simula Metropolitan Center for Digital Engineering Oslo Norway Bioinformatics and Computational Biology Program Worcester Polytechnic Institute WorcesterMA01609 United States Institute for Genomic Medicine Columbia University Medical Center New YorkNY United States Operations Research Department Naval Postgraduate School MontereyCA93943 United States Data Science Program Worcester Polytechnic Institute WorcesterMA01609 United States Computer Science Department Worcester Polytechnic Institute WorcesterMA01609 United States U.S. Army Engineer Research and Development Center Environmental Laboratory Concord MA01742 United States
Dynamic processes on networks, be it information transfer in the Internet, contagious spreading in a social network, or neural signaling, take place along shortest or nearly shortest paths. Unfortunately, our maps of ... 详细信息
来源: 评论
Accelerating Real-Time Imaging for Radiotherapy: Leveraging Multi-GPU Training with PyTorch
Accelerating Real-Time Imaging for Radiotherapy: Leveraging ...
收藏 引用
International Conference on Machine Learning and Applications (ICMLA)
作者: Ruth Obe Brandt Kaufmann Kaelen Baird Sam Kadel Yasmin Soltani Mostafa Cham Matthias K. Gobbert Carlos A. Barajas Zhuoran Jiang Vijay R. Sharma Lei Ren Stephen W. Peterson Jerimy C. PoIf Dept. of Computer Science and of Software Engineering U. of Houston-Clear Lake USA Dept. of Mathematics and Statistics U. of San Francisco USA Dept. of Computer Science and of Mathematics Skidmore College USA Dept. of Computer Science and of Psychology Mount Holyoke College USA Dept. of Biomedical Engineering U. of Houston USA Dept. of Information Systems U. of Maryland Baltimore County Dept. of Mathematics and Statistics U. of Maryland Baltimore County Medical Physics Graduate Program Duke University USA Dept. of Radiation Oncology U. of Maryland School of Medicine USA Department of Radiation Oncology U. of Maryland School of Medicine USA Dept. of Physics U. of Cape Town South Africa H3D Inc. USA
Proton beam therapy is an advanced form of cancer radiotherapy that uses high-energy proton beams to deliver precise and targeted radiation to tumors. This helps to mit-igate unnecessary radiation exposure in healthy ...
来源: 评论
INNOVATIONS IN computer-AIDED-DESIGN OF MARINE TURBINES USING INTERACTIVE GRAPHICS
收藏 引用
NAVAL ENGINEERS JOURNAL 1980年 第2期92卷 207-217页
作者: GINGRICH, JK WINTER, RL Mr. John K. Gingrich joined the General Electric Company after his graduation from Lafayette College in 1948. His early assignments were with the General Engineering Laboratory and the Knolls Atomic Power Laboratory in Schenectady. N. Y. He joined the Marine Turbine and Gear Department in 1968 as Manager Engineering Administration. and assumed his present assignment as Manager Engineering Resource Planning & Administration in 1976. Mr. Gingrich was instrumental in procuring the Interactive Graphics System for the Medium Steam Department. having headed up the Study Team and is now responsible for the Interactive Graphics Systems management including new procurements. He is a member of the American Institute of Design Drafting and is currently the Chairman of the Computer-Aided Drafting Committee in that organization. Mr. Reinhold L. Winter is a graduate of the General Electric Apprentice Program and Salem State College from which he received his B.S. degree in Business Administration. He has nineteen years experience with the General Electric Company including eight years in Business Systems and Programming two years in Computer Operations Management and six years in his present position as Manager Engineering Business Systems. He was a member of the original Study Team that investigated and selected the present Applicon Interactive Graphics (IAG) equipment and currently is responsible for the management of software and hardware support for the ZAG Facility.
This paper discusses the Interactive Graphics System used by the General Electric Company, Medium Steam Turbine Department (engineering & Manufacturing) for designing, drafting, and manufacturing applications. A b...
来源: 评论
Enriching and Characterizing T-Cell Repertoires from 3' Barcoded Single-Cell Whole Transcriptome Amplification Products
arXiv
收藏 引用
arXiv 2022年
作者: Jivanjee, Tasneem Ibrahim, Samira Nyquist, Sarah K. James Gatter, G. Bromley, Joshua D. Jaiswal, Swati Berger, Bonnie Behar, Samuel M. Christopher Love, J. Shalek, Alex K. Institute for Medical Engineering & Science Department of Chemistry Massachusetts Institute of Technology CambridgeMA United States Koch Institute for Integrative Cancer Research Massachusetts Institute of Technology CambridgeMA United States Ragon Institute of MGH MIT and Harvard CambridgeMA United States Broad Institute of MIT and Harvard CambridgeMA United States Massachusetts Institute of Technology CambridgeMA United States Program in Computational and Systems Biology Massachusetts Institute of Technology CambridgeMA United States Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology CambridgeMA United States Microbiology Graduate Program Massachusetts Institute of Technology CambridgeMA02139 United States Department of Microbiology and Physiological Systems University of Massachusetts Medical School WorcesterMA United States Department of Mathematics Massachusetts Institute of Technology CambridgeMA United States Department of Chemical Engineering Massachusetts Institute of Technology CambridgeMA United States
Antigen-specific T cells play an essential role in immunoregulation and many diseases such as cancer. Characterizing the T cell receptor (TCR) sequences that encode T cell specificity is critical for elucidating the a... 详细信息
来源: 评论