Miracle-dz/UniFAR-FTUs huggingface dataset:
Finishing High School: Alternative Pathways and Dropout Recovery

John Tyler and Magnus Lofstrom take a close look at the problems posed when students do not complete high school. The authors begin by discussing the ongoing, sometimes heated, debate over how prevalent the dropout problem is. They note that one important reason for discrepancies in reported dropout rates is whether holders of the General Educational Development (GED) credential are counted as high school graduates. The authors also consider the availability of appropriate student data. The overall national dropout rate appears to be between 22 and 25 percent, but the rate is higher among black and Hispanic students, and it has not changed much in recent decades. Tyler and Lofstrom conclude that schools are apparently doing about as well now as they were forty years ago in terms of graduating students. But the increasingly competitive pressures associated with a global economy make education ever more important in determining personal and national well-being. A student’s decision to drop out of school, say the authors, is affected by a number of complex factors and is often the culmination of a long process of disengagement from school. That decision, not surprisingly, carries great cost to both the student and society. Individual costs include lower earnings, higher likelihood of unemployment, and greater likelihood of health problems. Because minority and low-income students are significantly more likely than well-to-do white students to drop out of school, the individual costs fall unevenly across groups. Societal costs include loss of tax revenue, higher spending on public assistance, and higher crime rates. Tyler and Lofstrom go on to survey research on programs designed to reduce the chances of students’ dropping out. Although the research base on this question is not strong, they say, close mentoring and monitoring of students appear to be critical components of successful programs. Other dropout-prevention approaches associated with success are family outreach and attention to students’ out-of-school problems, as well as curricular reforms. The authors close with a discussion of second-chance programs, including the largest such program, the GED credential.
A DEVS-oriented intuitive modeling language

The purpose of this paper is to introduce a new graphical and intuitive programming language for DEVS models. It is the result of our global approach whose general aim is to enable a scientist to create and simulate DEVS models without the constraint of asking a DEVS expert to create the formal models and a computer scientist to program them. We explain here how our language is built, and we give an example of a model designed using it. Models from this language can be mapped onto DEVS models, using a model-driven approach (based on MDA) which is really helpful to perform an automated code generation towards an Object Oriented Language.
Comparison of semi-automated image analysis and manual methods for tissue quantification in pancreatic carcinoma

Objective measurements of tissue area during histological examination of carcinoma can yield valuable prognostic information. However, such measurements are not made routinely because the current manual approach is time consuming and subject to large statistical sampling error. In this paper, a semi-automated image analysis method for measuring tissue area in histological samples is applied to the measurement of stromal tissue, cell cytoplasm and lumen in samples of pancreatic carcinoma and compared with the standard manual point counting method. Histological samples from 26 cases of pancreatic carcinoma were stained using the sirius red, light-green method. Images from each sample were captured using two magnifications. Image segmentation based on colour cluster analysis was used to subdivide each image into representative colours which were classified manually into one of three tissue components. Area measurements made using this technique were compared to corresponding manual measurements and used to establish the comparative accuracy of the semi-automated image analysis technique, with a quality assurance study to measure the repeatability of the new technique. For both magnifications and for each tissue component, the quality assurance study showed that the semi-automated image analysis algorithm had better repeatability than its manual equivalent. No significant bias was detected between the measurement techniques for any of the comparisons made using the 26 cases of pancreatic carcinoma. The ratio of manual to semi-automatic repeatability errors varied from 2.0 to 3.6. Point counting would need to be increased to be between 400 and 1400 points to achieve the same repeatability as for the semi-automated technique. The results demonstrate that semi-automated image analysis is suitable for measuring tissue fractions in histological samples prepared with coloured stains and is a practical alternative to manual point counting.
Under Consideration for Publication in J. Functional Programming Sound and Complete Models of Contracts

