Automata, Languages and Programming [[electronic resource] ] : Fourth Colloquium, University of Turku, Finnland, July 18-22, 1977 / / edited by A. Salomaa, M. Steinby

• Record Nr.: UNISA996465661403316
• Pubbl/distr/stampa: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1977
• ISBN: 3-540-37305-5
• Edizione: [1st ed. 1977.]
• Descrizione fisica: 1 online resource (XII, 572 p.)
• Collana: Lecture Notes in Computer Science, , 0302-9743 ; ; 52
• Disciplina: 004.0151
• Soggetti: Computers; Programming languages (Electronic computers); Theory of Computation; Programming Languages, Compilers, Interpreters
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di contenuto: How hard is compiler code generation? -- "Natural" complexity measures and time versus memory: Some definitional proposals -- Semantics and proof theory of pascal procedures -- On the structure of combinatorial problems and structure preserving reductions -- Factor graphs, failure functions and Bi-Trees -- Parallel decomposition of LR(k) parsers -- Some recursively unsolvable problems relating to isolated cutpoints in probabilistic automata -- Termination tests inside ?-calculus -- On the computational power of reversal-bounded machines -- The contextsensitivity bounds of contextsensitive grammars and languages -- Serial composition of 2-way finite-state transducers and simple programs on strings -- The sequence equivalence problem for dol systems is decidable -- Languages defined by higher type program schemes -- Parsing and syntactic error recovery for context-free grammars by means of coarse structures -- On three types of unambiguity of context-free language -- The mathematics of record handling -- Macro grammars, lindenmayer systems and other copying devices -- On the time and tape complexity of hyper(1)-AFL's -- Renaming and erasing in szilard languages -- Some matching problems -- Complexite des demi — Groupes de matrices -- On the ; proper treatment or referencing, dereferencing and assignment -- Complexity of some problems concerning L systems -- Left-fitting translations -- Dynamic binary search -- About the derivation languages of grammars and machines -- Simple chain grammars -- Time-space trade-offs in a pebble game -- Non-deterministic polynomial optimization problems and their approximation -- Simple programs and their decision problems -- Theory of data structures by relational and graph grammars -- On backtracking and greatest fixpoints -- L systems of finite index -- The safety of a coroutine system -- Linear time simulation of multihead turing machines with head — To-head jumps -- Data types as objects -- On the difference between one and many -- On defining error recovery in context-free parsing -- LL(k) languages are closed under union with finite languages -- The time and tape complexity of developmental languages -- Rational relations of binary trees -- Structural equivalence of context-free grammar forms is decidable -- On the definition of classes of interpretations.

Information Systems : 16th European, Mediterranean, and Middle Eastern Conference, EMCIS 2019, Dubai, United Arab Emirates, December 9–10, 2019, Proceedings / / edited by Marinos Themistocleous, Maria Papadaki

