Miracle-dz/UniFAR-FTUs huggingface dataset:
Variations along the Fuchsian locus

The main result is an explicit expression for the Pressure Metric on the Hitchin component of surface group representations into PSL(n,R) along the Fuchsian locus. The expression is in terms of a parametrization of the tangent space by holomorphic differentials, and it gives a precise relationship with the Petersson pairing. Along the way, variational formulas are established that generalize results from classical Teichmueller theory, such as Gardiner's formula, the relationship between length functions and Fenchel-Nielsen deformations, and variations of cross ratios.
SEMANTIC-MIND ANALYSIS AND OBJECTED-ORIENTED DATA INTEGRATION OF VISUAL INFORMATION: A PRIMER ♥

A companion paper in this book emphasizes the emergency of computer-based intelligent analysis of digital information flows, provides some prompting toward its solution, and sketches an approach to intelligent data (audio, images, video, mixed) analysis and synthesis. In the present paper, we describe how to extract semantic components from unordered data sets (Gestalt problem) in visual information data (Analysis). An application of our approach is illustrated by describing a raster-scanned color cartographic map interpretation systemAnalogical-to-Raster-to-Vector (A2R2V).
NETWORK-INDUCED TIME-VARYING DELAY MODELING FOR COMPENSATION THROUGH PREDICTIVE CONTROL

The goal of this paper is to provide a control design methodology that can assure the closed-loop performances of a physical plant, while compensating the time-varying delays introduced by the communication network that links the controller with the remote process. Firstly, the error caused by the time-varying delays is modeled as a disturbance and a method of bounding the disturbances is presented. Then, a robust one step ahead predictive controller based on flexible control Lyapunov functions is designed, which explicitly takes into account the bounds of the disturbances caused by time-varying delays and guarantees also the input-to-state stability of the system in a non-conservative way. Moreover, it is shown that by choosing an appropriately Lyapunov function, the MPC algorithm amounts solving a single, low-complexity linear program each sampling instant. The modeling method and the control strategy were tested on a vehicle drivetrain controlled through CAN, with the aim of damping driveline oscillations. Several TrueTime simulations based on realistic scenarios show that the proposed control scheme can handle the performance and physical constraints and the strict limitations on the computational complexity.
Behandeling van de gegeneraliseerde angststoornis: Anders leren denken over piekeren of leren verdragen van onzekerheden? Een gerandomiseerde, gecontroleerde studie

Behoudens de in of krachtens de Auteurswet van 1912 gestelde uitzonderingen mag niets uit deze uitgave worden verveelvoudigd, opgeslagen in een geautomatiseerd gegevensbestand, of openbaar gemaakt, in enige vorm of op enige wijze, hetzij elektronisch, mechanisch door fotokopieën, opnamen of enig andere manier, zonder voorafgaande schriftelijke toestemming van de uitgever. Voor zover het maken van kopieën uit deze uitgave is toegestaan op grond van artikelen 16h t/m 16m Auteurswet 1912 jo. Besluit van 27 november 2002, Stb 575, dient men de daarvoor wettelijk verschuldigde vergoeding te voldoen aan de Stichting Reprorecht te Hoofddorp (postbus 3060, 2130 KB, www.reprorecht.nl) of contact op te nemen met de uitgever voor het treffen van een rechtstreekse regeling in de zin van art. 16l, vijfde lid, Auteurswet 1912. Voor het overnemen van gedeelte(n) uit deze uitgave in bloemlezingen, readers en andere compilatiewerken (artikel 16, Auteurswet 1912) kan men zich wenden tot de Stichting PRO (Stichting Publicatieen Reproductierechten, postbus 3060, 2130 KB Hoofddorp, www.cedar.nl/pro).
GPU ACCELERATED PARALLEL BRANCH PREDICTION FOR MULTI/MANY-CORE PROCESSOR SIMULATION

