Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
- Arquitectura 2,870
- Development 1,164
- Application software 993
- Engineering & Applied Sciences 988
- Arquitectura moderna 850
- Architecture 835
- Cloud computing 697
- Computer networks 609
- Computer Science 592
- Art, Architecture & Applied Arts 519
- Management 506
- Visual Arts 476
- Historia 474
- Data processing 430
- Photography 430
- Computer architecture 406
- Software architecture 397
- Computer software 395
- Database management 384
- Security measures 376
- Electrical & Computer Engineering 362
- History 335
- Obras 328
- Java (Computer program language) 326
- Telecommunications 317
- Arquitectes 313
- Diseños y planos 299
- Artificial intelligence 296
- Computer programs 296
- Computer security 295
-
19281Publicado 2023Tabla 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 -
19282Publicado 2016Tabla 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 -
19283por Smyth, NeilTabla 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. …”
Publicado 2020
Libro electrónico -
19284Publicado 2018Tabla 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 -
19285Publicado 2022Tabla 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 -
19286por Ying, MingshengTabla 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…”
Publicado 2024
Libro electrónico -
19287Publicado 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 -
19288Publicado 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 -
19289
-
19290
-
19291
-
19292
-
19293
-
19294
-
19295Publicado 2020“…Next, you'll explore architectures such as VGG, ResNet, Inception, R-CNN, SSD, YOLO, and MobileNet. …”
Libro electrónico -
19296
-
19297
-
19298
-
19299Publicado 2010Libro
-
19300