Miracle-dz/UniFAR-FTUs huggingface dataset:
Phases of N = infinity QCD-like gauge theories on S**3 x S**1 and nonperturbative orbifold-orientifold equivalences

We study the phase diagrams of N = ∞ vector-like, asymptotically free gauge theories as a function of volume, on S3 × S1. The theories of interest are the ones with fermions in two index representations [adjoint, (anti)symmetric, and bifundamental abbreviated as QCD(adj), QCD(AS/S) and QCD(BF)], and are interrelated via orbifold or orientifold projections. The phase diagrams reveal interesting phenomena such as disentangled realizations of chiral and center symmetry, confinement without chiral symmetry breaking, zero temperature chiral transitions, and in some cases, exotic phases which spontaneously break the discrete symmetries such as C, P, T as well as CPT. In a regime where the theories are perturbative, the deconfinement temperature in SYM, and QCD(AS/S/BF) coincide. The thermal phase diagrams of thermal orbifold QCD(BF), orientifold QCD(AS/S), and N = 1 SYM coincide, provided charge conjugation symmetry for QCD(AS/S) and Z2 interchange symmetry of the QCD(BF) are not broken in the phase continously connected to R4 limit. When the S1 circle is endowed with periodic boundary conditions, the (nonthermal) phase diagrams of orbifold and orientifold QCD are still the same, however, both theories possess chirally symmetric phases which are absent in N =1 SYM. The match and mismatch of the phase diagrams depending on the spin structure of fermions along the S1 circle is naturally explained in terms of the necessary and sufficient symmetry realization conditions which determine the validity of the nonperturbative orbifold orientifold equivalence.
SOLVING A THERMAL REGENERATOR MODEL USING IMPLICIT NEWTON-KRYLOV METHODS

In this article we discuss the use of an implicit Newton? Krylov method to solve a set of partial differential equations (PDEs) representing a physical model of a blast furnace stove. Blast furnace stoves are thermal regenerators used to heat the air injected into the blast furnace, providing the heat to chemically reduce iron oxides to iron. The stoves are modeled using a set of PDEs that describe the heat flow in the system. The model is used as a part of a predictive controller that minimizes the fuel gas consumption during the heating cycle while maintaining a high enough output air temperature in the cooling cycle to drive the chemical reaction in the blast furnace. The discrete representation of this model is solved witha preconditioned implicit Newton? Krylov technique. This algorithm uses Newton's method, in which the update to the current solution at each stage is computed by solving a linear system. This linear system is obtained by linearizing the discrete approximation to the PDEs, using a numer.
The effect of preprocessing techniques on Twitter sentiment analysis

As Twitter offers a fertile ground for expressing different thoughts and opinions, it can be seen as a valuable tool for sentiment analysis. Furthermore, properly identified reviews present a baseline of information as an input to different systems, such as e-learning systems, decision support systems etc. However, the data preprocessing is a crucial step in sentiment analysis, since selecting the appropriate preprocessing methods, the correctly classified instances can be increased. In view of the above, this research paper explains the necessary information to get preprocess the reviews in order to find sentiment and make analysis whether it is positive or negative. Extended comparison of sentiment polarity classification methods for Twitter text and the role of text preprocessing in sentiment analysis are discussed in depth. In the set of tests, possible combinations of methods and report on their efficiency were included, conducting experiments using manually annotated Twitter datasets. Finally, it is proved that feature selection and representation can affect the classification performance positively.
Text2Geo: from textual data to geospatial information

In this paper, we focus on methods for extracting spatial information in text documents. After presenting textual description of space and manual annotation of named entities, mainly location and organization, we present our proposal Text2Geo. It is a hybrid method which combines information extraction approach based on patterns with a supervised classification approach to explore context. We discuss some results obtained on the dataset of Thau lagoon.
Security concerns for cloud computing in aircraft data networks

Introduction of cloud computing into aircraft data networks will help in increasing the opportunity of providing services such as VoIP (Voice Over IP) and VoD (Video On Demand) for passengers. Also cloud computing concept in the aircraft data networks will help to reduce the overall power consumption and maintenance costs. This paper explores the security vulnerabilities in cloud computing and in VM Migration. It also highlights the methodology of cyber attacks that exploit these vulnerabilities.
Processing Beyond Drawing

Designers’ internal thought processes can be externally expressed and represented through sketching and other forms of communication. Novice designers often struggle to communicate their ideas. This article reports an analysis of student design processes during conceptual and schematic design development with the intention to inform teaching and learning activities. Interior design student teams provided sketches, written journal entries, digital drawings and models, and graphic images to illustrate their collective design processes. The work was analyzed to understand the students’ representation and development of ideas. Analysis revealed that sketching, digital media, and non-graphic process work were all valuable in the students’ design process. Significantly, the strength of the design outcomes aligned more with the overall quality of conceptual process work, rather than the way in which students represented their ideas. Ultimately, student understanding of the design process varied. Teaching and learning activities should develop direct connections with design thinking processes to improve design education.
Systematics of Vampyressa and Related Genera of Phyllostomid Bats as Determined by Cytochrome-B Sequences

