Miracle-dz/UniFAR-FTUs huggingface dataset:
Closed maximality principles: implications, separations and combinations

Abstract I investigate versions of the Maximality Principles for the classes of forcings which are <κ-closed, <κ-directed-closed, or of the form Col(κ, <λ). These principles come in many variants, depending on the parameters which are allowed, I shall write MPΓ (A) for the maximality principle for forcings in Γ, with parameters from A. The main results of this paper are: • The principles have many consequences, such as <κ-closed-generic (Hκ) absoluteness, and imply, e.g., that ◊κ holds. I give an application to the automorphism tower problem, showing that there are Souslin trees which are able to realize any equivalence relation, and hence that there are groups whose automorphism tower is highly sensitive to forcing. • The principles can be separated into a hierarchy which is strict, for many κ. • Some of the principles can be combined, in the sense that they can hold at many different κ simultaneously. The possibilities of combining the principles are limited, though: While it is consistent that MP<κ-closed(Hκ +) holds at all regular κ below any fixed α, the “global” maximality principle, stating that MP<κ-closed (Hκ ∪ {κ} ) holds at every regular κ, is inconsistent. In contrast to this, it is equiconsistent with ZFC that the maximality principle for directed-closed forcings without any parameters holds at every regular cardinal. It is also consistent that every local statement with parameters from Hκ⊦ that's provably <κ-closed-forceably necessary is true, for all regular κ.
Relational semantics for a fragment of linear logic

Relational semantics, given by Kripke frames, play an essential role in the study of modal and intuitionistic logic. In [4] it is shown that the theory of relational semantics is also available in the more general setting of substructural logic, at least in an algebraic guise. Building on these ideas, in [5] a type of frames is described which generalize Kripke frames and provide semantics for substructural logics in a purely relational form. We will extend the work in [4, 5] and use their approach to obtain relational semantics for multiplicative additive linear logic. Hereby we illustrate the strength of using canonical extensions to retrieve relational semantics: it allows a modular and uniform treatment of additional operations and axioms. Traditionally, so-called phase spaces are used to describe semantics for linear logic [8]. These have the drawback that, contrary to our approach, they do not allow a modular treatment of additional axioms. However, the two approaches are related, as we will explain.
A Continuous Optimization Approach for the Financial Portfolio Selection under Discrete Asset Choice Constraints

In this paper we consider a generalization of the Markowitz's Mean-Variance model under linear transaction costs and cardinality constraints. The cardinality constraints are used to limit the number of assets in the optimal portfolio. The generalized model is formulated as a mixed integer quadratic programming (MIP) problem. The purpose of this paper is to investigate a continuous approach based on difference of convex functions (DC) programming for solving the MIP model. The preliminary comparative results of the proposed approach versus CPLEX are presented.
Reputation Aware Obfuscation for Mobile Opportunistic Networks

Current anonymity techniques for mobile opportunistic networks typically use obfuscation algorithms to hide node's identity behind other nodes. These algorithms are not well suited to sparse and disconnection prone networks with large number of malicious nodes and new opportunistic, adaptive. So, new, opportunistic, adaptive fully localized mechanisms are needed for improving user anonymity. This paper proposes reputation aware localized adaptive obfuscation for mobile opportunistic networks that comprises of two complementary techniques: opportunistic collaborative testing of nodes' obfuscation behaviour (OCOT) and multidimensional adaptive anonymisation (AA). OCOT-AA is driven by both explicit and implicit reputation building, complex graph connectivity analytics and obfuscation history analyses. We show that OCOT-AA is very efficient in terms of achieving high levels of node identity obfuscation and managing low delays for answering queries between sources and destinations while enabling fast detection and avoidance of malicious nodes typically within the fraction of time within the experiment duration. We perform extensive experiments to compare OCOT-AA with several other competitive and benchmark protocols and show that it outperforms them across a range of metrics over a one month real-life GPS trace. To demonstrate our proposal more clearly, we propose new metrics that include best effort biggest length and diversity of the obfuscation paths, the actual percentage of truly anonymised sources' IDs at the destinations and communication quality of service between source and destination.
Improving Size and Power in the Unit Root Testing

A frequent criticism of unit root tests concerns the poor power and size properties that many of such tests exhibit. However, the past decade or so intensive research has been conducted to alleviate these problems and great advances have been made. The present paper provides a selective survey of recent contributions to improve upon both size and power of unit root tests and in so doing the approach of using rigorous statistical optimality criteria in the development of such tests is stressed. In addition to presenting tests where improved size can be achieved by modifying the standard Dickey-Fuller class of tests, the paper presents theory of optimal testing and the construction of power envelopes for unit root tests under different conditions allowing for serial correlation, deterministic components, assumptions regarding the initial condition, non-Gaussian errors, and the use of covariates.
Image inpainting algorithm based on exemplar structure characteristics

