Miracle-dz/UniFAR-FTUs huggingface dataset:
OutRank: ranking outliers in high dimensional data

Outlier detection is an important data mining task for consistency checks, fraud detection, etc. Binary decision making on whether or not an object is an outlier is not appropriate in many applications and moreover hard to parametrize. Thus, recently, methods for outlier ranking have been proposed. Determining the degree of deviation, they do not require setting a decision boundary between outliers and the remaining data. High dimensional and heterogeneous (continuous and categorical attributes) data, however, pose a problem for most outlier ranking algorithms. In this work, we propose our OutRank approach for ranking outliers in heterogeneous high dimensional data. We introduce a consistent model for different attribute types. Our novel scoring functions transform the analyzed structure of the data to a meaningful ranking. Promising results in preliminary experiments show the potential for successful outlier ranking in high dimensional data.
Fast complete memory consistency verification

The verification of an execution against memory consistency is known to be NP-hard. This paper proposes a novel fast memory consistency verification method by identifying a new natural partial order: time order. In multiprocessor systems with store atomicity, a time order restriction exists between two operations whose pending periods are disjoint: the former operation in time order must be observed by the latter operation. Based on the time order restriction, memory consistency verification is localized: for any operation, both inferring related orders and checking related cycles need to take into account only a bounded number of operations. Our method has been implemented in a memory consistency verification tool for CMP (Chip Multi Processor), named LCHECK. The time complexity of the algorithm in LCHECK is O(Cpp2n2) (where C is a constant, p is the number of processors and n is the number of operations) for soundly and completely checking, and O(p3n) for soundly but incompletely checking. LCHECK has been integrated into both pre and post silicon verification platforms of the Godson-3 microprocessor, and many bugs of memory consistency and cache coherence were found with the help of LCHECK.
Drivers and export performance impacts of IT capability in ‘born‐global’ firms: a cross‐national study

Past research focusing on large firms has argued that information technology (IT) capability enhances firm performance. However, these studies have seldom explored why firms develop IT capability, and have also left a void the understanding of the role of IT capability in Small‐ and medium‐sized enterprises (SMEs). This study attempts to fill that void by examining the effect of relevant environmental and firm‐level factors on IT capability, and the effect of IT capability on the export performance of Chinese and US born‐global firms, a special breed of export‐focused SMEs. Results indicate that environmental factors such as information intensity, and firm‐level factors such as international entrepreneurial orientation, prompt born‐global firms to develop IT capability. Further, our results also strongly emphasise the positive role that IT capability plays on the performance of born‐global firms. Finally, a comparative analysis of the Chinese and US born‐global firms revealed a lack of a cross‐cultural difference in the factors leading these firms to develop IT capability, therefore supporting the ‘convergence’ perspective in cross‐cultural research.
Coping with out-of-vocabulary words: Open versus huge vocabulary asr

This paper investigates methods for coping with out-of-vocabulary words in a large vocabulary speech recognition task, namely the automatic transcription of Italian broadcast news. Two alternative ways for augmenting a 64K(thousand)-word recognition vocabulary and language model are compared: introducing extra words with their phonetic transcription up to 1.2M (million) words, or extending the language model with so-called graphones, i.e. subword units made of phone-character sequences. Graphones and phonetic transcriptions of words are automatically generated by adapting an off-the-shelf statistical machine translation toolkit. We found that the word-based and graphone-based extensions allow both for better recognition performance, with the former performing significantly better than the latter. In addition, the word-based extension approach shows interesting potential even under conditions of little supervision. In fact, by training the grapheme to phoneme translation system with only 2K manually verified transcriptions, the final word error rate increases by just 3% relative, with respect to starting from a lexicon of 64K words.
Dominant Modes of China Summer Heat Waves Driven by Global Sea Surface Temperature and Atmospheric Internal Variability