Abstract The phyllostomid bat genus Vampyressa often has been allied with Uroderma, Chiroderma, Platyrrhinus, Vampyrodes, and Mesophylla. However, the relationships among the genera have proven difficult to resolve, and a number of studies have suggested that Vampyressa is not monophyletic. Mesophylla includes a single species, which some taxonomists have placed in Vampyressa and others in the more distantly related genus Ectophylla. Our analysis of sequence data from the cytochrome-b gene (Cytb) gives strong support for Mesophylla being closely related to Vampyressa, rather than Ectophylla. Examination of the Cytb data indicates that Vampyressa pusilla and Mesophylla are members of a lineage distinct from V. bidens and V. brocki. Therefore, we recognize the genus Vampyriscus for V. brocki and V. bidens. Brazilian specimens of V. pusilla are strongly divergent from specimens from elsewhere in Latin America. The degree of genetic distance indicates species-level divergence between these taxa, and supports the recent recognition of Vampyressa thyone for the northern populations.
A Secure Semi-Fragile JPEG Image Authentication Scheme Based on Discrete Cosine Transform

The challenge in the case of image authentication is that in many cases images need to be subjected to non malicious operations like compression, so the authentication techniques need to be compression tolerant. In this paper we propose an image authentication system that remains tolerant to JPEG lossy compression operations. A scheme for JPEG grey scale images is proposed based on a data embedding method that utilizes a secret key and a secret mapping vector in the frequency domain. An encrypted feature vector extracted from the frequency domain, is embedded redundantly, and invisibly in the marked image. On the receiver side, the feature vector from the received image is derived again and compared against the extracted watermark to verify the integrity and authenticity. The proposed scheme is robust against JPEG compression up to a maximum compression of approximately 80%,, but sensitive to malicious attacks such as cutting and pasting. The experimental results demonstrate that the proposed algorithm has the advantages such as simple computation complexity, security, and good robustness to JPEG compression, and efficient detection of tampering, as well as good tolerance to noise.
Towards an Automatic Strategy for Acquiring the WordNert . Br Hierarchical Relations

This paper outlines an “automatic strategy with post-editing” for specifying the Brazilian Portuguese WordNet (WordNet.Br) hierarchical lexicalconceptual relations (taxonomies and meronymies). It relies on a two-step analysis: (a) the computer-aided linking (lexical-conceptual alignment) of the WordNet.Br synsets to the their semantically equivalent ones in the Princeton WordNet; (b) the automatic transfer with post-editing of the relevant hierarchical relations spotted by the previous step.
Setac: a Framework for Phased Deterministic Testing of Scala Actor Programs

Scala provides an actor library where computation entities , called actors, communicate by exchanging messages. The schedule of message exchanges is in general non-deterministic. Testing non-deterministic programs is hard, because it is necessary to ensure that the system under test has executed all important schedules. Setac is our proposed framework for testing Scala actors that (1) allows programmers to specify constraints on schedules and (2) makes it easy to check test assertions that require actors to be in a stable state. Setac requires little change to the program under test and requires no change to the actor run-time system. In sum, Setac aims to make it much simpler to test non-deterministic actor programs in Scala.
Counter Systems with Presburger-definable Reachability Sets : Decidability and Complexity

Model checking deals with the techniques of verifying whether a given formula in a suitably expressive logic is satisfied in a given abstract structure. The techniques as well as the cost for such task vary depending on the abstract formalism used to represent the model and the logic used to express the properties [CGP00]. For abstract formalism, it is worth to note that most of the practical systems are infinite-state systems. The challenge is to manipulate infinite sets of configurations. Whereas many abstract formalisms for representing infinite-state system exist, most of them tend to have an undecidable model checking. Counter systems are such a formalism used in many places like, broadcast protocol [EFM99], programs with pointers [BFLS06], and data words (XML) [BMS+06], [DL06]. But, alongwith their large scope of usability, many problems on general counter systems are known to be undecidable. For example, systems with two counters are known to simulate Turing Machine operations [Min67]. We consider the Linear Temporal Logic for specifying properties. LTL is enough powerful to specify temporal properties like liveness or safety conditions and yet have many desirable properties. We consider here LTL with the basic Until and Next operator. Later we also look into basic LTL extended with linear constraints on counter as atomic propositions.
A Nucleotide Metabolite Controls Stress-Responsive Gene Expression and Plant Development

