LLukas22/scidocs huggingface dataset:
A Time And Space Efficient Algorithm For Minimizing Cover Automata For Finite Languages

A deterministic finite automaton (DFA) A is called a cover automaton (DFCA) for a finite language L over some alphabet Σ if L = L(A) ∩ Σ≤l, with l being the length of some longest word in L. Thus a word w ∈ Σ∗ is in L if and only if |w| ≤ l and w ∈ L(A). The DFCA A is minimal if no DFCA for L has fewer states. In this paper, we present an algorithm which converts an n–state DFA for some finite language L into a corresponding minimal DFCA, using only O(n log n) time and O(n) space. The best previously known algorithm requires O(n2) time and space. Furthermore, the new algorithm can also be used to minimize any DFCA, where the best previous method takes O(n4) time and space. Since the required data structure is rather complex, an implementation in the common programming language C/C++ is also provided.
Borderline ovarian tumors diagnosed during pregnancy exhibit a high incidence of aggressive features: results of a French multicenter study.

BACKGROUND
The purpose of the current study was to evaluate the characteristics of borderline ovarian tumors (BOTs) diagnosed during pregnancy.


PATIENTS AND METHODS
We conducted a retrospective multicenter study of 40 patients with BOTs diagnosed during pregnancy between 1997 and 2009 at five tertiary universitary departments of Gynecology and Obstetrics and one French cancer center. The medical records were reviewed to determine surgical procedure, histology, restaging surgery and recurrence.


RESULTS
Mean patient age was 30.2 ± 5.4 years. Most BOTs were diagnosed during the first trimester of pregnancy (62%). Salpingo-oophorectomy (N = 24) was more frequently performed than cystectomy (N = 11) during pregnancy (P = 0.01). Only two patients had an initial complete staging. BOTs were mucinous, serous and mixed in 48%, 42% and 10% of patients, respectively. Twenty-one percent of mucinous BOTs exhibited intraepithelial carcinoma or microinvasion. Forty-seven percent of serous BOTs exhibited micropapillary features, noninvasive implants or microinvasion. Restaging surgery performed in 52% patients resulted in upstaging in 24% of cases. Recurrence rate in patients with serous BOT with micropapillary features or peritoneal implants was 7.5%.


CONCLUSIONS
BOTs diagnosed during pregnancy exhibit a high incidence of aggressive features and are rarely completely staged initially. Given this setting, up-front salpingo-oophorectomy should be considered and restaging planned.
Measures of agreement between computation and experiment: Validation metrics

With the increasing role of computational modeling in engineering design, performance estimation, and safety assessment, improved methods are needed for comparing computational results and experimental measurements. Traditional methods of graphically comparing computational and experimental results, though valuable, are essentially qualitative. Computable measures are needed that can quantitatively compare computational and experimental results over a range of input, or control, variables to sharpen assessment of computational accuracy. This type of measure has been recently referred to as a validation metric. We discuss various features that we believe should be incorporated in a validation metric, as well as features that we believe should be excluded. We develop a new validation metric that is based on the statistical concept of confidence intervals. Using this fundamental concept, we construct two specific metrics: one that requires interpolation of experimental data and one that requires regression (curve fitting) of experimental data. We apply the metrics to three example problems: thermal decomposition of a polyurethane foam, a turbulent buoyant plume of helium, and compressibility effects on the growth rate of a turbulent free-shear layer. We discuss how the present metrics are easily interpretable for assessing computational model accuracy, as well as the impact of experimental measurement uncertainty on the accuracy assessment. Published by Elsevier Inc.
The Catchment Area of Jets

The area of a jet is a measure of its susceptibility to radiation, like pileup or underlying event (UE), that on average, in the jet’s neighbourhood, is uniform in rapidity and azimuth. In this article we establish a theoretical grounding for the discussion of jet areas, introducing two main definitions, passive and active areas, which respectively characterise the sensitivity to pointlike or diffuse pileup and UE radiation. We investigate the properties of jet areas for three standard jet algorithms, kt, Cambridge/Aachen and SISCone. Passive areas for single-particle jets are equal to the naive geometrical expectation πR2, but acquire an anomalous dimension at higher orders in the coupling, calculated here at leading order. The more physically relevant active areas differ from πR2 even for single-particle jets, substantially so in the case of the cone algorithms like SISCone with a Tevatron Run-II split-merge procedure. We compare our results with direct measures of areas in parton-shower Monte Carlo simulations and find good agreement with the main features of the analytical predictions. We furthermore justify the use of jet areas to subtract the contamination from pileup.
Long-term survival of porcelain laminate veneers using two preparation designs: a retrospective study.

