Miracle-dz/UniFAR-FTUs huggingface dataset:
Object-Oriented Modeling of Security Semantics

For applications with high requirements on the confidentiality of data a level-based access control policy may be appropriate. Designing such security critical applications is a less understood issue and thus complicated task. To guide a security administrator or database designer and in order to simplify the design activity several guidelines and a powerful modeling technique are necessary. This paper proposes an object-oriented modeling for multilevel secure database application design. The technique is build around the concept of application dependent classification constraints, supports a static, functional, as well as a dynamic view of the application, and offers an underlying design method. By means of an example we describe how the different models relate to each other and how a conceptualization of a multilevel secure application may be constructed. Object-Oriented Modeling of Security Semantics Abstract. For applications with high requirements on the confidentiality of data a level-based access control policy may be appropriate. Designing such security critical applications is a less understood issue and thus complicated task. To guide a security administrator or database designer and in order to simplify the design activity several guidelines and a powerful modeling technique are necessary. This paper proposes an object-oriented modeling for multilevel secure database application design. The technique is build around the concept of application dependent classification constraints, supports a static, functional, as well as a dynamic view of the application, and offers an underlying design method. By means of an example we describe how the different models relate to each other and how a conceptualization of a multilevel secure application may be constructed. For applications with high requirements on the confidentiality of data a level-based access control policy may be appropriate. Designing such security critical applications is a less understood issue and thus complicated task. To guide a security administrator or database designer and in order to simplify the design activity several guidelines and a powerful modeling technique are necessary. This paper proposes an object-oriented modeling for multilevel secure database application design. The technique is build around the concept of application dependent classification constraints, supports a static, functional, as well as a dynamic view of the application, and offers an underlying design method. By means of an example we describe how the different models relate to each other and how a conceptualization of a multilevel secure application may be constructed.
Playing (Un)Dead: Interrogating Invocations of 'Monster' Metaphors in (Post-)MMT Service User Narratives of Methadone, Maintenance and Treatment

Citation: Smith CBR (2018) Playing (Un)Dead: Interrogating Invocations of ‘Monster’ Metaphors in (Post-)MMT Service User Narratives of Methadone, Maintenance and Treatment. Int Arch Addict Res Med 4:028. doi.org/10.23937/2474-3631/1510028 Accepted: August 21, 2018: Published: August 23, 2018 Copyright: © 2018 Smith CBR. This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.
A Numerical Framework for Sobolev Metrics on the Space of Curves

Statistical shape analysis can be done in a Riemannian framework by endowing the set of shapes with a Riemannian metric. Sobolev metrics of order two and higher on shape spaces of parametrized or unparametrized curves have several desirable properties not present in lower order metrics, but their discretization is still largely missing. In this paper, we present algorithms to numerically solve the geodesic initial and boundary value problems for these metrics. The combination of these algorithms enables one to compute Karcher means in a Riemannian gradient-based optimization scheme and perform principal component analysis and clustering. Our framework is sufficiently general to be applicable to a wide class of metrics. We demonstrate the effectiveness of our approach by analyzing a collection of shapes representing HeLa cell nuclei.
Psychometric properties and correlates of the Polish version of the Contingent Self-Esteem Scale (CSES)

In general, it is ben eficial and adaptive to have high self-esteem; however, contingent self-esteem depending on approval is not so advantageous. This article presents research on a Polish version of the Contingent Self-Esteem Scale (CSES), which measures contingent self-esteem. The CSES was administered on a total of 1,199 participants; a range of other instruments were also used to establish the validity of the CSES. The CSES proved to have acceptable internal consistency and validity and factor analyses revealed that it contains four factors: vulnerability to negative opinions, dependence on physical attractiveness, dependence on opinions, and dependence on self-standards. Contingent self-esteem was positively correlated with neuroticism, agreeableness, ruminating, anxiety, and maladaptive perfectionism; it was negatively correlated with general self-esteem and self-efficacy. Mediational analyses confirmed the hypothesis that low general self-esteem causes high rumination about oneself, which in turn is related to high contingent self-esteem.
The Differential Impacts of Probation Staff Attitudes on Use of Evidence-Based Practices

