#datamod19 search results
#DataMod19 kicking off with Mieke Massink’s keynote on “Verifying Data in Space and Time” #CollectiveAdaptiveSystems
Mieke Massink concluding her excellent #DataMod19 keynote with Kurt Lewin’s quote “Nothing is more practical than a good theory.” @formalmethods19 @FormalMtds #formalmethods19
Mieke Massink #DataMod19 #CAS #SmartSociety #FormalVerification #LargeScaleSystems #quanticol #spatiallogic #SpatialModelChecking #SpatioTemporalModelChecking #TopologicalSpace #BikeSharing #SmartPublicTransportation #FormalMethods @formalmethods19 @FormalMtds #formalmethods19
Michela Natilli presenting her #DataMod19 paper “Analysis and Visualization of Performance Indicators in #UniversityAdmissionTests” joint work with Salvatore Rinzivillo, Dino Pedreschi, Daniele Fadda and Federica Licari @kdd_lab #FormalMethods19 #SequentialPatternMining
Riccardo Guidotti presenting his #DataMod19 paper on “Know Thyself: How Personal Music Tastes Shape the #LastFm #OnlineSocialNetwork” - joint work with Giulio Rossetti @kdd_lab #DataMining #PersonalDataAnalytics #PersonalListeningDataModel @formalmethods19
Vittorio Cuculo @vcuculo presenting his #DataMod19 paper “How to look next? A data-driven approach for #ScanpathPrediction” - joint work with Giuseppe Boccignone and Alessandro D'Amelio #EyeTracking #AttentionMap #GazeDynamics #Scanpath @phuselab @formalmethods19
Looking for today’s venue for #DataMod19? Get in the boat! @formalmethods19 #formalmethods19 #formalmethods
Natalia Garanina presenting her #DataMod19 paper “An #Ontology-based Approach to Support #FormalVerification of #ConcurrentSystems” - joint work with Igor Anureev, Elena Sidorova, Vladimir Zyubin and Sergei Gorlatch #formalmethods19
Antonio Cerone presenting his #DataMod19 paper “An instrumented mobile language learning application for the analysis of #usability and #learning” joint work with Aigerim Aibassova and Mukhtar Tashkenbayev #MobileAplication #LanguageLearning #UserBehaviour @formalmethods19
Alessandro D'Amelio presenting his #DataMod19 paper on “#GenderRecognition in the Wild with #SmallSampleSize - A Dictionary #Learning Approach” - joint work with Vittorio Cuculo @vcuculo and Sathya Bursic @phuselab #FacialRecognition #DCNN #DeepConvolutionalNeuralNetworks
Albese Demjaha presenting her work at #DataMod19 on “Economics-driven behaviour intervention support in organizations” joint work with Simon Parkin and David Pym @formalmethods19 #HumanCentredInformationSecurity #SecurityModelling #DecisionMaking @uclcs @turinginst
Sathya Bursic presenting his #DataMod19 paper “Anomaly Detection From Log Files Using #UnsupervisedDeepLearning” joint work with Alessandro D'Amelio and Vittorio Cuculo @vcuculo @phuselab #LogAnomalyDetection
On my way to ☀️ Porto for #DataMod19 #formalmethods19 ✈️ long journey ahead so plenty of time to finish reviewing a very long paper, I hope 🤞
#CFP #DataMod19 We invite submissions as: 📜Regular papers presenting original work, up to 15 pages 📝Short papers discussing new ideas at an early stage of development, up to 8 pages 🎤A call for presentation-only reports will be out early-August #FM19 #FormalMethods
. @OanaMAndrei presented at #DataMod19 her recent work on “Interpreting #ProbabilisticModels of #SocialGroupInteractions in Meetings” joint work w/ @murraygabriel #SmallGroupInteraction #ComputationalSocialScience #MarkovRewardModels #ProbabilisticModelCehcking @formalmethods19
#DataMod19 Keynote by Professor Ana Cavalcanti @UoY_CS @RAEngNews “Diagrammatic physical robot models in RoboSim” #softwareengineering #verificationvalidation #robotics #Porto #Portugal @DataMod19
We are delighted to announce Prof Ana Cavalcanti @UoY_CS as a keynote speaker @DataMod19 talking about “Diagrammatic physical robot models in RoboSim”.
. @OanaMAndrei presented at #DataMod19 her recent work on “Interpreting #ProbabilisticModels of #SocialGroupInteractions in Meetings” joint work w/ @murraygabriel #SmallGroupInteraction #ComputationalSocialScience #MarkovRewardModels #ProbabilisticModelCehcking @formalmethods19
Albese Demjaha presenting her work at #DataMod19 on “Economics-driven behaviour intervention support in organizations” joint work with Simon Parkin and David Pym @formalmethods19 #HumanCentredInformationSecurity #SecurityModelling #DecisionMaking @uclcs @turinginst
Sathya Bursic presenting his #DataMod19 paper “Anomaly Detection From Log Files Using #UnsupervisedDeepLearning” joint work with Alessandro D'Amelio and Vittorio Cuculo @vcuculo @phuselab #LogAnomalyDetection
Michela Natilli presenting her #DataMod19 paper “Analysis and Visualization of Performance Indicators in #UniversityAdmissionTests” joint work with Salvatore Rinzivillo, Dino Pedreschi, Daniele Fadda and Federica Licari @kdd_lab #FormalMethods19 #SequentialPatternMining
Antonio Cerone presenting his #DataMod19 paper “An instrumented mobile language learning application for the analysis of #usability and #learning” joint work with Aigerim Aibassova and Mukhtar Tashkenbayev #MobileAplication #LanguageLearning #UserBehaviour @formalmethods19
Alessandro D'Amelio presenting his #DataMod19 paper on “#GenderRecognition in the Wild with #SmallSampleSize - A Dictionary #Learning Approach” - joint work with Vittorio Cuculo @vcuculo and Sathya Bursic @phuselab #FacialRecognition #DCNN #DeepConvolutionalNeuralNetworks
Riccardo Guidotti presenting his #DataMod19 paper on “Know Thyself: How Personal Music Tastes Shape the #LastFm #OnlineSocialNetwork” - joint work with Giulio Rossetti @kdd_lab #DataMining #PersonalDataAnalytics #PersonalListeningDataModel @formalmethods19
Vittorio Cuculo @vcuculo presenting his #DataMod19 paper “How to look next? A data-driven approach for #ScanpathPrediction” - joint work with Giuseppe Boccignone and Alessandro D'Amelio #EyeTracking #AttentionMap #GazeDynamics #Scanpath @phuselab @formalmethods19
Natalia Garanina presenting her #DataMod19 paper “An #Ontology-based Approach to Support #FormalVerification of #ConcurrentSystems” - joint work with Igor Anureev, Elena Sidorova, Vladimir Zyubin and Sergei Gorlatch #formalmethods19
Mieke Massink concluding her excellent #DataMod19 keynote with Kurt Lewin’s quote “Nothing is more practical than a good theory.” @formalmethods19 @FormalMtds #formalmethods19
Mieke Massink #DataMod19 #CAS #SmartSociety #FormalVerification #LargeScaleSystems #quanticol #spatiallogic #SpatialModelChecking #SpatioTemporalModelChecking #TopologicalSpace #BikeSharing #SmartPublicTransportation #FormalMethods @formalmethods19 @FormalMtds #formalmethods19
#DataMod19 kicking off with Mieke Massink’s keynote on “Verifying Data in Space and Time” #CollectiveAdaptiveSystems
Looking for today’s venue for #DataMod19? Get in the boat! @formalmethods19 #formalmethods19 #formalmethods
On my way to ☀️ Porto for #DataMod19 #formalmethods19 ✈️ long journey ahead so plenty of time to finish reviewing a very long paper, I hope 🤞
#CFP #DataMod19 We invite submissions as: 📜Regular papers presenting original work, up to 15 pages 📝Short papers discussing new ideas at an early stage of development, up to 8 pages 🎤A call for presentation-only reports will be out early-August #FM19 #FormalMethods
#DataMod19 Keynote by Professor Ana Cavalcanti @UoY_CS @RAEngNews “Diagrammatic physical robot models in RoboSim” #softwareengineering #verificationvalidation #robotics #Porto #Portugal @DataMod19
We are delighted to announce Prof Ana Cavalcanti @UoY_CS as a keynote speaker @DataMod19 talking about “Diagrammatic physical robot models in RoboSim”.
Mieke Massink #DataMod19 #CAS #SmartSociety #FormalVerification #LargeScaleSystems #quanticol #spatiallogic #SpatialModelChecking #SpatioTemporalModelChecking #TopologicalSpace #BikeSharing #SmartPublicTransportation #FormalMethods @formalmethods19 @FormalMtds #formalmethods19
Vittorio Cuculo @vcuculo presenting his #DataMod19 paper “How to look next? A data-driven approach for #ScanpathPrediction” - joint work with Giuseppe Boccignone and Alessandro D'Amelio #EyeTracking #AttentionMap #GazeDynamics #Scanpath @phuselab @formalmethods19
Mieke Massink concluding her excellent #DataMod19 keynote with Kurt Lewin’s quote “Nothing is more practical than a good theory.” @formalmethods19 @FormalMtds #formalmethods19
Riccardo Guidotti presenting his #DataMod19 paper on “Know Thyself: How Personal Music Tastes Shape the #LastFm #OnlineSocialNetwork” - joint work with Giulio Rossetti @kdd_lab #DataMining #PersonalDataAnalytics #PersonalListeningDataModel @formalmethods19
Albese Demjaha presenting her work at #DataMod19 on “Economics-driven behaviour intervention support in organizations” joint work with Simon Parkin and David Pym @formalmethods19 #HumanCentredInformationSecurity #SecurityModelling #DecisionMaking @uclcs @turinginst
Looking for today’s venue for #DataMod19? Get in the boat! @formalmethods19 #formalmethods19 #formalmethods
#DataMod19 kicking off with Mieke Massink’s keynote on “Verifying Data in Space and Time” #CollectiveAdaptiveSystems
Michela Natilli presenting her #DataMod19 paper “Analysis and Visualization of Performance Indicators in #UniversityAdmissionTests” joint work with Salvatore Rinzivillo, Dino Pedreschi, Daniele Fadda and Federica Licari @kdd_lab #FormalMethods19 #SequentialPatternMining
Alessandro D'Amelio presenting his #DataMod19 paper on “#GenderRecognition in the Wild with #SmallSampleSize - A Dictionary #Learning Approach” - joint work with Vittorio Cuculo @vcuculo and Sathya Bursic @phuselab #FacialRecognition #DCNN #DeepConvolutionalNeuralNetworks
Sathya Bursic presenting his #DataMod19 paper “Anomaly Detection From Log Files Using #UnsupervisedDeepLearning” joint work with Alessandro D'Amelio and Vittorio Cuculo @vcuculo @phuselab #LogAnomalyDetection
Antonio Cerone presenting his #DataMod19 paper “An instrumented mobile language learning application for the analysis of #usability and #learning” joint work with Aigerim Aibassova and Mukhtar Tashkenbayev #MobileAplication #LanguageLearning #UserBehaviour @formalmethods19
Natalia Garanina presenting her #DataMod19 paper “An #Ontology-based Approach to Support #FormalVerification of #ConcurrentSystems” - joint work with Igor Anureev, Elena Sidorova, Vladimir Zyubin and Sergei Gorlatch #formalmethods19
Something went wrong.
Something went wrong.
United States Trends
- 1. Cheney 125K posts
- 2. Election Day 125K posts
- 3. #csm219 2,993 posts
- 4. Jakobi Meyers 2,312 posts
- 5. Mamdani 567K posts
- 6. Logan Wilson 7,902 posts
- 7. Shota 17.2K posts
- 8. GO VOTE 96.2K posts
- 9. New Jersey 204K posts
- 10. Iraq 56.3K posts
- 11. Cuomo 273K posts
- 12. New Yorkers 83.1K posts
- 13. #tuesdayvibe 2,557 posts
- 14. Rickey 1,959 posts
- 15. #TheView N/A
- 16. Halliburton 5,383 posts
- 17. No ID 67.4K posts
- 18. #Election2025 3,022 posts
- 19. Rolex 17.9K posts
- 20. Taco Tuesday 12.7K posts