Even in statically typed languages it is useful to have certain invariants checked dynamically. Findler and Felleisen gave an algorithm for dynamically checking expressive higher-order types called contracts. They did not, however, give a semantics of contracts. The lack of a semantics makes it impossible to define and prove soundness and completeness of the checking algorithm. (Given a semantics, a sound checker never reports violations that do not exist under that semantics; a complete checker is—in principle—able to find violations when violations exist.) Ideally, a semantics should capture what programmers intuitively feel is the meaning of a contract or otherwise clearly point out where intuition does not match reality. In this paper we give an interpretation of contracts for which we prove the Findler-Felleisen algorithm sound and (under reasonable assumptions) complete. While our semantics mostly matches intuition, it also exposes a problem with predicate contracts where an arguably more intuitive interpretation than ours would render the checking algorithm unsound. In our semantics we have to make use of a notion of safety (which we define in the paper) to avoid unsoundness. We are able to eliminate the " leakage " of safety into the semantics by changing the language, replacing the original version of unrestricted predicate contracts with a restricted form. The corresponding loss in expressive power can be recovered by making safety explicit as a contract. This can be done either in ad-hoc fashion or by including general recursive contracts. The addition of recursive contracts has far-reaching implications , deeply affecting the formulation of our model and requiring different techniques for proving soundness.
Anti-inflammatory role of cilostazol in vascular smooth muscle cells in vitro and in vivo.

AIM Cilostazol is a selective inhibitor of phosphodiesterase 3, by which it increases intracellular cAMP and activates protein kinase A, thereby inhibiting platelet aggregation and inducing peripheral vasodilation. We investigated whether cilostazol might prevent nuclear factor (NF)-kappaB activation by activating AMP-activated protein kinase (AMPK) in vascular smooth muscle cells (VSMC). METHODS AND RESULTS Cilostazol was observed to activate AMPK, as well as its downstream target, acetyl-CoA carboxylase, in rat VSMC. Phosphorylation of AMPK with cilostazol was not affected by co-treatment with an adenylate cyclase inhibitor, SQ 22536. Furthermore, a cell-permeable cyclic AMP analog, pCTP-cAMP, did not influence cilostazol-induced AMPK phosphorylation. These findings suggest that cilostazol-induced AMPK activation occurs through a signalling pathway independent of cyclic AMP. Cilostazol dose-dependently inhibited LPS-induced NF-kappaB activation in the present study. It was also observed to inhibit LPS-induced iNOS gene promoter activity and iNOS gene expression, resulting in markedly reduced NO production. An AMPK inhibitor compound C or siRNA for AMPK attenuated the observed cilostazol-induced inhibition of NF-kappaB activation by LPS. Ingestion of cilostazol inhibited NF-kappaB activation, as well as the induction of iNOS mRNA and protein expression, within the aortas of LPS-treated rats. CONCLUSION In light of these findings, we suggest that cilostazol might attenuate cytokine-induced expression of the iNOS gene by inhibiting NF-kappaB following AMPK activation in VSMC.
Long-term nephrotoxicity in adult survivors of childhood cancer.

BACKGROUND AND OBJECTIVES Because little is known about long-term treatment-related nephrotoxicity, the aim was to determine risk factors for renal impairment long after childhood cancer treatment. DESIGN, SETTING, PARTICIPANTS, & MEASUREMENTS Data from 763 adult childhood cancer survivors (414 men) were obtained during regular visits at the late-effects clinic between 2003 and 2009. Median follow-up time was 18.3 years (range=5.0-58.2). Glomerular function was assessed by estimated GFR (using the Modification of Diet in Renal Disease formula), urinary albumin creatinine ratio, and tubular function by urinary β2-microglobulin creatinine ratio. The association with treatment factors was analyzed with covariance analysis for estimated GFR and logistic regression for urinary albumin and urinary β2-microglobulin creatinine ratios. RESULTS Survivors treated with nephrectomy and abdominal irradiation had significantly lower estimated GFR than survivors not treated with nephrectomy/abdominal irradiation (estimated mean=90 ml/min per 1.73 m(2) versus 106, P<0.001). Estimated GFR was significantly lower in survivors after treatment with high-dose ifosfamide (88 versus 98, P=0.02) and high-dose cisplatin (83 versus 101, P=0.004) compared with survivors not treated with these regimen. Nephrectomy combined with abdominal radiotherapy (odds ratio=3.14, 95% confidence interval=1.02; 9.69) and high-dose cisplatin (odds ratio=5.19, 95% confidence interval=1.21; 22.21) was associated with albuminuria. High-dose ifosfamide (odds ratio=6.19, 95% confidence interval=2.45; 15.67) was associated with increased urinary β2-microglobulin creatinine ratio. Hypertension was present in 23.4% of survivors and 31.4% of renal tumor survivors. CONCLUSIONS Treatment with unilateral nephrectomy, abdominal radiotherapy, cisplatin, and ifosfamide was associated with lower estimated GFR. Persisting tubular damage was related to ifosfamide treatment.
GVE-Based Dynamics and Control for Formation Flying Spacecraft