Branch Prediction is a common function in nowadays microprocessors. Branch predictor is duplicated in each core of a multi/many-core processor and makes prediction for multiple concurrent running programs respectively. To evaluate the parallel branch prediction in a multi/many-core processor, existing schemes generally use a parallel simulator running on a CPU that does not have a real massive parallel running environment to support the simulation and thus has a bad simulating performance. In this paper, we use a real many-core platform, GPU, to perform a parallel simulation of branch prediction for the future general purpose multi/many-core processor design. We verify the correctness of the GPU based parallel branch predictor against the traditional CPU based branch predictor. Experiment result shows that the GPU based parallel simulation scheme obtains a two to ten times of speedup over the CPU platform when the issue rate ranging from one to four instructions per cycle, and it shows that the GPU based scheme is a promising way to improve the simulation speed for future multi/many-core processor research.
Eccentric connectivity index

The eccentric connectivity index $\xi^c$ is a novel distance--based molecular structure descriptor that was recently used for mathematical modeling of biological activities of diverse nature. It is defined as $\xi^c (G) = \sum_{v \in V (G)} deg (v) \cdot \epsilon (v)$\,, where $deg (v)$ and $\epsilon (v)$ denote the vertex degree and eccentricity of $v$\,, respectively. We survey some mathematical properties of this index and furthermore support the use of eccentric connectivity index as topological structure descriptor. We present the extremal trees and unicyclic graphs with maximum and minimum eccentric connectivity index subject to the certain graph constraints. Sharp lower and asymptotic upper bound for all graphs are given and various connections with other important graph invariants are established. In addition, we present explicit formulae for the values of eccentric connectivity index for several families of composite graphs and designed a linear algorithm for calculating the eccentric connectivity index of trees. Some open problems and related indices for further study are also listed.
Êêêêó Ðððððòò Ûûøø Ôöö¹¹××××òòò Ööõùùòòòò×

A radio labeling of a graph G is an assignment of pairwise distinct, positive integer labels to the vertices of G such that labels of adjacent vertices di er by at least 2. The radio labeling problem (RL) consists in determining a radio labeling that minimizes the maximum label that is used (the so-called span of the labeling). RL is a well-studied problem, mainly motivated by frequency assignment problems in which transmitters are not allowed to operate on the same frequency channel. We consider the special case where some of the transmitters have pre-assigned operating frequency channels. This leads to the natural variants p-RL(l) and p-RL( ) of RL with l pre-assigned labels and an arbitrary number of pre-assigned labels, respectively. We establish a number of combinatorial, algorithmical, and complexity-theoretical results for these variants of radio labeling. In particular, we investigate a simple upper bound on the minimum span, yielding a linear time approximation algorithm with a constant additive error bound for p-RL( ) restricted to graphs with girth 5. We consider the complexity of p-RL(l) and p-RL( ) for several cases in which RL is known to be polynomially solvable. On the negative side, we prove that p-RL( ) is The work of Hajo J. Broersma, Fedor V. Fomin and Artem V. Pyatkin is partly sponsored by NWOgrant 047.008. 006. The work of Fedor V. Fomin and Hans L. Bodlaender is partly sponsored by EC contract IST-1999-14186: Project ALCOM-FT (Algorithms and Complexity Future Technologies). Part of the work was done while Fedor V. Fomin and Artem V. Pyatkin were visiting the University of Twente. Gerhard J. Woeginger acknowledges support by the START program Y43-MAT of the Austrian Ministry of Science. Institute of Information and Computing Sciences, Utrecht University, 3508 TA Utrecht, The Netherlands, hansb@cs.uu. nl Faculty of Mathematical Sciences, University of Twente, P.O. Box 217, 7500 AE Enschede, The Netherlands, broersma@math.utwente. nl Heinz Nixdorf Institut, University of Paderborn, D-33102 Paderborn, Germany, fomin@upb.de Sobolev Institute of Mathematics, pr. Akademika Koptyuga, 4, Novosibirsk 630090, Russia, artem@math.nsc. ru Faculty of Mathematical Sciences, University of Twente, P.O. Box 217, 7500 AE Enschede, The Netherlands, g.j.woeginger@math.utwente. nl
chameleon-db: a Workload-Aware Robust RDF Data Management System

