Výsledky vyhľadávania - compositional and refinement-based methodologies*

Tools and Algorithms for the Construction and Analysis of Systems

Prispievatelia: Biere, Armin Parker, David

Predmety: Software Engineering/Programming and Operating Systems, Special Purpose and Application-Based Systems, Computer System Implementation, Control Structures and Microprogramming, Mathematics of Computing, open access, specification and verification techniques, software and hardware verification, SAT and SMT solving, theorem proving, model checking, static and dynamic program analysis, testing, system construction and transformation techniques, tool environments and tool architectures, abstraction techniques for modeling and verification, compositional and refinement-based methodologies, mathematics, software engineering, software design, architecting, software architecture, embedded systems, automata theory, linguistics, Software Engineering, Operating systems, Expert systems / knowledge-based systems, Systems analysis & design, Algorithms & data structures, Mathematical theory of computation, Maths for computer scientists, Systems analysis and design, Algorithms and data structures

Popis súboru: application/pdf

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Prístupová URL adresa: http://library.oapen.org/handle/20.500.12657/37724

Tools and Algorithms for the Construction and Analysis of Systems

Prispievatelia: Biere, Armin Parker, David

Predmety: Software Engineering/Programming and Operating Systems, Special Purpose and Application-Based Systems, Computer System Implementation, Control Structures and Microprogramming, Mathematics of Computing, open access, specification and verification techniques, software and hardware verification, SAT and SMT solving, theorem proving, model checking, static and dynamic program analysis, testing, system construction and transformation techniques, tool environments and tool architectures, abstraction techniques for modeling and verification, compositional and refinement-based methodologies, mathematics, software engineering, software design, architecting, software architecture, embedded systems, automata theory, linguistics, Operating systems, Expert systems / knowledge-based systems, Systems analysis & design, Algorithms & data structures, Mathematical theory of computation

Popis súboru: image/jpeg

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; ONIX_20200513_9783030452377_24; OCN: 1152158222; http://library.oapen.org/handle/20.500.12657/37724; https://library.oapen.org/bitstream/20.500.12657/37724/1/2020_Book_ToolsAndAlgorithmsForTheConstr.pdf

Dostupnosť: http://library.oapen.org/handle/20.500.12657/37724
https://hdl.handle.net/20.500.12657/37724
https://directory.doabooks.org/handle/20.500.12854/33908
https://hdl.handle.net/20.500.12854/33908
https://library.oapen.org/bitstream/20.500.12657/37724/1/2020_Book_ToolsAndAlgorithmsForTheConstr.pdf

A Compositional Theory of Linearizability.

Autori: Oliveira Vale, Arthur Shao, Zhong Chen, Yixuan

Zdroj: Journal of the ACM; Apr2024, Vol. 71 Issue 2, p1-107, 107p

Predmety: MATHEMATICAL category theory, PROGRAMMING languages, LANGUAGE research, SEMANTICS

Tools and Algorithms for the Construction and Analysis of Systems ; 2020_Book_ToolsAndAlgorithmsForTheConstr.pdf

Prispievatelia: Biere, Armin Parker, David

Predmety: Theory of Computation, Special Purpose and Application-Based Systems, Computer System Implementation, Control Structures and Microprogramming, Mathematics of Computing, open access, specification and verification techniques, software and hardware verification, SAT and SMT solving, theorem proving, model checking, static and dynamic program analysis, testing, system construction and transformation techniques, tool environments and tool architectures, abstraction techniques for modeling and verification, compositional and refinement-based methodologies, mathematics, software engineering, software design, architecting, software architecture, embedded systems, automata theory, linguistics, Computer science, Mathematical theory of computation, Expert systems / knowledge-based systems, Systems analysis & design, Algorithms & data structures

Popis súboru: application/pdf

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; ONIX_20200513_9783030451905_22; OCN: 1152158068; https://www.springer.com/9783030451905

Dostupnosť: http://library.oapen.org/handle/20.500.12657/37722
https://hdl.handle.net/20.500.12657/37722
https://www.springer.com/9783030451905

Innovation Flow: A Human–AI Collaborative Framework for Managing Innovation with Generative Artificial Intelligence.

Autori: Catta-Preta, Michelle Omeñaca, Alex Trejo Ferrer i Picó, Jan a ďalší

Zdroj: Applied Sciences (2076-3417); Nov2025, Vol. 15 Issue 22, p11951, 25p

Predmety: GENERATIVE artificial intelligence, INNOVATION management, MIXED methods research, ORIGINALITY, HUMAN-computer interaction

Property-guided inverse design of metal-organic frameworks using quantum natural language processing.

Autori: Kang, Shinyoung Kim, Jihan

Zdroj: NPJ Computational Materials; 10/28/2025, Vol. 11 Issue 1, p1-16, 16p

Predmety: METAL-organic frameworks, QUANTUM computing, CLASSIFICATION algorithms, QUANTUM information science, POROSITY, REVERSE engineering

A refinement-based approach to safe smart contract deployment and evolution.

Autori: Antonino, Pedro Ferreira, Juliandson Sampaio, Augusto a ďalší

Zdroj: Software & Systems Modeling; Jun2024, Vol. 23 Issue 3, p657-693, 37p