Formation flying is an enabling technology for many future space missions. This paper presents extensions to the equations of relative motion expressed in Keplerian orbital elements, including new initialization techniques for general formation configurations. A new linear time-varying form of the equations of relative motion is developed from Gauss Variational Equations and used in a model predictive controller. The linearizing assumptions for these equations are shown to be consistent with typical formation flying scenarios. Several linear, convex initialization techniques are presented, as well as a general, decentralized method for coordinating a tetrahedral formation using differential orbital elements. Control methods are validated using a commercial numerical propagator.
Modulating the Release Kinetics of Paclitaxel from Membrane-Covered Stents Using Different Loading Strategies

Membrane-covered Express2TM Monorail® stents composed of chitosan (CH) blended with polyethylene oxide (PEO) in 70:30% wt (CH-PEO) were coated with a monolayer of hyaluronic acid (HA). This significantly improved the resistance to platelet adhesion and demonstrated excellent mechanical properties, resisting the harsh conditions during stent crimping and subsequent inflation. CH-PEO/HA membrane was then combined with a paclitaxel (Pac) delivery system via three different approaches for comparison of release profiles of Pac. The activity of Pac in these systems was confirmed since its presence in the membrane significantly decreased cell viability of U937 macrophages. Presented results are promising for applications requiring different release patterns of hydrophobic drugs.
[Distribution and antibiotic resistance of bacteria causing bloodstream infections in patients in intensive care unit].

OBJECTIVE To investigate the distribution and antibiotic resistance of bacteria causing bloodstream infections in intensive care unit (ICU) patients and to provide a basis for rational clinical use of antibiotics. METHODS The data of positive specimens, including whole blood, catheter blood and bone marrow samples, were isolated from ICU patients from January 2010 to December 2012. Disc diffusion method, micro-dilution and Etest method were used to test drug sensitivity. Distribution and antibiotic resistance of bacteria were analyzed retrospectively. RESULTS A total of 1077 strains were isolated from 903 patients with bloodstream infection during 3 years. Gram-positive (G⁺) bacteria and Gram-negative (G⁻) bacteria accounted for 59.33% (639 isolates) and 40.67% (438 isolates) respectively. The 5 most frequently isolated bacteria were Staphylococcus epidermidis (20.06%, 216 isolates) followed in order by Escherichia coli (13.93%, 150 isolates), Acinetobacter baumannii (10.03%, 108 isolates), Klebsiella pneumonia (7.80%, 84 isolates) and Staphylococcus aureus (6.96%, 75 isolates). There was no significant difference in distribution of bacteria during 3 years. The resistance rate of Staphylococcus epidermidis was higher than that of Staphylococcus aureus to most of the tested drugs. The resistance rate of Staphylococcus epidermidis to quinoline/dalfopristin (4.2%) and nitrofurazone (15.3%) was relatively low, while resistance to penicillin (94.4%), linezolid (93.1%), piperacillin/tazobactam (90.3%), cefoperazone/sulbactam (87.5%) and oxacillin (83.3%) was over 80%. The resistance rate of Staphylococcus aureus to penicillin (96.0%), cefoperazone/sulbactam (84.0%), linezolid (76.0%) and oxacillin (76.0%) was over 70%, and resistance to the other common antibacterial drugs was below 70%. The resistance rate of Acinetobacter baumannii to amikacin (38.9%), nitrofurazone (91.7%), cefotetan (88.9%), ceftazidime (88.9%), ampicillin (88.9%), ceftriaxone (86.1%), the cefepime (86.1%), aztreonam (80.6%) and cefazolin (80.6%), and overall above 80%. The resistance rate of Escherichia coli to amikacin (30.0%), cefotetan (24.0%) and imipenem (16.0%) was below 30%, while resistance to ampicillin/sulbactam (94.0%), levofloxacin (84.0%), ampicillin (84.0%) and ceftriaxone (80.0%) was over 80%. CONCLUSIONS Among the bacteria causing bloodstream infection as isolated from ICU patients, G(+) and G(-) bacteria accounted for 59.33% and 40.67%, respectively. The resistance rate of G(-) was higher than that of G(+), and resistance rate of majority of bacteria was higher than 60% on average. Before obtaining the susceptibility test Results, both G(-) and G(+) should be taken into account on choosing antimicrobial drugs in the treatment of ICU patients.
Arterial Inflammation in Mice Lacking the Interleukin 1 Receptor Antagonist Gene

