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)

Refined Urban Functional Zone Mapping by Integrating Open-Source Data
за авторством: Yue Deng, та інші
Опубліковано: (2022-07-01)

Domain−Specific Semantics and Data Refinement of Object Models
за авторством: Davies, J, та інші
Опубліковано: (2006)

Domain−specific Semantics and Data Refinement of Object Models
за авторством: Davies, J, та інші
Опубліковано: (2008)

Can you distinguish naturally occurring from refined dietary fibre?
за авторством: J. Cunningham, та інші
Опубліковано: (2016-06-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)

Extensions of the natural approach to refinements and generalizations of some trigonometric inequalities
за авторством: Branko Malešević, та інші
Опубліковано: (2018-03-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)

Fast Fourier Transform Free From Tears
за авторством: MacNaughten, A, та інші
Опубліковано: (1977)

Phase transformation pathway and microstructural refinement by feathery transformation of Ru-containing γ-TiAl alloy
за авторством: Rui Hu, та інші
Опубліковано: (2022-05-01)