Results 31 to 40 of about 553,328 (316)

Big Data Refinement [PDF]

, 2016
"Big data" has become a major area of research and associated funding, as well as a focus of utopian thinking. In the still growing research community, one of the favourite optimistic analogies for data processing is that of the oil refinery, extracting ...
Eerke A. Boiten, Boiten, Eerke Albert
core   +1 more source

A Case Study in Partial Specification: Consistency and Refinement for Object-Z [PDF]

, 2000
The 'viewpoint' approach, in which a system is described by several partial specifications, has been proposed as a way of making complex computing systems more understandable.
Derrick, J., Taylor, C., Boiten, E.
core   +1 more source

Reduction in Cold Stress in an Innovative Metabolic Cage Housing System Increases Animal Welfare in Laboratory Mice

Animals, 2023
Housing in metabolic cages can induce a pronounced stress response. Metabolic cage systems imply housing mice on metal wire mesh for the collection of urine and feces in addition to monitoring food and water intake.
Laura Wittek, Chadi Touma, Tina Nitezki, Thomas Laeger, Stephanie Krämer, Jens Raila   +5 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

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

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

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

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

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

Refinement of time

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