LLukas22/scidocs huggingface dataset:
A Comparative Study between No Touch Blepharoplasty and Direct Transcutaneous Lower Eyelid Blepharoplasty Using Orbicularis Oculi Muscle Flap

Introduction: Lower blepharoplasty is considered one of the puzzling procedures in plastic surgery and the search of one ideal technique is going on, thus we performed this prospective study in order to compare the functional and aesthetic outcomes of 2 different blepharoplasty techniques. Methods: 40 patients requesting blepharoplasty were divided randomly into 2 sub-groups in respect to the technique used; the traditional blepharoplasty or the no touch technique. Results: The overall rate of incidence of complications was 22.5%. No statistically significant difference in-between the 2 groups. Conclusion: The no touch technique; through our experience in this study; has proven to be a safe, successful and efficacious technique for lower eyelid rejuvenation.
Neighborhood Level Spatial Analysis of the Relationship Between Alcohol Outlet Density and Criminal Violence

Misuse of alcohol is a significant public health problem, potentially resulting in unintentional injuries, motor vehicle crashes, drownings, and, perhaps of greatest concern, serious acts of violence, including assaults, rapes, suicides, and homicides. Although previous research establishes a link between alcohol consumption increased levels of violence, studies relating the density of alcohol outlets (e.g., restaurants, bars, liquor stores) and the likelihood of violent crime have been less common. In this paper we test for such a relationship at the small area level, using data from 79 neighborhoods in the city of Minneapolis, Minnesota. We adopt a fully Bayesian point of view using Markov chain Monte Carlo (MCMC) computational methods as available in the popular and freely available WinBUGS language. Our models control for important covariates (e.g., neighborhood racial heterogeneity, age heterogeneity) and also account for spatial association in unexplained variability using conditionally autoregressive (CAR) random effects. Our results indicate a significant positive relationship between alcohol outlet density and violent crime, while also permitting easy mapping of neighborhood-level predicted and residual values, the former useful for intervention in the most at-risk neighborhoods and the latter potentially useful in identifying covariates still missing from the fixed effects portion of the model.
Royal Australian and New Zealand College of Psychiatrists clinical practice guideline for the management of deliberate self-harm.

OBJECTIVE
To provide guidance for the organisation and delivery of clinical services and the clinical management of patients who deliberately self-harm, based on scientific evidence supplemented by expert clinical consensus and expressed as recommendations.


METHOD
Articles and information were sourced from search engines including PubMed, EMBASE, MEDLINE and PsycINFO for several systematic reviews, which were supplemented by literature known to the deliberate self-harm working group, and from published systematic reviews and guidelines for deliberate self-harm. Information was reviewed by members of the deliberate self-harm working group, and findings were then formulated into consensus-based recommendations and clinical guidance. The guidelines were subjected to successive consultation and external review involving expert and clinical advisors, the public, key stakeholders, professional bodies and specialist groups with interest and expertise in deliberate self-harm.


RESULTS
The Royal Australian and New Zealand College of Psychiatrists clinical practice guidelines for deliberate self-harm provide up-to-date guidance and advice regarding the management of deliberate self-harm patients, which is informed by evidence and clinical experience. The clinical practice guidelines for deliberate self-harm is intended for clinical use and service development by psychiatrists, psychologists, physicians and others with an interest in mental health care.


CONCLUSION
The clinical practice guidelines for deliberate self-harm address self-harm within specific population sub-groups and provide up-to-date recommendations and guidance within an evidence-based framework, supplemented by expert clinical consensus.
Opportunities and Challenges in Running Scientific Workflows on the Cloud