The evidence-based policy movement has become an important feature of community corrections systems. As part of this movement, community corrections agencies emphasize the use of standardized assessments to inform case planning with probationers. Despite evidence supporting the use of these practices, research documents many challenges with implementation of these best practices in routine probation work. However, little attention has been paid to the impact of staff attitudes toward use of evidence-based practices on correctional reform. Using hierarchical linear modeling, the current study examined the predictors of attitudes toward and the use of evidence-based supervision practices. Additionally, this study examined the impact of organizational predictors on willingness to use evidence-based practices in their supervision of the probationers on their caseloads. Analyses suggested that net of probation office context, when individual probation staff had positive perceptions regarding their agency, they held more positive attitudes toward evidence-based assessment practices and reported using case planning practices more frequently. Implications surrounding organizational change and evidence-based practice implementation efforts are discussed.
Error-derivation and error-equivalence for phase-equalizer design

This paper discusses various error functions of the all-pass phase-equalizer. We first show the exact phase-error function and review its approximated expression, and then derive two frequency-response error (complex-valued) functions. We analyze that the approximated phase-error function is equivalent to the frequency-response errors if a given phase is well approximated (the phase errors are small enough). This indicates that either of the two error functions (phase-error function and frequency-response error functions) can be utilized in phase-equalizer design and results in similar design accuracy. Moreover, we also review that the non-linear error function can be approximately linearized as a bi-linear function in such a way that a linear-optimization technique can be applied to the optimization of the equalizer coefficients. As a result, this paper provides the fundamentals to the phase-equalizer design where various error functions including both non-linear and approximated linear functions need to be minimized. The derived phase-error function and the two kinds of complex-valued frequency-response errors make it possible to design allpass phase-equalizers by adopting both linear and non-linear optimization algorithms.
Innovative metal system for IGBT press pack modules

Two important design aspects encountered in IGBT press pack modules used for HVDC applications are short circuit failure mode (SCFM) and intermittent operating life (IOL) capabilities. The requirement that press-pack IGBT (PPI) fail safely into a short causes a design conflict with the module's desired capability to survive a high number of power cycles in normal operation. An innovative materials design to optimize this trade-off is described. The failure mechanism that leads to an open circuit after the PPI has operated extensively in SCFM was found to be liquid metal corrosion of the baseplate followed by the formation of intermetallics with poor conductivity and silicone gel degradation. The beneficial effects of dry interface plating materials to avoid thermomechanical fatigue under IOL conditions are described.
Nonvolatile memristor memory: Device characteristics and design implications

The search for new nonvolatile universal memories is propelled by the need for pushing power-efficient nanocomputing to the next higher level. As a potential contender for the next-generation memory technology of choice, the recently found “the missing fourth circuit element”, memristor, has drawn a great deal of research interests. In this paper, we characterize the fundamental electrical properties of memristor devices by encapsulating them into a set of compact closed-form expressions. Our derivations provide valuable design insights and allow a deeper understanding of key design implications of memristor-based memories. In particular, we investigate the design of read and write circuits and analyze data integrity and noise-tolerance issues.
The Impact of Podcasts on EFL Students’ Listening Comprehension

This research has objective to investigate students’ listening comprehension through the use of podcast in EFL classroom. 60 high school students in Indonesia were taken as sample for this research with distribution of 30 students in experiment class and 30 students in control class. The samples were taken by using cluster random sampling. Quasi-experimental method with the post-test only control group design was applied in this research. In addition, a survey questionnaire was administered to experimental group to explore their perception on the use of podcast instruction in teaching listening. Findings revealed that there is a significant difference of post-test score between two groups, favoring experimental group. Data analysis using one way ANOVA showed significance value (sig. 0.010) is lower than < 0.05 which interpreted that Podcast has significant impact on students’ listening comprehension. Additionally, the result of questionnaire indicated that students have positive attitude toward the use of podcast in listening classroom. Students perceived that podcasts provided authentic materials, interesting activities including listening exercises and meaningful tasks for them so they felt more motivated to learn English. This study recommended that teacher may utilize podcast in teaching listening considering its effectiveness as technology based learning tool.
Effect of indirect composite treatment microtensile bond strength of self-adhesive resin cements

