Results 31 to 40 of about 554,382 (316)

Data Refinement Refined. [PDF]

, 1986
We consider the original work of Hoare and Jones on data refinement in the light of Dijkstra and Smyth's treatment of nondeterminism and of Milner and Park's definition of the simulation of Communicating Systems. Two proof methods are suggested which we hope are simpler and more general than those in current use.
Jifeng He 0001, C. A. R. Hoare, Jeff W. Sanders   +2 more
openaire   +2 more sources

Simulation-Based Invariant Verification Technique for the OTS/CafeOBJ Method

IEEE Access, 2021
We demonstrate the power of the simulation-based invariant verification technique through two case studies in which it is formally verified that two mutual exclusion protocols, MCS protocol and Anderson protocol, enjoy the mutual exclusion property by ...
Duong Dinh Tran, Dang Duy Bui, Kazuhiro Ogata   +2 more
doaj   +1 more source

Refining Indeterministic Choice: Imprecise Probabilities and Strategic Thinking [PDF]

Vietnam Journal of Computer Science, 2020
Often, uncertainty is present in processes that are part of our routines. Having tools to understand the consequences of unpredictability is convenient. We introduce a general framework to deal with uncertainty in the realm of distribution sets that are ...
Jorge Castro, Joaquim Gabarro, Maria Serna   +2 more
doaj   +1 more source

Mode refinement algorithm for H.264 inter frame requantization [PDF]

, 2006
The latest video coding standard H.264 has been recently approved and has already been adopted for numerous applications including HD-DVD and satellite broadcast.
Damien Lefol, Lefol, D, Bull, DR, Dave Bull   +3 more
core   +1 more source

On abstraction refinement for program analyses in Datalog [PDF]

, 2014
A central task for a program analysis concerns how to efficiently find a program abstraction that keeps only information relevant for proving properties of interest.
Zhang, Xin, Naik, Mayur, Mangal, Ravi, Ravi Mangal, Yang, Hongseok, Xin Zhang, Hongseok Yang, Grigore, Radu, Radu Grigore, Mayur Naik   +9 more
core   +1 more source

Microglia-targeting nanosystems that cooperatively deliver Chinese herbal ingredients alleviate behavioral and cognitive deficits in Alzheimer’s disease model mice

Journal of Nanobiotechnology
The effective treatment of Alzheimer’s disease (AD) is challenging because of its complex and controversial pathological mechanisms. Moreover, multiple barriers, such as the blood–brain barrier (BBB), reduce drug delivery efficiency.
Peng Zhou, Quan Chao, Chen Li, Ningjing Wang, Siqi Guo, Pingping Wang, Pingyuan Ge, Caihong Li, Rui Guo, Nianyun Yang, Zhangdi Lu, Zhishu Tang, Qichun Zhang, Tingming Fu, Qingqing Xiao, Huaxu Zhu   +15 more
doaj   +1 more source

Refinement of time

Theoretical Computer Science, 1997
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

European Standard Clinical Practice Guideline and EXPeRT Recommendations for the Diagnosis and Management of Gastroenteropancreatic Neuroendocrine Neoplasms in Children and Adolescents

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Pediatric gastroenteropancreatic neuroendocrine neoplasms (GEP‐NENs) are extremely rare and clinically heterogeneous. Management has largely been extrapolated from adult practice. This European Standard Clinical Practice Guideline (ESCP), developed by the EXPeRT network in collaboration with adult NEN experts, provides (adult) evidence ...
Michaela Kuhlen, Calogero Virgone, Antje Redlich, Michael Abele, Ricardo Lopez‐Almaraz, Tal Ben‐Ami, Ewa Bien, Gianni Bisogno, Maja Mazic Cesen, Andrea Ferrari, Malgorzata A. Krawczyk, Yves Reguerre, Dominik T. Schneider, Ines B. Brecht, Charlotte Rigaud, Bilgehan Yalcin, Rainer Claus, Christian Vokuhl, Constantin Lapa, Jörg Fuchs, Segolene Hescot, Thomas Walter, Julien Hadoux, Daniel Orbach   +23 more
wiley   +1 more source

tsungtingkuo/refinement v1.0.0 [PDF]

, 2018
<p>Learning-Based Concept-Hierarchy Refinement through Exploiting Topology, Content and Social Information</p ...
Tsung-Ting Kuo (8224653), Shou-De Lin, Shou-De Lin (134905), Tsung-Ting Kuo   +3 more
core   +1 more source

Enrichment of Nutmeg Essential Oil from Oil-in-Water Emulsions with PAN-Based Membranes

Membranes
This study used polyacrylonitrile (PAN) and heat-treated polyacrylonitrile (H-PAN) membranes to enrich nutmeg essential oils, which have more complex compositions compared with common oils.
Huilan Yin, Haoyu Zhang, Jiaoyang Cui, Qianlian Wu, Linlin Huang, Jiaoyue Qiu, Xin Zhang, Yanyu Xiang, Bo Li, Hongbo Liu, Zhishu Tang, Yue Zhang, Huaxu Zhu   +12 more
doaj   +1 more source