Cloud computing is gaining tremendous momentum in both academia and industry. The application of Cloud computing, however, has mostly focused on Web applications and business applications; while the recognition of using Cloud computing to support large-scale workflows, especially data-intensive scientific workflows on the Cloud is still largely overlooked. We coin the term "Cloud Workflow", to refer to the specification, execution, provenance tracking of large-scale scientific workflows, as well as the management of data and computing resources to enable the execution of scientific workflows on the Cloud. In this paper, we analyze why there has been such a gap between the two technologies, and what it means to bring Cloud and workflow together; we then present the key challenges in running Cloud workflow, and discuss the research opportunities in realizing workflows on the Cloud.
Communicating effectiveness of intervention for chronic diseases: what single format can replace comprehensive information?

BACKGROUND
There is uncertainty about how GPs should convey information about treatment effectiveness to their patients in the context of cardiovascular disease. Hence we study the concordance of decisions based on one of four single information formats for treatment effectiveness with subsequent decisions based on all four formats combined with a pictorial representation.


METHODS
A randomized study comprising 1,169 subjects aged 40-59 in Odense, Denmark. Subjects were randomized to receive information in terms of absolute risk reduction (ARR), relative risk reduction (RRR), number needed to treat (NNT), or prolongation of life (POL) without heart attack, and were asked whether they would consent to treatment. Subsequently the same information was conveyed with all four formats jointly accompanied by a pictorial presentation of treatment effectiveness. Again, subjects should consider consent to treatment.


RESULTS
After being informed about all four formats, 52%-79% of the respondents consented to treatment, depending on level of effectiveness and initial information format. Overall, ARR gave highest concordance, 94% (95% confidence interval (91%; 97%)) between initial and final decision, but ARR was not statistically superior to the other formats.


CONCLUSION
Decisions based on ARR had the best concordance with decisions based on all four formats and pictorial representation, but the difference in concordance between the four formats was small, and it is unclear whether respondents fully understood the information they received.
Lithium Ion Battery Anode Aging Mechanisms

Degradation mechanisms such as lithium plating, growth of the passivated surface film layer on the electrodes and loss of both recyclable lithium ions and electrode material adversely affect the longevity of the lithium ion battery. The anode electrode is very vulnerable to these degradation mechanisms. In this paper, the most common aging mechanisms occurring at the anode during the operation of the lithium battery, as well as some approaches for minimizing the degradation are reviewed.
Metric-Driven RoSy Field Design and Remeshing

Designing rotational symmetry fields on surfaces is an important task for a wide range of graphics applications. This work introduces a rigorous and practical approach for automatic N-RoSy field design on arbitrary surfaces with user-defined field topologies. The user has full control of the number, positions, and indexes of the singularities (as long as they are compatible with necessary global constraints), the turning numbers of the loops, and is able to edit the field interactively. We formulate N-RoSy field construction as designing a Riemannian metric such that the holonomy along any loop is compatible with the local symmetry of N-RoSy fields. We prove the compatibility condition using discrete parallel transport. The complexity of N-RoSy field design is caused by curvatures. In our work, we propose to simplify the Riemannian metric to make it flat almost everywhere. This approach greatly simplifies the process and improves the flexibility such that it can design N-RoSy fields with single singularity and mixed-RoSy fields. This approach can also be generalized to construct regular remeshing on surfaces. To demonstrate the effectiveness of our approach, we apply our design system to pen-and-ink sketching and geometry remeshing. Furthermore, based on our remeshing results with high global symmetry, we generate Celtic knots on surfaces directly.
A lane departure warning system based on a linear-parabolic lane model

We propose a new lane departure warning system based on a linear-parabolic lane boundary model. A linear function is used to fit the near vision field, and a quadratic function fits the far field. The linear part of the model provides robust information about the orientation of the vehicle with respect to both lane boundaries, while the parabolic part is flexible enough to fit curved parts of the road. The orientation of both lane boundaries is then computed and used to anticipate lane crossings.
Absence of sustained hyperlactatemia in HIV-infected patients with risk factors for mitochondrial toxicity.

BACKGROUND
The prevalence of asymptomatic hyperlactatemia among HIV-infected individuals has been reported to be 4% to 36%. This variability may reflect differences in the definition of and risk factors for hyperlactatemia and/or techniques for venous lactate collection.


