Miracle-dz/UniFAR-FTUs huggingface dataset:
Security analysis for order preserving encryption schemes

The development of third-party hosting, IT out-sourcing, service clouds, etc. raises important security concerns. It is safer to encrypt critical data that is hosted by a third party. However, a database must be able to process queries on the encrypted data. Many algorithms have been developed to support search query processing on encrypted data, including order preserving encryption (OPE) schemes. Security analysis plays an important role in the design of secure algorithms. It aids in understanding the level of security assured by an algorithm. Currently, security analysis of OPE schemes is limited. In [3], the authors defined an ideal OPE object and constructed an OPE scheme SEm,n that is computationally indistinguishable from the ideal object. Thus the security of the proposed OPE scheme is identical to that of the ideal OPE object. However, the security of the ideal object has not been analyzed. In this paper, we study the security of OPE schemes by analyzing the number of bits zh of the plaintext that remain secret from the adversary against a known plaintext attack with h known plaintexts. Based on the security analyses, we conclude that the ideal OPE object achieves one-wayness security, i.e., the probability for the adversary to fully recover the plaintext encrypted by the ideal OPE object against an h known plaintext attack is a negligible function of the secure parameter log m if h = o(mϵ), 0 <; ϵ <; 1, and n = m3. The results presented in the paper not only help improve our understanding of the security of OPE schemes and guide its parameter selections, but also provide a general method for analyzing their security.
Immodest Proposals: Research Through Design and Knowledge

The paper offers theoretical support for research through design (RtD) by arguing that in order to legitimize and make use of research through design as research, HCI researchers need to explore and clarify how RtD objects might contribute to knowledge. Leveraging the tradition of aesthetics in the arts and humanities, we argue that while the intentions of the object's designer are important and while annotations are a good mechanism to articulate them, the critical reception of objects is equally foundational to RtD's broader knowledge impacts within HCI. Such a scholarly critical reception is needed precisely because of the potential inexhaustibility of design objects' meanings; their inability to be paraphrased simply and adequately. Offering a multilevel analysis of the (critical) design fiction Menstruation Machine by Sputniko! , the paper explores how design objects co-produce knowledge, by working through complex design problem spaces in non-reductive ways, proposing new connections and distinctions, and embodying design ideas and processes across time and minds.
Monitoring Training Load in Indian Male Swimmers

The present study was initiated to monitor the training load with the magnitude of impact on the hormone concentrations such as testosterone, cortisol and T/C (Testosterone/Cortisol) ratio during the three phases of training (i.e. preparatory, pre-competitive, and competitive phases) in Indian male swimmers preparing for the 2010 Commonwealth Games. Blood samples were collected at the end of each training phase and hormone concentration was determined by ELISA. Our results reveal that testosterone concentration and the T/C ratio significantly decreased and the cortisol concentration increased in the subsequent periodized cycle. Change in hormone concentration was associated with the intensity and duration of individual exercise sessions. The greatest performance enhancement was realized with the lowest plasma cortisol, highest testosterone, and a high T/C ratio. Monitoring of these hormones also have implications for identifying and preventing overreaching in swimmers.
The impact of changing populations on classifier performance

An assumption fundamental to almost all work on supervised classification is that the probabilities of class membership, conditional on the feature vectors, are stationary. However, in many situations this assumption is untenable. We give examples of such population drift, examine its nature, show how the impact of population drift depends on the chosen measure of classification performance, and propose a strategy for dynamically updating classification rules.
Asymmetry of the Indian Ocean Basinwide SST Anomalies: Roles of ENSO and IOD

Abstract A basinwide warming (cooling) in the Indian Ocean is observed following the El Nino (La Nina) mature phase, with the amplitude of the warming being significantly larger than the cooling. A composite analysis reveals that the amplitude asymmetry (positive skewness) between the warm and cold Indian Ocean basinwide sea surface temperature anomaly pattern (IOB) appears only when ENSO is concurrent with the Indian Ocean dipole (IOD). The amplitude asymmetry becomes insignificant during the ENSO-only and the IOD-only events. The physical mechanism for the amplitude asymmetry is investigated by analyzing the mixed layer heat budget based on the Simple Ocean Data Assimilation (SODA) 2.0. 2 data. It is found that the positive skewness in the IOD west pole (IODW) is mainly caused by the asymmetry of ocean temperature advection, whereas the positive skewness in the IOD east pole (IODE) is caused by the asymmetry of the surface heat flux anomaly (primarily shortwave radiation) in response to the ENSO remote f.
Advance Artificial Intelligence Based Mutual Authentication Technique with Four Entities in 4-G Mobile Communications

