LLukas22/scidocs huggingface dataset:
A Two-Parameter Lindley Distribution for Modeling Waiting and Survival Times Data

In this paper, a two-parameter Lindley distribution, of which the one parameter Lindley distribution (LD) is a particular case, for modeling waiting and survival times data has been introduced. Its moments, failure rate function, mean residual life function, and stochastic orderings have been discussed. It is found that the expressions for failure rate function mean residual life function and stochastic orderings of the two-parameter LD shows flexibility over one-parameter LD and exponential distribution. The maximum likelihood method and the method of moments have been discussed for estimating its parameters. The distribution has been fitted to some data-sets relating to waiting times and survival times to test its goodness of fit to which earlier the one parameter LD has been fitted by others and it is found that to almost all these data-sets the two parameter LD distribution provides closer fits than those by the one parameter LD.
The Experience of Fliehkraft

Humans mount themselves on gigantic robots and enjoy being centrifuged through space. Sounds like science fiction, but it is just what happens in theme parks. Machines with the power of tanks offer five minutes of anti-gravity therapy. It's an attempt to escape this world, driven by 10,000 horsepower.
On the Insufficiency of Linear Diagrams for Syllogisms

In Volume 33:1 of the Notre Dame Journal of Formal Logic, a system for diagramming syllogistic inferences using straight line segments is presented by Englebretsen. In light of recent research on the representational power of diagrammatic representation systems by the authors, we point out some problems with the proposal, and indeed, with any proposal for representing logically possible situations diagrammatically. We shall first outline the proposed linear diagrammatic system of Englebretsen, and then show by means of counterexamples that it is inadequate as a representation scheme for general logical inferences (the task for which the system is intended). We also show that modifications to the system fail to remedy the problems. The considerations we present are not limited to the particular proposal of Englebretsen; we thus draw a more general moral about the use of spatial relations in representation systems. 1 Diagrammatic representation systems Diagrammatic representation systems are of increasing interest for at least two reasons. Philosophically, diagram systems interest those concerned with the nature of representation itself—in particular, those who argue that too much attention has been given to sequential symbol systems. These writers claim that diagrams represent by analogy or surrogacy—in virtue of sharing structure with the domains that they represent (see Barwise and Shimojima [2], Cummins [4], and Swoyer [21]). Practically, diagrammatic representations are frequently used in visual interfaces to databases, programming languages, and in logic teaching. Each of these domains demands careful consideration of the formal properties of the diagrammatic systems in question. For both of these reasons we propose to investigate the expressive power of one proposed diagram system and to determine its utility in reasoning tasks. 2 The diagrammatic system LD In [5], Englebretsen presents us with a system for diagramming syllogistic inferences. In this system, individuals are represented Received September 24, 1997; revised October 31, 1999 574 OLIVER LEMON and IAN PRATT
Big Data, Simulations and HPC Convergence

Two major trends in computing systems are the growth in high performance computing (HPC) with in particular an international exascale initiative, and big data with an accompanying cloud infrastructure of dramatic and increasing size and sophistication. In this paper, we study an approach to convergence for software and applications/algorithms and show what hardware architectures it suggests. We start by dividing applications into data plus model components and classifying each component (whether from Big Data or Big Compute) in the same way. This leads to 64 properties divided into 4 views, which are Problem Architecture (Macro pattern); Execution Features (Micro patterns); Data Source and Style; and finally the Processing (runtime) View. We discuss convergence software built around HPC-ABDS (High Performance Computing enhanced Apache Big Data Stack) and show how one can merge Big Data and HPC (Big Simulation) concepts into a single stack and discuss appropriate hardware.
Model-Based Systems Engineering in Support of Complex Systems Development