METHODS
We examined the prevalence of elevated venous lactate collected in accordance with Adult AIDS Clinical Trials Group (AACTG) guidelines among HIV-infected and nucleoside analogue-treated subjects with risk factors associated with hyperlactatemia. Sustained hyperlactatemia was defined as 2 consecutive levels >or=1.5 but <or=4 times the upper limit of normal (ULN) within 30 days.


RESULTS
Eighty-three subjects were enrolled. Two thirds had >or=2 risk factors, with 11% having >4 risk factors. The median entry venous lactate level was 1.2 mmol/L (range: 0.7-5.1 mmol/L). Two subjects had a lactate level >1.5 times the ULN: 1 with a value of 2.1 times the ULN at entry and a week 2 level of 1.2 times the ULN and a second subject with a week 2 value of 1.9 times the ULN but an entry level of 1.4 times the ULN. The latter subject developed symptomatic lactic acidosis 3 weeks following study discontinuation.


CONCLUSIONS
Sustained asymptomatic hyperlactatemia among subjects with risk factors associated with hyperlactatemia was not observed when venous lactate was measured in a standardized fashion. One case of hyperlactatemia that evolved into symptomatic lactic acidosis was diagnosed soon after the completion of the study, however. Our findings indicate that asymptomatic hyperlactatemia is either very rare or an artifact of collection technique.
Provider-Initiated HIV Testing and Counseling: Increased Uptake in Two Public Community Health Centers in South Africa and Implications for Scale-Up

BACKGROUND
International guidance recommends the scale up of routinely recommended, offered, and delivered health care provider-initiated HIV testing and counseling (PITC) to increase the proportion of persons who know their HIV status. We compared HIV test uptake under PITC to provider-referral to voluntary counseling and testing (VCT referral) in two primary health centers in South Africa.


METHODS
Prior to introducing PITC, clinical providers were instructed to refer systematically selected study participants to VCT. After PITC and HIV rapid test training, providers were asked to recommend, offer and provide HIV testing to study participants during the clinical consultation. Participants were interviewed before and after their consultation to assess their HIV testing experiences.


RESULTS
HIV test uptake increased under PITC (OR 2.85, 95% CI 1.71, 4.76), and more patients felt providers answered their questions on HIV (104/141 [74%] versus 73/118 [62%] for VCT referral; p 0.04). After three months, only 4/106 (3.8%) HIV-positive patients had registered for onsite HIV treatment. Providers found PITC useful, but tested very few patients (range 0-15).


CONCLUSION
PITC increased the uptake of HIV testing compared with referral to onsite VCT, and patients reported a positive response to PITC. However, providing universal PITC will require strong leadership to train and motivate providers, and interventions to link HIV-positive persons to HIV treatment centers.
Differences in the implications of maternal lipids on fetal metabolism and growth between gestational diabetes mellitus and control pregnancies.

AIMS
To evaluate the potential contribution of maternal glucose and lipids to fetal metabolic variables and growth in pregnancies with normal glucose tolerance in comparison with pregnancies with well-controlled gestational diabetes previously reported by us.


METHODS
In 190 pregnancies with normal oral glucose tolerance tests (controls), insulin, glucose and lipid components were determined in maternal and arterial cord blood serum. Birthweight and neonatal fat mass were obtained after delivery. Values were adjusted for maternal pre-pregnancy BMI, Caesarean section and gestational age. Measurements were compared with those of gestational diabetes previously reported.