4-G mobile communications system is offering high speed data communications technology having connectivity to all sorts of the networks including 2-G and 3-G mobile networks. Authentication of a mobile subscriber (MS) or a subnetwork and a main network are an important issue to check and minimize security threats or attacks. An advanced artificial intelligence based mutual authentication system applying fuzzy neural network with four entities is proposed. Voice frequency of the salutation or the selective words used by a subscriber like Hello, Good Morning, etc. is taken as first entity. Second entity is chosen as thumb fingerprint matching of the calling subscriber with his/her stored thumb fingerprint. Then third entity is taken as face image matching of the calling subscriber. Fourth entity is granted as probability of the salutation word from subscriber's talking habit while initializing a call. These four entities such as probability of particular range of frequencies for the salutation word, the thumb fingerprint matching, the face image matching of the subscriber, using particular salutation or greeting word at the time of starting a call are used with the most frequently, more frequently, and less frequently by the calling subscriber like uncertainty in Artificial Intelligence. Now different relative grades are assigned to the most frequently, more frequently, and less frequently used parameters. Fuzzy operations such as intersection and union are computed taking three membership functions at a time out of four membership functions to adopt fuzzy neural network. Thereafter, the optimum or the final fuzzy operations are computed according to the assumed weightages. Lastly, the optimized fuzzy operations are defuzzified by the Composite Maxima method and the results are tested according to the invented fuzzy neural rule. If the results are satisfactory, the subscriber or the sub-network and the network (the switch or the server) are mutually authenticated in 4-G mobile communications.
Implications of High Temperature and Elevated CO2 on Flowering Time in Plants

Flowering is a crucial determinant for plant reproductive success and seed-set. Increasing temperature and elevated carbon-dioxide (e[CO2]) are key climate change factors that could affect plant fitness and flowering related events. Addressing the effect of these environmental factors on flowering events such as time of day of anthesis (TOA) and flowering time (duration from germination till flowering) is critical to understand the adaptation of plants/crops to changing climate and is the major aim of this review. Increasing ambient temperature is the major climatic factor that advances flowering time in crops and other plants, with a modest effect of e[CO2]. Integrated environmental stimuli such as photoperiod, temperature and e[CO2] regulating flowering time is discussed. The critical role of plant tissue temperature influencing TOA is highlighted and crop models need to substitute ambient air temperature with canopy or floral tissue temperature to improve predictions. A complex signaling network of flowering regulation with change in ambient temperature involving different transcription factors (PIF4, PIF5), flowering suppressors (HvODDSOC2, SVP, FLC) and autonomous pathway (FCA, FVE) genes, mainly from Arabidopsis, provides a promising avenue to improve our understanding of the dynamics of flowering time under changing climate. Elevated CO2 mediated changes in tissue sugar status and a direct [CO2]-driven regulatory pathway involving a key flowering gene, MOTHER OF FT AND TFL1 (MFT), are emerging evidence for the role of e[CO2] in flowering time regulation.
Managers’ Political Beliefs and Gender Inequality among Subordinates: Does His Ideology Matter More Than Hers?

To explore whether managers’ beliefs and attitudes influence gender inequality among their subordinates, we theorize about the relationship between managers’ political ideology, situated on a liberal–conservative continuum, and differences in the hiring, work team selection, and promotion of male versus female subordinates, as well as how a manager’s gender moderates this relationship. We analyze novel microdata from the U.S. legal industry from 2007 to 2012 and find that large law offices whose partners are more liberal hire a larger percentage of female associates, that more-liberal partners are more likely to select female associates to be members of their client teams, and that associates whose supervising partners are more liberal have greater gender parity in promotion rates. Further, we find that the ideology of male partners is significantly more influential than the ideology of female partners in affecting these differences. We find little evidence that sorting on the part of higher-quality female associates drives the results.
Interaction between Granulation and Small-Scale Magnetic Flux Observed by Hinode

With the polarimetric observations obtained by the Spectro-Polarimeter on board Hinode, we study the relationship between granular development and magnetic fi eld evolution in the quiet Sun. Six typical cases are displayed to exhibit interaction between granules and magnetic elements, and we have obtained the following results. (1) A granule develops centrosymmetrically when no magnetic fl ux emerges within the granular cell. (2) A granule develops and splits noncentrosymmetrically while fl ux emerges at an outer part of the granular cell. (3) Magnetic fl ux emergence in a cluster of mixed polarities is detected at the position of a granule as soon as the granule breaks up. (4) A dipole emerges accompanied by the development of a granule, and the two elements of the dipole are rooted in the adjacent intergranular lanes and face each other across the granule. Advected by the horizontal granular motion, the positive element of the dipole then cancels with the pre-existing negative fl ux. (5) Flux cancellation also takes place between a positive element, which is advected by granular fl ow, and its surrounding negative fl ux. (6) While magnetic fl ux cancellation takes place in a granular cell, the granule shrinks and then disappears. (7) Horizontal magnetic fi elds are enhanced at the places where dipoles emerge and where opposite polarities cancel each other, but only the horizontal fi elds between the dipolar elements point in an orderly way from the positive elements to the negative ones. Our results reveal that granules and small-scale magnetic fl uxes in fl uence each other. Granular fl ow advects magnetic fl ux, and magnetic fl ux evolution suppresses granular development. There exist extremely large Doppler blue-shifts at the site of one canceling magnetic element. This phenomenon may be caused by the upward fl ow produced by magnetic reconnection below the photosphere.
An Asynchronous Distributed ADMM Algorithm and Efficient Communication Model