This study applies the maximum temperatures at more than 2000 Chinese stations to investigate the dominant modes of China summer heat waves (HWs). The first empirical orthogonal function (EOF) mode of the HW days reflects an increased frequency of HWs in northern China (NC), while the second and third modes represent two distinct interannual modes, with key regions over the Yangtze River valley (YRV) and southern China (SC), respectively. The NC HWs are possibly associated with the Atlantic–Eurasian teleconnection, showing zonally propagating wave trains over the North Atlantic and Eurasian continent. The YRV HWs are proposed to be linked to the North Atlantic Oscillation, which may trigger a southeastward-propagating wave train over northern Russia and East Asia that results in a high pressure anomaly over the YRV. The SC HWs are obviously dominated by the Indian Ocean and northwest Pacific warm SSTs owing to the transition from the preceding El Niño to La Niña, which excites above-normal highs over SC. The anomalously high pressures over NC, the YRV, and SC are usually accompanied by descending air motions, clear skies, decreased precipitation, and increased solar radiation, which jointly cause a drier and hotter soil condition that favors the emergence of HWs. The GFDL HiRAM experiments are able to reproduce the historical evolution of NC and SC HWs, but fail to capture the YRV HWs. The correlation coefficient between model PC1 (PC2) and observed PC1 (PC3) for the period of 1979–2008 is 0.65 (0.38), which significantly exceeds the 95% (90%) confidence level, indicating that this model has a more faithful representation for the SST-forced HWs.
Non-monotonic Lyapunov functions for stability of discrete time nonlinear and switched systems

We relax the monotonicity requirement of Lyapunov¿s theorem to enlarge the class of functions that can provide certificates of stability. To this end, we propose two new sufficient conditions for global asymptotic stability that allow the Lyapunov functions to increase locally, but guarantee an average decrease every few steps. Our first condition is non-convex, but allows an intuitive interpretation. The second condition, which includes the first one as a special case, is convex and can be cast as a semidefinite program. We show that when non-monotonic Lyapunov functions exist, one can construct a more complicated function that decreases monotonically. We demonstrate the strength of our methodology over standard Lyapunov theory through examples from three different classes of dynamical systems. First, we consider polynomial dynamics where we utilize techniques from sum-of-squares programming. Second, analysis of piecewise affine systems is performed. Here, connections to the method of piecewise quadratic Lyapunov functions are made. Finally, we examine systems with arbitrary switching between a finite set of matrices. It will be shown that tighter bounds on the joint spectral radius can be obtained using our technique.
Random inhomogeneities in microresonator: Theory and modeling at millimeter wave band

The influence of random inhomogeneities placed on the microresonator face on its spectral properties was studied theoretically and experimentally. The original spectral theory of open dielectric disk resonator with random surface inhomogeneities was elaborated. The mechanisms of the influence of inhomogeneities on eigen resonant frequency and on the spectral lines width were clarified. For that we carried out the modeling of the microresonator with random surface inhomogeneities at millimeter wave band. The qualitative agreement between theory and experiment was obtained.
The D-tree: an index structure for planar point queries in location-based wireless services

Location-based services (LBSs), considered as a killer application in the wireless data market, provide information based on locations specified in the queries. In this paper, we examine the indexing issue for querying location-dependent data in wireless LBSs; in particular, we focus on an important class of queries, planar point queries. To address the issues of responsiveness, energy consumption, and bandwidth contention in wireless communications, an index has to minimize the search time and maintain a small storage overhead. It is shown that the traditional point-location algorithms and spatial index structures fail to achieve either objective or both. This paper proposes a new index structure, called D-tree, which indexes spatial regions based on the divisions that form the boundaries of the regions. We describe how to construct a binary D-tree index, how to process queries based on the D-tree, and how to page the binary D-tree. Moreover, two parameterized methods for partitioning the original space, called fixed grid assignment (FGA) and adaptive grid assignment (AGA), are proposed to enhance the D-tree. The performance of the D-tree is evaluated using both synthetic and real data sets. Experimental results show that the proposed D-tree outperforms the well-known indexes such as the R/sup */-tree, and that both the FGA and AGA approaches can achieve different performance trade-offs between the index search time and storage overhead by fine-tuning their algorithmic parameters.
Predicting mortality in patients with rheumatoid arthritis.