The Resource Description Framework (RDF) is a World Wide Web Consortium (W3C) standard for the conceptual modeling of web resources, and SPARQL is the standard query language for RDF. As RDF is becoming more widely utilized, RDF data management systems are being exposed to workloads that are much more diverse and dynamic than they were designed to support, for which they are unable to provide consistently good performance. The problem arises because these systems are workload-agnostic; that is, they rely on a database structure and types of indexes that are fixed a priori, which cannot be modified at runtime. In this paper, we introduce chameleon-db, which is a workload-aware RDF data management system that we have developed. chameleon-db automatically and periodically adjusts its layout of the RDF database to optimize for queries so that they can be executed efficiently. Since one cannot afford to stop processing queries, we propose a novel design that enables partitions to be concurrently updated. We demonstrate that chameleon-db can achieve robust performance across a diverse spectrum of query workloads, outperforming its competitors by up to 2 orders of magnitude, and that it can easily adapt to changing workloads.
A Curry-Howard-De Bruijn Isomorphism Modulo

The rewriting calculus combines in a unified setting the frameworks and capabilities of rewriting and λ-calculus. Its most general typed version, called Pure Pattern Type Systems (P TS) and adapted from Barendregt’s λ-cube, is especially interesting from a logical point of view. We show how to use a subset of P TS as a proofterm language for natural deduction modulo, extending the Curry-Howard-De Bruijn isomorphism for this class of logical formalisms. The pattern matching featured in the calculus allows us to model any congruence given by a term rewriting system. We characterize how proofs can be denoted by P TS terms and we discuss the interest of our proof-term language for the issue of cut elimination. Finally, we explore some relations between our proof-term language and other formalisms: extraction of λ-terms and/or rewrite rules from P TS-terms, but also automated generation of proof-terms by a rewriting-based language.
Quality of Work Life among Employees Working in Mahindra & Mahindra Auto Private Limited

The most interesting approach in Motivation is the Quality of work life. QWL induces the employees to participate actively in molding and shaping the work environment accordingly. This helps employees working in the organization to be more effective that results in improved quality of work life. Thus, the Quality of Work Life can be referred to the level of involvement, commitment, motivation and the satisfaction of individuals who experience their lives at work predominantly. It depends upon demographic factors, personal factors, external and internal factors affecting both the employees as well as the organization. This research study reveals answers for all these questions. The samples were collected through questionnaires from 120 respondents from Mahindra & Mahindra Auto Private limited. Percentage Analysis, Chi-Square tests and ANOVA are the tools used for analyzing data. The finding of the study suggests when all these factors are considered: Good working environment, good welfare measures and benefits, career development and opportunities, Social recognition and high standard of living.
Role of Tannins on Animal Performance: an Overview

Animal husbandry is one of the important activities of farmers in the developing countries including India. Priority for fulfilling the feed requirements of large human population with limited recourses provides the greatest challenge for sustaining and enhancement of livestock productivity. In India 60-70% of the forage requirements for goats are tree browses, tree legumes being particularly important [6]. Browses are particularly important in extensive livestock systems, and become more important when the supply of alternative feeds is restricted such as during dry seasons and periods of drought. The term plant secondary metabolite is used to describe a group of chemical compounds in plants that are not involved in the primary biochemical processes of plant growth and reproduction. The function of these secondary metabolites in plants is to protect the plants against predation, infection or by restricting grazing by herbivores. Browse trees are well adapted to adverse agro-ecological conditions and are important sources of livestock feed in the tropics. However, most browse trees Role of Tannins on Animal Performance: An Overview
Large Scale Computing for the Modelling of Whole Brain Connectivity

