Results 31 to 40 of about 1,353,441 (297)

Refinement and verification of concurrent systems specified in Object-Z and CSP [PDF]

, 1997
The formal development of large or complex systems can often be facilitated by the use of more than one formal specification language. Such a combination of languages is particularly suited to the specification of concurrent or distributed systems, where
Derrick, John, Smith, Graeme
core   +2 more sources

The ethical justification for the use of animals in biomedical research [PDF]

Archives of Biological Sciences, 2010
Despite all the benefits, the use of animals in biomedical research is still a subject of debate with respect to its true value. The sensitivity of the community and the interest of scientists who work in the field of laboratory animal science and ...
Kostomitsopoulos N.G., Đurašević S.F.
doaj   +1 more source

Remote Controlled Nociceptive Threshold Testing Systems in Large Animals

Animals, 2020
Nociceptive threshold (NT) testing is widely used for the study of pain and its alleviation. The end point is a normal behavioural response, which may be affected by restraint or unfamiliar surroundings, leading to erroneous data.
Polly Taylor
doaj   +1 more source

Coset Sum: an alternative to the tensor product in wavelet construction

, 2013
A multivariate biorthogonal wavelet system can be obtained from a pair of multivariate biorthogonal refinement masks in Multiresolution Analysis setup. Some multivariate refinement masks may be decomposed into lower dimensional refinement masks.
Hur, Youngmi, Zheng, Fang
core   +1 more source

Isomorphism test for digraphs with weighted edges [PDF]

, 2018
Colour refinement is at the heart of all the most efficient graph isomorphism software packages. In this paper we present a method for extending the applicability of refinement algorithms to directed graphs with weighted edges.
Piperno, Adolfo
core   +2 more sources

Modulation and Refinement of In–N re-Bonding of InGaN Through in Post-Flow During a Refined Temper Fire Treatment Process

IEEE Access, 2020
In this article, we describe a subtle method for modulating and refining the indium-nitrogen (In-N) re-bonding effect of InGaN by employing an In post-flow during temper fire (ΔT = 110°C) treatment. After optimizing the In flow rate and the
Tsung-Yen Liu, Lung-Chien Chen, Cheng-Che Lee, Yu Cheng, Chieh-Hsiung Kuan, Ray-Ming Lin   +5 more
doaj   +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 Modal Logic

, 2013
In this paper we present {\em refinement modal logic}. A refinement is like a bisimulation, except that from the three relational requirements only `atoms' and `back' need to be satisfied.
Aczel, Alur, Alur, Antonik, Arnold, Aucher, Aucher, Balbiani, Baltag, Bilkova, Blackburn, Bozzelli, Browne, Clarke, d'Agostino, d'Agostino, d'Agostino, Economou, Fagin, Feuillade, Fine, French, French, Gerbrandy, Hales, Hales, Hales, Hales, Hans van Ditmarsch, Harel, James Hales, Janin, Janin, Kooi, Kupferman, Kupke, Küsters, Larsen, Laura Bozzelli, Lomuscio, Mazala, Miller, Morgan, Parikh, Pauly, Plaza, Raclet, Raclet, Raclet, Ramadge, Riedweg, Ryan, Sistla, Sophie Pinchinat, Tim French, Tsitsoklis, van Benthem, van Benthem, van Ditmarsch, van Ditmarsch, van Ditmarsch, van Ditmarsch, Walukiewicz, Wen, Wilke, Woodcock   +65 more
core   +3 more sources

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

The error estimate and the convergence rate for h, p - refinement in the finite element analysis

Vietnam Journal of Mechanics, 2008
The goal of this study is to further investigate and to develop a more efficient way in the error estimate and the rate of the convergence for the mesh h, p-refinement procedure in the finite element analysis for two-dimensional and three-dimensional ...
Nguyen Hoai Son
doaj   +1 more source