Quantitative Evaluation of Systems: 17th International Conference, Qest 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings, Gribaudo Marco, Jansen David N., Remke Anne
Описание: This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020.
Описание: Mutually Accepting Capacitated Automata.- Bad pictures: some structural properties related to overlaps.- Regular Expression Length via Arithmetic Formula Complexity.- Crisp-determinization of Weighted Tree Automata over Additively Locally Finite and Past-finite Monotonic Strong Bimonoids is Decidable.- On the Power of Generalized Forbidding Insertion-Deletion Systems.- State Complexity Bounds for the Commutative Closure of Group Languages.- Multiple Concatenation and State Complexity (Extended Abstract).- Combining Limited Parallelism and Nondeterminism in Alternating Finite Automata.- Longer shortest strings in two-way finite automata.- Iterated Uniform Finite-State Transducers: Descriptional Complexity of Nondeterminism and Two-Way Motion.- Descriptional Complexity of Winning Sets of Regular Languages.- State complexity of GF(2)-inverse and GF(2)-star on binary languages.- Complexity of Two-dimensional Rank-reducing Grammars.- Palindromic Length of Words with Many Periodic Palindromes.- Operational Complexity of Straight Line Programs for Regular Languages.- Classifying ω-Regular Aperiodic k-Partitions.- Recognition and Complexity Results for Projection Languages of Two-Dimensional Automata.- On the Generative Power of Quasiperiods.- Insertion-Deletion Systems With Substitutions II.
Описание: The papers are grouped in topical sections on world wide web, recommendation, query processing and algorithm, natural language processing, machine learning, graph query, edge computing and data mining, data privacy and security, and blockchain.
Описание: This book constitutes the proceedings of the 17th International Conference on Business Process Management, BPM 2019, held in Vienna, Austria, in September 2019. The 23 full and 4 tutorial short papers included in this volume were carefully reviewed and selected from 115 submissions.
Описание: This book constitutes the refereed proceedings of the 18th International Conference on Computational Methods in Systems Biology, CMSB 2020, held in Konstanz, Germany, in September 2020.*The 17 full papers and 5 tool papers were carefully reviewed and selected from 30 submissions.
Advanced database and web applications.-Big data.- Data mining.- Machine learning for database.- Data warehouse and OLAP.- Information retrieval.- Data model and query language.- Query processing.- Optimization.- Recommendation systems.- Data quality and credibility.- Multimedia databases.- Temporal and spatial databases.- Data streams and time-series data.- Semantic web and knowledge management.- Graph data management.- Social network analytics.- Bio and health informatics.- Blockchain and parallel/distributed systems.- Security.- Privacy and Trust.- Databases for emerging hardware.
Advanced database and web applications.-Big data.- Data mining.- Machine learning for database.- Data warehouse and OLAP.- Information retrieval.- Data model and query language.- Query processing.- Optimization.- Recommendation systems.- Data quality and credibility.- Multimedia databases.- Temporal and spatial databases.- Data streams and time-series data.- Semantic web and knowledge management.- Graph data management.- Social network analytics.- Bio and health informatics.- Blockchain and parallel/distributed systems.- Security.- Privacy and Trust.- Databases for emerging hardware.
Описание: Visionary Papers.- SPI Manifesto and Improvement Strategies.- SPI and Emerging Software and Systems Engineering Paradigms.- SPI and Standards and Safety and Security Norms.- SPI and Team Performance & Agile & Innovation.- SPI and Agile.- Emerging Software Engineering Paradigms.- Digitalisation of Industry, Infrastructure and E-Mobility.- Good and Bad Practices in Improvement.- Functional Safety and Cybersecurity.- Experiences with Agile and Lean.- Standards and Assessment Models.- Recent Innovations.- Virtual Reality.
Описание: This book constitutes the refereed proceedings of the 35th IFIP TC 11 International Conference on Information Security and Privacy Protection, SEC 2020, held in Maribor, Slovenia, in September 2020. The papers present novel research on theoretical and practical aspects of security and privacy protection in ICT systems.
Описание: This two-volume set LNICST 357-358 constitutes the post-conference proceedings of the 11th EAI International Conference on Wireless and Satellite Services, WiSATS 2020, held in Nanjing, China, in September 2020.
Описание: The two-volume set LNCS 12385 + 12386 constitutes the proceedings of the 15th International Conference on Wireless Algorithms, Systems, and Applications, WASA 2020, which was held during September 13-15, 2020. The 67 full and 14 short papers presented in these proceedings were carefully reviewed and selected from 216 submissions.
E-Government Foundations.- Between overexploitation and underexploitation of digital opportunities - a case study with focus on affordances and constraints.- Developing an analytical framework for analyzing and comparing national e-government strategies.- A Pathology of Public Sector IT Governance: How IT Governance Configuration Counteracts Ambidexterity.- Barriers and Drivers of Digital Transformation in Public Organizations: Results from a Survey in the Netherlands.- E-Government Services and Open Government.- Smart Policing: A Critical Review of the Literature.- Utilizing the investment instrument for digital transformation: A case study of a large Swedish municipality.- Service Quality through Government Proactivity: The Concept of Non-Interaction .- Automatization of Cross-Border Customs Declaration: Potential and Challenges. A Case Study of the Estonian Customs Authority.- AI-Enabled Innovation in the Public Sector: a Framework for Digital Governance and Resilience.- Systematic literature review: Technical Debt Management .- Measure what matters. A dual outcome service quality model for government service delivery.- Digital Inclusion Competences for Senior Citizens: the survival basics.- Walking a mile in their shoes-A citizen journey to explore public service delivery from the citizen perspective.- The role of domain-skills in bureaucratic service encounters.- Aligning stakeholder interests, governance requirements and blockchain design in business and government information sharing.- Approaches to Good Data Governance in Support of Public Sector Transformation through Once-only.- Governance challenges of inter-organizational digital public services provisioning: A case study on digital invoicing services in Belgium.- Open Data: Social and Technical Aspects.- A methodology for retrieving datasets from open government data portals using information retrieval and question and answering techniques.- Open Government Data from the Perspective of Information Needs - A Tentative Conceptual Model.- Towards a Framework for Open Data Publishers: A Comparison Study between Sweden and Belgium.- Open Government Data Systems: Learning from a Public Utility Perspective.- Collaboration in Open Government Data Ecosystems: Open Cross-sector Sharing and Co-development of Data and Software.- Towards Generic Business Models of Intermediaries in Data Collaboratives: From Gatekeeping to Data Control.- AI, Data Analytics, and Automated Decision Making.- Generating more value from government data using AI-An exploratory study.- Identifying risks in datasets for automated decision-making.- Using Government Data and Machine Learning for Predicting Firms' Vulnerability to Economic Crisis.- Smart Cities.- Towards Data-Driven Policymaking for the Urban Heat Transition in the Netherlands: Barriers to the Collection and Use of Data.- Identifying Strategic Planning Patterns of Smart Initiatives. An Empirical Research in Spanish Smart Cities.- Demographical attributes explaining different stages of OG development in Spanish Local Governments.- Identification of competencies and teaching models for the governance of smart sustainable cities in the South American context.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
