From data to models and back: 9th international symposium, DataMod 2020 virtual event, October 20, 2020 revised selected papers

Juliana Kuster Filipe Bowles; Giovanna Broccia; Mirco Nanni

doi:10.1007/978-3-030-70650-0

From data to models and back: 9th international symposium, DataMod 2020 virtual event, October 20, 2020 revised selected papers

Juliana Kuster Filipe Bowles (Editor), Giovanna Broccia (Editor), Mirco Nanni (Editor)

School of Computer Science

Research output: Book/Report › Anthology

Original language	English
Place of Publication	Cham
Publisher	Springer
Number of pages	227
ISBN (Electronic)	9783030706500
ISBN (Print)	9783030706494
DOIs	https://doi.org/10.1007/978-3-030-70650-0
Publication status	Published - 5 Mar 2021

Publication series

Name	Lecture notes in computer science
Volume	12611
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Keywords

Machine learning
Data mining
Data analysis
Formal methods
Modeling and simulation
Natural language processing
Formal verification
Models of computation
Formal languages and automata theory

Access to Document

10.1007/978-3-030-70650-0

Cite this

@book{7f9c249844c345f682fe180366328a8f,

title = "From data to models and back: 9th international symposium, DataMod 2020 virtual event, October 20, 2020 revised selected papers",

keywords = "Machine learning, Data mining, Data analysis, Formal methods, Modeling and simulation, Natural language processing, Formal verification, Models of computation, Formal languages and automata theory",

editor = "{Kuster Filipe Bowles}, Juliana and Giovanna Broccia and Mirco Nanni",

year = "2021",

month = mar,

day = "5",

doi = "10.1007/978-3-030-70650-0",

language = "English",

isbn = "9783030706494",

series = "Lecture notes in computer science",

publisher = "Springer",

address = "Netherlands",

}

TY - BOOK

T1 - From data to models and back

T2 - 9th international symposium, DataMod 2020 virtual event, October 20, 2020 revised selected papers

A2 - Kuster Filipe Bowles, Juliana

A2 - Broccia, Giovanna

A2 - Nanni, Mirco

PY - 2021/3/5

Y1 - 2021/3/5

KW - Machine learning

KW - Data mining

KW - Data analysis

KW - Formal methods

KW - Modeling and simulation

KW - Natural language processing

KW - Formal verification

KW - Models of computation

KW - Formal languages and automata theory

UR - https://discover.libraryhub.jisc.ac.uk/search?isn=9783030706494&rn=1

U2 - 10.1007/978-3-030-70650-0

DO - 10.1007/978-3-030-70650-0

M3 - Anthology

SN - 9783030706494

T3 - Lecture notes in computer science

BT - From data to models and back

PB - Springer

CY - Cham

ER -

From data to models and back: 9th international symposium, DataMod 2020 virtual event, October 20, 2020 revised selected papers

Publication series

Keywords

Access to Document

Other files and links

A simulation-based approach for the behavioural analysis of cancer pathways

A simulation study on demand disruptions and limited resources for healthcare provision

Semantic annotations in clinical guidelines

Cite this