نتائج البحث

The Standard Model for Programming Languages: The Birth of a Mathematical Theory of Computation

• Authors : Simone Martini; Martini, Simone

Subjects: Semantics of programming languages; history of programming languages; mathematical theory of computation

تفاصيل العنوان

The Standard Model for Programming Languages: The Birth of a Mathematical Theory of Computation

• Authors : Martini, Simone;

Subjects: Semantics of programming languages; History of programming languages; Mathematical theory of computationBologna; Italy

• Source: Recent Developments in the Design and Implementation of Programming Languages ; https://inria.hal.science/hal-03028634 ; Recent Developments in the Design and Implementation of Programming Languages,

تفاصيل العنوان

Biological Computing

• Authors : Xu, Jin

Subjects: Biocomputing; DNA computing; RNA computing

تفاصيل العنوان

Chapter 10 The DINGO database of axial pile–load tests for the United Kingdom

• Authors : Othman, Manar M.; Voyagaki, Elia; Crispin, Jamie J.

Subjects: geotechnical risk,georisk,artificial neural networks,numerical modelling in geotechnics,numerical modelling of soils,ISSMGE TC 304 CPT,machine learning,VSPDB,Shear-Wave Velocity,Next Generation Liquefaction,Soil Profile Database,Deep Foundation Load Test Database,DFLTD,micropile and helical pile load,Databases to Interrogate Geotechnical Observations; Mathematical theory of computation; E-book readers, tablets and other portable devices: consumer / user guides

تفاصيل العنوان

Algorithmic Foundations for Social Advancement

• Authors : Minato, Shin-ichi; Uno, Takeaki; Yasuda, Norihito

Subjects: Algorithm; Enumeration; Satisfiability

تفاصيل العنوان

Bridging the Gap Between AI and Reality

• Authors : Steffen, Bernhard

Subjects: artificial intelligence; machine learning; natural language processing

تفاصيل العنوان

Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024

• Authors : Narodytska, Nina; Rümmer, Philipp

Subjects: Formal Methods; Computer-Aided System Design; Hardware and System Verification

تفاصيل العنوان

Quantum Software

• Authors : Exman, Iaakov; Pérez-Castillo, Ricardo; Piattini, Mario

Subjects: Quantum Information Processing; Quantum Software; Quantum Artificial Intelligence

تفاصيل العنوان

Formal Methods

• Authors : Platzer, Andre; Rozier, Kristin Yvonne; Pradella, Matteo

Subjects: architecture verification and validation; artificial intelligence; design and analysis of algorithms

تفاصيل العنوان

Databases for Data-Centric Geotechnics

• Authors : Tang, Chong; Phoon, Kok-Kwang

Subjects: geotechnical risk,georisk,artificial neural networks,numerical modelling in geotechnics,numerical modelling of soils,ISSMGE TC 304 CPT,machine learning,VSPDB,Shear-Wave Velocity,Next Generation Liquefaction,Soil Profile Database,Deep Foundation Load Test Database,DFLTD,micropile and helical pile load,Databases to Interrogate Geotechnical Observations; Mathematical theory of computation; E-book readers, tablets and other portable devices: consumer / user guides

تفاصيل العنوان