PURPOSE
This study evaluated the long-term survival of anterior porcelain laminate veneers placed with and without incisal porcelain coverage.


MATERIALS AND METHODS
Two prosthodontists in a private dental practice placed 110 labial feldspathic porcelain veneers in 50 patients; 46 veneers were provided with incisal porcelain coverage, and 64 were not. The veneers were evaluated retrospectively from case records for up to 7 years (mean 4 years).


RESULTS
At 5, 6, and 7 years, the cumulative survival estimates were 95.8% for veneers with incisal porcelain coverage and 85.5% for those without incisal coverage. The difference was not statistically significant. Six of the nine failures occurred from porcelain fracture in the veneers without incisal coverage.


CONCLUSION
Although there was a trend for better long-term survival of the veneers with incisal porcelain coverage, this finding was not statistically significant.
Searching for a Black Hole in Tree Networks

A black hole is a highly harmful stationary process residing in a node of a network and destroying all mobile agents visiting the node, without leaving any trace. We consider the task of locating a black hole in a (partially) synchronous tree network, assuming an upper bound on the time of any edge traversal by an agent. The minimum number of agents capable to identify a black hole is two. For a given tree and given starting node we are interested in the fastest possible black hole search by two agents. For arbitrary trees we give a 5/3-approximation algorithm for this problem. We give optimal black hole search algorithms for two “extreme” classes of trees: the class of lines and the class of trees in which any internal node (including the root which is the starting node) has at least 2 children.
Healthy eating and active living for diabetes in primary care networks (HEALD-PCN): rationale, design, and evaluation of a pragmatic controlled trial for adults with type 2 diabetes

BACKGROUND
While strong and consistent evidence supports the role of lifestyle modification in the prevention and management of type 2 diabetes (T2DM), the best strategies for program implementation to support lifestyle modification within primary care remain to be determined. The objective of the study is to evaluate the implementation of an evidence-based self- management program for patients with T2DM within a newly established primary care network (PCN) environment.


METHOD
Using a non-randomized design, participants (total N = 110 per group) will be consecutively allocated in bi-monthly blocks to either a 6-month self-management program lead by an Exercise Specialist or to usual care. Our primary outcome is self-reported physical activity and pedometer steps.


DISCUSSION
The present study will assess whether a diabetes self-management program lead by an Exercise Specialist provided within a newly emerging model of primary care and linked to available community-based resources, can lead to positive changes in self-management behaviours for adults with T2DM. Ultimately, our work will serve as a platform upon which an emerging model of primary care can incorporate effective and efficient chronic disease management practices that are sustainable through partnerships with local community partners.


CLINICAL TRIALS REGISTRATION
ClinicalTrials.gov identifier: NCT00991380.
Comparative body size relationships in pocket gophers and their chewing lice

In this paper, we use the method of independent contrasts to study body size relationships between pocket gophers and their chewing lice, a host-parasite system in which both host and parasite phylogenies are well studied. The evolution of body size of chewing lice appears to be dependent only on the body size of their hosts, which confirms the 1991 findings of Harvey and Keymer. We show that there is a positive relationship between body size and hair-shaft diameter in pocket gophers, and that there is also a positive relationship between body size and head-groove width in chewing lice. Finally, we show a positive relationship between gopher hair-shaft diameter and louse head-groove width. We postulate that changes in body size of chewing lice are driven by a mechanical relationship between the parasite’s head-groove dimension and the diameter of the hairs of its host. Louse species living on larger host species may be larger simply because their hosts have thicker hairs, which requires that the lice have a wider head groove. Our study of gopher hair-shaft diameter and louse head-groove dimensions suggest that there is a ‘lock-and-key’ relationship between these two anatomical features.
Extended Kalman Filtering Applied to a Two-Axis Robotic Arm with Flexible Links