• Record Nr.: UNINA9910409671003321
• Pubbl/distr/stampa: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
• ISBN: 3-030-44322-1
• Edizione: [1st ed. 2020.]
• Descrizione fisica: 1 online resource (364 pages)
• Collana: Lecture Notes in Business Information Processing, , 1865-1356 ; ; 381
• Disciplina: 004
• Soggetti: Application software; Business information services; Computer security; Medical informatics; Electronic data processing - Management; Computer and Information Systems Applications; IT in Business; Principles and Models of Security; Health Informatics; IT Operations
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Nota di contenuto: Big Data and Analytics -- A Practice Based Exploration on Electric Mobility as a Service in Smart Cities -- An experimental comparison of Machine Learning Classification Algorithms for Breast Cancer Diagnosis -- Taking Complexity into Account: A Structured Literature Review on Multi-Component Systems in the Context of Predictive Maintenance -- Smiling Earth - Raising Citizens' Awareness on Environmental Sustainability -- Knowledge and Human Development Authority in Dubai (KHDA) open data: what do researchers want -- An Immersive Web Visualization Platform for a Big Data Context in Bosch’s Industry 4.0 Movement -- A Data Modelling Method for Big Data Warehouses -- Block Chain Technology and Applications -- Towards a Better Understanding of the Value of Blockchains in Supply Chain Management -- Users’ Knowledge and Motivation on Using Cryptocurrency -- Cryptocurrency Usage Impact on Perceived Benefits and Users' Behaviour -- Cloud Computing -- Test Recommendation for Service Validation in 5G Networks -- Modelling 5G cloud-native applications by exploiting the service mesh paradigm -- Digital Services and Social Media -- Towards an Integrated Theoretical Model for Assessing Mobile Banking Acceptance among Consumers in Low Income African Economies -- Smart City adoption: An interplay of constructive and adverse factors -- Supervised Machine Learning Approach for Subjectivity/Objectivity Classification of Social data -- E-Government -- Smart Cities and Citizen Orientation: the Growing Importance of “Smart People” in Developing Modern Cities -- Digital Transformation in the Public Sector: Identifying Success Factors -- Employing the Once-Only Principle in the domain of the electronic public procurement -- Embracing Modern Technologies and Urban Development Trends: Initial Evaluation of a Smart City Enterprise Architecture Frameworks -- Enterprise Systems -- Process Chunks Selection in the context of Loose Inter-Organization Cooperation in Cloud Computing -- Agile Software Engineering Practicesin ERP implementation -- Exploring Machine Learning Models to Predict Harmonized System Code -- Adopting Industry 4.0 Technologies in Citizens’ Electronic-Engagement considering Sustainability Development -- HealthCare Information Systems -- The Case for mHealth Standardization for Electronic Health Records in the German Healthcare System -- Assessing Digital Support for Smoking Cessation -- The Role of Gender in Supporting Active and Healthy Ageing by ICT Solutions: Learning from Latvian, Polish and Swedish Older Adults -- Information Systems Security and Information Privacy Protection -- Trust Management model based on Mutual Evaluation method for the Social Internet of Things -- A Model for Describing and Maximising Security Knowledge Sharing to Enhance Security Awareness -- A Formal Environment for Credibility and Accuracy Assessment of Safety Messages Exchanged in VANETs -- A Security Mechanism against the RSU Compromise Attack in a Ticket-based Authentication Scheme for VANETs -- InnovativeResearch Projects -- Monitoring the gait process during the rehabilitation of patients using computer vision techniques and UWB Technology -- Innovation and competitiveness of universities – an empirical research -- Application of Automated Trust Verification and Delegation Mechanisms in PEPPOL eProcurement Network -- A ; Smart Distributed Marketplace -- IT Governance -- Organisational Structure’s Influence on IT Alignment: The Case of a Public Organisation -- Factors for Successful IT Outsourcing Relationships in Large Companies in Sweden: A Service Buyer’s Perspective -- Barriers in Business-IT Alignment in the Banking Sector in a Developing Country: A Case Study of Commercial Banks in The Gambia -- The impact of knowledge sharing and innovation performance on the organization – moderating by innovation awards -- The Impact of Cognitive Process Types on the Success of Exploratory Projects -- Management and Organizational Issues in Information Systems -- IS Research Theoretical Foundation: Theories Used and the Future Path -- The Effect of E-Commerce on Financial Performance Measured by Return on Asset and Tobin’s Q of Jordanian Service Companies -- Facilitating ICT Adoption for Older Workers: Lessons Learned from Enterprise System Practitioners -- Adoption of Digital Technology in Corporate R&D Context -- ERP Implementation: Requirements Engineering for ERP Product Customization -- Conceptualising IT Project Portfolio Management in terms of Organisational State-Transition Approach -- The Effect of Big Data Analytics Capability on Firm Performance: A Pilot Study in China -- Digital Services for Industry 4.0: Assessing Collaborative Technology Readiness -- An Online Platform for ‘Black Swan’ Event Management in the Hospitality Industry. .
• Sommario/riassunto: This book constitutes selected papers from the 16th European, Mediterranean, and Middle Eastern Conference, EMCIS 2019, held in Dubai, UAE, in October 2019. EMCIS is dedicated to the definition and establishment of Information Systems as a discipline of high impact for the methodical community and IS professionals, focusing on approaches that facilitate the identification of innovative research of significant relevance to the IS discipline. The 46 full papers presented in this volume were carefully reviewed and selected from a total of 138 submissions. They were organized in topical sections named: Big Data and Analytics; Blockchain Technology and Applications; Cloud Computing; Digital Services and Social Media; e-Government; Enterprise Information Systems; Health-Care Information Systems; Information Systems Security and Information Privacy Protection; Innovative Research Projects; IT Governance; and Management and Organizational Issues in Information Systems.