RESULTS
Maternal serum glucose, triacylglycerol, free fatty acid and cholesterol levels did not differ between control pregnancies and those with gestational diabetes, whereas insulin, homeostasis model assessment and glycerol values were significantly lower in the former (2.6 vs. 5.6 μmol/l and 176 vs. 193 μmol/l, respectively). In contrast, cord blood glucose and free fatty acids were significantly lower in control pregnancies than in those with gestational diabetes (3.9 vs. 4.4 mmol/l and 80.7 vs. 137 μmol/l, respectively); the same was valid for insulin (0.03 vs. 0.05 nmol/l) and homeostasis model assessment (1.0 vs. 1.87). In control pregnancies, maternal serum glucose, free fatty acids and glycerol correlated with those in cord blood, but not with neonatal weight and fat mass, as seen for free fatty acids in those with gestational diabetes. The negative correlation between cord blood triacylglycerols and neonatal weight or fat mass previously reported in gestational diabetes could not be confirmed in control pregnancies, where all fetal lipids showed a positive correlation to neonatal anthropometrics.


CONCLUSION
In normal pregnancies, in contrast to those with gestational diabetes, maternal lipids do not influence neonatal weight. Similar levels of maternal lipids in pregnancies with gestational diabetes and control pregnancies, but higher free fatty acids in the cord blood of those with gestational diabetes, indicate their enhanced placental transport and/or enhanced lipolysis as a result of decreased fetal insulin responsiveness.
Detecting bullying in early elementary school with a computerized peer-nomination instrument.

In this study we describe the PEERS Measure, a computerized assessment instrument that takes an innovative approach to using the peer-nomination method to identify bullying among elementary school children in Grades 1-2. Its psychometric characteristics were measured in 4,017 children from 190 school classes. The intercorrelations between the peer-nomination scores showed congruence of the data (e.g., bullying and peer rejection r = .51, defending and prosocial behavior r = .71). Boys were more involved in bullying, more rejected, and less prosocial. As reports by different informants were used, correlations of peer-reported bullying with aggressive behavior reported by a child him- or herself (r = .37) or by a teacher (r = .42) were in the expected range. Good test-retest reliability as measured by the intraclass correlations (average: .72) further suggests that the instrument has good psychometric properties. In line with earlier research, lower maternal educational levels, younger maternal age, and lower household income were related to more bullying and victimization. Overall, our findings show that the instrument provides a reliable measure of peer relations, thus making the use of peer nominations feasible in early elementary school.
EPISEPSIS: a reappraisal of the epidemiology and outcome of severe sepsis in French intensive care units

Ten years ago 8.4% of patients in French intensive care units (ICUs) were found to have severe sepsis or shock and 56% died in the hospital. As novel therapies for severe sepsis are emerging, updated epidemiological information is required. An inception cohort study conducted in 206 ICUs of randomly selected hospitals over a 2-week period in 2001, including all patients meeting criteria for clinically or microbiologically documented severe sepsis (with ≥1 organ dysfunction). Among 3738 admissions, 546 (14.6%) patients experienced severe sepsis or shock, of which 30% were ICU-acquired. The median age of patients was 65 years, and 54.1% had at least one chronic organ system dysfunction. The median (range) Simplified Acute Physiology Score (SAPS II) and Sequential Organ Failure Assessment (SOFA) at onset of severe sepsis were 48 (2–129) and 9 (1–24), respectively. Mortality was 35% at 30 days; at 2 months the mortality rate was 41.9%, and 11.4% of patients remained hospitalized. The median (range) hospital stay was 25 (0–112) days in survivors and 7 (0–90) days in non-survivors. Chronic liver and heart failure, acute renal failure and shock, SAPS II at onset of severe sepsis and 24-h total SOFA scores were the independent risk factors most strongly associated with death. Although the attack rate of severe sepsis in French ICUs appears to have increased over the past decade, its associated mortality has decreased, suggesting improved management of patients. Severe sepsis incurs considerable resources use, and implementation of effective management strategies and continued research efforts are needed.
Acute care inpatients with long-term delayed-discharge: evidence from a Canadian health region

BACKGROUND
Acute hospital discharge delays are a pressing concern for many health care administrators. In Canada, a delayed discharge is defined by the alternate level of care (ALC) construct and has been the target of many provincial health care strategies. Little is known on the patient characteristics that influence acute ALC length of stay. This study examines which characteristics drive acute ALC length of stay for those awaiting nursing home admission.