419 INTRODUCTION A team from APL has been using model-based systems engineering (MBSE) methods within a conceptual modeling process to support and unify activities related to system-of-systems architecture development; modeling, simulation, and analysis efforts; and system capability trade studies. These techniques have been applied to support analysis of complex systems, particularly in the net-centric operations and warfare domain, which has proven particularly challenging to the modeling, simulation, and analysis community because of its complexity, information richness, and broad scope. In particular, the APL team has used MBSE techniques to provide structured models of complex systems incorporating input from multiple diverse stakeholders odel-based systems engineering techniques facilitate complex system design and documentation processes. A rigorous, iterative conceptual development process based on the Unified Modeling Language (UML) or the Systems Modeling Language (SysML) and consisting of domain modeling, use case development, and behavioral and structural modeling supports design, architecting, analysis, modeling and simulation, test and evaluation, and program management activities. The resulting model is more useful than traditional documentation because it represents structure, data, and functions, along with associated documentation, in a multidimensional, navigable format. Beyond benefits to project documentation and stakeholder communication, UMLand SysML-based models also support direct analysis methods, such as functional thread extraction. The APL team is continuing to develop analysis techniques using conceptual models to reduce the risk of design and test errors, reduce costs, and improve the quality of analysis and supporting modeling and simulation activities in the development of complex systems. Model-Based Systems Engineering in Support of Complex Systems Development
[Screening of prostate cancer with PSA and transperineal six sextant biopsy].

OBJECT
The objectives of this study are to examine how many cancer patients we can detect among the outpatients whose PSA values are above 4.0 ng/ml, and to compare the usefulness of transperineal six sextant biopsy (ss-biopsy) with that of transrectal one.


METHODS
All the male outpatients (above 50 years old) were inspected Tandem-R PSA levels and digital rectal examination (DRE). Among them, 129 patients showed more than 4.0 ng/ml of PSA values and/or positive finding of DRE, and underwent subsequent transperineal ss-biopsy.


RESULTS
Cancers were detected in 52 patients (40.3%) without major complications. Among 64 gray zone (PSA 4.1-10.0 ng/ml) patients, 17 (26.6%) were found to be cancer by ss-biopsy, meanwhile only 2 cancer patients (8.9%) were detected from 23 gray zone ones by traditional directed biopsy. Application of PSA density could not be found practicable to eliminate unnecessary biopsies in the gray zone group.


CONCLUSION
Prostate cancer could be found nearly a fourth in the gray zone group of the outpatients. To enhance the detection rate, obtaining at least 6 core samples are recommended from either perineal or rectal root.
High altitude sleep disturbances monitored by actigraphy and polysomnography.

AIMS
Data on sleep at altitude are scant due to the limited availability of polysomnography. Therefore, we investigated whether actigraphy might serve as a simple tool for monitoring sleep during altitude field studies.


METHODS
Fourteen mountaineers participating in studies on dexamethasone prophylaxis of high altitude pulmonary edema were monitored by actigraphy and polysomnography during 1 night at Zurich (490 m) and 4 nights at the Regina Margherita hut (4559 m). Total sleep time (TST) estimated by actigraphy was compared to polysomnography and subjective sleep quality.


RESULTS
In 64 comparisons, mean differences±2SD (bias±limits of agreement) between actigraphy and polysomnography were 5±35 min for TST and 1±7% for sleep efficiency. Correlations between subjective and polysomnographic estimates of sleep efficiency and sleep latency were nonsignificant. Medians of nocturnal oxygen saturation were 96% at 490 m and 74%-81% during nights 1 to 4 at 4459 m (p<0.05 vs. 490 m). Medians of polysomnographic TST were similar at 490 m (451 min) and 4559 m (377-456 min during nights 1 to 4, p=NS) but the proportions of slow wave and REM sleep were reduced and arousals were more common (p<0.05 all instances).


CONCLUSION
Actigraphy accurately estimates sleep efficiency and duration. Due to its portability and simple use and the potential application over several weeks, it is a convenient tool for investigating altitude effects on sleep during field studies.
New Monotone Span Programs from Old

