01926nas 2200481-a 450 99620768460331620240413013312.0(CKB)991042754033816(CONSER)sn-99018358-(EXLCZ)9999104275403381619950406c1994uuuu -a- -engtxtrdacontentcrdamediacrrdacarrierAnnual report /National Residue SurveyCanberra Australian Govt. Pub. Servicec1995-1 online resourceParliamentary paper / the Parliament of the Commonwealth of AustraliaSeries statement from label on cover p. 4.At head of title: Dept. of Primary Industries and Energy; at foot of title: BRS, Bureau of Resource Sciences.Print version: Annual report / (DLC)sn 99018358 (OCoLC)37168847 1323-4722 Parliamentary paper (Australia. Parliament)Annu. rep. - Natl. Residue Surv.Spraying and dusting residues in agriculturePeriodicalsVeterinary drug residuesAustraliaPeriodicalsPesticide residues in foodAustraliaPeriodicalsPesticide residues in foodfast(OCoLC)fst01058996Spraying and dusting residues in agriculturefast(OCoLC)fst01130888Veterinary drug residuesfast(OCoLC)fst01165910AustraliafastPeriodicals.fastSpraying and dusting residues in agricultureVeterinary drug residuesPesticide residues in foodPesticide residues in food.Spraying and dusting residues in agriculture.Veterinary drug residues.JOURNAL996207684603316exl_impl conversionAnnual report162222UNISA03952nam 22007455 450 991061620880332120251225212327.09783031160110303116011810.1007/978-3-031-16011-0(CKB)4920000002044212(MiAaPQ)EBC7113442(Au-PeEL)EBL7113442(PPN)26585539X(BIP)86004490(BIP)85277969(DE-He213)978-3-031-16011-0(EXLCZ)99492000000204421220221014d2022 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierFrom 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 Pellungrini1st ed. 2022.Cham :Springer International Publishing :Imprint: Springer,2022.1 online resource (199 pages)Lecture Notes in Computer Science,1611-3349 ;132689783031160103 303116010X 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 Verification -- Analysis and verification of robustness properties in Becker-Dӧring model -- A Secure User-Centred Healthcare System: Design and Verification -- 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 specifications 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 verification; data mining and processing related approaches; and other approaches.Lecture Notes in Computer Science,1611-3349 ;13268Software engineeringComputer engineeringComputer networksArtificial intelligenceComputer scienceSoftware EngineeringComputer Engineering and NetworksArtificial IntelligenceTheory of ComputationComputer Engineering and NetworksSoftware engineering.Computer engineering.Computer networks.Artificial intelligence.Computer science.Software Engineering.Computer Engineering and Networks.Artificial Intelligence.Theory of Computation.Computer Engineering and Networks.006.312Bowles Juliana1261671Broccia GiovannaPellungrini RobertoMiAaPQMiAaPQMiAaPQBOOK9910616208803321From data to models and back3041574UNINA