Predmety: NON-fungible tokens, CONTRACTS

Advancements in adversarial generative text-to-image models: a review.

Autori: Zaghloul, Rawan Rawashdeh, Enas Bani-Ata, Tomader

Zdroj: Imaging Science Journal; May2025, Vol. 73 Issue 3, p328-353, 26p

Predmety: COMPUTER vision, GENERATIVE adversarial networks, ARTIFICIAL intelligence, RESEARCH personnel, EVALUATION methodology

Imaginarium: Vision-guided High-Quality 3D Scene Layout Generation.

Autori: Zhu, Xiaoming Huang, Xu Xie, Qinghongbing a ďalší

Zdroj: ACM Transactions on Graphics; Dec2025, Vol. 44 Issue 6, p1-24, 24p

From Rigging to Waving: 3D-Guided Diffusion for Natural Animation of Hand-Drawn Characters.

Autori: Zhou, Jie Qu, Linzi Lam, Miu-Ling a ďalší

Zdroj: ACM Transactions on Graphics; Dec2025, Vol. 44 Issue 6, p1-11, 11p

A Survey of Program Analysis for Distributed Software Systems.

Autori: Cai, Haipeng

Zdroj: ACM Computing Surveys; Dec2025, Vol. 57 Issue 12, p1-45, 45p

Relative Security: (Dis)Proving Resilience Against Semantic Optimization Vulnerabilities in Isabelle/HOL.

Autori: Derrick, John Dongol, Brijesh Edmonds, Chelsea a ďalší

Zdroj: Journal of Automated Reasoning; Dec2025, Vol. 69 Issue 4, p1-64, 64p

Computational prediction of concrete strength via microstructure image analysis: a hybrid machine learning framework.

Autori: Dhorabe, Prashant T. Chandak, Mayuri A. Bahoria, Boskey V. a ďalší

Zdroj: AI in Civil Engineering; 12/1/2025, Vol. 4 Issue 1, p1-16, 16p

Predmety: DEEP learning, NONDESTRUCTIVE testing, FEATURE extraction, HIGH strength concrete, MICROSTRUCTURE, TIME, MACHINE learning, STRUCTURAL health monitoring

The Authenticity Challenge in Digital and Social Media in Cultural Tourism: A Systematic Literature Review.

Autori: Manlee, Nattapong Kasemsarn, Kittichai

Zdroj: Heritage (2571-9408); Nov2025, Vol. 8 Issue 11, p478, 25p

Predmety: HERITAGE tourism, SOCIAL media, TOURISM management, OPTIMIZATION algorithms, PHOTOGRAPHY, CULTURAL identity

Prompting Techniques for Secure Code Generation: A Systematic Investigation.

Autori: Tony, Catherine Díaz Ferreyra, Nicolás E. Mutas, Markus a ďalší

Zdroj: ACM Transactions on Software Engineering & Methodology; Nov2025, Vol. 34 Issue 8, p1-53, 53p

Predmety: COMPUTER software security, COMPUTER software development, NATURAL language processing, CODE generators, LANGUAGE models, ELICITATION technique

Beyond the first purchase: unpacking the continuance intentions behind sustainable consumption.

Autori: Tong, Xiayu Wang, Kai Feng, Shuaiming

Zdroj: Frontiers in Psychology; 2025, p1-17, 17p

Predmety: SUSTAINABLE consumption, GREEN products, PLANNED behavior theory, CONSUMER behavior, EMERGING markets, ENVIRONMENTAL literacy

Design of personalized creation model for cultural and creative products based on evolutionary adaptive network.

Autori: Hu, Dailei Wang, Enshi Arshad, Muddassira

Zdroj: PeerJ Computer Science; Oct2025, p1-22, 22p

Predmety: EVOLUTIONARY algorithms, CUSTOM design, DIGITAL images, EXPRESSIVE behavior, PROBABILISTIC generative models, CULTURAL industries, ARTISTIC creation

Showcasing the Structure and Properties of Lanthanide‐Doped BaTiO3.

Autori: Nakagawa, Takeshi Menelaou, Melita Vrankić, Martina

Zdroj: Advanced Physics Research; Sep2025, Vol. 4 Issue 9, p1-46, 46p

Precision Blank Development for Hydro-Formed Aerospace Components via Inverse Finite Element Analysis.

Autori: Mironenko, Vladimir V. Kononenko, Roman V. Govorkov, Alexey S. a ďalší

Zdroj: Applied Sciences (2076-3417); Aug2025, Vol. 15 Issue 16, p9028, 24p

Predmety: AEROSPACE industries, AERODYNAMICS, VIRTUAL prototypes, FINITE element method, HYDROELASTICITY, ALUMINUM alloys, MANUFACTURING processes, RESOURCE allocation

An efficient IoT-based crop damage prediction framework in smart agricultural systems.

Autori: Rezk, Nermeen Gamal Attia, Abdel-Fattah El-Rashidy, Mohamed A. a ďalší

Zdroj: Scientific Reports; 7/30/2025, Vol. 15 Issue 1, p1-15, 15p

Predmety: INTERNET of things, MACHINE learning, MISSING data (Statistics), AGRICULTURAL technology, ENSEMBLE learning, AGRICULTURAL forecasts, BOOSTING algorithms