In this paper we provide several known and one new constructions of new linear secret sharing schemes (LSSS) from existing ones. This constructions are well-suited for didactic purposes, which is a main goal of this paper. It is well known that LSSS are in one-to-one correspondence with monotone span programs (MSPs). MSPs introduced by Karchmer and Wigderson, can be viewed as a linear algebra model for computing a monotone function (access structure). Thus the focus is in obtaining a MSP computing the new access structure starting from the MSPs that compute the existing ones, in the way that the size of the MSP after the transformation is well defined. Next we define certain new operations on access structures and prove certain related properties.
Comparing extent of activation: a robust permutation approach

The number of contiguous voxels activated in a brain image can differ between groups or conditions even though the amplitude of activation does not markedly differ. Existing techniques test for differences in amplitude given that extent (number of contiguous voxels) exceeds some threshold. We present a technique that tests for differences in extent of activation given that amplitude of activation exceeds some threshold. The technique was motivated by apparent differences in extent of regional cerebral blood flow (rCBF) between hypertensive and normotensive participants performing cognitive tasks. These data are used to illustrate our test for extent of activation. We threshold the estimated parameter map for each subject, count the number of voxels exceeding the threshold over a defined region enclosing activated cortical area, and test the hypothesis of difference in the number of activated voxels between the two groups. Due to the large number of zeros resulting from the thresholding and the occurrence of extreme observations, we use a Robust permutation test [Lambert, D., 1985. Robust two-sample permutation tests. Ann. Stat., 13, 606-625], which is based on the sum of censored log-likelihood ratios. This statistic has desirable properties relative to the usual permutation test in contaminated distributions, i.e., idealized histogram with outliers, and provides an appropriate and robust test of extent of activation between conditions or groups.
Effective Pedestrian Detection Using Center-symmetric Local Binary/Trinary Patterns

Accurately detecting pedestrians in images plays a critically important role in many computer vision applications. Extraction of effective features is the key to this task. Promising features should be discriminative, robust to various variations and easy to compute. In this work, we present novel features, termed dense center-symmetric local binary patterns (CS-LBP) and pyramid center-symmetric local binary/ternary patterns (CS-LBP/LTP), for pedestrian detection. The standard LBP proposed by Ojala et al. [1] mainly captures the texture information. The proposed CS-LBP feature, in contrast, captures the gradient information and some texture information. Moreover, the proposed dense CS-LBP and the pyramid CS-LBP/LTP are easy to implement and computationally efficient, which is desirable for real-time applications. Experiments on the INRIA pedestrian dataset show that the dense CS-LBP feature with linear supporct vector machines (SVMs) is comparable with the histograms of oriented gradients (HOG) feature with linear SVMs, and the pyramid CS-LBP/LTP features outperform both HOG features with linear SVMs and the start-of-the-art pyramid HOG (PHOG) feature with the histogram intersection kernel SVMs. We also demonstrate that the combination of our pyramid CS-LBP feature and the PHOG feature could significantly improve the detection performance—producing state-of-the-art accuracy on the INRIA pedestrian dataset.
Do structural oil-market shocks affect stock prices?

This paper investigates how explicit structural shocks tha t c racterize the endogenous character of oil price changes affect stock-marke t returns in a sample of eight countries — Australia, Canada, France, Germany, Ital y, Japan, the United Kingdom, and the United States. For each country, the analys is proceeds in two steps. First, modifying the procedure of Kilian (2008a), we employ a vector errorcorrection or vector autoregressive model to decompose oil -price changes into three components oil-supply shocks, global aggregate-dem and shocks, and global oil-demand shocks. The last component relates to specific id osyncratic features of the oil market, such as changes in the precautionary deman d concerning the uncertainty about the availability of future oil supplies. Se cond, recovering the oilsupply shocks, global aggregate-demand shocks, and global oil-demand shocks from the first analysis, we then employ a vector autoregressi v model to determine the effects of these structural shocks on the stock market re turns in our sample of eight countries. We find that international stock market ret urns do not respond in a large way to oil market shocks. That is, the significant effe cts that exist prove small in magnitude. Journal of Economic Literature Classification: G12, Q43
Target setting in intensive insulin management is associated with metabolic control: the Hvidoere childhood diabetes study group centre differences study 2005.