OBJECTIVE A number of different variables have been proposed as risk factors for mortality in patients with rheumatoid arthritis (RA), but limited prospective information on the magnitude of their effects is available. This study was undertaken to evaluate the relative predictive strength and usefulness of a wide range of variables on the risk of mortality in a large, long-term, prospectively studied cohort of patients with RA. METHODS Over a 20-year period of followup beginning in 1981, 1387 consecutive RA patients were seen in a single clinic. A wide range of clinical and demographic assessments were recorded and entered into a computer database at the time of each clinical assessment. Assessment of predictive strength included determination of standardized and fourth-versus-first-quartile odds ratios (ORs), goodness-of-fit measures, and contributing fraction. RESULTS The Health Assessment Questionnaire (HAQ) disability index was the strongest clinical predictor of mortality. A 1-SD change in the HAQ resulted in a much larger increase in the odds ratio for mortality compared with a 1-SD change in global disease severity, the next most powerful predictor of mortality (OR 2.31 versus 1.83). Considering the contributing fraction, mortality would be reduced by 50% for the HAQ and by 33% for global disease severity if patients in the fourth quartile for these variables could be switched to the first quartile. Global disease severity, pain, depression, anxiety, and laboratory and radiographic features were significantly weaker predictors. Disease duration, nodules, and tender joint count were clinical variables that provided very little predictive information. In multivariable analyses, HAQ and other patient self-report measures were significantly better predictors than were radiographic and laboratory variables. A single baseline observation provided the least information, with substantially increasing predictive ability associated with 1-year, 2-year, and all-time point followup observations (time-varying covariates). CONCLUSION In this large 20-year study from routine clinical practice, the HAQ was the most powerful predictor of mortality, followed by other patient self-report variables. Laboratory, radiographic, and physical examination data were substantially weaker in predicting mortality. We recommend that clinicians collect patient self-report data, since they produce more useful clinical outcome information than other available clinical measures.
The effects of vector control interventions; long Lasting Insecticidal Nets plus Indoor Residual spraying (LLIN+IRS) and Long Lasting Insecticidal Nets (LLIN) alone on anopheles arabiensis Patton (Diptera: Culicidae) population densities, resting behaviors in central and eastern, Sudan

Introduction: Appropriate Understanding species composion, distribution and behaviours of malaria vectors are of great importance in vector control operations and they must be well understood to formulate specific and focused intervention strategies. In light of this it is important to investigate the distribution and behaviours of diseases vectors especially in rural areas of Sudan where the malaria is a pig health problem. This study was aimed to determine the species composion, abundance, densities and resting habits of vectors among the two interventions (study arms) LLINs alone and a combination of LLINs plus IRS in 30 clusters from four areas Alhoosh, Alhagabdalla, Galabat and New Halfa in central and eastern Sudan . Study design: A cluster randomized controlled trial, with two interventions (study arms) LLINs alone and a combination of LLINs plus IRS. Methodology: Mosquitoes samples were collected indoors using pyrethrum spray catches (PSC) from human dwellings and light trap collection method to determine density, resting habits, and species composion using Polymerase Chain Reaction Assays PCR to confirm the presence of sibling species of the Anopheles gambiae complex in four study areas in central and eastern Sudan. Results: Species identifications showed that 94.7 % (682 / 720) specimens were anopheles arabinoses patton species. The overall mean vector density was (7.9 ± 1.3± SE1.17 female / room / day) for LLIN study arm, while was (8.8 ± 1.7± SE1.53 female / room / day) for LLIN+IRS study arm.There was no significant difference between mean vector densities in the two study American Journal of Resarch Communication www.usa-journals.com Bakhiet, et al., 2017: Vol 5(5) arms (P > 0.05). The species had tendency to rest indoor (endophilic) than resting outdoor (exophilic) the pool ratio was 1:2 for the two interventions, the ratio of fed to halfgravid / gravid females in the study arm LLIN was found 1: 1.9 and in the study arm LLIN+IRS was found 1: 2 in favour of fresh fed. While there is no difference between densities and resting place of anopheles arabiensis in study arms LLIN and LLIN+IRS, study areas and the study period . conclusion: The study revealed that anopheles arabiensis is the dominant vector of malaria in Sudan, tendency to rest indoor (indophilic) and there are no advantages of combining LLIN with IRS relative to use LLIN alone.
Use your frequency wisely: Explore frequency domain for channel contention and ACK