Branch points and flexures in the high pressure arterial system have long been recognized as sites of unusually high turbulence and consequent stress in humans are foci for atherosclerotic lesions. We show that mice that are homozygous for a null mutation in the gene encoding an endogenous antiinflammatory cytokine, interleukin 1 receptor antagonist (IL-1ra), develop lethal arterial inflammation involving branch points and flexures of the aorta and its primary and secondary branches. We observe massive transmural infiltration of neutrophils, macrophages, and CD4+ T cells. Animals appear to die from vessel wall collapse, stenosis, and organ infarction or from hemorrhage from ruptured aneurysms. Heterozygotes do not die from arteritis within a year of birth but do develop small lesions, which suggests that a reduced level of IL-1ra is insufficient to fully control inflammation in arteries. Our results demonstrate a surprisingly specific role for IL-1ra in the control of spontaneous inflammation in constitutively stressed artery walls, suggesting that expression of IL-1 is likely to have a significant role in signaling artery wall damage.
Rs964184 (APOA5-A4-C3-A1) Is Related to Elevated Plasma Triglyceride Levels, but Not to an Increased Risk for Vascular Events in Patients with Clinically Manifest Vascular Disease

Background Single nucleotide polymorphisms in the APOA5-A4-C3-A1 gene complex are associated with elevated plasma triglycerides and elevated vascular risk in healthy populations. In patients with clinically manifest vascular disease, hypertriglyceridemia and metabolic syndrome are frequently present, but the contribution of these single nucleotide polymorphisms to plasma triglycerides, effect modification by obesity and risk of recurrent vascular events is unknown in these patients. Methods Prospective cohort study of 5547 patients with vascular disease. Rs964184 (APOA5-A4-C3-A1 gene complex) was genotyped, and we evaluated the relation with plasma lipid levels, presence of metabolic syndrome and the risk for new vascular events. Results The minor allele of rs964184 was strongly associated with log plasma triglycerides (β 0.12; 95%CI 0.10-0.15, p = 1.1*10−19), and was also associated with 0.03 mmol/L lower high-density lipoprotein-cholesterol (95%CI 0.01–0.04), and 0.14 mmol/L higher non-high-density lipoprotein-cholesterol (95%CI 0.09–0.20). The minor allele frequency increased from 10.9% in patients with plasma triglycerides <1 mmol/L to 24.6% in patients with plasma triglycerides between 4 and 10 mmol/L. The relation between rs964184 and plasma triglycerides was modified by body mass index in patients with one minor allele (β 0.02; (95%CI −0.04–0.09) if body mass index <24 kg/m2, β 0.17 (95%CI 0.12–0.22) if body mass index >27 kg/m2, p for interaction = 0.02). The prevalence of the metabolic syndrome increased from 52% for patients with two copies of the major allele to 62% for patients with two copies of the minor allele (p = 0.01). Rs964184 was not related with recurrent vascular events (HR 0.99; 95%CI 0.86–1.13). Conclusion The single nucleotide polymorphism rs964184 (APOA5-A4-C3-A1) is associated with elevated plasma triglycerides concentrations in patients with clinically manifest vascular disease. In carriers of one minor allele, the effect on plasma triglycerides was modified by body mass index. There is no relation between rs964184 and recurrent vascular events in these patients.
Sleep in children with attention-deficit/hyperactivity disorder: meta-analysis of subjective and objective studies.