In this paper, we present a hierarchical butterfly communication model, which is applied to an asynchronous distributed ADMM algorithm. The goal is to minimize the communication overhead of the distributed ADMM algorithm in the fully connected network. We give a theoretical analysis of the convergence of the algorithm with hierarchical butterfly communication model. Experiments show that hierarchical butterfly communication model does not have a great impact on the convergence of the algorithm with the increase of computing nodes and thus effectively improve the performance and scalability of the algorithm.
Optimal Symbol Alignment Distance: A New Distance for Sequences of Symbols

Comparison functions for sequences (of symbols) are important components of many applications, for example, clustering, data cleansing, and integration. For years, many efforts have been made to improve the performance of such comparison functions. Improvements have been done either at the cost of reducing the accuracy of the comparison, or by compromising certain basic characteristics of the functions, such as the triangular inequality. In this paper, we propose a new distance for sequences of symbols (or strings) called Optimal Symbol Alignment distance (OSA distance, for short). This distance has a very low cost in practice, which makes it a suitable candidate for computing distances in applications with large amounts of (very long) sequences. After providing a mathematical proof that the OSA distance is a real distance, we present some experiments for different scenarios (DNA sequences, record linkage, etc.), showing that the proposed distance outperforms, in terms of execution time and/or accuracy, other well-known comparison functions such as the Edit or Jaro-Winkler distances.
Altering FAK-Paxillin Interactions Reduces Adhesion, Migration and Invasion Processes

Focal adhesion kinase (FAK) plays an important role in signal transduction pathways initiated at sites of integrin-mediated cell adhesion to the extracellular matrix. Thus, FAK is involved in many aspects of the metastatic process including adhesion, migration and invasion. Recently, several small molecule inhibitors which target FAK catalytic activity have been developed by pharmaceutical companies. The current study was aimed at addressing whether inhibiting FAK targeting to focal adhesions (FA) represents an efficient alternative strategy to inhibit FAK downstream pathways. Using a mutagenesis approach to alter the targeting domain of FAK, we constructed a FAK mutant that fails to bind paxillin. Inhibiting FAK-paxillin interactions led to a complete loss of FAK localization at FAs together with reduced phosphorylation of FAK and FAK targets such as paxillin and p130Cas. This in turn resulted in altered FA dynamics and inhibition of cell adhesion, migration and invasion. Moreover, the migration properties of cells expressing the FAK mutant were reduced as compared to FAK-/- cells. This was correlated with a decrease in both phospho-Src and phospho-p130Cas levels at FAs. We conclude that targeting FAK-paxillin interactions is an efficient strategy to reduce FAK signalling and thus may represent a target for the development of new FAK inhibitors.
Gender, culture or topics: Any impacts on primary school students' collaborative knowledge construction in VLC? — ‘Learning Villages’ as an example

Analyzing online discussion transcripts could help researchers study the process of collaborative knowledge construction in VLC-Virtual Learning Community. Gender, culture and topics are always the most meaningful and useful aspects considering the quality of online discussion. The quality of students' collaborative knowledge construction could be described by three divisions: knowledge construction level, diversity of posts and total number of posts. With 60 primary school students as our case study objects, and after adopting content analysis method and revised online discussion analysis model IAM, we found: most of the students got the first and the second knowledge construction level and the complex relationships between the variables mentioned above had been investigated respectively.
FILOZOFICKÁ FAKULTA UNIVERZITY PALACKÉHO V OLOMOUCI

This thesis deals with the issue of gender and its use in a language. The first part of this paper contains general concepts of gender, explains the concept of gender studies and deals with the gender linguistics in the context of the language generally as well as the Czech language. The second part looks at the gender correctness in a language, describes and offers a gender replacement of the generic masculine gender. It also deals with the issue of gender stereotypes in various fields, including the influence of such stereotypes on the usage of a language in connection with genders. The paper also contains a long chapter on gender inflection of nouns and both Czech and foreign surnames.
A study of interaction between dialog and decision for human-robot collaborative task achievement