The infinite relational model (IRM) is a Bayesian nonparametric stochastic block model; a generative model for random networks parameterized for unipartite undirected networks by a partition of the node set and symmetric matrix of inter-partion link probabilities. The prior for the node clusters is the Chinese restaurant process, and the link probabilities are, in the most simple setting, modeled as iid. with a common symmetric Beta prior. More advanced priors such as separate asymmetric Beta priors for links within and between clusters have also been proposed. In this paper we investigate the importance of these priors for discovering latent clusters and for predicting links. We compare fixed symmetric priors and fixed asymmetric priors based on the empirical distribution of links with a Bayesian hierarchical approach where the parameters of the priors are inferred from data. On synthetic data, we show that the hierarchical Bayesian approach can infer the prior distributions used to generate the data. On real network data we demonstrate that using asymmetric priors significantly improves predictive performance and heavily influences the number of extracted partitions.
Fast Iterative Solvers for Cahn-Hilliard Problems

In this thesis, we study efficient numerical solution techniques for various types of Cahn–Hilliard problems. Originally, the Cahn–Hilliard equation was introduced to model phase separation in two-component alloys. In praxis, often more than two components occur, and the model has been extended to the multi-component case. The solution of these two types of Cahn–Hilliard problems form the first part of this theses. The underlying energy functional includes a potential for which different types were proposed in the past. In this thesis, we consider smooth and nonsmooth potentials with a focus on the latter. Whereas the use of smooth potentials leads to a system of parabolic partial differential equations, the nonsmooth ones result in a system of variational inequalities. Due to accuracy reasons, we propose fully implicit time discretization schemes. In the smooth case, we derive criteria for the stability and uniqueness of solutions and extend the theory to the vector-valued case. In the nonsmooth setting, we interpret the system of variational inequalities as the first-order optimality system of an optimization problem for which we derive existence and uniqueness conditions. In particular, we extend the analysis to the multi-component case. In order to deal with the variational inequalities, we apply a function space-based algorithm, which combines a Moreau–Yosida regularization technique with a semismooth Newton method. We apply classical finite element methods to discretize the problems in space. The core of our approach is the solution of the arising large and sparse fully discrete systems of linear equations. An important aim of this thesis is the development of efficient practical preconditioners for the iterative solution of the linear systems. In particular, our preconditioners are tailored to the Cahn–Hilliard problems. We present block preconditioners using effective Schur complement approximations. For the smooth systems, we derive optimal preconditioners, which are proven to be robust with respect to crucial model parameters. Even for the nonsmooth systems, extensive numerical experiments show an outstanding behavior of our developed preconditioners. In combination with an adaptive mesh refinement approach, we are able to perform three-dimensional experiments in an efficient way. As another application, we apply our preconditioner to a coupled Cahn–Hilliard/Navier–Stokes system, which governs the hydrodynamics of two-phase flows. The numerical results illustrate the effectiveness of our approach.
DOES SIZE MATTER? THE IMPACT OF MODEL'S BODY SIZE ON WOMEN'S BODY-FOCUSED ANXIETY AND ADVERTISING EFFECTIVENESS

An increasing number of studies shows that exposure to thin ideal bodies in the media has negative effects on young women’s body images, at least in the short-term. However, this research has (a) consistently confounded the effects of thinness and attractiveness, and (b) not investigated the potential use of alternative images in advertising that do not decrease women’s body esteem. This study examines the impact of three types of advertisements—featuring thin models, average-size models, or no models—on adult women’s body-focused anxiety, and on advertising effectiveness. As expected, exposure to thin models resulted in greater body-focused anxiety among women who internalize the thin ideal than exposure to average-size models or no models. Yet, advertisements were equally effective, regardless of the model’s size. This implies that advertisers can successfully use larger, but attractive, models and perhaps avoid increasing body-focused anxiety in a large proportion of women. Levels of concern and public debate about whether the use of very thin models in the media has a detrimental effect on women are increasing. For example, the government in the UK held a body image summit in June 2000 to discuss the need for policies regarding such media images, and the Medical Association concluded “the media play a significant role in the aetiology of eating disorders” (BMA, 2000). Psychological research has an important role in addressing two questions that are crucial to this debate. Is it true that displaying very thin
Multi-View Signal Processing and Learning on Graphs