Background No specific indications about the pre-treatment of indirect composite restorations is provided by the manufacturers of most self-adhesive resin cements. The potential effect of silane treatment to the bond strength of the complete tooth/indirect restoration complex is not available.The aim of this study was to determine the contribution of different surface treatments on microtensile bond strength of composite overlays to dentin using several self-adhesive resin cements and a total-etch one. Material and Methods Composite overlays were fabricated and bonding surfaces were airborne-particle abraded and randomly assigned to two different surface treatments: no treatment or silane application (RelyX Ceramic Primer) followed by an adhesive (Adper Scotchbond 1 XT). Composite overlays were luted to flat dentin surfaces using the following self-adhesive resin cements: RelyX Unicem, G-Cem, Speedcem, Maxcem Elite or Smartcem2, and the total-etch resin cement RelyX ARC. After 24 h, bonded specimens were cut into sticks 1 mm thick and stressed in tension until failure. Two-way ANOVA and SNK tests were applied at α=0.05. Results Bond strength values were significantly influenced by the resin cement used (p<0.001). However, composite surface treatment and the interaction between the resin cement applied and surface treatment did not significantly affect dentin bond strength (p>0.05). All self-adhesive resin cements showed lower bond strength values than the total-etch RelyX ARC. Among self-adhesive resin cements, RelyX Unicem and G-Cem attained statistically higher bond strength values. Smartcem2 and Maxcem Elite exhibited 80-90% of pre-test failures. Conclusions The silane and adhesive application after indirect resin composite sandblasting did not improve the bond strength of dentin-composite overlay complex. Selection of the resin cement seems to be a more relevant factor when bonding indirect composites to dentin than its surface treatment. Key words:Bond strength, self-adhesive cement, silane, dentin, indirect composite.
Estimation of streamflow by slope regional dependency function

Abstract. Kriging is one of the most developed methodologies in the regional variable modeling. However, one of its drawbacks is that the influence radius can not be determined by this method. In which distance and in what ratio that pivot station is influenced from adjacent sites is rather often encountered problem in practical applications. Regional weighting functions obtained from available data consist of several broken lines. Each line has different slopes which represent the similarity and the contribution of adjacent stations as a weighting coefficient. The approach in this study is called as Slope Regional Dependency Function (SRDF). The main idea of this approach is to express the variability in value differences γ and distances together. Originally proposed SRDF and Trigonometric Point Cumulative Semi-Variogram (TPCSV) methods are used to predict streamflow. TPCSV and Point Cumulative Semi-Variogram (PCSV) approaches are also compared with each other. Prediction performance of all the three methods revealed a relative error less than 10% which is acceptable for most engineering applications. It is shown that SRDF outperforms PCSV and TPCSV with very high differences. It can be used for missing data completion, determination of measurement sites location, calculation of influence radius, and determination of regional variable potential. The proposed method is applied for the 38 stream flow measurement sites located in the Mississippi River basin.
Assessing the Role of Climate Change in Malaria Transmission in Africa

The sensitivity of vector borne diseases like malaria to climate continues to raise considerable concern over the implications of climate change on future disease dynamics. The problem of malaria vectors shifting from their traditional locations to invade new zones is of important concern. A mathematical model incorporating rainfall and temperature is constructed to study the transmission dynamics of malaria. The reproduction number obtained is applied to gridded temperature and rainfall datasets for baseline climate and future climate with aid of GIS. As a result of climate change, malaria burden is likely to increase in the tropics, the highland regions, and East Africa and along the northern limit of falciparum malaria. Falciparum malaria will spread into the African highlands; however it is likely to die out at the southern limit of the disease.
Suppression of mismatch negativity by backward masking predicts impaired working-memory performance in alcoholics.

BACKGROUND Pronounced disruption of memory traces by subsequent distractors may result in impaired behavioral memory performance in alcoholics. METHODS This hypothesis was investigated with an electrophysiological index of auditory sensory-memory traces, mismatch negativity, a preattentive event-related potential component elicited by a "deviant" tone within a train of "standard" tones. RESULTS Inserting a masking stimulus after these tones abolished mismatch negativity in alcoholics (DSM-IV) but not in social-drinker controls. This effect predicted working-memory impairment in alcoholics, and correlated significantly with self-reported alcohol consumption of the subjects. Furthermore, the backward-masking mismatch negativity paradigm detected sensory-memory impairment in 9 of 20 alcoholics (sensitivity 45%), whereas all 20 social drinkers were unimpaired (specificity 100%). CONCLUSIONS Vulnerability to memory trace disruption by shortly following sounds may be one of the factors contributing to behavioral memory dysfunction in alcoholics. The present result may provide an objective neurophysiological tool for investigation of alcohol-induced and other degenerative brain disorders.
Multivariate Poisson – Binomial approximation using Stein ’ s method

The paper is concerned with the accuracy in total variation of the approximation of the distribution of a sum of independent Bernoulli distributed random d–vectors by the product distribution with Poisson marginals which has the same mean. The best results, obtained using generating function methods, are those of Roos (1998, 1999). Stein’s method has so far yielded somewhat weaker bounds. We demonstrate why a direct approach using Stein’s method cannot emulate Roos’s results, but give some less direct arguments to show that it is possible, using Stein’s method, to get very close.
Visualizing the commognitive processes in computer-supported one-to-one tutoring

