233 research outputs found
Acoustic radiation- and streaming-induced microparticle velocities determined by micro-PIV in an ultrasound symmetry plane
We present micro-PIV measurements of suspended microparticles of diameters
from 0.6 um to 10 um undergoing acoustophoresis in an ultrasound symmetry plane
in a microchannel. The motion of the smallest particles are dominated by the
Stokes drag from the induced acoustic streaming flow, while the motion of the
largest particles are dominated by the acoustic radiation force. For all
particle sizes we predict theoretically how much of the particle velocity is
due to radiation and streaming, respectively. These predictions include
corrections for particle-wall interactions and ultrasonic thermoviscous
effects, and they match our measurements within the experimental uncertainty.
Finally, we predict theoretically and confirm experimentally that the ratio
between the acoustic radiation- and streaming-induced particle velocities is
proportional to the square of the particle size, the actuation frequency and
the acoustic contrast factor, while it is inversely proportional to the
kinematic viscosity.Comment: 11 pages, 9 figures, RevTex 4-
Towards sustainable healthcare system performance in the 21st century in high-income countries: A protocol for a systematic review of the grey literature
© © Author(s) (or their employer(s)) 2019. Re-use permitted under CC BY-NC. No commercial re-use. See rights and permissions. Published by BMJ. Introduction There is wide recognition that, if healthcare systems continue along current trajectories, they will become harder to sustain. Ageing populations, accelerating rates of chronic disease, increasing costs, inefficiencies, wasteful spending and low-value care pose significant challenges to healthcare system durability. Sustainable healthcare systems are important to patients, society, policy-makers, public and private funders, the healthcare workforce and researchers. To capture current thinking about improving healthcare system sustainability, we present a protocol for the systematic review of grey literature to capture the current state-of-knowledge and to compliment a review of peer-reviewed literature. Methods and analysis The proposed search strategy, based on the Preferred Reporting Items for Systematic Review and Meta-Analyses guidelines, includes Google Advanced Search, snowballing techniques and targeted hand searching of websites of lead organisations such as WHO, Organisation for Economic Cooperation and Development, governments, public policy institutes, universities and non-government organisations. Documents will be selected after reviewing document summaries. Included documents will undergo full-Text review. The following criteria will be used: grey literature document; English language; published January 2013-March 2018; relevant to the healthcare delivery system; the content has international or national scope in high-income countries. Documents will be assessed for quality, credibility and objectivity using validated checklists. Descriptive data elements will be extracted: identified sustainability threats, definitions of sustainability, attributes of sustainable healthcare systems, solutions for improvement and outcome measures of sustainability. Data will be analysed using novel text-mining methods to identify common concept themes and meanings. This will be triangulated with the more traditional analysis and concept theming by the researchers. Ethics and dissemination No primary data will be collected, therefore ethical approval will not be sought. The results will be disseminated in peer-reviewed literature, as conference presentations and as condensed summaries for policy-makers and health system partners. PROSPERO registration number CRD42018103076
Termination Casts: A Flexible Approach to Termination with General Recursion
This paper proposes a type-and-effect system called Teqt, which distinguishes
terminating terms and total functions from possibly diverging terms and partial
functions, for a lambda calculus with general recursion and equality types. The
central idea is to include a primitive type-form "Terminates t", expressing
that term t is terminating; and then allow terms t to be coerced from possibly
diverging to total, using a proof of Terminates t. We call such coercions
termination casts, and show how to implement terminating recursion using them.
For the meta-theory of the system, we describe a translation from Teqt to a
logical theory of termination for general recursive, simply typed functions.
Every typing judgment of Teqt is translated to a theorem expressing the
appropriate termination property of the computational part of the Teqt term.Comment: In Proceedings PAR 2010, arXiv:1012.455
Effect of dietary omega-3 fatty acids on castrate-resistant prostate cancer and tumor-associated macrophages.
BackgroundM2-like macrophages are associated with the pathogenesis of castrate-resistant prostate cancer (CRPC). We sought to determine if dietary omega-3 fatty acids (ω-3 FAs) delay the development and progression of CRPC and inhibit tumor-associated M2-like macrophages.MethodsMycCap cells were grown subcutaneously in immunocompetent FVB mice. Mice were castrated when tumors reached 300 mm2. To study effects of dietary ω-3 FAs on development of CRPC, ω-3 or ω-6 diets were started 2 days after castration and mice sacrificed after early regrowth of tumors. To study ω-3 FA effects on progression of CRPC, tumors were allowed to regrow after castration before starting the diets. M2 (CD206+) macrophages were isolated from allografts to examine ω-3 FA effects on macrophage function. Omega-3 fatty acid effects on androgen-deprived RAW264.7 M2 macrophages were studied by RT-qPCR and a migration/ invasion assay.ResultsThe ω-3 diet combined with castration lead to greater MycCap tumor regression (tumor volume reduction: 182.2 ± 33.6 mm3) than the ω-6 diet (tumor volume reduction: 148.3 ± 35.2; p = 0.003) and significantly delayed the time to CRPC (p = 0.006). Likewise, the ω-3 diet significantly delayed progression of established castrate-resistant MycCaP tumors (p = 0.003). The ω-3 diet (as compared to the ω-6 diet) significantly reduced tumor-associated M2-like macrophage expression of CSF-1R in the CRPC development model, and matrix metallopeptidase-9 (MMP-9) and vascular endothelial growth factor (VEGF) in the CRPC progression model. Migration of androgen-depleted RAW264.7 M2 macrophages towards MycCaP cells was reversed by addition of docosahexaenoic acid (ω-3).ConclusionsDietary omega-3 FAs (as compared to omega-6 FAs) decreased the development and progression of CRPC in an immunocompetent mouse model, and had inhibitory effects on M2-like macrophage function. Clinical trials are warranted evaluating if a fish oil-based diet can delay the time to castration resistance in men on androgen deprivation therapy, whereas further preclinical studies are warranted evaluating fish oil for more advanced CRPC
Automatic generation of hardware/software interfaces
Enabling new applications for mobile devices often requires the use of specialized hardware to reduce power consumption. Because of time-to-market pressure, current design methodologies for embedded applications require an early partitioning of the design, allowing the hardware and software to be developed simultaneously, each adhering to a rigid interface contract. This approach is problematic for two reasons: (1) a detailed hardware-software interface is difficult to specify until one is deep into the design process, and (2) it prevents the later migration of functionality across the interface motivated by efficiency concerns or the addition of features. We address this problem using the Bluespec Codesign Language~(BCL) which permits the designer to specify the hardware-software partition in the source code, allowing the compiler to synthesize efficient software and hardware along with transactors for communication between the partitions. The movement of functionality across the hardware-software boundary is accomplished by simply specifying a new partitioning, and since the compiler automatically generates the desired interface specifications, it eliminates yet another error-prone design task. In this paper we present BCL, an extension of a commercially available hardware design language (Bluespec SystemVerilog), a new software compiling scheme, and preliminary results generated using our compiler for various hardware-software decompositions of an Ogg Vorbis audio decoder, and a ray-tracing application.National Science Foundation (U.S.) (NSF (#CCF-0541164))National Research Foundation of Korea (grant from the Korean Government (MEST) (#R33-10095)
Magnetite-doped polydimethylsiloxane (PDMS) for phosphopeptide enrichment
Reversible phosphorylation plays a key role in numerous biological processes. Mass spectrometry-based approaches are commonly used to analyze protein phosphorylation, but such analysis is challenging, largely due to the low phosphorylation stoichiometry. Hence, a number of phosphopeptide enrichment strategies have been developed, including metal oxide affinity chromatography (MOAC). Here, we describe a new material for performing MOAC that employs a magnetite-doped polydimethylsiloxane (PDMS), that is suitable for the creation of microwell array and microfluidic systems to enable low volume, high throughput analysis. Incubation time and sample loading were explored and optimized and demonstrate that the embedded magnetite is able to enrich phosphopeptides. This substrate-based approach is rapid, straightforward and suitable for simultaneously performing multiple, low volume enrichments
Internet-based monitoring of influenza-like illness (ILI) in the general population of the Netherlands during the 2003–2004 influenza season
BACKGROUND: An internet-based survey of influenza-like illness (ILI) – the Great Influenza Survey or GIS – was launched in the Netherlands in the 2003–2004 influenza season. The aim of the present study was to validate the representativeness of the GIS population and to compare the GIS data with the official ILI data obtained by Dutch GPs participating in the Dutch Sentinel Practice Network. METHOD: Direct mailings to schools and universities, and repeated interviews on television and radio, and in newspapers were used to kindle the enthusiasm of a broad section of the public for GIS. Strict symptomatic criteria for ILI were formulated with the assistance of expert institutes and only participants who responded at least five times to weekly e-mails asking them about possible ILI symptoms were included in the survey. Validation of GIS was done at different levels: 1) some key demographic (age distribution) and public health statistics (prevalence of asthma and diabetes, and influenza vaccination rates) for the Dutch population were compared with corresponding figures calculated from GIS; 2) the ILI rates in GIS were compared with the ILI consultation rates reported by GPs participating in the Dutch Sentinel Practice Network. RESULTS: 13,300 persons (53% of total responders), replied at least five times to weekly e-mails and were included in the survey. As expected, there was a marked under-representation of the age groups 0–10 years and 81->90 years in the GIS population, although the similarities were remarkable for most other age groups, albeit that the age groups between 21 and 70 years were slightly overrepresented. There were striking similarities between GIS and the Dutch population with regard to the prevalence of asthma (6.4% vs. 6.9%) and the influenza vaccination rates, and to a lesser degree for diabetes (2.4% vs. 3.5%). The vaccination rates in patients with asthma or diabetes, and persons older than 65 years were 68%, 85%, and 85% respectively in GIS, while the corresponding percentages in the Dutch population were 73%, 85% and 87%. There was also a marked similarity between the seasonal course of ILI measured by GIS and the GPs. Although the ILI rate in GIS was about 10 times higher, the curves followed an almost similar pattern, with peak incidences occurring in the same week. CONCLUSION: The current study demonstrates that recruitment of a high number of persons willing to participate in on-line health surveillance is feasible. The information gathered proved to be reliable, as it paralleled the information obtained via an undisputed route. We believe that the interactive nature of GIS and the appealing subject were keys to its success
- …