Results 51 to 60 of about 83,241 (203)

Sharper and Simpler Nonlinear Interpolants for Program Verification

, 2017
Interpolation of jointly infeasible predicates plays important roles in various program verification techniques such as invariant synthesis and CEGAR.
A Gurfinkel, A Platzer, A Rybalchenko, EM Clarke, F Besson, G Stengle, H Peyrl, J Bochnak, J Harrison, KC Toh, KL McMillan, KL McMillan, L Dai, L Dai, M Putinar, P Roux, PA Parrilo, R Jhala, R Jhala, R Sharma, S Gao, S Kupferschmid, S Lang, S Rump, T Gan, T Terauchi, W Lin   +26 more
core   +1 more source

Your C‐Arm May Be Dose Optimised but Is Your Surgical Procedure? The Evaluation and Dose Optimisation of Positioning Aids Used in Paediatric Image Guided Surgery

Journal of Medical Radiation Sciences, EarlyView.
This study objectively evaluated the impact of positioning aids on radiation dose and image quality (IQ) in paediatric image guided surgery (IGS) and the potential for dose optimised imaging via the choice of positioning aid type selected for clinical use.
Dalia Dinham, Sasha Faggotter, Emma Boughen, Hannah Bonaventura, Elaine Ryan   +4 more
wiley   +1 more source

Motion Parameter Capturing of Multiple Mobile Targets in Robotic Sensor Networks

IEEE Access, 2018
A motion parameter capturing method is proposed to jointly estimate the initial positions and velocities of multiple mobile targets in robotic sensor networks.
Xiaoping Wu, Shenghui Wang, Hailing Feng, Junguo Hu, Guoying Wang   +4 more
doaj   +1 more source

Reusable SERS Substrate Based on AuNP/PS‐b‐P2VP Nanocomposites With Photocatalytic Activity

Journal of Raman Spectroscopy, EarlyView.
We developed a bifunctional SERS substrate by assembling AuNPs on PS‐b‐P2VP thin films, capable of both sensitive molecular detection and UV‐assisted self‐cleaning. The platform demonstrates excellent reusability over four adsorption–degradation cycles, driven by a hot‐hole‐mediated photocatalytic mechanism without semiconductors.
Moyra F. Vieira, Bismark N. da Silva, Diego P. dos Santos, Celly M. S. Izumi   +3 more
wiley   +1 more source

Effects of spray dried plasma on litter growth performance and oxidative stress and inflammation of sows kept in a hot environment

Journal of Animal Science and Biotechnology
Background Feeding spray dried plasma (SDP) to weanling pigs improves growth, but there is a lack of research on how SDP impacts oxidative stress and inflammatory response in lactating sows, and performance of their piglets after weaning.
Hannah M. Bailey, Natalia S. Fanelli, Joy M. Campbell, Hans H. Stein   +3 more
doaj   +1 more source

Addition of Spray-Dried Plasma in Phase 2 Diets for Weanling Pigs Improves Growth Performance, Reduces Diarrhea Incidence, and Decreases Mucosal Pro-Inflammatory Cytokines

Animals
The hypothesis that pigs fed a low crude protein (CP) diet with 6% spray-dried plasma (SDP) in phase 1 will have improved growth and intestinal health if the phase-2 diet contains 2.5% SDP was tested. Three hundred weaned pigs were used.
Hannah M. Bailey, Natalia S. Fanelli, Joy M. Campbell, Hans H. Stein   +3 more
doaj   +1 more source

From Expectations to Experience: A Comparison of Program Director Priorities to Resident Case Logs

The Laryngoscope, EarlyView.
The present study identified 47 essential otolaryngology procedures via program director surveys and evaluated the extent of resident participation in these cases through ACGME case logs. Results revealed significant variability in surgical experience, with nearly half of these essential procedures being logged fewer than 10 times during residency ...
Taylor S. Erickson, Yoon Soo Park, Sean Hogan, Sophie Yu, Steven D. Pletcher, Sonya Malekzadeh, Stacey T. Gray, Jenny X. Chen   +7 more
wiley   +1 more source

Biosafety steps in the manufacturing process of spray-dried plasma: a review with emphasis on the use of ultraviolet irradiation as a redundant biosafety procedure

Porcine Health Management, 2020
Spray dried plasma (SDP) is a functional protein source obtained from blood of healthy animals, approved by the veterinary authorities from animals declared to be fit for slaughter for human consumption.
Elena Blázquez, Carmen Rodríguez, Jesús Ródenas, Joaquim Segalés, Joan Pujols, Javier Polo   +5 more
doaj   +1 more source

Observation of H_2O in a strongly lensed Herschel-ATLAS source at z = 2.3 [PDF]

, 2011
The Herschel survey, H-ATLAS, with its large areal coverage, has recently discovered a number of bright, strongly lensed high-z submillimeter galaxies.
Bock, J., Bradford, C. M., Murphy, E. J., Omont, A., Riechers, D., Vieira, J. D., Zmuidzinas, J.   +6 more
core  

SDP Design recommendations

, 2020
This document contains recommendations on how to apply the proposed Data Model (SKA-ProvSDP) to represent the provenance information generated by the Square Kilometre Array’s Science Data Processor. The Data Model SKA-ProvSDP consists of an expansion on IVOA’s Data Model ([RD.1]) using a section of the ProvONE Data Model.
Galcerán, Enrique, Sánchez-Expósito, Susana, Garrido, Julián, Moldón, Javier, Verdes-Montenegro, Lourdes   +4 more
openaire   +1 more source