METHODS
Population-level administrative and assessment data were used to examine 17,111 acute hospital admissions designated as alternate level of care (ALC) from a large Canadian health region. Case level hospital records were linked to home care administrative and assessment records to identify and characterize those ALC patients that account for the greatest proportion of acute hospital ALC days.


RESULTS
ALC patients waiting for nursing home admission accounted for 41.5% of acute hospital ALC bed days while only accounting for 8.8% of acute hospital ALC patients. Characteristics that were significantly associated with greater ALC lengths of stay were morbid obesity (27 day mean deviation, 99% CI = ±14.6), psychiatric diagnosis (13 day mean deviation, 99% CI = ±6.2), abusive behaviours (12 day mean deviation, 99% CI = ±10.7), and stroke (7 day mean deviation, 99% CI = ±5.0). Overall, persons with morbid obesity, a psychiatric diagnosis, abusive behaviours, or stroke accounted for 4.3% of all ALC patients and 23% of all acute hospital ALC days between April 1st 2009 and April 1st, 2011. ALC patients with the identified characteristics had unique clinical profiles.


CONCLUSIONS
A small number of patients with non-medical days waiting for nursing home admission contribute to a substantial proportion of total non-medical days in acute hospitals. Increases in nursing home capacity or changes to existing funding arrangements should target the sub-populations identified in this investigation to maximize effectiveness. Specifically, incentives should be introduced to encourage nursing homes to accept acute patients with the least prospect for community-based living, while acute patients with the greatest prospect for community-based living are discharged to transitional care or directly to community-based care.
Effect of high hydrostatic pressure on antioxidant content of 'Ataulfo' mango during postharvest maturation

Received 12/4/2013 Accepted 19/6/2013 (006063) 1 Laboratorio Integral de Investigación en Alimentos – LIIA, Instituto Tecnológico de Tepic – ITT, Av. Tecnológico, 2595, CP 63175, Tepic, Nayarit, México, e-mail: efimontalvo@gmail.com 2 Dirección General de Innovación Tecnológica, Centro de Excelencia, Universidad Autónoma de Tamaulipas – UAT, Ciudad Victoria, Tamaulipas, México 3 Centro de Investigación en Ciencia Aplicada y Tecnología Avanzada – CICATA, Instituto Politécnico Nacional – IPN, Querétaro, Querétaro, México *Corresponding author Effect of high hydrostatic pressure on antioxidant content of ‘Ataulfo’ mango during postharvest maturation Viviana Guadalupe ORTEGA1, José Alberto RAMÍREZ2, Gonzalo VELÁZQUEZ3, Beatriz TOVAR1, Miguel MATA1, Efigenia MONTALVO1*
First-order definable languages

We give an essentially self-contained presentation of some principal results for first-order definable languages over finite and infinite words. We introduce the notion of a counter-free Büchi automaton; and we relate counter-freeness to aperiodicity and to the notion of very weak alternation. We also show that aperiodicity of a regular ∞-language can be decided in polynomial space, if the language is specified by some Büchi automaton.
Towards verifying ethereum smart contract bytecode in Isabelle/HOL

Blockchain technology has increasing attention in research and across many industries. The Ethereum blockchain offers smart contracts, which are small programs defined, executed, and recorded as transactions in the blockchain transaction history. These smart contracts run on the Ethereum Virtual Machine (EVM) and can be used to encode agreements, transfer assets, and enforce integrity conditions in relationships between parties. Smart contracts can carry financial value, and are increasingly used for safety-, security-, or mission-critical purposes. Errors in smart contracts have led and will lead to loss or harm. Formal verification can provide the highest level of confidence about the correct behaviour of smart contracts. In this paper we extend an existing EVM formalisation in Isabelle/HOL by a sound program logic at the level of bytecode. We structure bytecode sequences into blocks of straight-line code and create a program logic to reason about these. This abstraction is a step towards control of the cost and complexity of formal verification of EVM smart contracts.