OPAC

検索結果一覧に戻る

From Data to Models and Back : 10th International Symposium, DataMod 2021, Virtual Event, December 6–7, 2021, Revised Selected Papers / edited by Juliana Bowles, Giovanna Broccia, Roberto Pellungrini
(Lecture Notes in Computer Science. ISSN:16113349 ; 13268)

データ種別	電子ブック
版	1st ed. 2022.
出版者	(Cham : Springer International Publishing : Imprint: Springer)
出版年	2022
大きさ	X, 193 p. 50 illus., 44 illus. in color : online resource
著者標目	Bowles, Juliana editor Broccia, Giovanna editor Pellungrini, Roberto editor SpringerLink (Online service)

所蔵情報を非表示

URL	巻　次	配架場所	請求記号	登録番号	コメント	刷　年	状　態	利用注記	ISBN	予約	請求メモ
URL		射水-電子	007	EB0001500	Computer Scinece R0 2005-6,2022-3				9783031160110

書誌詳細を非表示

一般注記	Invited Talks -- MultiVeStA: Statistical Analysis of Economic Agent-Based Models by Statistical Model Checking -- 10 Years of DataMod: the Synergy of Data-driven and Model-based Approaches -- Model Veriﬁcation -- Analysis and veriﬁcation of robustness properties in Becker-Dӧring model -- A Secure User-Centred Healthcare System: Design and Veriﬁcation -- Model-based Security Assessment on the Design of a Patient-centric Data Sharing Platform -- Model Checking Video Streams using VoxLogicA on GPU -- Data Mining and Processing Related Approaches -- Privacy Risk and Data Utility Assessment on Network Data -- Detecting Anxiety Trends Using Wearable Sensor Data in Real-world Situations -- Other Approaches -- Combining quantitative data with logic-based speciﬁcations for parameter inference -- Learning Program Input Grammars with Help from Abstract Syntax Trees -- Spatio-temporal model checking for 3D individual-based biofilm simulations -- A Web-based Tool for Collaborative Modelling and Analysis in Human-Computer Interaction and Cognitive Science This book constitutes the refereed proceedings of the 10th International Symposium "From Data Models and Back", DataMod 2021, which was held virtually during December 6-7, 2021, as a satellite event of SEFM 2021. The 9 full papers and 1 short paper included in this book were carefully reviewed and selected from 12 submissions. They were organized in topical sections as follows: Model veriﬁcation; data mining and processing related approaches; and other approaches HTTP:URL=https://doi.org/10.1007/978-3-031-16011-0
件　名	LCSH:Software engineering LCSH:Computer engineering LCSH:Computer networks LCSH:Artificial intelligence LCSH:Computer science FREE:Software Engineering FREE:Computer Engineering and Networks FREE:Artificial Intelligence FREE:Theory of Computation FREE:Computer Engineering and Networks
分　類	LCC:QA76.758 DC23:005.1
書誌ID	EB00000888
ISBN	9783031160110