Natural Transformations and Data Refinement

Natural Transformations and Data Refinement

Номзүйн дэлгэрэнгүй
Үндсэн зохиолчид:	Hoare, C, He, J
Формат:	Record
Хэвлэсэн:	2015

Ижил төстэй зүйлс

Data Refinement Refined: Resume
-н: He, J, зэрэг
Хэвлэсэн: (1986)

Prespecification in Data Refinement
-н: Hoare, C, зэрэг
Хэвлэсэн: (1987)

Data Refinement Refined
-н: Hoare, C, зэрэг
Хэвлэсэн: (1985)

Data Refinement in a Categorical Setting
-н: Hoare, C
Хэвлэсэн: (1987)

Data Refinement in a Categorical Setting
-н: Hoare, C
Хэвлэсэн: (1987)

Equating Simulation with Refinement
-н: He, J, зэрэг
Хэвлэсэн: (2003)

Bisimulation and refinement reconciled
-н: Roscoe, A, зэрэг
Хэвлэсэн: (2003)

Data Refinement Refined
Хэвлэсэн: (1985)

On the Refinement and Simulation of Data Types and Processes
-н: Bolton, C, зэрэг
Хэвлэсэн: (1999)

On closing the inopportune gap with consistency transformation and iterative refinement.
-н: Mario João, зэрэг
Хэвлэсэн: (2023-01-01)

Big Data Refinement
-н: Eerke A. Boiten
Хэвлэсэн: (2016-06-01)

Refiner and natural gasoline manufacturer [mikrofilem]
Хэвлэсэн: (1922)

Segmentation Mask Refinement Using Image Transformations
-н: Tung Duc Nguyen, зэрэг
Хэвлэсэн: (2017-01-01)

Note about predicate transformers
-н: Hoare, C
Хэвлэсэн: (2015)

Shifting the Identity of Predicate Transformers
-н: Hoare, C
Хэвлэсэн: (2015)

Some properties of Predicate Transformers
-н: Hoare, C
Хэвлэсэн: (1978)

Diversified Image Inpainting With Transformers and Denoising Iterative Refinement
-н: Shuzhen Xu, зэрэг
Хэвлэсэн: (2024-01-01)

Data refinement for true concurrency
-н: Brijesh Dongol, зэрэг
Хэвлэсэн: (2013-05-01)

Semantic scene completion via semantic-aware guidance and interactive refinement transformer
-н: Xiao, Haihong, зэрэг
Хэвлэсэн: (2025)

Graph Feature Refinement and Fusion in Transformer for Structural Damage Detection
-н: Tianjie Hu, зэрэг
Хэвлэсэн: (2024-07-01)

Refined analysis and prediction of natural gas consumption in China
-н: Ting Liang, зэрэг
Хэвлэсэн: (2019-06-01)

Basic Theorems about Predicate Transformers
-н: Hoare, C, зэрэг
Хэвлэсэн: (1977)

Domain−Specific Semantics and Data Refinement of Object Models
-н: Davies, J, зэрэг
Хэвлэсэн: (2006)

Domain−specific Semantics and Data Refinement of Object Models
-н: Davies, J, зэрэг
Хэвлэсэн: (2008)

Refined Urban Functional Zone Mapping by Integrating Open-Source Data
-н: Yue Deng, зэрэг
Хэвлэсэн: (2022-07-01)

The influence of natural tocopherols during thermal oxidation of refined and partially hydrogenated soybean oils
-н: C. J. Steel, зэрэг
Хэвлэсэн: (2005-03-01)

Hirshfeld atom refinement and dynamical refinement of hexagonal ice structure from electron diffraction data
-н: Michał Leszek Chodkiewicz, зэрэг
Хэвлэсэн: (2024-09-01)

Feature Refinement and Multi-scale Attention for Transformer Image Denoising Network
-н: YUAN Heng, GENG Yikun
Хэвлэсэн: (2024-07-01)

A Transformative Gold Patterning through Selective Laser Refining of Cyanide
-н: Jaemook Lim, зэрэг
Хэвлэсэн: (2021-07-01)

Gradual Refinement Blending Pattern Matching with Data Abstraction
-н: Wang, M, зэрэг
Хэвлэсэн: (2010)

Gradual Refinement: Blending Pattern Matching with Data Abstraction
-н: Wang, M, зэрэг
Хэвлэсэн: (2010)

Data Reliability
-н: Hoare, C
Хэвлэсэн: (1975)

Data Reliability
-н: Hoare, C
Хэвлэсэн: (1975)

Data Reliability
-н: Hoare, C
Хэвлэсэн: (1975)

Data Refinement with Low−level Pointer Operations
-н: Mijajlovic, I, зэрэг
Хэвлэсэн: (2005)

Blaiming the Client: On Data Reﬁnement in the Presence of Pointers
-н: Filipovic, I, зэрэг
Хэвлэсэн: (2010)

Phase transformation pathway and microstructural refinement by feathery transformation of Ru-containing γ-TiAl alloy
-н: Rui Hu, зэрэг
Хэвлэсэн: (2022-05-01)

Fast Fourier Transform Free From Tears
-н: MacNaughten, A, зэрэг
Хэвлэсэн: (1977)

Refining data–data and data–model vegetation comparisons using the Earth mover's distance (EMD)
-н: M. Chevalier, зэрэг
Хэвлэсэн: (2023-05-01)

Recursive Data Structures
-н: Hoare, C
Хэвлэсэн: (1975)