Miracle-dz/UniFAR-FTUs huggingface dataset:
Automatic layout based on formal semantics

The department Publication and Visualisation Environment (PaVE) at the Integrated Publication and Information Systems Institute (IPSI) is currently building a publishing environment for electronic reference works. As an example and in order to derive requirements for this publishing environment we are currently building an electronic prototype of the Dictionary of Art. The paper version will be published as a commercial product by Macmillan Publishers Ltd. in 1995. In addition to the extraction of facts from the texts of the Dictionary of Art and the representation of these facts in a network of information units (Object Network), one of the major tasks in building the prototype is the design of its end-user interface. Support will be provided for the end-user to retrieve facts from the object network. In order to provide an intuitive way of displaying and interacting with the query results, we intend to provide a graphical dialogue interface. The display of the query results requires the automatic visualisation of a portion of the object network. Automatic visualisation of query results is an important feature because it reflects the characteristics of individual data sets. We want to use automatic layout in the context of an interactive query-presentation process so that the diagrams not only serve to communicate information to the user, but also to allow him to specify further information requests based on presentation results. In this short paper we describe a knowledge-based automatic visualisation approach. The visualisation principle is to see the layout problem as an organisation process. Data regularities which can be described in terms of formal semantics as well as structural properties are the basic components for the construction of the data organisation. This organisation can be translated into the visual organisation of the final presentation.
Spontaneous Regression of Primary Autoreactivity during Chronic Progression of Experimental Autoimmune Encephalomyelitis and Multiple Sclerosis

Experimental autoimmune encephalomyelitis (EAE) is a widely used animal model for multiple sclerosis (MS). EAE is typically initiated by CD4+ T helper cell type 1 (Th1) autoreactivity directed against a single priming immunodominant myelin peptide determinant. Recent studies have shown that clinical progression of EAE involves the accumulation of neo-autoreactivity, commonly referred to as epitope spreading, directed against peptide determinants not involved in the priming process. This study directly addresses the relative roles of primary autoreactivity and secondary epitope spreading in the progression of both EAE and MS. To this end we serially evaluated the development of several epitope-spreading cascades in SWXJ mice primed with distinctly different encephalitogenic determinants of myelin proteolipid protein. In a series of analogous experiments, we examined the development of epitope spreading in patients with isolated monosymptomatic demyelinating syndrome as their disease progressed to clinically definite MS. Our results indicate that in both EAE and MS, primary proliferative autoreactivity associated with onset of clinical disease invariably regresses with time and is often undetectable during periods of disease progression. In contrast, the emergence of sustained secondary autoreactivity to spreading determinants is consistently associated with disease progression in both EAE and MS. Our results indicate that chronic progression of EAE and MS involves a shifting of autoreactivity from primary initiating self-determinants to defined cascades of secondary determinants that sustain the self-recognition process during disease progression.
Performance Analysis of Receive-Side Real-Time Congestion Control for WebRTC

In the forthcoming deployments of WebRTC systems, we speculate that high quality video conferencing will see wide adoption. It is currently being deployed on Google Chrome and Firefox web-browsers, meanwhile desktop and mobile clients are under development. Without a standardized signaling mechanism, service providers can enable various types of topologies; ranging from full-mesh to centralized video conferencing and everything in between. In this paper, we evaluate the performance of various topologies using endpoints implementing WebRTC. We specifically evaluate the performance of the congestion control currently implemented and deployed in these web-browser, Receive-side Real-Time Congestion Control (RRTCC). We use transport impairments like varying throughput, loss and delay, and varying amounts of cross-traffic to measure the performance. Our results show that RRTCC is performant when by itself, but starves when competing with TCP. When competing with selfsimilar media streams, the late-arriving flow temporarily starves the existing media flows.
CREB and FoxO1: two transcription factors for the regulation of hepatic gluconeogenesis

Liver plays a major role in maintaining glucose homeostasis in mammals. Under fasting conditions, hepatic glucose production is critical as a source of fuel to maintain the basic functions in other tissues, including skeletal muscle, red blood cells, and the brain. Fasting hormones glucagon and cortisol play major roles during the process, in part by activating the transcription of key enzyme genes in the gluconeogenesis such as phosphoenol pyruvate carboxykinase (PEPCK) and glucose 6 phosphatase catalytic subunit (G6Pase). Conversely, gluconeogenic transcription is repressed by pancreatic insulin under feeding conditions, which effectively inhibits transcriptional activator complexes by either promoting post-translational modifications or activating transcriptional inhibitors in the liver, resulting in the reduction of hepatic glucose output. The transcriptional regulatory machineries have been highlighted as targets for type 2 diabetes drugs to control glycemia, so understanding of the complex regulatory mechanisms for transcription circuits for hepatic gluconeogenesis is critical in the potential development of therapeutic tools for the treatment of this disease. In this review, the current understanding regarding the roles of two key transcriptional activators, CREB and FoxO1, in the regulation of hepatic gluconeogenic program is discussed. [BMB Reports 2013; 46(12): 567-574]
A Multihop Dynamic Channel Assignment Scheme For Cellular Network

