De-identification Policy Comparison and Activation Plan for Big Data Industry

so-jin, Lee; Jin, Chae-Eun; Jeon, Min-Ji; Lee, Joeun; Kim, Su-Jeong; Lee, Sang‐Hyun

doi:10.17703/jcct.2016.2.4.71

Cited by 2 publications

(2 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Apart from the aforementioned countries that have implemented comprehensive regulations and have various authorities to govern the pet food safety, there are still several developed countries in Asia do not have pet food regulations as Hong Kong, such as Thailand and Korea [64,65]. In Thailand and Korea, 7 dogs in total died from renal failure due to consumption of pet food that contaminated with Ochratoxin A (OTA) [65,66].…”

Section: Suggestion and Preventionmentioning

confidence: 99%

A Study on Control of Dog Food Quality, Safety and Health

Ma,

Chan,

Mak

et al. 2024

Preprint

View full text Add to dashboard Cite

Dogs population increased exponentially in the past decade while the birth rate decreased gradually, especially in the developed countries. Due to dogs’ characteristics of loyalty and obedience, most pet owners treated their dogs as their family members or companions, therefore they are willing to select and purchase safe, high quality and nutrition dog food to their dogs. However, there is lack of regulation or standard to reinforce the production or distribution of dog food in Hong Kong. Consequently, this paper will first review the relationship between high dog population and declining birth rate, types of dog food and typical ingredients. Secondly, the potential health implications of various “toxic” food ingredients for dog, hazard analysis of dog food and its testing methods will be investigated. Lastly, this paper will summarize worldwide existing standards and regulations, quality and hygiene management system related to dog food safety to provide insights and suggestions to Hong Kong government about the importance and urgency of implementing regulations and policies to oversee the imported and local manufactured dog food.

show abstract

Section: Suggestion and Preventionmentioning

confidence: 99%

A Study on Control of Dog Food Quality, Safety and Health

Ma,

Chan,

Mak

et al. 2024

Preprint

View full text Add to dashboard Cite

show abstract

“…Go's key feature is concurrency in Figure 1. The primitives for concurrency present in Go are similar to those in CSP [20].

goroutines

are used to spawn new threads of execution and channels are used to communicate between

goroutines

.…”

Section: Introductionmentioning

confidence: 99%

K‐Go: An executable formal semantics of Go language in K framework

Zhao

Liu

Hu³

et al. 2023

IET Blockchain

View full text Add to dashboard Cite

Go is a relatively new programming language and has become one of the most important programming languages used widely in blockchain. A formal semantics plays an important role in program synthesis, analysis and verification. The existed formal semantics of Go are not executable and do not cover the core features, hence, this paper presents an executable formal semantics for Go, called K-Go, using rewriting logic in 𝕂 framework to make sure the semantics is both executable and applicable. K-Go includes syntax, configuration and rules and covers the declaration and definition of basic types, basic expression, concurrency, main statement data reading and writing based on channel. K-Go is validated by test set with 100% semantic coverage based on the official test suite. The evaluation experiment shows that K-Go is correct. Using formal semantics of Go language, building Go program synthesis, analysis and verification tools is easy for analyzing more characteristics of Go programs.

show abstract

De-identification Policy Comparison and Activation Plan for Big Data Industry

Cited by 2 publications

References 0 publications

A Study on Control of Dog Food Quality, Safety and Health

A Study on Control of Dog Food Quality, Safety and Health

K‐Go: An executable formal semantics of Go language in K framework

Contact Info

Product

Resources

About