ABSTRACT This study aims to visualize the commognitive processes in computer-supported one-to-one teaching and learning. By commognitive processes we mean cognitive processes and interpersonal communication. A 6-years mathematics teacher and a 15-year-old boy in China, who have done computer-supported one-to-one tutoring, were chosen to be the samples. We collected four computer-supported one-to-one tutoring videos (60–90 min) about one chapter of mathematical set knowledge between one teacher and one student, and 30 min interview video from the teacher. Based on Bloom's cognitive classification theory and commognition theory, we develop a commognitive classification framework, then encode and visualize the videos. We found that mathematics commognition processes can be divided into six levels and classified into three types: teacher-lead, student-lead, and teacher-student comparison.
Korean transracial and international adoptees: Ethnic identity and sense of belonging and exclusion in relation to birth and adoptive groups

ABSTRACT Past quantitative ethnic identity research on transracial and international adoptees (TRIAs) has focused on their birth culture. Given that adoptees may also identify with their adoptive family’s culture, we examined Korean and White European American ethnic identities in Korean American adoptees. Identity exploration and commitment were significantly positively correlated within each referent group. Results also indicated relatively higher levels of birth group identity exploration and higher adoptive group identity commitment. In addition, we used cluster analysis to create ethnic identity profiles and investigated the relations between identity profiles and sense of belonging and exclusion. Our findings signal a need to support TRIAs to develop inclusive flexible ethnic identities and suggest future research should examine multiple referent groups and the intersection of these identities.
Comparative effectiveness of beta-lactams versus vancomycin for treatment of methicillin-susceptible Staphylococcus aureus bloodstream infections among 122 hospitals.

BACKGROUND Previous studies indicate that vancomycin is inferior to beta-lactams for treatment of methicillin-susceptible Staphylococcus aureus (MSSA) bloodstream infections. However, it is unclear if this association is true for empiric and definitive therapy. Here, we compared beta-lactams with vancomycin for empiric and definitive therapy of MSSA bloodstream infections among patients admitted to 122 hospitals. METHODS This retrospective cohort study included all patients admitted to Veterans Affairs hospitals from 2003 to 2010 who had positive blood cultures for MSSA. Hazard ratios (HR) and 95% confidence intervals (CIs) were calculated using Cox proportional hazards regression. Empiric therapy was defined as starting treatment 2 days before and up to 4 days after the first MSSA blood culture was collected. Definitive therapy was defined as starting treatment between 4 and 14 days after the first positive blood culture was collected. RESULTS Patients who received empiric therapy with a beta-lactam had similar mortality compared with those who received vancomycin (HR, 1.03; 95% CI, .89-1.20) after adjusting for other factors. However, patients who received definitive therapy with a beta-lactam had 35% lower mortality compared with patients who received vancomycin (HR, 0.65; 95% CI, .52-.80) after controlling for other factors. The hazard of mortality decreased further for patients who received cefazolin or antistaphylococcal penicillins compared with vancomycin (HR, 0.57; 95% CI, .46-.71). CONCLUSIONS For patients with MSSA bloodstream infections, beta-lactams are superior to vancomycin for definitive therapy but not for empiric treatment. Patients should receive beta-lactams for definitive therapy, specifically antistaphylococcal penicillins or cefazolin.
Quantitative Model checking

We present QMC, a one-sided error Monte Carlo decision procedure for the LTL model-checking problem S |= φ. Besides serving as a randomized algorithm for LTL model checking, QMC delivers quantitative information about the likelihood that S |= φ. In particular, given a specification S of a finite-state system, an LTL formula φ, and parameters and δ, QMC performs random sampling to compute an estimate e pZ of the expectation pZ that the language L(B) of the Buchi automaton B = BS × B¬φ is empty; B is such that L(B) = ∅ iff S |= φ. A random sample in our case is a lasso, i.e. an initialized random walk through B ending in a cycle. The estimate e pZ output by QMC is an ( , δ)approximation of pZ—one that is within a factor of 1± with probability at least 1−δ—and is computed using a number of samples N that is optimal to within a constant factor, in expected time O(N ·D) and expected space O(D), where D is B’s recurrence diameter. Experimental results demonstrate that QMC is fast, memory-efficient, and scales extremely well.