Keywords: multi-layer graphs ; signals on graphs ; clustering ; classification ; graph learning These Ecole polytechnique federale de Lausanne EPFL, n° 6213 (2014)Programme doctoral Genie electriqueFaculte des sciences et techniques de l'ingenieurInstitut de genie electrique et electroniqueLaboratoire de traitement des signaux 4Jury: Prof. M. Grossglauser (president) ; Prof. P. Frossard, Prof. P. Vandergheynst (directeurs) ; Prof. M. Bronstein, Dr D. Gatica-Perez, Prof. A. Ortega (rapporteurs) Public defense: 2014-9-19 Reference doi:10.5075/epfl-thesis-6213Print copy in library catalog Record created on 2014-07-09, modified on 2017-05-10
Capacidade funcional de exercício e função pulmonar em pacientes submetidos a um programa de reabilitação precoce após técnica de Nuss: um estudo controlado randomizado

SGD. Functional exercise capacity and lung function in patients undergoing an early rehabilitation program after the procedure: a randomized Pectus excavatum is the most common congenital chest wall deformity and its treatment is essentially surgical. Surgical treatments and postoperative bed rest lead to metabolic, musculoskeletal, cardiovascular and respiratory alterations, with the possibility of prolonging the time required for postoperative patient recovery, increasing hospitalization time and health expenditure. Early rehabilitation after surgeries, which involves physical and breathing exercises, reduces these adverse effects and ensure better postoperative recovery, with increased independence of patients, greater psychological well-being and better functional outcomes. The objective of this study was to assess whether patients undergoing early rehabilitation after Pectus excavatum repair using the Nuss procedure have better functional exercise capacity and lung function on hospital discharge day compared with patients undergoing conventional care. Patients were randomly allocated into two groups: the early rehabilitation group (ERG) which started rehabilitation after surgery and the group of conventional care (CG) which received routine care of the institution. The lung function was assessed by simple spirometry and the functional exercise capacity by the 6-minute walk test (6MWT) were performed before surgery (preoperative) and in hospital discharge day (postoperative). Forty patients were evaluated, 20 in each group. All patients presented a significant reduction in FVC, FEV1 and PEF in the postoperative lung function test and there was no statistically significant difference between groups. All patients showed significant reduction in postoperative distance walked in 6MWT compared with the preoperative distance (p <0.005). There was statistically significant different in functional exercise capacity between the ERG and CG in the postoperative evaluation (506.26 ± 66.54 vs 431.11 ± 75.61, p=0.02) and the difference between distance walked in the preoperative and postoperative period was significantly lower in the ERC compared to the CG (76.57 ± 49.41 vs 166.82 ± 70.13, p< 0.001). We conclude that patients undergoing early rehabilitation after Nuss procedure presented better postoperative functional exercise capacity in hospital discharge day compared to patients in the conventional group, with no difference in lung function between groups.
E-Government Portals in Mexico

Electronic government has become a powerful administrative tool for governments around the world (Dawes & Pardo, 2002; Fountain, 2001; UN & ASPA, 2002). Governments at all levels are attempting to improve services and increase their interactions with citizens using information and communication technologies (ICTs). In Mexico, state and local governments are expending large amounts of money to introduce ICTs in operational tasks, as well as in the provision of public services. Many of these governments have created Web pages, which provide information about government agencies and, in some cases, allow transactions. Unfortunately, in Mexico, there is no systematic or rigorous research program that measures and assesses the evolution and impact of e-government. As an initial step of a broader research effort, this study focuses on the functionality of state portals, looking at technical aspects, as well as their potential to improve the quality of the services provided by states. Gant and Gant (2002) state, “A Web portal serves as the integrated gateway into the state government Web site and provides visitors with a single point of contact for online service delivery within the state. ” Therefore, these portals contain an interesting mixture of applications and are good examples of current e-government efforts. Accordingly, taking an evolutionary approach, this study provides an initial assessment of e-government at the state level in Mexico. This article is organized into six sections including these introductory comments. In the second section, three approaches to e-government assessment are described briefly. The third section explains our method of analysis. In the fourth section, we present some preliminary results. The fifth section includes some future trends and areas for research. Finally, section six provides some concluding remarks.