A multihop Dynamic Channel Assignment Scheme is proposed here for Multihop Cellular network. The proposed scheme splits the cell into microcell and macrocell to accept and complete the call as single hop, two hops, or three hops call. The radio resources are assigned to each call based on the interference information in the surrounding cells, stored in Interference Information Table at MSC. Two different channel searching algorithms, namely, Sequential Channel searching and packing based Channel searching are proposed and studied here. Such schemes with channel re-assignment procedure to further enhance the system performance, is also investigated. The MDCA scheme for significant improvement of system capacity and call blocking probability is simulated and studied. Further the situation of Hot-Spot is also studied for avoiding call blocking.
Improving the performance of fair share scheduling algorithm using fuzzy logic

In Fair Share scheduling shares of CPU time for each group of processes is fixed and then accordingly processes from each group are allocated CPU for their execution. We have proposed a FIS using which CPU share of group of Processes will be decided dynamically. FIS has also been constructed for scheduling within the group to minimize the overheads. For scheduling within the group Fair Share Scheduling algorithm uses Round Robin scheduling. If the process do not complete its execution within the time quantum, the process is put at the end of ready queue and process switch occurs where state of the running process is put onto stack and the state of the next process is taken from the stack and its execution is resumed. If the time required for the running process is slightly more than time quantum by a fraction, even then process is preempted and context switch occurs. This results into more waiting time for that process and more overheads due to unnecessary context switch. In this paper an algorithm using fuzzy logic has also been proposed that tries to remove these two problems.
ENPP1 Affects Insulin Action and Secretion: Evidences from In Vitro Studies

The aim of this study was to deeper investigate the mechanisms through which ENPP1, a negative modulator of insulin receptor (IR) activation, plays a role on insulin signaling, insulin secretion and eventually glucose metabolism. ENPP1 cDNA (carrying either K121 or Q121 variant) was transfected in HepG2 liver-, L6 skeletal muscle- and INS1E beta-cells. Insulin-induced IR-autophosphorylation (HepG2, L6, INS1E), Akt-Ser473, ERK1/2-Thr202/Tyr204 and GSK3-beta Ser9 phosphorylation (HepG2, L6), PEPCK mRNA levels (HepG2) and 2-deoxy-D-glucose uptake (L6) was studied. GLUT 4 mRNA (L6), insulin secretion and caspase-3 activation (INS1E) were also investigated. Insulin-induced IR-autophosphorylation was decreased in HepG2-K, L6-K, INS1E-K (20%, 52% and 11% reduction vs. untransfected cells) and twice as much in HepG2-Q, L6-Q, INS1E-Q (44%, 92% and 30%). Similar data were obtained with Akt-Ser473, ERK1/2-Thr202/Tyr204 and GSK3-beta Ser9 in HepG2 and L6. Insulin-induced reduction of PEPCK mRNA was progressively lower in untransfected, HepG2-K and HepG2-Q cells (65%, 54%, 23%). Insulin-induced glucose uptake in untransfected L6 (60% increase over basal), was totally abolished in L6-K and L6-Q cells. GLUT 4 mRNA was slightly reduced in L6-K and twice as much in L6-Q (13% and 25% reduction vs. untransfected cells). Glucose-induced insulin secretion was 60% reduced in INS1E-K and almost abolished in INS1E-Q. Serum deficiency activated caspase-3 by two, three and four folds in untransfected INS1E, INS1E-K and INS1E-Q. Glyburide-induced insulin secretion was reduced by 50% in isolated human islets from homozygous QQ donors as compared to those from KK and KQ individuals. Our data clearly indicate that ENPP1, especially when the Q121 variant is operating, affects insulin signaling and glucose metabolism in skeletal muscle- and liver-cells and both function and survival of insulin secreting beta-cells, thus representing a strong pathogenic factor predisposing to insulin resistance, defective insulin secretion and glucose metabolism abnormalities.
On the Number of Effective Climate Models