OBJECTIVE
To evaluate glycaemic targets set by diabetes teams, their perception by adolescents and parents, and their influence on metabolic control.


METHODS
Clinical data and questionnaires were completed by adolescents, parents/carers and diabetes teams in 21 international centres. HbA1c was measured centrally.


RESULTS
A total of 2062 adolescents completed questionnaires (age 14.4 +/- 2.3 yr; diabetes duration 6.1 +/- 3.5 yr). Mean HbA 1c = 8.2 +/- 1.4% with significant differences between centres (F = 12.3; p < 0.001) range from 7.4 to 9.1%. There was a significant correlation between parent (r = 0.20) and adolescent (r = 0.21) reports of their perceived ideal HbA1c and their actual HbA1c result (p < 0.001), and a stronger association between parents' (r = 0.39) and adolescents' (r = 0.4) reports of the HbA1c they would be happy with and their actual HbA1c result. There were significant differences between centres on parent and adolescent reports of ideal and happy with HbA1c (8.1 < F > 17.4;p < 0.001). A lower target HbA1c and greater consistency between members of teams within centres were associated with lower centre HbA1c (F = 16.0; df = 15; p < 0.001).


CONCLUSIONS
Clear and consistent setting of glycaemic targets by diabetes teams is strongly associated with HbA1c outcome in adolescents. Target setting appears to play a significant role in explaining the differences in metabolic outcomes between centres.
The Bioecological Model of Human Development

OVERVIEW 795 DEFINING PROPERTIES OF THE BIOECOLOGICAL MODEL 796 Proposition I 797 Proposition II 798 FROM THEORY TO RESEARCH DESIGN: OPERATIONALIZING THE BIOECOLOGICAL MODEL 799 Developmental Science in the Discovery Mode 801 Different Paths to Different Outcomes: Dysfunction versus Competence 803 The Role of Experiments in the Bioecological Model 808 HOW DO PERSON CHARACTERISTICS INFLUENCE LATER DEVELOPMENT? 810 Force Characteristics as Shapers of Development 810 Resource Characteristics of the Person as Shapers of Development 812 Demand Characteristics of the Person as Developmental Inf luences 812 THE ROLE OF FOCUS OF ATTENTION IN PROXIMAL PROCESSES 813 PROXIMAL PROCESSES IN SOLO ACTIVITIES WITH OBJECTS AND SYMBOLS 814 THE MICROSYSTEM MAGNIFIED: ACTIVITIES, RELATIONSHIPS, AND ROLES 814 Effects of the Physical Environment on Psychological Development 814 The Mother-Infant Dyad as a Context of Development 815 BEYOND THE MICROSYSTEM 817 The Expanding Ecological Universe 818 Nature-Nurture Reconceptualized: A Bioecological Interpretation 819 TIME IN THE BIOECOLOGICAL MODEL: MICRO-, MESO-, AND MACROCHRONOLOGICAL SYSTEMS 820 FROM RESEARCH TO REALITY 822 THE BIOECOLOGICAL MODEL: A DEVELOPMENTAL ASSESSMENT 824 REFERENCES 825
Computational Chemistry: The Fate of Current Methods and Future Challenges.

"Where do we go from here?" is the underlying question regarding the future (perhaps foreseeable) developments in computational chemistry. Although this young discipline has already permeated practically all of chemistry, it is likely to become even more powerful with the rapid development of computational hard- and software.
ContainerCloudSim: An environment for modeling and simulation of containers in cloud data centers

Containers are increasingly gaining popularity and becoming one of the major deployment models in cloud environments. To evaluate the performance of scheduling and allocation policies in containerized cloud data centers, there is a need for evaluation environments that support scalable and repeatable experiments. Simulation techniques provide repeatable and controllable environments, and hence, they serve as a powerful tool for such purpose. This paper introduces ContainerCloudSim, which provides support for modeling and simulation of containerized cloud computing environments. We developed a simulation architecture for containerized clouds and implemented it as an extension of CloudSim. We described a number of use cases to demonstrate how one can plug in and compare their container scheduling and provisioning policies in terms of energy efficiency and SLA compliance. Our system is highly scalable as it supports simulation of large number of containers, given that there are more containers than virtual machines in a data center. Copyright © 2016 John Wiley & Sons, Ltd.
Increased risk of stroke after a herpes zoster attack: a population-based follow-up study.

