Table of Contents: “...Specification and Modeling Languages -- A Formal Model for Startups Financial Transactions -- A Haskell-embedded DSL for Secure Information-flow -- CSP Specification and Verification of a Relay-Based Rail Interlocking System -- ULKB Logic: A HOL-based...”

Full text 

Table of Contents: “... Classification considering Autonomous Driving -- HANCaps: A Two-Channel Deep Learning Framework for Fake News Detection in Thai -- Pre-trained Financial Model for Price Movement Forecasting -- Impulsion of Movie's Content-Based Factors in Multi-Modal Movie...”

Full text 

Table of Contents: “... With Uncommonly Long Run Duration in Post-Trade Systems -- Unpaired Image-to-Image Translation using Transformer-based CycleGAN -- Model-based Testing Approach for Financial Technology Platforms: An Industrial Implementation -- Searching for Deviations in Trading...”

Full text 

Full text 

Full text 

Table of Contents: “... Detection Method using Financial Text and Transformer -- Product Portfolio Optimization for LTV Maximization -- An Examination of Eating Experiences in Relation to Psychological States, Loneliness, and Depression Using BERT -- Objective Detection of High-risk...”

Full text 

Full text 

Table of Contents: “... in Financial Markets? -- Effect Analysis of Order Simultaneity using Artificial Market -- Fine-grained Prediction and Control of Covid-19 Pandemic in a City: Application to Post-Initial Stages -- Preference Aggregation Mechanisms for a Tourism-Oriented Bayesian...”

Full text 

Table of Contents: “... -- Quintero Ergo: A Quest for Declarativity in Logic Programming -- Prolog applications: finalists for the Colmerauer prize ProB: Harnessing the Power of Prolog to Bring Formal Models and Mathematics to Life -- Pacioli: a PROLOG system for financial report...”

Full text 

Table of Contents: “...Semantic line detection : A Survey -- Improved Yolo V3 for Steel Surface Defect Detection -- An Application of Knowledge Graph for Enterprise Risk Prediction -- An Enterprise Risk Prediction Model Combined Financial Data and News Based on Memory Network...”

Full text 

Table of Contents: “... in University Classrooms Using Internet of Things -- Part4. Smart Banking & IoT -- Chapter13. Smart Banking in Financial Transactions of Migrants: A Study on the In-Migrants of the Gajapati District of Odisha -- Chapter14. An Analysis of Consumer Expectations, Nature...”

Full text 

Table of Contents: “... with PSO -- Value of Information in the Mean-Square Case and its Application to the Analysis of Financial Time-Series Forecast....”

Full text 

Table of Contents: “... to Assist Lead Discovery in Early-Stage Drug Design -- Non-Parametric Learning of Embeddings for Relational Data using Gaifman Locality Theorem -- Ontology Graph Embeddings and ILP for Financial Forecasting -- Transfer learning for boosted relational dependency...”

Full text 

Table of Contents: “... Detection -- Correlation Financial Networks of an Unstable Stock Market: Empirical Study -- Extracting Characteristic Areas Based on Topic Distribution over Proximity Tree....”

Full text 

Table of Contents: “... of Reactive Plans Using Social Norms -- Self-Learning Governance of Black-Box Multi-Agent Systems -- Computational Theory of Mind for Human-Agent Coordination -- Computational Discovery of Transaction-Based Financial Crime via Grammatical Evolution: The Case...”

Full text 

Table of Contents: “... applications -- Towards Greener Applications: Enabling Sustainable-aware Cloud Native Applications Design -- Towards Explainable Artificial Intelligence in Financial Fraud Detection: Using Shapley Additive Explanations to Explore Feature Importance -- Tools...”

Full text 

Table of Contents: “...1. The Need for Verification?. - 2. What is Runtime Verification -- 3. FiTS: A Financial Transaction System -- 4. Manual Monitoring -- 5. Aspect-Oriented Programming -- 6. Event Guarded Command Language -- 7. Symbolic Automata -- 8. Regular Expressions...”

Full text 

Table of Contents: “.... Effects of Modality Interactivity and Deception Communication Quality and Task Performance -- 10. Incremental Information Disclosure in Qualitative Financial Reporting: Differences between Fraudulent and Non-Fraudulent Companies -- 11. Cultural Influence...”

Full text 

Table of Contents: “...Formal Methods for Robot Motion Planning with Time and Space Constraints (Extended Abstract) -- Temporal Reasoning for Intelligent Financial Services: Examples and Challenges -- On the complexity of timed pattern matching -- Stubborn Set Reduction...”

Full text 

Full text