Human-robot collaboration requires both communicative and decision making skills of a robot. To enable flexible coordination and turn-taking between human users and a robot in joint tasks, the robot's dialog and decision making mechanism have to be synchronized in a meaningful way. In this paper, we propose a integration framework to combine the dialog and the decision making processes. With this framework, we investigate various task negotiation situations for a social robot in a fetch-and-carry scenario. For the technical realization of the framework, the interface specification between the dialog and the decision making systems is also presented. Further, we discuss several challenging issues identified in our integration effort that should be addressed in the future.
Constraint-based termination analysis of logic programs

Current norm-based automatic termination analysis techniques for logic programs can be split up into different components: inference of mode or type information, derivation of models, generation of well-founded orders, and verification of the termination conditions themselves. Although providing high-precision results, these techniques suffer from an efficiency point of view, as several of these analyses are often performed through abstract interpretation. We present a new termination analysis which integrates the various components and produces a set of constraints that, when solvable, identifies successful termination proofs. The proposed method is both efficient and precise. The use of constraint sets enables the propagation on information over all different phases while the need for multiple analyses is considerably reduced.
Spontaneous Bacterial Peritonitis and Henoch-Schönlein Purpura in a Patient with Liver Cirrhosis

Henoch-Schönlein purpura (HSP) is a small vessel systemic vasculitis, predominantly affecting children, characterized by a tetrad of manifestations, specifically palpable purpura, arthralgia, abdominal pain, and renal disease. HSP in the adult population is rare, and no case has been described of HSP in liver cirrhosis with spontaneous bacterial peritonitis (SBP). We present the case of a 58-year-old male with liver cirrhosis, who was subsequently diagnosed with SBP and later HSP. In this patient, the diagnosis of HSP was demonstrated clinically by his palpable purpura, diarrhea, hematuria, and abdominal pain and confirmed pathologically by his renal and skin biopsies demonstrating leukocytoclastic vasculitis and IgA complexes. We believe that this is an example of altered IgA processing in cirrhosis leading to the development of IgA immune complexes and ultimately HSP. The patient additionally had SBP, which may have increased his risk for developing HSP given antigen processing by mucosa-associated lymphoid tissues leading to immune complex deposition, which may not have been effectively cleared in the context of his liver disease. The patient unfortunately died of gastrointestinal hemorrhage, which is unclear to be due to his underlying cirrhosis or a gastrointestinal manifestation of HSP itself.
New analytical results for random walk persistence

In this paper, we present the detailed calculation of the persistence exponent θ for a nearly-Markovian Gaussian process X(t), a problem initially introduced in [Phys. Rev. Lett. 77, 1420 (1996)], describing the probability that the walker never crosses the origin. New resummed perturbative and non-perturbative expressions for θ are obtained, which suggest a connection with the result of the alternative independent interval approximation (IIA). The perturbation theory is extended to the calculation of θ for non-Gaussian processes, by making a strong connection between the problem of persistence and the calculation of the energy eigenfunctions of a quantum mechanical problem. Finally, we give perturbative and non-perturbative expressions for the persistence exponent θ(X0), describing the probability that the process remains bigger than X0/ √ 〈X2(t)〉. PACS numbers: 82.20. Fd, 02.50. Ey, 05.40. +j, 05.50. +q Typeset using REVTEX 1
L'ombre d'un doute ? Interactions perceptivo-motrices lors de tâches de close-shadowing auditive et audio-visuelles

Un argument classique en faveur des theories motrices de la perception de la parole provient du paradigme de " close-shadowing " (repetition rapide). Le fait que cette tâche de close-shadowing entraine des reponses orales bien plus rapides qu'en reponses manuelles suggere en effet un codage des representations perceptives dans un format moteur, compatible avec une reponse orale. Un autre argument est apporte par les interactions audio-visuelles lors de la perception de parole, souvent interpretees en reference a un couplage fonctionnel entre audition, vision et motricite. Dans cette etude, nous avons combine ces deux paradigmes de maniere a tester si la modalite visuelle pouvait induire des reponses motrices plus rapides lors d'une tâche de close-shadowing. Pour ce faire, differentes tâches de categorisation orale et manuelle de stimuli de parole presentes auditivement ou audio-visuellement, en presence ou non d'un bruit blanc, ont ete realisees. De maniere generale, les reponses orales ont ete plus rapides que les reponses manuelles, mais aussi moins precises, notamment dans le bruit, ce qui suggere que la representation motrice induite par la stimulation pourrait etre peu precise dans un premier niveau de traitement. En presence d'un bruit acoustique, la modalite audiovisuelle s'est averee a la fois plus rapide et plus precise que la modalite auditive. Aucune interaction entre le mode de reponse et la modalite de presentation des stimuli n'a cependant ete observee. Nous interpretons l'ensemble de ces resultats dans un cadre theorique proposant l'existence de boucles perceptivo-motrices, dans lesquelles les entrees auditives et visuelles seraient integrees et reliees a la generation interne de representations motrices prealablement au processus final de decision.