An industrial robot today uses measurements of its joint positions and models of its kinematics and dynamics to estimate and control its end-effector position. Substantially better end-effector position estimation and control performance would be obtainable if direct measurements of its end-effector position were also used. The subject of this paper is extended Kalman filtering for precise estimation of the position of the end-effector of a robot using, in addition to the usual measurements of the joint positions, direct measurements of the end-effector position. The estimation performances of extended Kalman filters are compared in applications to a planar two-axis robotic arm with very flexible links. The comparisons shed new light on the dependence of extended Kalman filter estimation performance on the quality of the model of the arm dynamics that the extended Kalman filter operates with. KEY WORDS—extended Kalman filter, estimation, flexible links, robot
Prise en charge des hypertendus dans la ville de Cotonou (Bénin) en 2011: connaissances attitudes et pratiques des médecins généralistes

OBJECTIVE
We aimed to assess the management of hypertensive patients by general practitioners in Cotonou city.


METHODS
This was a cross-sectional study based on a multicentre survey conducted from 1 May to 31 July 2011. We recruited all consenting general practitioners who worked in public and private centres in Cotonou city. We used the 7th report of the Joint National Committee to assess the management of hypertension by general practitioners. A tested and validated self-questionnaire was used to collect the data on hypertension management by general practitioners.


RESULTS
In eight centres that approved the study, 41 general practitioners were included. The definition of hypertension was known by 20 (48.8%) practitioners. Only 25 (61.0%) could describe the conditions for blood pressure measurement. Ten of them were unable to list half of the minimum recommended tests for hypertension, and the majority (92.7%) did not have any idea of global cardiovascular risk. The blood pressure goal was known by only 18 (43.9%) practitioners. Lifestyle (82.9%) and monotherapy (70.7%) were the therapeutic modalities most prescribed. Antihypertensive agents commonly used by practitioners were calcium channel blockers (82.9%), angiotensin converting enzyme inhibitors (53.7%) and diuretics (36.6%). The general practitioners referred their patients to cardiologists mainly for uncontrolled hypertension (63.4%) and the onset of acute complications (56.1%).


CONCLUSION
The general practitioners' knowledge of hypertension was insufficient and their management did not reflect international guidelines.
Transfusion-associated hyperkalemia.

The supernatant potassium concentration [K+] of red blood cell (RBC) units is frequently much higher than normal human plasma potassium levels, especially in units nearing the end of their storage life. Clinical hyperkalemia resulting from RBC transfusions has been recognized as a transfusion complication for decades, and there have been reported cardiac arrests attributed to transfusion-associated hyperkalemia. This review summarizes the evidence surrounding RBC [K+] levels, effects of irradiation and washing on [K+], the evidence for clinical hyperkalemia and cardiac arrests resulting from transfusion, predictors of post-transfusion hyperkalemia, and their preventative strategies. Key points include: (a) the [K+] (in mmol/L) increases linearly and is approximately equal to the number of days of RBC unit storage; (b) irradiation causes a rapid increase in [K+]; (c) there is potentially sufficient potassium in the supernatant of current RBC preparations to lead to hyperkalemia with large transfusion volumes; (d) any rise in patient potassium after transfusion is usually transient due to the redistribution of the potassium load; (e) transfusion-associated hyperkalemic cardiac arrests probably do occur, although it is difficult to prove this fact conclusively; and (f) promising strategies to combat transfusion-associated hyperkalemia include RBC washing, the use of in-line potassium filters, and the use of traditional treatments for hyperkalemia such as the use of insulin.
Local administration of glucocorticoids decreases synovial citrullination in rheumatoid arthritis

INTRODUCTION
Protein citrullination is present in the rheumatoid synovium, presumably contributing to the perpetuation of chronic inflammation, in the presence of specific autoimmunity. As a result, the present study examined the possibility that effective antirheumatic treatment will decrease the level of synovial citrullination.