The promise of high speed (over 1Gbps) wireless transmission rate at the physical layer can be significantly compromised with the current design of 802.11 DCF. There are three overheads in the 802.11 MAC that contribute to the performance degradation: DIFS, random backoff and ACK. Motivated by the recent progress in OFDM and self-interference cancellation technologies, in this paper, we propose a novel MAC design called REPICK (REversed contention and PIggy-backed ACK) to collectively address all the three overheads. The key idea in our proposal is to take advantage of OFDM subcarriers in the frequency domain to enhance the MAC efficiency. In REPICK, we propose a novel reverse contention algorithm, which enables and facilitates receivers to contend channel in the frequency domain (reversed contention). We also design an efficient mechanism which allows ACKs from receivers to be piggy-backed through subcarriers together with the contention information (piggy-backed ACK). We prove through rigorous analysis that the proposed scheme can substantially reduce the overheads associated with 802.11 DCF and a guaranteed throughput gain can be obtained. In addition, results from extensive simulations demonstrate that REPICK can improve the throughput by up to 170%.
Formal Analysis of the Kerberos Authentication System

The Gurevich's Abstract State Machine formalism is used to specify the well known Kerberos Authentication System based on the Needham-Schroeder authentication protocol. A complete model of the system is reached through stepwise re nements of ASMs, and is used as a basis both to discover the minimum assumptions to guarantee the correctness of the system and to analyse its security weaknesses. Each re ned model comes together with a correctness re nement theorem.
Wideband Electromagnetic Time Reversal With Finite Integration Technique: Localization in Heterogeneous Media and Experimental Validation

Time reversal techniques are widely used in electromagnetic imaging and localization of buried objects. In a wideband study, the localization of an object requires the determination of an instant of focus, that is, the instant when the energy of the backpropagated scattered fields reaches its location. We consider a new criterion (recently introduced) for choosing this instant of focus and we compare it with the minimum entropy criterion existing in the literature. We present the results obtained for the localization of buried regions, in synthetic 2-D configurations: it is shown that the proposed criterion can give good results when the minimum entropy criterion fails. We also present an experimental validation for 3-D objects localization.
Is It Possible to Be an Ethicist Without Being Mean to People ? 1

I was surprised to see your trashing of a recent paper in Psych Science, and even more surprised to discover that you didn’t contact the authors of the paper before you publically leveled charges of sloppiness and stupidity (if not dishonesty) against them. It is really quite shameful. I was glad to see that they posted a thoughtful and temperate response on their website, though sad that it won’t be read by all the people who first saw your attack. Some of your points were good, some were sophomoric, and it is hard to understand why you wouldn’t have shared your complaints with the authors so that they could help you distinguish between the two. That’s something scientists do when their goal is to learn the truth rather than to entertain readers. You hurt the feelings and reputations of some nice young people. I hope you’re proud.
Detrital Zircon U-Pb Age and PetrographicComposition from Foreland Sediments of theTansen Basin, Central Nepal: Constraints on SedimentProvenance and Tectonics of the Central Himalaya