The traditional image restoration algorithm based on the sample block only considers simple structure information and will produce cumulative errors and other issues in the process of repair, which affected the overall effect of image restoration in large part, to address this problem, an improved algorithm based on Criminisi is proposed, which combines the improved priority function and new confidence item updating method. Simulation results show that the algorithm can effectively overcome the shortcomings of excessive filling in the texture-rich area and error derivative that Criminisi algorithm often appears.
Getting Preschool Classrooms on Board with School-Wide Positive Behavioral Intervention and Supports (SW-PBIS)

In the last decade there has been tremendous growth in the number of young children enrolled in publicly funded preschool programs with 41.5 percent of 4-year-olds and 14.5 percent of 3-year-olds served in publicly funded preschool, Head Start, or early childhood special education programs (Barnett, Carolan, Squires, Brown, & Horowitz, 2015). While many of these services are provided within community early care and education programs, increasingly preschool classrooms are being located on school campuses. The location of preschool classrooms on the elementary school campus offers a wonderful opportunity for providing high quality early education programs and a seamless transition to kindergarten. However, the inclusion of preschool classrooms can pose challenges for school-wide initiatives. In this brief, we discuss some of the issues related to implementing School-Wide Positive Behavioral Intervention and Supports (SW-PBIS) and offer some tips for achieving the successful inclusion of preschool classrooms in your efforts. Commonly encountered issues: Issues that might occur related to the inclusion of preschool classrooms in your schoolwide initiative are:  Teachers in the preschool classroom might not understand the application of SWPBIS to their context. Teachers might regard SW-PBIS as being a school-wide discipline approach that is more relevant to older children.  Teachers in the preschool classroom generally do not use token systems to acknowledge child engagement in expectations and therefore might not understand how they can participate in the school-wide initiative. Young children often do not have the symbolic representation skills or social development to understand a token economy and are not motivated by reinforcers that are not immediate.  Teachers of young children expect that they will encounter child challenging behavior in their classrooms as young children are early in their social development and their ability to be members of a social group, express emotions appropriately, and engage in social problem solving. The development of discipline referral tracking systems related to identifying common rule violations and uniform responses is not applicable to the preschool classroom.  Teachers in the preschool classroom might raise objections to being included in the use of common SW-PBIS data decision-making tools as they do not offer considerations for the unique context of the early childhood classroom. For example, teachers might not be using the school-wide discipline system in their classroom and might have children who are unable to recite expectations due to their limited communication or cognitive development.
The Research on Historical Data Similarity of Coal Mine Safety Supervision

In order to do information mining for coal mine safety supervision historical database, this paper puts forward a similarity analysis model of mine safety supervision historical data, and introduces the data dimensionality reduction approaches and similarity search algorithm. Experiments showed this method guarantees a high degree of accuracy and reduces computational complexity, which provides a new method of mine safety supervision historical data mining.
Case studies in disaster losses and climate change

This paper presents three case studies. Part I summarizes a 2006 workshop on floods and storms sponsored by Munich Re, U.S. NSF, the Tyndall Centre, and the GKSS Institute for Coastal Research. Part II examines the spatial distribution of increases in hurricane activity in the North Atlantic. And part III presents a sensitivity analysis of future economic losses related to tropical cyclones in the context of possible changes in storm intensity and societal development.
Impact of epidermal growth factor receptor expression on survival and pattern of relapse in patients with advanced head and neck carcinoma.