METHODS
Synovial biopsies were obtained from 11 rheumatoid arthritis (RA) patients before and after 8 weeks of treatment with 20 mg methotrexate weekly, 15 RA patients before and 2 weeks after an intraarticular glucocorticoid injection, and eight healthy volunteers. Synovial inflammation was assessed with double-blind semiquantitative analysis of lining thickness, cell infiltration, and vascularity by using a 4-point scale. Expression of citrullinated proteins (CPs) with the monoclonal antibody F95 and peptidylarginine deiminase (PAD) 2 and 4 was assessed immunohistochemically with double-blind semiquantitative analysis. In vitro synovial fluid (SF), peripheral blood (PB), mononuclear cells (MCs), and synovial explants obtained from RA patients were incubated with dexamethasone and analyzed with immunohistochemistry for expression of CP as well as PAD2 and PAD4 enzymes.


RESULTS
The presence of synovial CP was almost exclusive in RA compared with healthy synovium and correlated with the degree of local inflammation. Treatment with glucocorticoids but not methotrexate alters expression of synovial CP and PAD enzymes, in parallel with a decrease of synovial inflammation. Ex vivo and in vitro studies suggest also a direct effect of glucocorticoids on citrullination, as demonstrated by the decrease in the level of citrullination and PAD expression after incubation of SFMC and synovial explants with dexamethasone.


CONCLUSION
Synovial citrullination and PAD expression are dependent on local inflammation and targeted by glucocorticoids.
Randomized controlled trial of barbed polyglyconate versus polyglactin suture for robot-assisted laparoscopic prostatectomy anastomosis: technique and outcomes.

BACKGROUND
Transperitoneal robot-assisted laparoscopic prostatectomy (RALP) urethrovesical anastomosis is a critical step. Although the prevalence of urine leaks ranges from 4.5% to 7.5% at high-volume RALP centers, urine leaks prolong catheterization and may lead to ileus, peritonitis, and require intervention. Barbed polyglyconate sutures maintain running suture line tension and may be advantageous in RALP anastomosis for reducing this complication.


OBJECTIVE
To compare barbed polyglyconate and polyglactin 910 (Vicryl, Ethicon, Somerville, NJ, USA) running sutures for RALP anastomosis.


DESIGN, SETTING, AND PARTICIPANTS
This was a prospective, randomized, controlled, single-surgeon study comparing RALP anastomosis using either barbed polyglyconate (n = 45) or polyglactin 910 (n = 36) sutures.


SURGICAL PROCEDURE
RALP anastomosis using either barbed polyglyconate or polyglactin 910 sutures was studied.


MEASUREMENTS
Operative time, cost differential, perioperative complications, and cystogram contrast extravasation by anastomosis suture type were measured.


RESULTS AND LIMITATIONS
Although baseline characteristics and overall operative times were similar, barbed polyglyconate sutures were associated with shorter mean anastomosis times of 9.7 min versus 9.8 min (p = 0.014). In addition, anastomosis with barbed polyglyconate rather than polyglactin 910 sutures was associated with more frequent cystogram extravasation 8 d postoperatively (20.0% vs 2.8%; p = 0.019), longer mean catheterization times (11.1 d vs 8.3 d; p = 0.048), and greater suture costs per case ($51.52 vs $8.44; p < 0.001). After 8 of 29 (27.6%) barbed polyglyconate anastomosis sites demonstrated postoperative day 8 cystogram extravasation, we modified our technique to avoid overtightening, reducing cystogram extravasation to 1 (6.3%) of 16 subsequent barbed polyglyconate anastomosis sites. Potential limitations include small sample size and the single-surgeon study design.


CONCLUSIONS
Compared to traditional sutures, barbed polyglyconate is more costly and requires technical modification to avoid overtightening, delayed healing, and longer catheterization time following RALP.
Women's experiences of the final stage of early medical abortion at home: results of a pilot survey.

BACKGROUND AND METHODOLOGY
Research has shown that many women choosing an early medical abortion would prefer to be at home rather than in hospital to expel the pregnancy. A service was commenced at a hospital abortion service in Edinburgh, Scotland, UK that allowed women at up to 56 days' gestation to be discharged home soon after misoprostol administration. During a 3-month period, an anonymous questionnaire of women's experiences was conducted 1-2 weeks after the procedure.