Foreland basin deposits of the Tansen Group of Lesser Himalayan association in central Nepal record passive margin sedimentation of the Indian continent with direct deposition onto eroded Precambrian rocks, succeeded by detritus from orogenesis as the Indian continent collided with Asia on a north-dipping subduction zone. Samples collected from Tansen Basin (Amile, Bhainskati, and Dumri formations), Higher and Tethys Himalaya were examined detrital zircon U-Pb dating and through petrographically. The Cretaceous-Paleocene Amile Formation is dominated by a broad detrital zircon U-Pb~1830Ma age peak with hosts a significant proportion (23%) of syndepositional Cretaceous zircons (121 to 105Ma) would be contributions from the Lower Lesser Himalayan volcanosedimentary arc, Gangdese batholith (including Xigazeforearc). The Bhainskati and Dumri Formation of the Tansen Group are more similar to Tethyan units than to Higher Himalaya Crystalline (HHC). The presence of ~23+/-1Ma zircons from the Higher Himalaya unit suggests that they could not have been exposed until the earliest Miocene time. Petrographic results indicate their “Quartzose recycled” and “recycled orogenic” suggesting Indian cratonic and Lower Lesser Himalayan (LLH) sediments as the likely source of sediments for the Amile Formation, the Tethyan Himalaya (TH) and Upper Lesser Himalaya (ULH) as the source for the Bhainskati Formation, and both the Tethyanand Higher Himalaya as the major sources for the Dumri Formation.
Comparative Quantification of Plasma TDRD7 mRNA in Cataract Patients by Real-time Polymerase Chain Reaction

Purpose To investigate the relationship between plasma TDRD7 mRNA and lens transparency, and to evaluate plasma TDRD7 mRNA as a potential marker for cataracts and its sub-type by quantitatively analyzing human peripheral blood. Methods Plasma RNA was extracted from 40 patients with cataracts, and 30 normal controls of matched age and gender. Blood cholesterol and fasting glucose were measured, and the RNA extracted from the sample was synthesized into cDNA. After polymerase chain reaction, the results were compared after quantifying the TDRD7 mRNA using ABL1 mRNA for normalization. We analyzed the relative gene expression data via the ΔΔCt method. Results The normalized 2-ΔΔCt of plasma TDRD7 mRNA based on ABL1 mRNA was 1.52 ± 0.63 in the case of the control group and 1.05 ± 0.34 in the case of the cataract patients, and the TDRD7 expression level of the cataract patients was lower than that of the control group (p = 0.048). The comparison of the genetic values of different types of cataracts demonstrated that the TDRD7 expression level of the cortical type and mixed type were lower than those of the nuclear type and posterior subcapsular opacity type (p = 0.017). Conclusions Human cataracts and the TDRD7 gene loss-of-function mutations are strongly causally related, as the expression level of plasma TDRD7 mRNA in patients with cataracts was statistically significantly lower than in the normal control group.
Evaluation of gingival microleakage of class II resin composite restorations with fiber inserts: An in vitro study

Aims/Objectives: To evaluate the effect of glass and polyethylene fiber inserts and flowable composite as a liner on the microleakage of Class II composite restorations with gingival margins on root surfaces. Materials and Methods: Class II slots were prepared on both the proximal sides of thirty freshly extracted mandibular molars and were divided into six groups, according to the type of fiber insert and use of flowable composite (Filtek Z350) as a liner. Filtek P-60 (3M/ESPE) posterior composite was used to restore all cavities. The specimens were thermocycled and stained with 2% Basic Fuchsin dye, and sectioned to evaluate the dye penetration under Stereomicroscope. Statistical analysis was done using Kruskalwallis test and Mann whitney U test. Results and Conclusion: This study showed that, fiber insert groups, with or without flowable liner, had reduced microleakage scores as compared to the control groups. However, statistically no significant difference was found between the groups with fiber inserts. Less microleakage was seen in Group IV (With flowable liner and without Fiber inserts) as compared to Group I (Without flowable liner and Fiber inserts).
Reliable Prediction System Based on Support Vector Regression with Genetic Algorithms

This study applies a novel neural-network technique, support vector regression (SVR), to predict reliably in dynamical system. The aim of this study is to examine the feasibility of SVR in state prediction by comparing it with the existing neural-network approaches. To build an effective SVR model, SVR’s parameters must be set carefully. This study proposes a novel approach, known as GA-SVR, which searches for SVR’s optimal parameters using genetic algorithms, and then adopts the optimal parameters to construct the SVR models. The application results of practical vibration data state forecasting measured from a Co2 compressor demonstrate that the GA-SVR model outperforms the existing neural network based on the criteria of mean absolute error (MAE) and root mean square error (RMSE).