咨询与建议

限定检索结果

文献类型

  • 12 篇 会议
  • 4 篇 期刊文献
  • 1 册 图书

馆藏范围

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

日期分布

学科分类号

  • 13 篇 工学
    • 10 篇 计算机科学与技术...
    • 8 篇 软件工程
    • 2 篇 土木工程
    • 1 篇 电子科学与技术(可...
    • 1 篇 环境科学与工程(可...
    • 1 篇 生物工程
    • 1 篇 安全科学与工程
  • 4 篇 理学
    • 2 篇 生物学
    • 1 篇 数学
  • 2 篇 管理学
    • 1 篇 管理科学与工程(可...
    • 1 篇 图书情报与档案管...
  • 1 篇 医学
    • 1 篇 基础医学(可授医学...
    • 1 篇 临床医学

主题

  • 2 篇 static analysis
  • 1 篇 measurement scie...
  • 1 篇 atmospheric scie...
  • 1 篇 simulation
  • 1 篇 physical chemist...
  • 1 篇 ontologies
  • 1 篇 pervasive comput...
  • 1 篇 hazards
  • 1 篇 atmospheric prot...
  • 1 篇 multiagent syste...
  • 1 篇 petri nets
  • 1 篇 reusability
  • 1 篇 user centered de...
  • 1 篇 computational mo...
  • 1 篇 ieee 802.16
  • 1 篇 resource descrip...
  • 1 篇 leisure
  • 1 篇 design engineeri...
  • 1 篇 computers
  • 1 篇 biotic

机构

  • 4 篇 modelling and so...
  • 3 篇 modelling and so...
  • 1 篇 national environ...
  • 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 篇 pharmaceutical s...
  • 1 篇 department of el...
  • 1 篇 institute of phy...
  • 1 篇 department of bi...
  • 1 篇 institute for ex...
  • 1 篇 department of bi...

作者

  • 8 篇 de lara juan
  • 5 篇 guerra esther
  • 4 篇 cuadrado jesús s...
  • 2 篇 pérez-soler sara
  • 1 篇 schölkopf bernha...
  • 1 篇 perez-acle t.
  • 1 篇 holmes edward c.
  • 1 篇 cheatham t.e.
  • 1 篇 fraser christoph...
  • 1 篇 gómez-martínez e...
  • 1 篇 perez a.
  • 1 篇 kuo-ming chao
  • 1 篇 angel mora segur...
  • 1 篇 de groot b.
  • 1 篇 tuñón i.
  • 1 篇 kingori patricia
  • 1 篇 cauchemez simon
  • 1 篇 nazaraf hussain ...
  • 1 篇 unwin h. juliett...
  • 1 篇 welborn v.v.

语言

  • 17 篇 英文
检索条件"机构=Modelling and Software Engineering Research Group"
17 条 记 录,以下是1-10 订阅
排序:
Towards a Deep Learning Architecture for software Models: An Initial Exploration  26
Towards a Deep Learning Architecture for Software Models: An...
收藏 引用
26es Jornadas de Ingenieria del software y Bases de Datos, JISBD 2022 - 26th Conference on software engineering and Databases, JISBD 2022
作者: Mata, Luis Guerra, Esther de Lara, Juan Modelling & Software Engineering Research Group Universidad Autónoma de Madrid Spain
As in many other research areas, the use of Deep Learning (DL) techniques is growing in software engineering. However, these techniques are not yet widespread in the Model-Driven engineering (MDE) field. In this paper... 详细信息
来源: 评论
Extensible Structural Analysis of Petri Net Product Lines  40th
Extensible Structural Analysis of Petri Net Product Lines
收藏 引用
40th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2019, and 19th International Conference on Application of Concurrency to System Design, ACSD 2019
作者: Gómez-Martínez, Elena de Lara, Juan Guerra, Esther Modelling and Software Engineering Research Group Universidad Autónoma de Madrid C/ Francisco y Valiente 11 Madrid28049 Spain
Petri nets are a popular formalism to represent concurrent systems. However, their standard form does not offer variability support to model and effectively analyse large sets of variants of a given system. For this p... 详细信息
来源: 评论
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...
来源: 评论
JAVACHECK: A domain specific language for the static analysis of Java code
JAVACHECK: A domain specific language for the static analysi...
收藏 引用
2017 MODELS Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student research Competition, and Tools and Demonstrations, MODEL-SSE 2017
作者: Pérez-Soler, Sara De Lara, Juan Modelling and Software Engineering Research Group Computer Science Department Universidad Autónoma de Madrid Spain
The increasing complexity of software systems has raised the need for code analysis tools to assess its quality. However, these tools offer predefined metrics or evaluation criteria, which are frequently hard to exten... 详细信息
来源: 评论
Assisted modelling over social networks with SOCIO
Assisted modelling over social networks with SOCIO
收藏 引用
2017 MODELS Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student research Competition, and Tools and Demonstrations, MODEL-SSE 2017
作者: Pérez-Soler, Sara Guerra, Esther De Lara, Juan Modelling and Software Engineering Research Group Computer Science Department Universidad Autónoma de Madrid Spain
Social networks are intensively used nowadays for both leisure and work. They have become a natural communication mechanism which helps users in coordinating and collaborating in their daily life activities. To profit... 详细信息
来源: 评论
The need to implement FAIR principles in biomolecular simulations
arXiv
收藏 引用
arXiv 2024年
作者: Amaro, R. Åqvist, J. Bahar, I. Battistini, F. Bellaiche, A. Beltran, D. Biggin, P.C. Bonomi, M. Bowman, G.R. Bryce, R. Bussi, G. Carloni, P. Case, D. Cavalli, A. Chang, C.A. Cheatham, T.E. Cheung, M.S. Chipot, C. Chong, L.T. Choudhary, P. Cisneros, G.A. Clementi, C. Collepardo-Guevara, R. Coveney, P. Covino, R. Crawford, T.D. Dal Peraro, M. de Groot, B. Delemotte, L. De Vivo, M. Essex, J. Fraternali, F. Gao, J. Gelpí, J.L. Gervasio, F.L. Gonzalez-Nilo, F.D. Grubmüller, H. Guenza, M.G. Guzman, H.V. Harris, S. Head-Gordon, T. Hernandez, R. Hospital, A. Huang, N. Huang, X. Hummer, G. Iglesias-Fernández, J. Jensen, J.H. Jha, S. Jiao, W. Jorgensen, W.L. Kamerlin, S.C.L. Khalid, S. Laughton, C. Levitt, M. Limongelli, V. Lindahl, E. Lindorff-Larsen, K. Loverde, S. Lundborg, M. Luo, Y.L. Luque, F.J. Lynch, C.I. MacKerell, A. Magistrato, A. Marrink, S.J. Martin, H. McCammon, J.A. Merz, K. Moliner, V. Mulholland, A. Murad, S. Naganathan, A.N. Nangia, S. Noe, F. Noy, A. Oláh, J. O'Mara, M. Ondrechen, M.J. Onuchic, J.N. Onufriev, A. Osuna, S. Palermo, G. Panchenko, A.R. Pantano, S. Parish, C. Parrinello, M. Perez, A. Perez-Acle, T. Perilla, J.R. Pettitt, B.M. Pietropaolo, A. Piquemal, J.-P. Poma, A. Praprotnik, M. Ramos, M.J. Ren, P. Reuter, N. Roitberg, A. Rosta, E. Rovira, C. Roux, B. Röthlisberger, U. Sanbonmatsu, K. Schlick, T. Shaytan, A.K. Simmerling, C. Smith, J.C. Sugita, Y. Świderek, K. Taiji, M. Tao, P. Tikhonova, I.G. Tirado-Rives, J. Tuñón, I. Van Der Kamp, M.W. Van der Spoel, D. Velankar, S. Voth, G.A. Wade, R. Warshel, A. Welborn, V.V. Wetmore, S. Wong, C.F. Yang, L.-W. Zacharias, M. Orozco, M. Department of Molecular Biology University of California San DiegoCA United States Department of Cell and Molecular Biology Uppsala University Uppsala Sweden Laufer Center for Physical and Quantitative Biology Renaissance School of Medicine Stony Brook University Stony BrookNY United States Department of Biochemistry and Cell Biology Renaissance School of Medicine Stony Brook University Stony BrookNY United States Barcelona Spain European Molecular Biology Laboratory European Bioinformatics Institute Hinxton United Kingdom Structural Bioinformatics and Computational Biochemistry Department of Biochemistry University of Oxford Oxford United Kingdom Institut Pasteur Université Paris Cité CNRS UMR 3528 Computational Structural Biology Unit Paris France Department of Biochemistry and Biophysics University of Pennsylvania PhiladelphiaPA United States Division of Pharmacy and Optometry University of Manchester Manchester United Kingdom Scuola Internazionale Superiore di Studi Avanzati-SISSA Trieste Italy Computational Biomedicine Institute of Advanced Simulations IAS-5 Institute for Neuroscience and Medicine INM-9 Forschungszentrum Jülich GmbH Jülich Germany Department of Physics and Universitätsklinikum RWTH Aachen University Aachen Germany Department of Chemistry & Chemical Biology Rutgers University PiscatawayNJ United States Istituto Italiano di Tecnologia Drug Discovery and Development Bologna Italy Lausanne Switzerland Department of Chemistry University of California RiversideCA United States Department of Medicinal Chemistry College of Pharmacy University of Utah Salt Lake CityUT United States Department of Physics University of Washington SeattleWA United States Pacific Northwest National Laboratory RichlandWA United States LIA CNRS-UIUC UMR n°7019 Université de Lorraine Vandœuvre-lès-Nancy France Department of Physics University of Illinois at Urbana-Champaign UrbanaIL United States Department of Biochemistry and Molecular Biol
The communities that embraced data archiving efforts decades ago are now, in the era of data-driven biology, those gaining the most from the AI revolution. The structural biology community was a pioneer in this regard... 详细信息
来源: 评论
An Extensible Meta-modelling Assistant
An Extensible Meta-Modelling Assistant
收藏 引用
International Conference on Enterprise Distributed Object Computing (EDOC)
作者: Angel Mora Segura Ana Pescador Juan de Lara Manuel Wimmer Modelling and Software Engineering Research Group Universidad Autónoma de Madrid Spain Business Informatics Group TU Wien Austria
Meta-models play a pivotal role in Model-Driven engineering (MDE). They are used to create domain-specific models, and to type model management operations like model transformations or code generators. However, even t... 详细信息
来源: 评论
Recursion and Iteration support in USE validator with AnATLyzer  15
Recursion and Iteration support in USE validator with AnATLy...
收藏 引用
15th International Workshop on OCL and Textual Modeling, OCL 2015
作者: Cuadrado, Jesús Sánchez Modelling and Software Engineering Research Group Universidad Autónoma de Madrid Spain
Model finders enable numerous verification approaches based on searching the existence of models satisfying certain properties of interest. One of such approaches is AnATLyzer, a static analysis tool for ATL transform... 详细信息
来源: 评论
Reusable model transformation components with bentō  8th
收藏 引用
8th International Conference on Theory and Practice of Model Transformations, ICMT 2015
作者: Cuadrado, Jesús Sánchez Guerra, Esther de Lara, Juan Modelling and Software Engineering Research Group Universidad Autónoma de Madrid Madrid Spain
Building high-quality transformations that can be used in real projects is complex and time-consuming. For this reason, the ability to reuse existing transformations in different, unforeseen scenarios is very valuable... 详细信息
来源: 评论
Building MDE cloud services with DISTIL  3
Building MDE cloud services with DISTIL
收藏 引用
3rd International Workshop on Model-Driven engineering on and for the Cloud, CloudMDE 2015
作者: Manzanares, Carlos Carrascal Cuadrado, Jesús Sánchez De Lara, Juan Modelling and Software Engineering Research Group Computer Science Department Universidad Autónoma de Madrid Spain
Model-Driven engineering (MDE) techniques, like transformations, queries, and code generators, were devised for local, single-CPU architectures. However, the increasing complexity of the systems to be built and their ... 详细信息
来源: 评论