RESULTS
During the 3 months of the survey a total of 145 women chose to go home to abort. A total of 100 women completed questionnaires out of 145 (69%) distributed. The commonest reasons given for choosing to go home were: to get home sooner (53%) and to be in the privacy of one's own home (47%). Most (81%) of the women stated that bleeding was either "as expected" (55%) or "not as bad as expected" (26%), and 58% of the women stated that the pain was "as expected" (40%) or "not as bad as expected" (18%). The majority (84%) of the women said that they would recommend this method to a friend.


DISCUSSION AND CONCLUSIONS
Discharge home for the final stage of a medical abortion was highly acceptable to women. Since availability is not limited by hospital bed space, more women can be treated by medical methods.
Archeoguide: System Architecture of a Mobile Outdoor Augmented Reality System

We present the system architecture of a mobile outdoor augmented reality system for the Archeoguide project. We begin with a short introduction to the project. Then we present the hardware we chose for the mobile system and we describe the system architecture we designed for the software implementation. We conclude this paper with the first results obtained from experiments we made during our trials at ancient Olympia in Greece.
Flaton Inflation Model

We propose an inflation model which is constructed by two “flatons”. In this model, one of flatons causes inflation. However, it is not the inflaton but the other flaton which generates density perturbations for structure formation. The spectral index of these perturbations n is controlled by the ratio of the mass squared of these flatons, Mχ/Mσ, and n ≃ 0.6 − 0.98 for Mχ/Mσ ≃ 0.62 − 0.75. This model realizes a “tilted inflation” structure formation scenario and is cosmologically interesting. Although the inflaton belongs to so called moduli, this can be diluted by the decay of the other flaton. Submitted to Phys. Lett. B. E-mail: umeda@umich.edu
Big Data Analytics in MOOCs

Large amounts of heterogeneous education data have emerged in MOOC, which are provided by various educational organizations and universities. In this paper, we present an overview of state-of-art research framework and techniques used in the field of analytics over education big data. Finally, the conclusion is given.
A 1.3 GHz low-phase noise fully tunable CMOS LC VCO

This paper presents a low-phase noise CMOS LC-VCO, in which a complete compensation of the component spread, due to process variations, can be done. The LC tank is made of a metal-oxide-silicon varactor and a bondwire and a spiral inductor in series. The trade-off between VCO gain variations and phase noise is introduced. The measurements performed on a prototype, powered by a 2-V supply, realized in a digital CMOS process, are presented. The oscillation frequency can be varied in the range 1.1-1.45 G-Hz. The measured phase noise at an offset of 600 kHz from a 1.3-GHz carrier is -119 dBc/Hz, with 6-mA current consumption.
Reducing unnecessary urinary catheter use and other strategies to prevent catheter-associated urinary tract infection: an integrative review

BACKGROUND
Catheter-associated urinary tract infections (CAUTI) are costly, common and often preventable by reducing unnecessary urinary catheter (UC) use.


METHODS
To summarise interventions to reduce UC use and CAUTIs, we updated a prior systematic review (through October 2012), and a meta-analysis regarding interventions prompting UC removal by reminders or stop orders. A narrative review summarises other CAUTI prevention strategies including aseptic insertion, catheter maintenance, antimicrobial UCs, and bladder bundle implementation.


RESULTS
30 studies were identified and summarised with interventions to prompt removal of UCs, with potential for inclusion in the meta-analyses. By meta-analysis (11 studies), the rate of CAUTI (episodes per 1000 catheter-days) was reduced by 53% (rate ratio 0.47; 95% CI 0.30 to 0.64, p<0.001) using a reminder or stop order, with five studies also including interventions to decrease initial UC placement. The pooled (nine studies) standardised mean difference (SMD) in catheterisation duration (days) was -1.06 overall (p=0.065) including a statistically significant decrease in stop-order studies (SMD -0.37; p<0.001) but not in reminder studies (SMD, -1.54; p=0.071). No significant harm from catheter removal strategies is supported. Limited research is available regarding the impact of UC insertion and maintenance technique. A recent randomised controlled trial indicates antimicrobial catheters provide no significant benefit in preventing symptomatic CAUTIs.


CONCLUSIONS
UC reminders and stop orders appear to reduce CAUTI rates and should be used to improve patient safety. Several evidence-based guidelines have evaluated CAUTI preventive strategies as well as emerging evidence regarding intervention bundles. Implementation strategies are important because reducing UC use involves changing well-established habits.