Abiotic stress, such as drought and high salinity, activates a network of signaling cascades that lead to the expression of many stress-responsive genes in plants. The Arabidopsis FIERY1 (FRY1) protein is a negative regulator of stress and abscisic acid (ABA) signaling and exhibits both an inositol polyphosphatase and a 3′,5′-bisphosphate nucleotidase activity in vitro. The FRY1 nucleotidase degrades the sulfation byproduct 3′-phosphoadenosine-5′-phosphate (PAP), yet its in vivo functions and particularly its roles in stress gene regulation remain unclear. Here we developed a LC-MS/MS method to quantitatively measure PAP levels in plants and investigated the roles of this nucleotidase activity in stress response and plant development. It was found that PAP level was tightly controlled in plants and did not accumulate to any significant level either under normal conditions or under NaCl, LiCl, cold, or ABA treatments. In contrast, high levels of PAP were detected in multiple mutant alleles of FRY1 but not in mutants of other FRY1 family members, indicating that FRY1 is the major enzyme that hydrolyzes PAP in vivo. By genetically reducing PAP levels in fry1 mutants either through overexpression of a yeast PAP nucleotidase or by generating a triple mutant of fry1 apk1 apk2 that is defective in the biosynthesis of the PAP precursor 3′-phosphoadenosine-5′-phosphosulfate (PAPS), we demonstrated that the developmental defects and superinduction of stress-responsive genes in fry1 mutants correlate with PAP accumulation in planta. We also found that the hypersensitive stress gene regulation in fry1 requires ABH1 but not ABI1, two other negative regulators in ABA signaling pathways. Unlike in yeast, however, FRY1 overexpression in Arabidopsis could not enhance salt tolerance. Taken together, our results demonstrate that PAP is critical for stress gene regulation and plant development, yet the FRY1 nucleotidase that catabolizes PAP may not be an in vivo salt toxicity target in Arabidopsis.
Remote Sensing Inputs to SWAT Model for Groundwater Recharge Estimates in Kuwait

The Soil and Water Assessment Tool (SWAT) model was used to provide continuous (1998-2006) simulation of overland flow, channel flow, transmission losses for the for the Raudatain watershed in northern Kuwait, and the Umm Al Aish watershed in central Kuwait covering approximately 50% of the Kuwaiti landscape. Inputs required for the SWAT model were extracted from readily available global remotely sensed satellite datasets. These include precipitation from the 3-hourly TRMM data, stream networks and watershed boundaries from SRTM 90 m data. Preliminary results from TRMM NASA TOVAS suggest that northern and central Kuwait receive an average annual precipitation of ~210 mm/year, of which 30mm could potentially recharge the shallow aquifers in the area. Applications similar to those presented here that utilize SWAT modeling and call on readily available remotely acquired data are extremely valuable for a country like Kuwait and similar areas/settings world-wide. Such models and approaches can potentially provide alternative solutions for the assessment of sustainable water resources, where traditional data required for understanding these hydrologic systems are absent or deficient over the spatial and temporal domains of interest.
Can Interactive Mediation Tools Bridge the Identity Gap Between the Public and the Art Museum

Consumer behaviour in the field of art museums appears to be influenced both by the identity of the public and the art museum and by the context. It is a matter not of changing museum content, but of bringing its identity closer to that of the public in order to promote access to art. The authors first present the theoretical and conceptual framework for their research and then suggest a qualitative methodological approach to addressing the issues described in the results.
Extended Abstract : Planning for Web Services

In this thesis I propose to develop a system capable of performing automated planning and execution of web service operations in order to achieve user defined goals. Web services are services described in XML and made available over the internet. The proposed system will use the information available in ”standard” service descriptions and will not rely on formal mark-up of such descriptions. I have performed some preliminary work on XML Schema type matching and an algorithm for automated service composition, which when combined allow the user to perform intelligent information retrieval. In this thesis I intend to extend on these techniques to handle world-altering goals. I plan to investigate service discovery based on meta-data descriptions and the matching of service state-machine descriptions. I then plan to incorporate a learning framework capable of teaching the planner to recognise the semantics of certain operations within the domain based on appropriate example documents.
Modified Neuro-Fuzzy Adaptive Equalization Algorithm based on Radial Basis Function for Multipath Fading Wireless Channel

In this paper we have proposed modified Neuro-Fuzzy Adaptive Equalization algorithm based on Radial Basis Function for Multipath Fading Wireless Channel. The algorithm defines the centers of RBF equalizer by analyzing the relationship of the input signal of equalizer and transmitted signal, therefore the structures of equalizer become simpler and the convergence speed become faster. Then, we use the Fuzzy C-Means clustering algorithm (FCM) to divide the input signal of equalizer into each cluster center with different membership values. The performance of this FNN-RBF algorithm is then compared with RBF equalizer algorithm. The simulated results show that the proposed algorithm reduces mean square error to great extent and fast convergence speed has been achieved.
Architecture of the Symbolics 3600

