Mostrando 19,281 - 19,300 Resultados de 21,406 Para Buscar '"Architecture"', tiempo de consulta: 0.13s Limitar resultados
  1. 19281
    Publicado 2023
    Tabla de Contenidos: “…-- 1.1.1 Relational databases -- 1.1.2 Understanding SQL -- 1.1.3 Using SQL in Java -- 1.2 The paradigm mismatch -- 1.2.1 The problem of granularity -- 1.2.2 The problem of inheritance -- 1.2.3 The problem of identity -- 1.2.4 The problem of associations -- 1.2.5 The problem of data navigation -- 1.3 ORM, JPA, Hibernate, and Spring Data -- Summary -- 2 Starting a project -- 2.1 Introducing Hibernate -- 2.2 Introducing Spring Data -- 2.3 "Hello World" with JPA -- 2.3.1 Configuring a persistence unit -- 2.3.2 Writing a persistent class -- 2.3.3 Storing and loading messages -- 2.4 Native Hibernate configuration -- 2.5 Switching between JPA and Hibernate -- 2.6 "Hello World" with Spring Data JPA -- 2.7 Comparing the approaches of persisting entities -- Summary -- 3 Domain models and metadata -- 3.1 The example CaveatEmptor application -- 3.1.1 A layered architecture -- 3.1.2 Analyzing the business domain -- 3.1.3 The CaveatEmptor domain model -- 3.2 Implementing the domain model -- 3.2.1 Addressing leakage of concerns -- 3.2.2 Transparent and automated persistence -- 3.2.3 Writing persistence-capable classes -- 3.2.4 Implementing POJO associations -- 3.3 Domain model metadata -- 3.3.1 Annotation-based metadata -- 3.3.2 Applying constraints to Java objects -- 3.3.3 Externalizing metadata with XML files…”
    Libro electrónico
  2. 19282
    Publicado 2016
    Tabla de Contenidos: “…12.4 Growing Multicellular Organisms -- 12.4.1 Resisting to Extern Aggressions -- 12.4.2 Resisting to Aggression and Starvation -- 12.5 Driving a Virtual Car -- 12.6 Regulating Behaviors -- 12.7 Conclusion -- References -- 13 Evolving H-GRNs for Morphogenetic Adaptive Pattern Formation of Swarm Robots -- 13.1 Introduction -- 13.2 Problem Statement -- 13.3 H-GRN Model with Region-Based Shape Control -- 13.3.1 Upper Layer: Region Generation -- 13.3.2 Lower Layer: Region-Based Shape Control -- 13.3.3 Implementation Issues -- 13.3.4 Numerical Simulations -- 13.4 Evolving H-GRN Using Network Motifs -- 13.4.1 Basic Network Motifs -- 13.4.2 Upper Layer of the EH-GRN -- 13.4.3 Lower Layer of the EH-GRN -- 13.4.4 Numerical Simulations -- 13.5 Conclusions and Future Work -- Acknowledgment -- Appendix -- A.13.1 Convergence Proof -- A.13.2 Position and Velocity Estimation -- References -- 14 Regulatory Representations in Architectural Design -- 14.1 Introduction -- 14.2 Background -- 14.3 The Need for Regulatory Representations -- 14.4 Developmental Mapping -- 14.4.1 Encoding -- 14.4.2 Representation -- 14.4.3 Experimental Results -- 14.5 Robustness and Evolutionary Adaptation in Biological Systems -- 14.5.1 Hypothesis -- 14.5.2 Experimental Results -- 14.5.3 Canalization of Gene Networks -- 14.5.4 Neutral Shaping of Canalized Gene Networks -- 14.5.5 Neutral Mutations Contribute to Evolutionary Innovations -- 14.6 Conclusions and Discussion -- Acknowledgments -- References -- 15 Computing with Artificial Gene Regulatory Networks -- 15.1 Introduction -- 15.2 Biological GRNs -- 15.3 Computational Models -- 15.4 Modeling Decisions -- 15.5 Computational Properties of AGRNs -- 15.6 AGRN Models and Applications -- 15.6.1 Boolean Networks -- 15.6.2 Artificial Genome Models -- 15.6.3 Artificial Development -- 15.6.4 Fractal Gene Regulatory Networks…”
    Libro electrónico
  3. 19283
    por Smyth, Neil
    Publicado 2020
    Tabla de Contenidos: “…An Overview of the Android Architecture -- 9.1 The Android Software Stack -- 9.2 The Linux Kernel -- 9.3 Android Runtime - ART -- 9.4 Android Libraries -- 9.4.1 C/C++ Libraries -- 9.5 Application Framework -- 9.6 Applications -- 9.7 Summary -- 10. …”
    Libro electrónico
  4. 19284
    Publicado 2018
    Tabla de Contenidos: “…Model-Based Testing as a Service -- 7.1. MBTAAS Architecture -- 7.2. Customization Service -- 7.3. Publication Service -- 7.4. …”
    Libro electrónico
  5. 19285
    Publicado 2022
    Tabla de Contenidos: “…. -- 2.2 Building Blocks for Data Spaces -- 2.2.1 Technical Building Blocks -- 2.2.2 Governance Building Blocks -- 2.3 Synthesis of Building Blocks to Data Spaces -- 2.4 Harmonized Approach to Data Space Governance -- 2.5 The Way Forward and Convergence: Actions to Take in the Coming Digital Decade -- References -- Chapter 3: International Data Spaces in a Nutshell -- 3.1 International Data Spaces -- 3.1.1 Goals of the International Data Spaces -- 3.1.2 Reference Architecture Model -- 3.1.2.1 The International Data Spaces Components -- 3.1.2.2 The International Data Spaces Roles -- 3.1.2.3 Usage Control -- 3.1.3 Certification -- 3.1.3.1 Security Profiles -- 3.1.3.2 Participant Certification -- 3.1.3.3 Component Certification -- 3.1.4 Open Source…”
    Libro electrónico
  6. 19286
    por Ying, Mingsheng
    Publicado 2024
    Tabla de Contenidos: “…4.4 Grover search algorithm -- 4.5 Quantum walks -- 4.5.1 Quantum-walk search algorithm -- 4.6 Basic quantum communication protocols -- 4.6.1 Quantum teleportation -- 4.6.2 Superdense coding -- 4.7 Bibliographic remarks and further readings -- II Sequential quantum programs -- 5 Quantum while-programs -- 5.1 Syntax -- 5.2 Operational semantics -- 5.3 Denotational semantics -- 5.3.1 Basic properties -- 5.3.2 Quantum domains -- 5.3.3 Semantic functions of loops -- 5.3.4 Change and access of quantum variables -- 5.3.5 Termination and divergence -- 5.3.6 Semantic functions as quantum operations -- 5.4 Illustrative example: Grover search -- 5.5 Classical recursion in quantum programming -- 5.5.1 Syntax -- 5.5.2 Operational semantics -- 5.5.3 Denotational semantics -- 5.5.4 Fixed point characterisation -- 5.6 Adding classical variables -- 5.7 Bibliographic remarks and further readings -- 6 Quantum Hoare logic -- 6.1 Quantum predicates -- 6.1.1 Quantum weakest preconditions -- 6.1.2 Commutativity of quantum predicates -- 6.2 Correctness formulas of quantum programs -- 6.3 Weakest preconditions of quantum programs -- 6.4 Proof system for partial correctness -- 6.5 Proof system for total correctness -- 6.6 An illustrative example: verification of Grover search -- 6.7 Auxiliary inference rules -- 6.8 Bibliographic remarks and further readings -- III Verification and analysis -- 7 Verification of quantum programs -- 7.1 Architecture of a quantum program verifier -- 7.1.1 Generating verification conditions -- 7.1.2 Proving verification conditions -- 7.1.3 Validity of the verifier -- 7.2 Localisation of correctness reasoning -- 7.3 Birkhoff-von Neumann quantum logic -- 7.3.1 Orthomodular lattice of closed subspaces -- 7.3.2 Propositional quantum logic -- 7.3.3 First-order quantum logic -- 7.3.4 Effect algebra and unsharp quantum logic…”
    Libro electrónico
  7. 19287
    Publicado 2014
    “…The chapters of this book provide a specific reference architecture for many of the architectural domains that are each important for a large enterprise to establish common strategy, efficiency, and balance. …”
    Libro electrónico
  8. 19288
    Publicado 2015
    “…The chapters of this book provide a specific reference architecture for many of the architectural domains that are each important for a large enterprise to establish common strategy, efficiency, and balance. …”
    Libro electrónico
  9. 19289
    por Kundig, Tom
    Publicado 2006
    Libro
  10. 19290
    Libro
  11. 19291
    por Spaeth, David A.
    Publicado 1985
    Libro
  12. 19292
    por Rosenberg, Daniel, 1966-
    Publicado 2010
    Libro
  13. 19293
    por Wright, Frank Lloyd, 1867-1959
    Publicado 2001
    Libro
  14. 19294
    por Putnam, Robert E.
    Publicado 1988
    Libro
  15. 19295
    Publicado 2020
    “…Next, you'll explore architectures such as VGG, ResNet, Inception, R-CNN, SSD, YOLO, and MobileNet. …”
    Libro electrónico
  16. 19296
    por Grodecki, Louis, 1910-1982
    Publicado 1963
    Libro
  17. 19297
  18. 19298
    por Olgyay, Victor
    Publicado 1998
    Libro
  19. 19299
    Publicado 2010
    Libro
  20. 19300