Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, exibility, and efficiency of tools and algorithms for building computer-controlled systems.

Computer software --- System analysis --- System design --- Verification --- formal languages and automata theory --- Formal methods and theory of security --- Machine learning --- Modeling and simulation --- Semantics and reasoning --- signal processing --- software and hardware verification --- specification and verification techniques --- Symbolic and algebraic manipulation --- system construction and transformation techniques

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This open access book covers the use of data science, including advanced machine learning, big data analytics, Semantic Web technologies, natural language processing, social media analysis, time series analysis, among others, for applications in economics and finance. In addition, it shows some successful applications of advanced data science solutions used to extract new knowledge from data in order to improve economic forecasting models. The book starts with an introduction on the use of data science technologies in economics and finance and is followed by thirteen chapters showing success stories of the application of specific data science methodologies, touching on particular topics related to novel big data sources and technologies for economic analysis (e.g. social media and news); big data models leveraging on supervised/unsupervised (deep) machine learning; natural language processing to build economic and financial indicators; and forecasting and nowcasting of economic variables through time series analysis. This book is relevant to all stakeholders involved in digital and data-intensive research in economics and finance, helping them to understand the main opportunities and challenges, become familiar with the latest methodological findings, and learn how to use and evaluate the performances of novel tools and frameworks. It primarily targets data scientists and business analysts exploiting data science technologies, and it will also be a useful resource to research students in disciplines and courses related to these topics. Overall, readers will learn modern and effective data science solutions to create tangible innovations for economic and financial applications.

Data mining. --- Machine learning. --- Management information systems. --- Big data. --- Application software. --- Information storage and retrieval. --- Data Mining and Knowledge Discovery. --- Machine Learning. --- Business Information Systems. --- Big Data/Analytics. --- Computer Appl. in Administrative Data Processing. --- Information Storage and Retrieval. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Data sets, Large --- Large data sets --- Data sets --- Computer-based information systems --- EIS (Information systems) --- Executive information systems --- MIS (Information systems) --- Sociotechnical systems --- Information resources management --- Management --- Learning, Machine --- Artificial intelligence --- Machine theory --- Algorithmic knowledge discovery --- Factual data analysis --- KDD (Information retrieval) --- Knowledge discovery in data --- Knowledge discovery in databases --- Mining, Data --- Database searching --- Communication systems --- Data Mining and Knowledge Discovery --- Machine Learning --- Business Information Systems --- Big Data/Analytics --- Computer Appl. in Administrative Data Processing --- Information Storage and Retrieval --- IT in Business --- Computer and Information Systems Applications --- Open Access --- Data Mining --- Big Data --- Data Analytics --- Decision Support Systems --- Semantics and Reasoning --- Expert systems / knowledge-based systems --- Business mathematics & systems --- Public administration --- Information technology: general issues --- Information retrieval --- Data warehousing