1 Projections of future climate change are increasingly based on the output of many 2 different models. Typically, the mean over all model simulations is considered as the 3 optimal prediction, with the underlying assumption that different models provide 4 statistically independent information evenly distributed around the true state. However, 5 there is reason to believe that this is not the best assumption. Coupled models are of 6 comparable complexity and are constructed in similar ways. Some models share parts of 7 the same code and some models are even developed at the same center. This contributes 8 to the well-known problem of common model biases and possibly to an unrealistically 9 small spread in the outcomes of model predictions. 10 This study attempts to quantify the extent of this problem by asking how many 11 models there effectively are and how to best determine this number. Quantifying the 12 number of effective models is achieved by evaluating 24 state-of-the-art models and their 13 ability to simulate broad aspects of 20 century climate. Using two different approaches, 14 we calculate the amount of unique information in the ensemble and find that the effective 15 ensemble size is much smaller than the actual number of models. As more models are 16 included in an ensemble the amount of new information diminishes in proportion. We 17 further find that this reduction goes beyond the problem of “same-center” models and 18 that systemic similarities exist across all models. Our results suggest that current 19 methodologies for the interpretation of multi-model ensembles may lead to overly 20 confident climate predictions. 21 22 23
Using heart rate to control an interactive game

This paper presents a novel way of using real-time heart rate information to control a physically interactive biathlon (skiing and shooting) computer game. Instead of interfacing the game to an exercise bike or other equipment with speed output, the skiing speed is directly proportional to heart rate. You can freely choose the form of physical exercise, which makes it easier for people with different skill levels and backgrounds to play together. The system can be used with any exercise machine or form. To make playing meaningful instead of simply exercising as hard as you can, a high heart rate impedes the shooting part of the game by making the sight less steady. This balancing mechanism lets the player try out different tactics, varying from very slow skiing and sharp shooting to fast skiing and random shooting. The game has been evaluated in a user study with eight participants. The results show that heart rate interaction is fun and usable interaction method.
Idea Gro up Inc . Copy right Idea Grou p Inc . Copy right Idea Grou p Inc . Copy right Idea Grou p In Chapter V Looking into Virtual Organisations Interaction and Coordination Issues

This chapter attempts to build up a framework of virtual organisation on the basis oF concepts taken from complexity theory. On THE basis of the dimensions of interaction and coordination, four ideal types of virtual organisation are identified, all illustrating a shift from bureaucratic structure towards network structurea shift made possible by the introduction of new information and communications technologies. Furthermore, this shift may also be seen as a transformation from a transactional perspective represented by neoclassical economics based on external coordination towards a more integrative perspective, where networks become institutionalised and where coordination takes place internally within the virtual organisation.
Traffic flow and efficient routing on scale-free networks: A survey

Recently, motivated by the pioneer works in revealing the small-world effect and scale-free property of various real-life networks, many scientists devote themselves to studying complex networks. In this paper, we give a brief review on the studies of traffic flow and efficient routing on scale-free networks, including the traffic dynamics based on global routing protocol, Traffic dynamics based on local routing protocol, and the critical phenomena and scaling behaviors of real and artificial traffic. Finally, perspectives and some interesting problems are proposed.
Surveillance Camera System for Mobile Computing Environments using an Active Zooming Camera and MAC Address Tracking

Mobile computing environments using wireless networks and Ethernet jacks have become popular recently in universities, cafes, on the streets, etc. Although many of the network access systems are protected by user authentication, they are sometimes attacked by people who try to use the network illegally. It is difficult for network administrators to locate, track, and identify users in such a mobile environment because people travel from site to site. If a conventional, fixed surveillance camera is used for monitoring a big field, it cannot take pictures whose resolution is high enough for personal identification. To deal with these problems, we propose an intelligent surveillance camera system that utilizes an active camera for tracking and zooming into network users for better personal identification. The system is also equipped with a MAC address tracking mechanism that is useful for reducing video data to be recorded.
Purity of the stratification by Newton polygons

In this paper we prove four theorems: one on surface singularities, two on Fcrystals, and one on moduli of p-divisible groups. The reason we put together these results in one paper is that the proofs, as given here, show how these theorems are related. Let us first describe our results. Let (S, 0) be a normal surface singularity over an algebraically closed field of characteristic p. Let S S be a resolution of singularities. Our first result is Theorem 3.2: (1) Any Qp-cohomology class on the link of the singularity extends to the resolution, more precisely
The Evolutionary Fate and Consequences of Duplicate Genes

www.sciencemag. org (this information is current as of August 30, 2007 ): The following resources related to this article are available online at http://www.sciencemag. org/cgi/content/full/290/5494/1151 version of this article at: including high-resolution figures, can be found in the online Updated information and services, found at: can be related to this article A list of selected additional articles on the Science Web sites http://www.sciencemag. org/cgi/content/full/290/5494/1151#related-content http://www.sciencemag. org/cgi/content/full/290/5494/1151#otherarticles , 14 of which can be accessed for free: cites 31 articles This article 677 article(s) on the ISI Web of Science. cited by This article has been http://www.sciencemag. org/cgi/content/full/290/5494/1151#otherarticles 95 articles hosted by HighWire Press; see: cited by This article has been http://www.sciencemag. org/cgi/collection/genetics Genetics : subject collections This article appears in the following http://www.sciencemag. org/about/permissions.dtl in whole or in part can be found at: this article permission to reproduce of this article or about obtaining reprints Information about obtaining
Surfactant protein B polymorphisms, pulmonary function and COPD in 10,231 individuals