OBJECTIVE To perform a meta-analysis of subjective (i.e., based on questionnaires) and objective (i.e., using polysomnography or actigraphy) studies comparing sleep in children with attention-deficit/hyperactivity disorder (ADHD) versus controls. METHOD We searched for subjective and objective sleep studies (1987-2008) in children with ADHD (diagnosed according to standardized criteria). Studies including subjects pharmacologically treated or with comorbid anxiety/depressive disorders were excluded. RESULTS Sixteen studies, providing 9 subjective and 15 objective parameters and including a total pooled sample of 722 children with ADHD versus 638 controls, were retained. With regard to subjective items, the meta-analysis indicated that children with ADHD had significantly higher bedtime resistance (z = 6.94, p <.001), more sleep onset difficulties (z = 9.38, p <.001), night awakenings (z = 2.15, p =.031), difficulties with morning awakenings (z = 5.19, p <.001), sleep disordered breathing (z = 2.05, p =.040), and daytime sleepiness (z = 1.96, p =.050) compared with the controls. As for objective parameters, sleep onset latency (on actigraphy), the number of stage shifts/hour sleep, and the apnea-hypopnea index were significantly higher in the children with ADHD compared with the controls (z = 3.44, p =.001; z = 2.43, p =.015; z = 3.47, p =.001, respectively). The children with ADHD also had significantly lower sleep efficiency on polysomnography (z = 2.26, p =.024), true sleep time on actigraphy (z = 2.85, p =.004), and average times to fall asleep for the Multiple Sleep Latency Test (z = 6.37, p <.001) than the controls. CONCLUSIONS The children with ADHD are significantly more impaired than the controls in most of the subjective and some of the objective sleep measures. These results lay the groundwork for future evidence-based guidelines on the management of sleep disturbances in children with ADHD.
Dynamic Hooks: Hiding Control Flow Changes within Non-Control Data

Generally speaking, malicious code leverages hooks within a system to divert the control flow. Without them, an attacker is blind to the events occurring in the system, rendering her unable to perform malicious activities (e.g., hiding of files or capturing of keystrokes). However, while hooks are an integral part of modern attacks, they are at the same time one of their biggest weaknesses: Even the most sophisticated attack can be easily identified if one of its hooks is found. In spite of this fact, hooking mechanisms have remained almost unchanged over the last years and still rely on the persistent modification of code or control data to divert the control flow. As a consequence, hooks represent an abnormality within the system that is permanently evident and can in many cases easily be detected as the hook detection mechanisms of recent years amply demonstrated. In this paper, we propose a novel hooking concept that we refer to as dynamic hooking. Instead of modifying persistent control data permanently, this hooking mechanisms targets transient control data such as return addresses at run-time. The hook itself will thereby reside within non-control data and remains hidden until it is triggered. As a result, there is no evident connection between the hook and the actual control flow change, which enables dynamic hooks to successfully evade existing detection mechanisms. To realize this idea, dynamic hooks make use of exploitation techniques to trigger vulnerabilities at run-time. Due to this approach, dynamic hooks cannot only be used to arbitrarily modify the control flow, but can also be applied to conduct noncontrol data attacks, which makes them more powerful than their predecessors. We implemented a prototype that makes uses of static program slicing and symbolic execution to automatically extract paths for dynamic hooks that can then be used by a human expert for their realization. To demonstrate this, we used the output provided by our prototype to implement concrete examples of dynamic hooks for both modern Linux and Windows kernels.
Improving Offensive Performance Through Opponent Modeling

Although in theory opponent modeling can be useful in any adversarial domain, in practice it is both difficult to do accurately and to use effectively to improve game play. In this paper, we present an approach for online opponent modeling and illustrate how it can be used to improve offensive performance in the Rush 2008 football game. In football, team behaviors have an observable spatio-temporal structure, defined by the relative physical positions of team members over time; we demonstrate that this structure can be exploited to recognize football plays at a very early stage of the play using a supervised learning method. Based on the teams' play history, our system evaluates the competitive advantage of executing a play switch based on the potential of other plays to increase the yardage gained and the similarity of the candidate plays to the current play. In this paper, we investigate two types of play switches: 1) whole team and 2) subgroup. Both types of play switches improve offensive performance, but modifying the behavior of only a key subgroup of offensive players yields greater improvements in yardage gained.