BACKGROUND AND PURPOSE
Varicella zoster virus-induced vasculopathy and postherpes zoster attack stroke syndromes have been reported previously; nevertheless, data regarding the exact prevalence and risk of stroke occurring postherpes zoster attack are still lacking. This study aims to investigate the frequency and risk of stroke after a herpes zoster attack using a nationwide, population-based study of a retrospective cohort design. Method- A total of 7760 patients who had received treatment for herpes zoster between 1997 and 2001 were included and matched with 23 280 randomly selected subjects. A 1-year stroke-free survival rate was then estimated using the Kaplan-Meier method. After adjusting for potential confounders, Cox proportional hazard regressions were carried out to compute the adjusted 1-year survival rate.


RESULTS
Of the sampled patients, 439 patients (1.41%) developed strokes within the 1-year follow-up period, that is, 133 individuals (1.71% of the patients with herpes zoster) from the study cohort and 306 individuals (1.31% of patients in the comparison cohort) from the comparison cohort. The log rank test indicated that patients with herpes zoster had significantly lower 1-year stroke-free survival rates than the control (P<0.001). The adjusted hazard ratios of stroke after herpes zoster and herpes zoster ophthalmicus during the 1-year follow-up period were 1.31 and 4.28, respectively.


CONCLUSIONS
The risk for stroke increased after a zoster attack. Although varicella zoster virus vasculopathy is a well-documented complication that may induce a stroke postherpes zoster attack, it does not fully account for the unexpectedly high risk of stroke in these patients.
Design of a 1.7-GHz low-power delay-fault-testable 32-b ALU in 180-nm CMOS technology

In this paper, we present the design of a 32-b arithmetic and log unit (ALU) that allows low-power operation while supporting a design-for-test (DFT) scheme for delay-fault testability. The low-power techniques allow for 18% reduction in ALU total energy for 180-nm bulk CMOS technology with minimal performance degradation. In addition, there is a 22% reduction in standby mode leakage power and 23% lower peak current demand. In the test mode, we employ a built-in DFT scheme that can detect delay faults while reducing the test-mode automatic test equipment clock frequency.
Do users rate or review?: boost phrase-level sentiment labeling with review-level sentiment classification

Current approaches for contextual sentiment lexicon construction in phrase-level sentiment analysis assume that the numerical star rating of a review represents the overall sentiment orientation of the review text. Although widely adopted, we find through user rating analysis that this is not necessarily true. In this paper, we attempt to bridge the gap between phrase-level and review/document-level sentiment analysis by leveraging the results given by review-level sentiment classification to boost phrase-level sentiment polarity labeling in contextual sentiment lexicon construction tasks, using a novel constrained convex optimization framework. Experimental results on both English and Chinese reviews show that our framework improves the precision of sentiment polarity labeling by up to 5.6%, which is a significant improvement from current approaches.
A topologically robust algorithm for Boolean operations on polyhedral shapes using approximate arithmetic

We present a topologically robust algorithm for Boolean operations on polyhedral boundary models. The algorithm can be proved always to generate a result with valid connectivity if the input shape representations have valid connectivity, irrespective of the type of arithmetic used or the extent of numerical errors in the computations or input data. The main part of the algorithm is based on a series of interdependent operations. The relationship between these operations ensures a consistency in the intermediate results that guarantees correct connectivity in the final result. Either a triangle mesh or polygon mesh can be used. Although the basic algorithm may generate geometric artifacts, principally gaps and slivers, a data smoothing post-process can be applied to the result to remove such artifacts, thereby making the combined process a practical and reliable way of performing Boolean operations. c © 2006 Published by Elsevier Ltd