咨询与建议

限定检索结果

文献类型

  • 7 篇 会议
  • 5 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 8 篇 工学
    • 3 篇 计算机科学与技术...
    • 3 篇 安全科学与工程
    • 2 篇 电子科学与技术(可...
    • 2 篇 信息与通信工程
    • 2 篇 土木工程
    • 2 篇 航空宇航科学与技...
    • 1 篇 船舶与海洋工程
  • 3 篇 理学
    • 1 篇 数学
    • 1 篇 海洋科学
    • 1 篇 系统科学
  • 1 篇 医学
    • 1 篇 基础医学(可授医学...
    • 1 篇 临床医学
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...
    • 1 篇 工商管理
    • 1 篇 图书情报与档案管...

主题

  • 2 篇 grid computing
  • 1 篇 on-board process...
  • 1 篇 quantum computin...
  • 1 篇 frame relay
  • 1 篇 application soft...
  • 1 篇 naval architectu...
  • 1 篇 quality attribut...
  • 1 篇 real time system...
  • 1 篇 software archite...
  • 1 篇 pervasive comput...
  • 1 篇 hazards
  • 1 篇 multiagent syste...
  • 1 篇 standards organi...
  • 1 篇 user centered de...
  • 1 篇 computational mo...
  • 1 篇 hybrid networks
  • 1 篇 design engineeri...
  • 1 篇 bisdn
  • 1 篇 standards develo...
  • 1 篇 mathematics

机构

  • 2 篇 software and sol...
  • 2 篇 an m.a. in mathe...
  • 2 篇 received his b.s...
  • 2 篇 solutions for re...
  • 2 篇 faculty of mathe...
  • 2 篇 high performance...
  • 1 篇 school of cognit...
  • 1 篇 department of ps...
  • 1 篇 neural basis of ...
  • 1 篇 school of mathem...
  • 1 篇 informatics univ...
  • 1 篇 sorbonne univers...
  • 1 篇 sapienza univers...
  • 1 篇 laboratory for c...
  • 1 篇 software enginee...
  • 1 篇 centre for neura...
  • 1 篇 department of ps...
  • 1 篇 institute of phy...
  • 1 篇 department of bi...
  • 1 篇 institute for ex...

作者

  • 2 篇 tichy matthias
  • 2 篇 steenken dominik
  • 2 篇 chitre dm
  • 2 篇 priesterjahn cla...
  • 1 篇 schölkopf bernha...
  • 1 篇 holmes edward c.
  • 1 篇 fraser christoph...
  • 1 篇 kuo-ming chao
  • 1 篇 c. cacciari
  • 1 篇 kingori patricia
  • 1 篇 cauchemez simon
  • 1 篇 mallmann daniel
  • 1 篇 nazaraf hussain ...
  • 1 篇 unwin h. juliett...
  • 1 篇 bala piotr
  • 1 篇 michael goedicke
  • 1 篇 dasgupta abhishe...
  • 1 篇 borcz m.
  • 1 篇 lukichev alexand...
  • 1 篇 kraemer moritz u...

语言

  • 10 篇 英文
  • 2 篇 其他
检索条件"机构=Research Group Specification and Modelling of Software Systems"
12 条 记 录,以下是1-10 订阅
排序:
Artificial intelligence for modelling infectious disease epidemics
收藏 引用
Nature 2025年 第8051期638卷 623-635页
作者: Kraemer, Moritz U. G. Tsui, Joseph L.-H. Chang, Serina Y. Lytras, Spyros Khurana, Mark P. Vanderslott, Samantha Bajaj, Sumali Scheidwasser, Neil Curran-Sebastian, Jacob Liam Semenova, Elizaveta Zhang, Mengyan Unwin, H. Juliette T. Watson, Oliver J. Mills, Cathal Dasgupta, Abhishek Ferretti, Luca Scarpino, Samuel V. Koua, Etien Morgan, Oliver Tegally, Houriiyah Paquet, Ulrich Moutsianas, Loukas Fraser, Christophe Ferguson, Neil M. Topol, Eric J. Duchêne, David A. Stadler, Tanja Kingori, Patricia Parker, Michael J. Dominici, Francesca Shadbolt, Nigel Suchard, Marc A. Ratmann, Oliver Flaxman, Seth Holmes, Edward C. Gomez-Rodriguez, Manuel Schölkopf, Bernhard Donnelly, Christl A. Pybus, Oliver G. Cauchemez, Simon Bhatt, Samir Pandemic Sciences Institute University of Oxford Oxford United Kingdom Department of Biology University of Oxford Oxford United Kingdom Department of Electrical Engineering and Computer Science University of California Berkeley Berkeley CA United States UCSF UC Berkeley Joint Program in Computational Precision Health Berkeley CA United States Division of Systems Virology Department of Microbiology and Immunology The Institute of Medical Science The University of Tokyo Tokyo Japan Section of Epidemiology Department of Public Health University of Copenhagen Copenhagen Denmark Oxford Vaccine Group University of Oxford and NIHR Oxford Biomedical Research Centre Oxford United Kingdom Department of Epidemiology and Biostatistics Imperial College London London United Kingdom Department of Computer Science University of Oxford Oxford United Kingdom School of Mathematics University of Bristol Bristol United Kingdom MRC Centre for Global Infectious Disease Analysis School of Public Health Imperial College London London United Kingdom Department of Statistics University of Oxford Oxford United Kingdom Doctoral Training Centre University of Oxford Oxford United Kingdom Institute for Experiential AI Northeastern University MA Boston Thailand Santa Fe Institute Santa Fe NM United States World Health Organization Regional Office for Africa Brazzaville Congo WHO Hub for Pandemic and Epidemic Intelligence Health Emergencies Programme World Health Organization Berlin Germany Centre for Epidemic Response and Innovation (CERI) School for Data Science and Computational Thinking Stellenbosch University Stellenbosch South Africa African Institute for Mathematical Sciences (AIMS) South Africa Muizenberg Cape Town South Africa Genomics England London United Kingdom Scripps Research La Jolla CA United States Department of Biosystems Science and Engineering ETH Zürich Basel Switzerland Swiss Institute of Bioinformatics Lausanne Switzerland The Ethox Centre Nuffield
Infectious disease threats to individual and public health are numerous, varied and frequently unexpected. Artificial intelligence (AI) and related technologies, which are already supporting human decision making in e...
来源: 评论
1st Workshop on VAriability for QUalIties in software Architecture (VAQUITA): Workshop Introduction  15
1st Workshop on VAriability for QUalIties in SofTware Archit...
收藏 引用
Proceedings of the 2015 European Conference on software Architecture Workshops
作者: Azadeh Alebrahim Stephan Faßbender Martin Filipczyk Michael Goedicke Maritta Heisel Uwe Zdun paluno - The Ruhr Institute for Software Technology Working group Software Engineering University of Duisburg-Essen Germany paluno - The Ruhr Institute for Software Technology Working group Specification of Software Systems University of Duisburg-Essen Germany Research Group Software Architecture University of Vienna
No abstract available.
来源: 评论
26th Annual Computational Neuroscience Meeting (CNS*2017): Part 3 Antwerp, Belgium. 15-20 July 2017 Abstracts
收藏 引用
BMC NEUROSCIENCE 2017年 第SUPPL 1期18卷 95-176页
作者: [Anonymous] Department of Neuroscience Yale University New Haven CT 06520 USA Department Physiology & Pharmacology SUNY Downstate Brooklyn NY 11203 USA NYU School of Engineering 6 MetroTech Center Brooklyn NY 11201 USA Departament de Matemàtica Aplicada Universitat Politècnica de Catalunya Barcelona 08028 Spain Institut de Neurobiologie de la Méditerrannée (INMED) INSERM UMR901 Aix-Marseille Univ Marseille France Center of Neural Science New York University New York NY USA Aix-Marseille Univ INSERM INS Inst Neurosci Syst Marseille France Laboratoire de Physique Théorique et Modélisation CNRS UMR 8089 Université de Cergy-Pontoise 95300 Cergy-Pontoise Cedex France Department of Mathematics and Computer Science ENSAT Abdelmalek Essaadi’s University Tangier Morocco Laboratory of Natural Computation Department of Information and Electrical Engineering and Applied Mathematics University of Salerno 84084 Fisciano SA Italy Department of Medicine University of Salerno 84083 Lancusi SA Italy Dipartimento di Fisica Università degli Studi Aldo Moro Bari and INFN Sezione Di Bari Italy Data Analysis Department Ghent University Ghent Belgium Coma Science Group University of Liège Liège Belgium Cruces Hospital and Ikerbasque Research Center Bilbao Spain BIOtech Department of Industrial Engineering University of Trento and IRCS-PAT FBK 38010 Trento Italy Department of Data Analysis Ghent University Ghent 9000 Belgium The Wellcome Trust Centre for Neuroimaging University College London London WC1N 3BG UK Department of Electronic Engineering NED University of Engineering and Technology Karachi Pakistan Blue Brain Project École Polytechnique Fédérale de Lausanne Lausanne Switzerland Departement of Mathematics Swansea University Swansea Wales UK Laboratory for Topology and Neuroscience at the Brain Mind Institute École polytechnique fédérale de Lausanne Lausanne Switzerland Institute of Mathematics University of Aberdeen Aberdeen Scotland UK Department of Integrativ
来源: 评论
Timed hazard analysis of self-healing systems
Timed hazard analysis of self-healing systems
收藏 引用
ESEC/FSE 2011 Workshop on Assurances for Self-Adaptive systems, ASAS 2011
作者: Priesterjahn, Claudia Steenken, Dominik Tichy, Matthias Heinz Nixdorf Institute Software Engineering Group University of Paderborn Germany Research Group Specification and Modelling of Software Systems Department of Computer Science University of Paderborn Germany Software Engineering Division Chalmers University of Technology University of Gothenburg Sweden
Self-healing can be used to reduce hazards in embedded real-time systems which are applied in safety-critical environments. These systems may react to failures by a structural reconfiguration of the architecture durin... 详细信息
来源: 评论
Component-based timed hazard analysis of self-healing systems
Component-based timed hazard analysis of self-healing system...
收藏 引用
8th Workshop on Assurances for Self-Adaptive systems, ASAS'11
作者: Priesterjahn, Claudia Steenken, Dominik Tichy, Matthias Heinz Nixdorf Institute Department of Computer Science University of Paderborn Warburger Str. 100 Paderborn Germany Research Group Specification and Modelling of Software Systems Department of Computer Science University of Paderborn Warburger Str. 100 Paderborn Germany Organic Computing University of Augsburg Universitätsstr. 6a Augsburg Germany
Today, self-healing is increasingly used in embedded real-time systems, that are applied in safety-critical environments, to reduce hazards. These systems implement self-healing by reconfiguration, i.e., the exchange ... 详细信息
来源: 评论
Model-driven development with mechatronic UML
收藏 引用
Lecture Notes in Computer Science
作者: Schäfer, Wilhelm Wehrheim, Heike Heinz Nixdorf Institute Software Engineering Group University of Paderborn Warburger Str. 100 Paderborn 33098 Germany Specification and Modelling of Software Systems Department of Computer Science University of Paderborn Warburger Str. 100 Paderborn 33098 Germany
Today, mechanical engineering products can largely be classified as mechatronic systems, i.e. systems integrating electrical and mechanical components with software. Mechatronic systems are often employed in safety-cr... 详细信息
来源: 评论
A User-Centred Design Approach For Agent Based E-Business systems
A User-Centred Design Approach For Agent Based E-Business Sy...
收藏 引用
IEEE International Conference on e-Business Engineering (ICEBE)
作者: Rahat Iqbal Nazaraf Hussain Shah Kuo-ming Chao Anne James Distributed Systems and Modelling Research Group Faculty of Engineering and Computing Coventry University UK Software Engineering Research Group Sheffield Hallam University Sheffield UK
An important aspect of designing for ubiquitous e-business applications is addressing the issues concerning user requirements and culture in which the system is to be deployed. The value of ethnographic analysis in th... 详细信息
来源: 评论
GridBeans: Supporting e-Science and grid applications
GridBeans: Supporting e-Science and grid applications
收藏 引用
e-Science 2006 - 2nd IEEE International Conference on e-Science and Grid Computing
作者: Ratering, Ralf Lukichev, Alexander Vanni, A. Cacciari, C. Lanzarini, S. Bala, Piotr Riedel, Morris Mallmann, Daniel Benedyczak, K. Borcz, M. Kluszcynski, R. Ohme, Gert Software and Solutions Group Intel Corporation High Performance Computing Department CINECA Italy Interdiscipl. Center for Mathem. and Comp. Modelling Warsaw University Poland Central Institute of Applied Mathematics Research Centre Juelich Germany Faculty of Mathematics and Computer Science Torun Nicolaus Copernicus University Poland Solutions for Research T-Systems Corporation
Large-scale scientific research often relies on the collaborative use of Grid and e-Science infrastructures that provide computational or storage related resources. One of the ideas of these modern infrastructures is ... 详细信息
来源: 评论
GridBeans: Support e-Science and Grid Applications
GridBeans: Support e-Science and Grid Applications
收藏 引用
IEEE International Conference on e-Science and Grid Computing
作者: Ralf Ratering Alexander Lukichev Morris Riedel Daniel Mallmann A. Vanni C. Cacciari S. Lanzarini K. Benedyczak M. Borcz R. Kluszcynski Piotr Bala Gert Ohme Software and Solutions Group Intel Corporation USA Research Centre Juelich Central Institute of Applied Mathematics Germany High Performance Computing Department CINECA Italy Faculty of Mathematics and Computer Science Torun Nicolaus Copernicus University Poland Interdiscipl. Center for Mathem. and Comp Modelling Warsaw University of Technology Poland Solutions for Research T-Systems Corporation USA
Large-scale scientific research often relies on the collaborative use of Grid and e-Science infrastructures that provide computational or storage related resources. One of the ideas of these modern infrastructures is ... 详细信息
来源: 评论
The UK virtual ship - The way forward?
收藏 引用
NAVAL ENGINEERS JOURNAL 2000年 第1期112卷 53-58页
作者: Anderson, T Tony Anderson: joined the Sonar department of what was then the Admiralty Underwater Weapons Establishment on Portland in 1978. His earliest work involved the design and development of an integrated software environment to help research into submarine command tools based on MASCOT and using various networks including DEF STAN 1553B to provide the means of communication between different computers. The research into command aids involved him in their design and development using artificial intelligence techniques and expert systems which was employed in the development of a passive sonar classification system. With a move in 1989 to the Weapons and Countermeasures department he found himself in the studies area where he took the technical lead in the specification of a new modelling environment for both above and below water studies based on the Object Oriented design methodology. He then took a break from the technical side to support his departmental head as his Management Support Officer dealing with financial quality and staffing issues. In October 1996 he was asked by Director Sea Systems to take the technical lead in the development of the virtual ship concept.
The UK is about to embark on the development of a virtual ship to support both current and future ships and submarines during their lifetimes. This paper describes the background as to why the UK is considering this o... 详细信息
来源: 评论