咨询与建议

限定检索结果

文献类型

  • 198 篇 期刊文献
  • 190 篇 会议
  • 3 册 图书

馆藏范围

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

日期分布

学科分类号

  • 209 篇 工学
    • 131 篇 计算机科学与技术...
    • 106 篇 软件工程
    • 25 篇 信息与通信工程
    • 25 篇 生物医学工程(可授...
    • 24 篇 控制科学与工程
    • 23 篇 电气工程
    • 17 篇 电子科学与技术(可...
    • 15 篇 光学工程
    • 14 篇 生物工程
    • 13 篇 化学工程与技术
    • 12 篇 土木工程
    • 10 篇 力学(可授工学、理...
    • 9 篇 材料科学与工程(可...
    • 8 篇 船舶与海洋工程
    • 8 篇 安全科学与工程
    • 7 篇 机械工程
  • 162 篇 理学
    • 96 篇 数学
    • 38 篇 物理学
    • 28 篇 统计学(可授理学、...
    • 22 篇 生物学
    • 19 篇 系统科学
    • 18 篇 化学
  • 63 篇 管理学
    • 43 篇 管理科学与工程(可...
    • 26 篇 工商管理
    • 23 篇 图书情报与档案管...
  • 28 篇 医学
    • 20 篇 临床医学
    • 15 篇 基础医学(可授医学...
    • 11 篇 公共卫生与预防医...
  • 13 篇 经济学
    • 13 篇 应用经济学
  • 7 篇 法学
    • 7 篇 社会学
  • 5 篇 教育学
  • 3 篇 农学
  • 2 篇 军事学

主题

  • 12 篇 computer science
  • 8 篇 positrons
  • 6 篇 computational mo...
  • 6 篇 semantics
  • 5 篇 power engineerin...
  • 5 篇 petri nets
  • 5 篇 automata
  • 5 篇 polynomials
  • 5 篇 artificial intel...
  • 4 篇 polarization
  • 4 篇 hidden markov mo...
  • 4 篇 informatics
  • 4 篇 education
  • 4 篇 laboratories
  • 4 篇 optimization
  • 4 篇 data mining
  • 4 篇 contrastive lear...
  • 4 篇 real-time system...
  • 4 篇 production
  • 4 篇 computers

机构

  • 15 篇 beijing key labo...
  • 12 篇 gaoling school o...
  • 9 篇 department of so...
  • 8 篇 faculty of physi...
  • 8 篇 institute for fo...
  • 8 篇 pedagogical univ...
  • 8 篇 department of nu...
  • 7 篇 agh university o...
  • 7 篇 department of ap...
  • 7 篇 gamf faculty of ...
  • 7 篇 infn laboratori ...
  • 6 篇 department of ph...
  • 6 篇 university of ch...
  • 5 篇 budapest busines...
  • 5 篇 faculty of physi...
  • 5 篇 institute of ele...
  • 5 篇 high energy depa...
  • 5 篇 institute of com...
  • 5 篇 department of nu...
  • 5 篇 school of comput...

作者

  • 12 篇 dulski k.
  • 12 篇 kubicz e.
  • 12 篇 kozik t.
  • 12 篇 korcyl g.
  • 12 篇 moskal p.
  • 12 篇 silarski m.
  • 12 篇 gorgol m.
  • 12 篇 marek r. ogiela
  • 12 篇 gajos a.
  • 11 篇 skurzok m.
  • 11 篇 kowalski p.
  • 11 篇 hiesmayr b.c.
  • 11 篇 sharma s.
  • 11 篇 curceanu c.
  • 11 篇 rudy z.
  • 10 篇 tomasz hachaj
  • 10 篇 shopa r.y.
  • 10 篇 kisielewska d.
  • 10 篇 krawczyk n.
  • 10 篇 mohammed m.

语言

  • 330 篇 英文
  • 59 篇 其他
  • 1 篇 德文
  • 1 篇 俄文
  • 1 篇 中文
检索条件"机构=Institute of Computer Science and Computer Methods"
391 条 记 录,以下是331-340 订阅
排序:
Diversity and Progression among Students Starting Social Work Qualifying Programmes in England between 1995 and 1998: A Quantitative Study
收藏 引用
BRITISH JOURNAL OF SOCIAL WORK 2008年 第8期38卷 1588-1609页
作者: Hussein, Shereen Moriarty, Jo Manthorpe, Jill Huxley, Peter Shereen Hussein is a Research Fellow for SCWRU following doctoral studies at the London School of Economics and Masters studies at the London School of Hygiene and Tropical Science. She is a Demographer with a background in statistics and computer science. She is experienced in quantitative research techniques and applied statistics methods in demography and population studies. She is particularly interested in demographic factors affecting social care workforce as well as international variations in handling the global demographic changes. She also has experience in marriage and family dynamics and relationships between cultural diversity and social care needs. Jo Moriarty is a Research Fellow at the Social Care Workforce Research Unit. She has undertaken a series of studies looking at community care services with a particular interest in services for older people with dementia and their carers and people from minority ethnic groups. Jill Manthorpe is Co-Director of SCWRU with a background in university social work and health professional training at pre- and post-qualifying levels. She has undertaken a range of research studies in areas of community care adult protection professional training and risk. She has published widely with recent books on social policy inquiries abuse and students’ mental health. Her particular interests are in social gerontology and she has undertaken a range of research into older people’s services for voluntary groups local providers and national bodies. Peter Huxley is a qualified social worker with practice experience in child and adult mental health settings. He also has management and Board-level experience in adult mental health and social care services. He is Professor of Social Work Head of the Section of Social Work and Social Care and Deputy Head of Department in the Health Services Research Department at the Institute of Psychiatry at Kings College and Director of SCWRU. He recently completed a national survey of the mental health social work workforce in England
There has been no large-scale study looking at the proportion of social work students in the UK who achieve the professional qualification, although there is some evidence that different groups experience different ra... 详细信息
来源: 评论
A Study On Iterative Learning Control With Adjustment Of Learning Interval For Monotone Convergence In The Sense Of Sup-Norm
收藏 引用
Asian Journal of Control 2008年 第1期4卷
作者: Kwang-Hyun Park Zeungnam Bien Division of EE Department of EECS Korea Advanced Institute of Science and Technology 373–1 Kusong-dong Yusong-gu Taejon 305–701 Korea. Zeungname Bien:received the B.S. degree in electronics engineering from Seoul National University Seoul Korea in 1969 and the M.S. and Ph.D. degrees in electrical engineering from the University of Iowa Iowa City Iowa U.S.A. in 1972 and 1975 respectively. During 1976–1977 academic years he taught as assistant professor at the Department of Electrical Engineering University of Iowa. Then Dr. Bien joined Korea Advanced Institute of Science and Technology summer 1977 and is now Professor of Control Engineering at the Department of Electrical Engineering and Computer Science KAIST. Dr. Bien was the president of the Korea Fuzzy Logic and Intelligent Systems Society during 1990–1995 and also the general chair of IFSA World Congress 1993 and for FUZZ-IEEE99 respectively. He is currently co-Editor-in-Chief for International Journal of Fuzzy Systems (IJFS) Associate Editor for IEEE Transactions on Fuzzy Systems and a regional editor for the International Journal of Intelligent Automation and Soft Computing. He has been serving as Vice President for IFSA since 1997 and is now Chief Chairman of Institute of Electronics Engineers of Korea and Director of Humanfriendly Welfare Robot System Research Center. His current research interests include intelligent control methods with emphasis on fuzzy logic systems service robotics and rehabilitation engineering and large-scale industrial control systems. Kwang-Hyun Park:received the B.S. M.S. and Ph.D. degrees in electrical engineering and computer science from KAIST Korea in 1994 19997 and 2001 respectively. He is now a researcher at Human-friendly Welfare Robot System Research Center. His research interests include learning control machine learning human-friendly interfaces and service robotics.
It has been found that some huge overshoot in the sense of sup-norm may be observed when typical iterative learning control (ILC) algorithms are applied to LTI systems, even though monotone convergence in the sense of... 详细信息
来源: 评论
Coordination and self-organization in multiagent systems
Coordination and self-organization in multiagent systems
收藏 引用
ISDA 2006: Sixth International Conference on Intelligent Systems Design and Applications
作者: Ciobanu, Gabriel Formal Methods Laboratory Institute of Computer Science Romanian Academy 700505 Iasi Romania
We consider a system of agents as a layer between services and the network hosts. We present a self-organizing system of agents able to offer services with an increase of the speed, and decrease of the network traffic... 详细信息
来源: 评论
Reachability analysis of multithreaded software with asynchronous communication
Reachability analysis of multithreaded software with asynchr...
收藏 引用
Software Verification: Infinite-State Model Checking and Static Program Analysis 2006
作者: Bouajjani, Ahmed Esparza, Javier Schwoon, Stefan Strejček, Jan LIAFA University of Paris 7 France Institute for Formal Methods in Computer Science University of Stuttgart Germany
We introduce asynchronous dynamic pushdown networks (ADPN), a new model for multithreaded programs in which pushdown systems communicate via shared memory. ADPN generalizes both CPS (concurrent pushdown systems) [QR05... 详细信息
来源: 评论
Integrating probability with time and shared-variable concurrency
Integrating probability with time and shared-variable concur...
收藏 引用
30th Annual NASA/IEEE Software Engineering Workshop
作者: Zhu, Huibiao Qin, Shengchao He, Jifeng Bowen, Jonathan P. Software Engineering Institute East China Normal University Department of Computer Science University of Durham Centre for Applied Formal Methods London South Bank University
Complex software systems typically involve-features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formalize languages comprising all these featu... 详细信息
来源: 评论
Nonlinear models of artery dynamics
Nonlinear models of artery dynamics
收藏 引用
2005 7th International Workshop on Mathematical methods on Scattering Theory and Biomedical Engineering
作者: Kalita, Piotr Paszyński, Maciej Schaefer, Robert Institute of Computer Science Jagiellonian University Nawojki 11 30-072 Kraków Poland Department of Computer Methods in Metallurgy AGH University of Science and Technology Al. Mickiewicza 30 30-059 Kraków Poland Department of Computer Science AGH University of Science and Technology Al. Mickiewicza 30 30-059 Kraków Poland
The paper focuses on the models that express the phenomenon of pulse wave propagation in the human arterial system. Physical nonlinearities in both wall and blood tissues were included. Models are theoretically verifi... 详细信息
来源: 评论
SemWiki: a RESTful distributed Wiki architecture  06
SemWiki: a RESTful distributed Wiki architecture
收藏 引用
Proceedings of the 2006 international symposium on Wikis
作者: Max Völkel Institute of Applied Computer Science and Formal Description Methods (AIFB) Karlsruhe Germany
Current Wiki engines are mostly monolithic applications which intermingle parser, user interface and data management backend. In this paper we show how these three components can be realised as lightweight, REST-style... 详细信息
来源: 评论
Fine-grained method and tool integration for better automotive software
Fine-grained method and tool integration for better automoti...
收藏 引用
16th Annual International Symposium of the International Council on Systems Engineering, INCOSE 2006
作者: Altheide, Frank Buhr, Kerstin Doerr, Heiko University of Paderborn Workgroup Database and Information Systems Germany Technical University of Berlin Institute for Software Engineering and Theoretical Computer Science Germany DaimlerChrysler AG Research and Technology Department Methods and Tools Germany
In the automotive field, software development methods and tools are used to cope with the high complexity of automotive software development. However, problems occur with the tracing of information, the assessment and... 详细信息
来源: 评论
Coordination and Self-Organization in MultiAgent Systems
Coordination and Self-Organization in MultiAgent Systems
收藏 引用
International Conference on Intelligent Systems Design and Applications (ISDA)
作者: Gabriel Ciobanu Formal Methods Laboratory Institute of Computer Science Romanian Academy of Sciencies Iasi Romania
We consider a system of agents as a layer between services and the network hosts. We present a self-organizing system of agents able to offer services with an increase of the speed, and decrease of the network traffic... 详细信息
来源: 评论
Parallel-Finite Element Simulations of 3D Resistivity Logging Instruments  13
Parallel-Finite Element Simulations of 3D Resistivity Loggin...
收藏 引用
13th ISPE International Conference on Concurrent Engineering: Research and Applications, CE 2006
作者: Paszyński, Maciej Pardo, David Demkowicz, Leszek Torres-Verdin, Carlos Department of Computer Methods in Metallurgy AGH University of Science and Technology Poland Institute for Computational Engineering and Sciences University of Texas Austin United States Department of Petroleum and Geosystems Engineering University of Texas Austin United States
The electromagnetic (EM) measurements obtained by using one transmitter and one receiver antenna in a borehole environment are simulated. The measurements are used to assess electrical properties of rock formations. F... 详细信息
来源: 评论