Search Results - "Blockchain"
Suggested Topics within your search.
Suggested Topics within your search.
- History of engineering & technology 32
- Artificial intelligence 28
- Technology: general issues 27
- Computer science 20
- Information technology industries 17
- Software Engineering 14
- Artificial Intelligence 12
- Computer networks 12
- Computer security 12
- Finance 11
- Research & information: general 10
- Computer Communication Networks 9
- Business information services 8
- Business mathematics & systems 8
- Computer networking & communications 8
- Electrical engineering 8
- IT in Business 8
- Macroeconomics 8
- Computing & information technology 7
- Databases 7
- Software engineering 7
- Communications engineering / telecommunications 6
- Computer Engineering and Networks 6
- Computer engineering 6
- Computer modelling & simulation 6
- Data and Information Security 6
- Data protection 6
- Electronics engineering 6
- Expert systems / knowledge-based systems 6
- Financial services industry 6
-
341
-
342
-
343
-
344
Digital Transformation of the Design, Construction and Management Processes of the Built Environment
Published 2020Table of Contents: “…PART I: INTEROPERABLE MANAGEMENT OF THE PROCESS, National BIM digital platform for construction (INNOVance project) -- From cloud to BIM model of the built environment: the digitized process for competitive tender, project, construction and management -- The construction contract execution through the integration of Blockchain technology -- The BIMReL Project, the BIM interoperable library in the Lombardy Region -- Life cycle BIM-oriented data collection: a framework for supporting practitioners -- Decision-making BIM platform for chemical building products -- BIM electrical objects plug-in for industry 4.0 -- Da.Ma.Tra: Material Traceability Database -- Natural language processing for information and project management -- Structure of a general Exchange Information Requirements (EIR) for tenders according to the UNI 11337:2017 standard -- PART II: DESIGN STAGE, Clash detection and code checking BIM platform for the Italian market -- Digital tool for optimization -- Performance-based designapproach for tailored acoustic surfaces -- Do Smart City policies work? …”
Link to Metadata
Electronic eBook -
345
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /
Published 2021Table of Contents: “…Invited Papers -- NNrepair: Constraint-based Repair of Neural Network Classifiers -- Balancing automation and control for formal verification of microprocessors -- Algebraic Program Analysis -- Programmable Program Synthesis -- Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities -- AI Verification -- DNNV: A Framework for Deep Neural Network Verification -- Robustness Verification of Quantum Classifiers -- BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks -- Automated Safety Verification of Programs Invoking Neural Networks -- Scalable Polyhedral Verification of Recurrent Neural Networks -- Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning -- Robustness Verification of Semantic Segmentation Neural Networks using Relaxed Reachability -- PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier -- Concurrency and Blockchain -- Isla: Integrating full-scale ISA semantics andaxiomatic concurrency models -- Summing Up Smart Transitions -- Stateless Model Checking under a Reads-Value-From Equivalence -- Gobra: Modular Specification and Verification of Go Programs -- Delay-Bounded Scheduling Without Delay! …”
Link to Metadata
Electronic eBook -
346
-
347
Proceedings of the Second International Forum on Financial Mathematics and Financial Technology
Published 2023Link to Metadata
Electronic eBook -
348
Chapter 3: Eras of digital entrepreneurship: connecting the past, present, and future
Published 2022DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
349
Chapter 3: Eras of digital entrepreneurship: connecting the past, present, and future
Published 2022DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
350
Proceedings of the Second International Forum on Financial Mathematics and Financial Technology
Published 2023DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
351
-
352
Disrupting Finance FinTech and Strategy in the 21st Century
Published 2019DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
353
Mobile Edge Computing
Published 2022DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
354
Emerging Technologies Value Creation for Sustainable Development
Published 2022DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
355
Digital Agriculture, Methods and Applications
Published 2022DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
356
Chapter 6 Virtual Energy Storage Systems for Virtual Power Plants
Published 2023DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
357
-
358
-
359
Law, Technology and Dispute Resolution The Privatisation of Coercion
Published 2019OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
360