检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

19 篇 会议
2 册 图书

馆藏范围

21 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

15 篇 工学
- 11 篇 计算机科学与技术...
- 7 篇 软件工程
- 5 篇 生物医学工程（可授...
- 3 篇 仪器科学与技术
- 1 篇 机械工程
- 1 篇 光学工程
- 1 篇 电气工程
- 1 篇 信息与通信工程
- 1 篇 控制科学与工程
- 1 篇 建筑学
- 1 篇 核科学与技术
- 1 篇 农业工程
- 1 篇 安全科学与工程
7 篇 理学
- 5 篇 数学
- 3 篇 系统科学
- 2 篇 统计学（可授理学、...
- 1 篇 地球物理学
6 篇 医学
- 6 篇 基础医学(可授医学...
- 6 篇 临床医学
- 4 篇 公共卫生与预防医...
- 2 篇 药学(可授医学、理...
4 篇 管理学
- 3 篇 管理科学与工程(可...
- 2 篇 工商管理
- 1 篇 公共管理
1 篇 农学
- 1 篇 作物学

主题

2 篇 covid-19
2 篇 theory of comput...
2 篇 software enginee...
2 篇 machine learning
2 篇 artificial intel...
2 篇 computer systems...
1 篇 access control
1 篇 deep learning
1 篇 emergency medici...
1 篇 continuous time ...
1 篇 big data analyti...
1 篇 information syst...
1 篇 buildings
1 篇 hybrid classific...
1 篇 expert knowledge...
1 篇 data mining
1 篇 diagnosis
1 篇 covid-19 pandemi...
1 篇 processing minin...
1 篇 integer programm...

机构

6 篇 school of comput...
2 篇 university of pi...
1 篇 university of st...
1 篇 process and data...
1 篇 univ oradea fac ...
1 篇 department of ra...
1 篇 university of ed...
1 篇 pius brinzeu eme...
1 篇 isti cnr kdd lab...
1 篇 department of ra...
1 篇 northwestern pol...
1 篇 isti cnr fmt lab...
1 篇 computer science...
1 篇 kano state inst ...
1 篇 victor babes uni...
1 篇 umf timisoara ct...
1 篇 scch softwarepar...
1 篇 isti-cnr pisa
1 篇 dept. of civil e...
1 篇 univ st andrews ...

作者

6 篇 bowles juliana
4 篇 webber thais
2 篇 silvina agastya
2 篇 redeker guilherm...
2 篇 hillston jane
1 篇 ricardo m. czeks...
1 篇 bowles juliana k...
1 篇 milazzo paolo
1 篇 broccia giovanna
1 篇 contreras ricard...
1 篇 ma haonan
1 篇 pan quan
1 篇 baranov eduard
1 篇 petrica alina
1 篇 smola filip
1 篇 given-wilson tho...
1 篇 juliana bowles
1 篇 nanni mirco
1 篇 jiao lianmeng
1 篇 legay axel

语言

21 篇 英文

检索条件"任意字段=9th International Symposium on From Data Models and Back, DataMod 2020"

共 21 条记录，以下是1-10 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

9th international symposium on from data models and back, datamod 2020

9th International Symposium on From Data Models and Back, Da...

引用

9th international symposium on from data models and back, datamod 2020

ISBN: (纸本)9783030706494

the proceedings contain 14 papers. the special focus in this conference is on from data models and back. the topics include: Evaluating Trace Encoding Methods in Process Mining;semantic Annotations in Clinical Guidelines;deriving Performance Measures of Workflow in Radiation therapy from Real-Time data;handshape Classification in a Reverse Dictionary of Sign Languages for the Deaf;exploring Graph-Based Neural Networks for Automatic Brain Tumor Segmentation;STDI-Net: Spatial-Temporal Network with Dynamic Interval Mapping for Bike Sharing Demand Prediction;a Simulation-Based Approach for the Behavioural Analysis of Cancer Pathways;discovering the Impact of Notifications on Social Network Addiction;a Simulation Study on Demand Disruptions and Limited Resources for Healthcare Provision;a Formal Model for Emulating the Generation of Human Knowledge in Semantic Memory;Analysis of COVID-19 data with PRISM: Parameter Estimation and SIR Modelling;a Formal Model for the Simulation and Analysis of Early Biofilm Formation.

关键词：

来源：评论

学校读者我要写书评

暂无评论

datamod2020: 9th international symposium "from data to models and back" 20

DataMod2020: 9th International Symposium "From Data to Model...

引用

29th ACM international Conference on Information and Knowledge Management (CIKM)

作者： Bowles, Juliana Broccia, Giovanna Nanni, Mirco Univ St Andrews St Andrews Fife Scotland ISTI CNR FMT Lab Pisa Italy ISTI CNR KDD Lab Pisa Italy

ISBN: (纸本)9781450368599

datamod 2020 aims to bring together practitioners and researchers from academia, industry and research institutions interested in the combined application of computational modelling methods with data-driven techniques from the areas of knowledge management, data mining and machine learning. Modelling methodologies of interest include automata, agents, Petri nets, process algebras and rewriting systems. Application domains include social systems, ecology, biology, medicine, smart cities, governance, security, education, software engineering, and any other field that deals with complex systems and large amounts of data. Papers can present research results in any of the themes of interest for the symposium as well as application experiences, tools and promising preliminary ideas. Papers dealing with synergistic approaches that integrate modelling and knowledge management/discovery or that exploit knowledge management/discovery to develop/syntesise system models are especially welcome.

关键词： machine learning text mining deep learning process calculi big data analytics formal methods processing mining

来源：评论

学校读者我要写书评

暂无评论

12th international symposium on from data models and back, datamod 2024

12th International Symposium on From Data Models and Back, D...

引用

12th international symposium on from data models and back, datamod 2024

ISBN: (纸本)9783031879074

the proceedings contain 9 papers. the special focus in this conference is on from data models and back. the topics include: Modelling COVID-19 with a SIR Variant Using Real-World data: A Case Study in Brazil;verifying Properties of Activities of Daily Living;explaining Pain: On the Impact of Physiological Signals in Pain Prediction;Exploring the Trade-Offs in ECG Biometrics: Impact of Acquisition Time and Temporal Separation;Risk Management and Process Optimization in Industry 4.0: Integrating Sensors with Critical Path and FMEA;Beyond Flattening: Detecting Concurrency Anomalies Using K-NN Graph-Based Modeling in Object-Centric Event Logs;Towards Achieving Energy Efficiency and Service Availability in 6G O-RAN via Formal Verification.

关键词：

来源：评论

学校读者我要写书评

暂无评论

8th IFIP WG 2.6 international symposium on data-Driven Process Discovery and Analysis, SIMPDA 2018 and the 9th IFIP WG 2.6 international symposium on data-Driven Process Discovery and Analysis, SIMPDA 2019

8th IFIP WG 2.6 International Symposium on Data-Driven Proce...

引用

8th IFIP WG 2.6 international symposium on data-Driven Process Discovery and Analysis, SIMPDA 2018 and the 9th IFIP WG 2.6 international symposium on data-Driven Process Discovery and Analysis, SIMPDA 2019

ISBN: (纸本)9783030466329

the proceedings contain 6 papers. the special focus in this conference is on data-Driven Process Discovery and Analysis. the topics include: Extracting multiple viewpoint models from relational databases;standardizing process-data exploitation by means of a process-instance metamodel;Exploiting event log event attributes in RNN based prediction;general model for tracking manufacturing products using graph databases.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Towards a Flexible Approach for Understanding and Comparing Traces 11th

Towards a Flexible Approach for Understanding and Compari...

引用

11th international symposium on from data to models and back, datamod 2023

作者： Bowles, Juliana K. F. SCCH Softwarepark 32a Hagenberg4232 Austria School of Computer Science University of St Andrews St AndrewsKY16 9SX United Kingdom

ISBN: (纸本)9783031872167

We assume given a set of behavioural models of computation (event structures) that can be extracted from specifications, processes, code and/or data depending on the application, and have labels containing additional information of interest (e.g., an integer variable representing a measure in the context of the computation). In this paper we present our vision towards a formal flexible approach to search for optimal traces of execution with respect to different parameters of interest (e.g., time, efficacy, cost and/or concurrency), enriched with a mechanism to understand the difference between (sub-optimal) traces and their formalisation as explanations. the underlying idea of the approach is to be generalisable and hence suited to tackle practical problems in a variety of domains from aerospace, automotive and automation industries, as well as systems and applications developed for healthcare. Our examples here come from a healthcare based context. © the Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

Verifying Properties of Activities of Daily Living 12th

Verifying Properties of Activities of Daily Living

引用

12th international symposium on from data models and back, datamod 2024

作者： Contreras, Ricardo Smola, Filip Zheng, Jiawei Hillston, Jane Fleuriot, Jacques D. School of Informatics University of Edinburgh 10 Crichton Street EdinburghEH8 9AB United Kingdom

ISBN: (纸本)9783031879074

the monitoring of Activities of Daily Living (ADLs) for older adults can support their well-being since deviations in behaviour may indicate cognitive or physical decline, and reduced quality-of-life. In this work we present a new methodology that combines the spatial context with the observed behaviour of the person to enable a rigorous analysis of their daily activities. Tailored models are constructed that capture the layout of the individual’s home and incorporate timestamped data from unobtrusive sensors attached to everyday objects. We specify expected behaviours as properties encoded in linear temporal logic and use model checking to assess whether sensor-captured behaviours align with expectations. Importantly, our methodology is agnostic to different forms of ADLs and behaviour specifications. © the Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Temporal logic

来源：评论

学校读者我要写书评

暂无评论

Combining Quantitative data with Logic-Based Specifications for Parameter Inference 10th

Combining Quantitative Data with Logic-Based Specifications...

引用

10th international symposium on from data models and back, datamod 2021, held as a satellite event of the 19th international Conference on Software Engineering and Formal Methods, SEFM 2021

作者： Piho, Paul Hillston, Jane University of Edinburgh Edinburgh United Kingdom

ISBN: (纸本)9783031160103

Continuous time Markov chains are a common mathematical model for a range of natural and computer systems. An important part of constructing such models is fitting the model parameters based on some observed data or prior domain knowledge. In this paper we consider the problem of fitting model parameters with respect to a mix of quantitative data and data formulated as temporal logic formulae. Our approach works by defining a set of conditions that capture the dynamics inferred by the quantitative data. this allows for a straightforward way to combine the information from the quantitative and logically specified knowledge into one parameter inference problem via rejection sampling. © 2022, Springer Nature Switzerland AG.

关键词： Continuous time systems

来源：评论

学校读者我要写书评

暂无评论

Model-Based Security Assessment on the Design of a Patient-Centric data Sharing Platform 10th

Model-Based Security Assessment on the Design of a Patie...

引用

10th international symposium on from data models and back, datamod 2021, held as a satellite event of the 19th international Conference on Software Engineering and Formal Methods, SEFM 2021

作者： Banton, Matthew Webber, thais Silvina, Agastya Bowles, Juliana School of Computer Science University of St Andrews St AndrewsKY16 9SX United Kingdom

ISBN: (纸本)9783031160103

the architectural design of a healthcare data sharing system must cope with security requirements especially when the system integrates different data sources and patient-centric features. the design choices come with different risks, where vulnerabilities and threats highly depend on how the system components interact and depend on each other to operate as well as how it handles the external connections. this paper focuses on security aspects arising early in the design phase of a patient-centric system. the system presents a blend of emergent technologies such as novel authentication methods, blockchain for access control, and a data lake for patient metadata storage and retrieval based on access rules. We exploit a model-based approach to tackle security assessment using attack-defense trees (ADtrees) formalism and other support diagrams altogether as a way to model and analyse potential attack paths to the system and its countermeasures. the modelling approach helps creating a framework to support the attack vectors analysis and the proposal of appropriate defense mechanisms within the system architecture. © 2022, Springer Nature Switzerland AG.

关键词： Access control

来源：评论

学校读者我要写书评

暂无评论

Analysis of COVID-19 data with PRISM: Parameter Estimation and SIR Modelling 9th

Analysis of COVID-19 Data with PRISM: Parameter Estimation a...

引用

9th international symposium on from data models and back, datamod 2020

作者： Milazzo, Paolo Department of Computer Science University of Pisa Largo B. Pontecorvo 3 Pisa56127 Italy

ISBN: (纸本)9783030706494

We propose a pipeline for the stochastic analysis of a SIR model for COVID-19 through the stochastic model checker PRISM. the pipeline consists in: (i) the definition of a modified SIR model, able to include governmental restriction and prevention measures through an additional time-dependent coefficient;(ii) parameter estimation based on real epidemic data;(iii) translation of the modified SIR model into a Continuous Time Markov Chain (CTMC) expressed using the PRISM input language;and (iv) stochastic analysis (simulation and model checking) with PRISM. © 2021, Springer Nature Switzerland AG.

关键词： COVID-19

来源：评论

学校读者我要写书评

暂无评论

A Secure User-Centred Healthcare System: Design and Verification 10th

A Secure User-Centred Healthcare System: Design and Verific...

引用

10th international symposium on from data models and back, datamod 2021, held as a satellite event of the 19th international Conference on Software Engineering and Formal Methods, SEFM 2021

作者： Baranov, Eduard Bowles, Juliana Given-Wilson, thomas Legay, Axel Webber, thais Computer Science and Engineering Department Université Catholique de Louvain Louvain-la-Neuve Belgium School of Computer Science University of St Andrews St AndrewsKY16 9SX United Kingdom

ISBN: (纸本)9783031160103

With ever increasing amounts of travel, it is essential to have access to a patient’s medical data from different sources including many jurisdictions. the Serums project addresses this goal by creating a healthcare sharing system that places privacy and security aspects at the center. this raises significant challenges to both maintain privacy and security of medical data and to allow for sharing and access. To address these strict requirements the Serums system design is supported by formal methods where design decisions are modelled and checked to meet safety and security properties. We report an experience in support of the system design with formal modelling with the Uppaal tool and analysis with exhaustive and statistical model checking. Results show that statistical model checking being a simulation-based technique can significantly improve feasibility of analysis while providing support for design decisions to ensure privacy and security. © 2022, Springer Nature Switzerland AG.

关键词： Systems analysis

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共3页 << < 1 2 3 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：