{"product_id":"from-data-to-models-and-back-9783031872167","title":"From Data to Models and Back","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003e\u003cp\u003e\u003cstrong\u003e.- Domain specific Modeling and Analysis.\u003c\/strong\u003e\u003c\/p\u003e\u003cp\u003e.- Integrated Data Representation and Formal Analysis for Human and In Silico Experimentation in Cognitive Psychology.\u003c\/p\u003e\u003cp\u003e.- Probabilistic Model Checking of Temporal Interaction Dynamics in the Supreme Court.\u003c\/p\u003e\u003cp\u003e.- Extracting cyber threat intelligence from social media with case studies in Twitter\/X and Reddit.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e.- System Biology.\u003c\/strong\u003e\u003c\/p\u003e\u003cp\u003e.- Attractor and Slicing Analysis of a T Cell Differentiation Model Based on Reaction Systems.\u003c\/p\u003e\u003cp\u003e.- Preliminary Results on Shapley Value Notions and Propagation Methods for Boolean Networks.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e.- Formal Methods in Healthcare.\u003c\/strong\u003e\u003c\/p\u003e\u003cp\u003e.- Towards a Flexible Approach for Understanding and Comparing Traces.\u003c\/p\u003e\u003cp\u003e.- Modelling and Verification of an Application for Managing Sensitive Health Data.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e.- Natural Language Processing.\u003c\/strong\u003e\u003c\/p\u003e\u003cp\u003e.- Evaluating Large Language Models and Prompt Variants on the Task of Detecting Cease and Desist Violations in German Online Product Descriptions.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":53195461329239,"sku":"9783031872167","price":96.5,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/from-data-to-models-and-back-9783031872167","provider":"Book Curl","version":"1.0","type":"link"}