A correlative study was performed to address the impact of epidermal growth factor receptor (EGFR) overexpression on survival and pattern of failure in patients with advanced head and neck squamous cell carcinomas (HNSCCs) enrolled in a Phase III trial and randomized to receive conventional radiotherapy. The study population comprised 155 of 268 (58%) randomized patients with sufficient pretreatment biopsy specimens for immunohistochemical assay. The specimens were dewaxed and incubated after standard preparation with mouse monoclonal antibodies recognizing the extracellular domain of the EGFR molecule. The catalyzed product was visualized with 3,3'-diaminobenzidine Chromogen Kit and lightly counterstained with Mayer's hematoxylin. Quantitative EGFR immunohistochemistry (IHC) was done with SAMBA 4000 Cell Image Analysis System, without knowledge of the clinical outcome, to yield mean absorbance (MOD), staining index (SI), and quick score (QS). These EGFR IHC parameters were correlated with the T stage, N stage, combined stage grouping, and recursive partitioning analysis classes. Subsequently, the EGFR parameters were correlated with the outcome end points, i.e., overall survival (OS), disease-free survival (DFS), local-regional (LR) relapse, and distant metastasis rates. We found that HNSCCs exhibited a wide variation in EGFR expression (MOD, 0.2-66.0; SI, 0.3-97.0; QS, 0.01-69.9) with a relatively strong but nonlinear correlation between MOD and SI (r = 0.79). There was no correlation between EGFR expression and T stage, N stage, stage grouping, and recursive partitioning analysis classes (r = -0.07 to 0.17). The OS and DFS rates of patients with high EGFR-expressing HNSCCs (>median MOD) were highly significantly lower (P = 0.0006 and P = 0.0016, respectively) and the LR relapse rate was highly significantly higher (P = 0.0031) compared with those of patients with low EGFR-expressing HNSCCs. However, there was no difference in the distant metastasis rate between the two groups (P = 0.96). Significant correlations, although somewhat less robust than MOD, were also observed between SI and QS and the OS, DFS, and LR relapse rates. Multivariate analysis showed that EGFR expression was an independent determinant of survival and a robust independent predictor of LR relapse. In summary, this correlative study in a large series of patients revealed that EGFR expression, which varied considerably among HNSCCs, was a strong independent prognostic indicator for OS and DFS and a robust predictor for LR relapse but not for distant metastasis. The data suggest that EGFR IHC should be considered for selecting patients for more aggressive combined therapies or enrollment into trials targeting EGFR signaling pathways.
A morphological-aggregative approach for 3D segmentation of pulmonary airways from generic MSCT acquisitions

Three-dimensional segmentation of airways from multi-slice computed tomography (MSCT) is a key point in the development of computer-aided tools for respiratory investigation. The expected benefits are related to diagnosis improvement of airway pathologies, preoperative planning and follow-up. The segmentation issue becomes even more challenging with regard to the high variability of the MSCT image acquisition in clinical practice due to the different CT scanners used and the various protocols (mainly at low dose). This paper develops a generic and automated 3D airway segmentation approach able to deal with a large spectrum of MSCT protocols by exploiting a combined morphologicalaggregative methodology. The proposed method was independently assessed by an external group of medical experts in the context of a segmentation challenge, on a database consisting of 20 thorax MSCT datasets. This database included acquisitions from several clinical centers equipped with different CT scanners and using various protocols. The evaluation results show a good performance of the developed approach in terms of airway segments detection accuracy, in the context of highly variable MSCT input data.
Power Tillers for Demining: Blast Test

Power tillers are very simple and versatile machines with large scale diffusion in developing countries, where they are commonly used both for agriculture and for transportation purposes. A new integrated participatory approach that makes use of and improves local end-users knowledge has been used to design a new robotic system for humanitarian demining applications in Sri Lanka, using power tiller as core module. A demining machine composed by a tractor unit, a ground processing tool and a vegetation cutting tool is here presented together with results obtained from the first blast test on the preliminary version of tractor unit armouring. Different breakable connections between wheels and axle have been designed to cause physical detachment and interrupt the transmission of the shock wave released by the explosion of a mine under one wheel. Effects of explosions on different types of wheels and on the chassis have been recorded and commented.
Legal Pluralism, Gendered Discourses and Hybridity in Land-Titling Practices in Cambodia

This article describes and analyses the tensions, ambivalence, and hybridity that prevail in the nexus between discourses of gender and the legal pluralism of the new, formalized, and customary ways of handling land titles. Based on empirical research in Cambodia, it reveals a number of mechanisms, challenges, and inconsistencies in the practice of land-titling. Foremost, the practice of titling seems to be highly informed by local discourses of marriage, family, gender, and age, which all affect to whom land is assigned; this leaves a hybrid construction in the nexus between statutory law and customary practices. The article departs from this observation and adds three contributions – on a theoretical level – to existing research: by incorporating the dimensions of discourse analysis and legal hybridity, by linking the concept of legal pluralism to the process of hybridization, and by introducing the notion of hybridity of implementation as a supplement to hybridity of law.
Psychometric properties and criterion validity of the Perceived Vulnerability to Disease Scale (PVD) in the Spanish population / Propiedades psicométricas y validez de criterio de la escala de Percepción de Vulnerabilidad a la Enfermedad (PVE en población española)