The surfactant protein (SP)-B gene may influence chronic obstructive pulmonary disease (COPD) and, thus, personalised medicine. We tested whether functional polymorphisms in SP-B (rs1130866 (1580T>C), rs2077079 (-18A>C) and rs3024791 (-384G>A)) associate with reduced lung function and risk of COPD in the general population. We genotyped 10,231 individuals from the general adult Danish population, and recorded spirometry and hospital admissions due to COPD. Because we previously found an association between the rare SP-B 121ins2 mutation and COPD among smokers, we stratified the analyses for smoking status. None of the individual SP-B genotypes or genotype combinations were associated with reduced forced expiratory volume in 1 s (FEV1) % predicted, forced vital capacity (FVC) % pred and FEV1/FVC overall or among smokers (p = 0.25–0.99). The odds ratio for spirometrically defined COPD did not differ from 1.0 for any of the SP-B genotypes or genotype combinations overall or among smokers (p = 0.17–0.78). Similar results were obtained for hospitalisation due to COPD (p = 0.07–0.93); we could exclude overall hazard ratios for heterozygotes of 1.18–1.21 and for homozygotes of 1.25–1.57 or larger for all three polymorphisms. In conclusion, the functional rs1130866, rs2077079 and rs3024791 polymorphisms in the SP-B gene are not associated with reduced lung function or risk of COPD, making it unlikely that these variants will be useful in personalised medicine.
Learning Person Detectors from Multiple Cameras

Recently, object detection by combining information from multiple cameras has become popular. We adopt these ideas for on-line learning of object detectors from multiple cameras. Assuming that each camera corresponds to a classifier, we extend the original co-training approach to visual learning by exploring geometrical information extracted from the visual input. In this way, new, very valuable training samples can be generated, that would not be obtained otherwise, allowing us to train increasingly better classifiers without hand labeling. The approach, hence not limited to this application, is demonstrated on a person detection task for two different challenging scenarios. In addition to a performance and stability analysis we show that the proposed method outperforms existing approaches in terms of accuracy and recall; even using far less labeled data and much simpler descriptors.
Large-Scale Regression-Based Pattern Discovery in International Adverse Drug Reaction Surveillance

This paper demonstrates the first use of shrinkage logistic regression as a pattern discovery method in international adverse drug reaction surveillance. This novel method is compared to bivariate pattern discovery, the standard approach in the application domain. Our results show that regression can eliminate false positives and false negatives due to the impact of other covariates, and that it can retrospectively detect established drug safety issues earlier than bivariate pattern discovery. However, regression cannot completely replace bivariate methods, for two reasons: its failure to identify some established drug safety concerns as early as the routinely used bivariate measures, and the relative intransparency of the procedure to estimate the regression coefficients. This suggests both approaches be used in parallel.
The Epistemological Problem of Other Minds and the Knowledge Asymmetry

The traditional epistemological problem of other minds seeks to answer the following question: how can we know someone else's mental states? The problem is often taken to be generated by a fundamental asymmetry in the means of knowledge. In my own case, I can know directly what I think and feel. This sort of self-knowledge is epistemically direct in the sense of being non-inferential and non-observational. My knowledge of other minds, however, is thought to lack these epistemic features. So what is the basic source of my knowledge of other minds if I know my mind in such a way that I cannot know the minds of others? The aim of this paper is to clarify and assess the pivotal role that the asymmetry in respect of knowledge plays within a broadly inferentialist approach to the epistemological problem of other minds. The received dogma has always been to endorse the asymmetry for conceptual reasons and to insist that the idea of knowing someone else's mental life in the same way as one knows one's own mind is a complete non-starter. Against this, I aim to show that it is at best a contingent matter that creatures such as us cannot know other minds just as we know a good deal of our own minds and also that the idea of having someone else's mind in one's own introspective reach is not obviously self-contradictory. So the dogma needs to be revisited. As a result, the dialectical position of those inferentialists who believe that we know about someone else's mentality in virtue of an analogical inference will be reinforced.
Un modèle centré activité distribué pour la coordination des acteurs de la crise

Une des problemes pour les organisations de la securite civile est la gestion et la coordination des activites de reponse a une crise ainsi que la gestion de leur dependances dans un contexte multi-organisationnel. A la suite d'une etude bibliographique et d'interviews de professionnels, nous sommes arrives a la conclusion que les systemes preconises pour la gestion des processus metiers n'etaient pas adaptes a une reponse aux besoins. Nous proposons donc dans cet article un modele centre activites, que nous pensons mieux adaptes a la coordination dans un contexte inter organisationnel. Nous presentons ici ce modele, son fonctionnement et les premiers resultats de son evaluation.