The Symbolics 3600 is a family of high-performance, single user computers optimized for the Lisp language and for interactive use. This paper briefly discusses some of the interesting aspects of the architecture, including the representation of data, the instruction set used for compiled code, the function calling discipline, and the way exception traps and interrupts are handled. The reader is assumed to have some previous exposure to the basic concepts of Lisp (4).
An Open Platform for Conducting Psycho-Acoustic Experiments in the Auditory Representation of Web Documents

This work presents an open, XML-based, graphical environment, for conducting complex experiments in the field of the auditory representation of visual format of documents like the ones that are published in the World Wide Web. We allow the user to (a) de-compile the source structure of Web documents generating a logical layer that abstractly represents of the visual meta-information the document carry and (b) to create distinctive sound fonts in an arbitrary way that map of the metainformation to prosodic parameters and non-speech audio elements. Using this platform, we performed a set of psycho-acoustic experiments with blind and sighted students for the evaluation of the appropriateness and performance of several sound fonts in the auditory representation of visual components in cases of HTML
Software Architecture for Self-Adapting Sub-sea Sensor Networks: Work in Progress

Monitoring of the sub-sea environment requires advanced sensor networks with both stationary and mobile nodes on the surface and underwater, each node playing a different role. The combination of mobile and stationary nodes, the loss of nodes due to harsh conditions, the difficult conditions for wireless sub-sea communication and the need for nodes to collaborate are all factors that require new approaches to software architectures for such nodes and systems. This articles presents work in progress that sets out to address these issues by adapting approaches from software engineering solutions to ubiquitous computing.
Enhanced Production and Characterization of a Solvent Stable Amylase from Solvent Tolerant Bacillus tequilensis RG-01: Thermostable and Surfactant Resistant

Ten bacterial strains isolated from the soil samples in the presence of cyclohexane were screened for amylase production. Among them, culture RG-01 was adjudged as the best amylase producer and was identified as Bacillus tequilensis from MTCC, Chandigarh. The isolate showed maximum amylase production (8100 U/mL) in the presence of starch, peptone, and Ca2+ ions at 55°C pH 7.0 within 24 h of incubation. The enzyme was stable in the presence of n-dodecane, isooctane, n-decane, xylene, toluene, n-hexane, n-butanol, and cyclohexane, respectively. The presence of benzene, methanol, and ethanol marginally reduced the amylase stability, respectively. The enzyme was showed it 100% activity at 55°C and pH 7.0 with 119% and 127% stability at 55°C and pH 7.0, respectively. The enzyme was also stable in the presence of SDS, Tween-40, Tween-60, and Tween-80 (1%) and was found stimulatory effect, respectively. Only Triton-X-100 showed a moderate inhibitory effect (5%) on amylase activity. This isolate (Bacillus tequilensis RG-01) may be useful in several industrial applications owing to its thermotolerant and organic solvents and surfactants resistance characteristics.
Machine Learning meets Data-Driven Journalism: Boosting International Understanding and Transparency in News Coverage

Migration crisis, climate change or tax havens: Global challenges need global solutions. But agreeing on a joint approach is difficult without a common ground for discussion. Public spheres are highly segmented because news are mainly produced and received on a national level. Gain- ing a global view on international debates about important issues is hindered by the enormous quantity of news and by language barriers. Media analysis usually focuses only on qualitative re- search. In this position statement, we argue that it is imperative to pool methods from machine learning, journalism studies and statistics to help bridging the segmented data of the international public sphere, using the Transatlantic Trade and Investment Partnership (TTIP) as a case study.
Scaffolding Reading Comprehension Skills

The current study investigates whether English language teachers use scaffolding strategies for developing their students’ reading comprehension skills or just for assessing their comprehension. It also tries to demonstrate whether teachers are aware of these strategies or they use them as a matter of habit. A questionnaire as well as structured interviews were basically designed for the purpose of the study. The descriptive qualitative research design was adopted due to suitability for the nature of the study. Results of the study revealed that Non-native English language teachers are not aware of the nature of scaffolding strategies they use; they use such strategies for the purpose of assessing their students’ comprehension rather than scaffolding their comprehension. It is recommended that English language teachers have an adequate orientation of the nature of scaffolding strategies, to what extent to be used (when to begin using these strategies and when to stop using them) and the significance in developing comprehension skills of students in the mainstream schools.
Formal Privacy Analysis of an Electronic Voting Scheme

We present the formalization of a recent electronic voting scheme using GSM mobile technology (GVS) in the applied pi calculus and analyze its privacy property. A refined threat model considering not only the attacks from outsiders but also from the insiders and the collusion between them, is defined to represent the hostile voting environment, in which the privacy property is analyzed.