Abstract Perceived Vulnerability to Disease may be defined as the beliefs about personal susceptibility to the transmission of infectious diseases and the emotional discomfort associated with the potential disease transmission. To evaluate these beliefs, the Perceived Vulnerability to Disease Scale (PVD) has been used in most studies. The aim of Study 1 was to validate the PVD questionnaire to the Spanish population. The sample was made up of 744 university students from all over Spain. Confirmatory factor analysis revealed that the items on the short version of the questionnaire corresponding to an interrelated two-factor model (perceived infectability and germ aversion) showed the best fit of all the tested models. In Study 2, scales to measure antifat attitudes, disgust and negative attitudes towards AIDS were used to analyse the criterion validity of the PVD questionnaire. The sample was made up of 434 university students. It was found that germ aversion was positively related with antifat attitudes, disgust and negative attitudes towards AIDS. In light of these results, we conclude that the short version of the questionnaire has good psychometric properties and can be used by the scientific community to measure Perceived Vulnerability to Disease.
The PlaNet-PTN Module: a Single Layer Design Tool for Packet Transport Network

PlaNet is a multilayer network planning tool developed at the University of Texas at Dallas. This paper illustrates some of the features of PlaNet-PTN, one of the modules available in the PlaNet tool. PlaNet-PTN can be used to design and plan a single layer packet transport network (PTN). Quality of protection, routing constraints, minimization of the network equipment cost, and user’s desired run time of the tool are just some examples of the features available in PlaNet. As shown in the paper, the PlaNet-PTN planning module is able to provide, among others, optimization of Label Switched Path (LSP) routes, link capacity placement, node and link equipment configuration.
Comparative analysis of propagation models in LTE networks with spline interpolation

This paper deals with the radio propagation models predominantly used for the 4th Generation (4G) of cellular networks generally known as Long Term Evolution (LTE). It is necessary to study the radio wave propagation models at the development level of any wireless communication network or system. A comparative analysis is made among various radio propagation prediction models to assess the appropriate prediction model which can be helpful for LTE networks in a particular environment. In the analysis part; the mean, standard deviation and root mean square value are computed. In the evaluation Free space model predicts the minimum path loss and SUI model predicts the more path loss for the given values of frequency, base station antenna heights, and Mobile equipment antenna heights and transmitted power. Ericsson, winner II, Cost-231 and ECC models are showing better results when compared with the practical data obtained in the NCR region Delhi (INDIA). Among these models Ericsson model is showing least RMSE and standard deviation. From the analysis carried out in this paper, it is observed that the Ericsson path loss model is the best model for NCR region Delhi (INDIA). To acquire more accurate results in the existed Ericsson model some modifications are given using statistical measures.
The Willow Microbiome Is Influenced by Soil Petroleum-Hydrocarbon Concentration with Plant Compartment-Specific Effects

The interaction between plants and microorganisms, which is the driving force behind the decontamination of petroleum hydrocarbon (PHC) contamination in phytoremediation technology, is poorly understood. Here, we aimed at characterizing the variations between plant compartments in the microbiome of two willow cultivars growing in contaminated soils. A field experiment was set-up at a former petrochemical plant in Canada and after two growing seasons, bulk soil, rhizosphere soil, roots, and stems samples of two willow cultivars (Salix purpurea cv. FishCreek, and Salix miyabeana cv. SX67) growing at three PHC contamination concentrations were taken. DNA was extracted and bacterial 16S rRNA gene and fungal internal transcribed spacer (ITS) regions were amplified and sequenced using an Ion Torrent Personal Genome Machine (PGM). Following multivariate statistical analyses, the level of PHC-contamination appeared as the primary factor influencing the willow microbiome with compartment-specific effects, with significant differences between the responses of bacterial, and fungal communities. Increasing PHC contamination levels resulted in shifts in the microbiome composition, favoring putative hydrocarbon degraders, and microorganisms previously reported as associated with plant health. These shifts were less drastic in the rhizosphere, root, and stem tissues as compared to bulk soil, probably because the willows provided a more controlled environment, and thus, protected microbial communities against increasing contamination levels. Insights from this study will help to devise optimal plant microbiomes for increasing the efficiency of phytoremediation technology.
A New Solution of the Supersymmetric TJ Model by Means of the Quantum Inverse Scattering Method

We construct the enveloping fundamental spin model of the t-J hamiltonian using the Quantum Inverse Scattering Method (QISM), and present all three possible Algebraic Bethe Ans\"atze. Two of the solutions have been previously obtained in the framework of Coordinate Space Bethe Ansatz by Sutherland and by Schlottmann and Lai, whereas the third solution is new. The formulation of the model in terms of the QISM enables us to derive explicit expressions for higher conservation laws.
Job creation policies and the Great Recession

The adverse labor market effects of the Great Recession have intensified interest in policy efforts to spur job creation. The two most direct job creation policies are subsidies that go to workers and hiring credits that go to employers. Evidence indicates that worker subsidies are generally more effective at creating jobs. However, the unique circumstances of recovery from the Great Recession, especially the weak demand for labor, make hiring credits more effective in the short term.