Miracle-dz/UniFAR-FTUs huggingface dataset:
Contracts for evolving systems

In this work we address evolving systems, which are basically collaborative and distributed systems building up a larger scale system of system (SoS). These systems are able to adapt the current architecture to some changes in the environment. Constituent systems of a SoS, which represent the basic elements of our modeling approach, operate with different degrees of freedom and as a result the self-adaptation and cooperation between a set of constituent systems is driven by local needs. Based on our former work [11], we propose a well-defined modelling approach for SoS capturing both static and dynamic aspects. The aim is to address on the one hand the required flexibility to adapt the systems during run-time, and on the other hand to guarantee that the SoS reacts still in a safe manner. For this, we will use the contract paradigm for both the specification of legal configurations of the SoS, and to specify the dynamicity model, describing how the SoS architecture can change during run-time. Further, we depict how to adapt a system level analysis technique in order to check the dynamicity model against the invariants of the SoS. With this, we are able to determine, whether the SoS can reach some critical configurations. This enables us to modify the dynamicity model in an adequate manner.
Individual quality of life in adults with congenital heart disease: a paradigm shift.

AIMS During the last decade, a paradigm shift has emerged in the measurement of quality of life, from the use of standard questionnaires towards a more individualized approach. Therefore, this study examined individual quality of life in adults with congenital heart disease and explored potential differences with those reported by matched, healthy control subjects. METHODS AND RESULTS We examined 579 adults with congenital heart disease. A subsample of 514 of these patients was matched for age, gender, educational level, and employment status with 446 healthy counterparts. Individual quality of life was assessed using the Schedule for the Evaluation of Individual Quality of Life-Direct Weighting (SEIQoL-DW). Twelve domains affecting patients' quality of life were identified. Family, job/education, friends, health, and leisure time were the most prominent quality of life domains. Significantly fewer patients than control subjects considered financial means and material well-being and future to be important determinants of quality of life. CONCLUSION Assessment of quality of life in adults with congenital heart disease that focusses on the individual is appropriate for obtaining in-depth information on issues relevant for patients' quality of life. This represents a paradigm shift in the measurement of this concept.
Optimierung Und Kontrolle Projektbereich Diskrete Optimierung 2-medians in Networks with Pos/neg Weights

This paper deals with facility location problems with pos/neg weights in trees. We consider two diierent objective functions which model two different ways to handle obnoxious facilities. If we minimize the overall sum of the minimum weighted distances of the vertices from the facilities, the optimal solution has nice combinatorial properties, e.g., vertex optimality. These properties can be exploited to derive an O(n 2) algorithm for trees, an O(n log n) algorithm for stars and a linear algorithm for paths, for the pos/neg 2-median problem on a network with n vertices. For the p-median problem with pos/neg weights on a path we give an O(pn 2) algorithm. If we minimize the overall sum of the weighted minimum distances of the vertices from the facilities, we can show that there exist a nite set of O(n 3) points in the tree which contains the locations of facilities in an optimal solution. This leads to an O(n 3) algorithm for nding the optimum 2-medians in a tree. The complexity can be reduced to O(n 2), if the medians are restricted to vertices or if the tree is a path.
Eolian deformation detection and modeling using airborne laser altimetry

Monitoring of landscapes or sea bottoms by means of laser altimetry or multibeam results in huge amount of data covering the same area in different epochs. Often stable benchmarks are not available in the area covered. We propose a geodetic/geostatistical method to analyze possible deformations in such area out of time series of data. The method is used for a deformation analysis of six consecutive years of laser data covering a dune section on the south-west coast of the island of Texel, the Netherlands.
The kinematics of intracluster planetary nebulae and the on-going subcluster merger in the Coma cluster core

Aims. The Coma cluster is the richest and most compact of the nearby clusters, yet there is growing evidence that its formation is still on-going. A sensitive probe of this evolution is the dynamics of intracluster stars, which are unbound from galaxies while the cluster forms, according to cosmological simulations. Methods. With a new multi-slit imaging spectroscopy technique pioneered at the 8.2 m Subaru telescope and FOCAS, we have detected and measured the line-of-sight velocities of 37 intracluster planetary nebulae associated with the diffuse stellar population of stars in the Coma cluster core, at 100 Mpc distance. Results. We detect clear velocity substructures within a 6 arcmin diameter field. A substructure is present at ~5000${\rm\,km\,s^{-1}}$, probably from in-fall of a galaxy group, while the main intracluster stellar component is centered around ~6500${\rm\,km\,s^{-1}}$, ~700${\rm\,km\,s^{-1}}$ offset from the nearby cD galaxy NGC 4874. The kinematics and morphology of the intracluster stars show that the cluster core is in a highly dynamically evolving state. In combination with galaxy redshift and X-ray data this argues strongly that the cluster is currently in the midst of a subcluster merger, where the NGC 4874 subcluster core may still be self-bound, while the NGC 4889 subcluster core has probably dissolved. The NGC 4889 subcluster is likely to have fallen into Coma from the eastern A2199 filament, in a direction nearly in the plane of the sky, meeting the NGC 4874 subcluster arriving from the west. The two inner subcluster cores are presently beyond their first and second close passage, during which the elongated distribution of diffuse light has been created. We predict the kinematic signature expected in this scenario, and argue that the extended western X-ray arc recently discovered traces the arc shock generated by the collision between the two subcluster gas halos. Any preexisting cooling core region would have been heated by the subcluster collision.
A novel algorithm for list accessing problem

List accessing problem is seen as a self-organizing linear search problem. The dilemma is to access a sequence of requests from an unordered linear list such that the total cost is minimized. However, the unordered linear list may be reorganized at any time. The rationale behind such reorganization is to decrease the cost of forthcoming requests. But reorganization is not always decreasing the cost. The cost of request sequence can be reduced to devise an algorithm that minimizes the reorganization of the unsorted linear list. In this paper, we propose a novel algorithm called hash table based positioning (HTBP) for list accessing problem. The algorithm is based on the concept of hash table. We incorporate the reorganization costs in terms of pre-organization, displacement and post-organization cost. We perform extensive mathematical analysis on some special types of request sequence as well as random sequence and compare the results with a well-known list accessing algorithm called move-to-front. The experimental results show that the proposed algorithm outperforms than move-to-front algorithm.
A novel approach about cohesion measurement for classes

Cohesion refers to the degree of the relationships among the members in a class. A class is cohesive when its members are highly correlated. Several metrics have been proposed in the literature in order to capture class cohesion in terms of connections among members. They generally count the number of attributes used by methods or the number of methods pairs that share attributes. They constitute a restrictive way for capturing the cohesion. Because they do not consider some characteristics of classes like that special methods, disjoint interaction patterns and connectivity among class members. In this study, a new criterion, which focuses on interactions and groups between class members with considering density of connections among members and incorporates the special methods to cohesion capturing process, is presented, and a new notion about determination of class cohesion is proposed.
Putting SHIM6 into practice

SHIM6 is a host-centric solution for multihoming in IPv6 networks. It is fully implemented in hosts and does not affect the Internet routing system. We present the results of experiments with SHIM6 in the lab and over the Internet. The aim is to evaluate the behaviour of SHIM6 in case of link failure. We tried two transport protocols, TCP and DCCP, measuring traffic and recovery time, two important performance metrics. In addition, the experiments revealed some operational issues which must be addressed before SHIM6 can be deployed world-wide.
Who gets custody of the friends? Online narratives of changes in friendship networks following relationship breakdown

This article explores online narratives of the loss or change of friendships following an intimate partner relationship breakdown. Drawing on internet forum discussions, we explore individuals’ transitions from coupled to single, and the multiple ways in which this affects their friendship ties. Forum users struggled to reconcile friends’ abandonment or distance with cultural representations of friendship as providing intense emotional support during critical life transitions. Users also reflect on the impact of their recent singlehood on friendships established and maintained while coupled, with relationship breakdown illuminating previously unacknowledged couple privilege. We argue that the loss of friendships exacerbated and became part of the break-up experience, illustrating the embedded nature of relationships (Smart, 2007). Relationship breakdown is perceived as acting as an ‘ordeal’ for friendship, revealing the depth and quality of existing ties, as users reflect on their own neglect of friendships while they were coupled.
Dealing with sensor interoperability in multi-biometrics: the UPM experience at the Biosecure Multimodal Evaluation 2007

Multimodal biometric systems allow to overcome some of the problems presented in unimodal systems, such as non-universality, lack of distinctiveness of the unimodal trait, noise in the acquired data, etc. Integration at the matching score level is the most common approach used due to the ease in combining the scores generated by different unimodal systems. Unfortunately, scores usually lie in application-dependent domains. In this work, we use linear logistic regression fusion, in which fused scores tend to be calibrated log-likelihood-ratios and thus, independent of the application. We use for our experiments the development set of scores of the DS2 Evaluation (Access Control Scenario) of the BioSecure Multimodal Evaluation Campaign, whose objective is to compare the performance of fusion algorithms when query biometric signals are originated from heterogeneous biometric devices. We compare a fusion scheme that uses linear logistic regression with a set of simple fusion rules. It is observed that the proposed fusion scheme outperforms all the simple fusion rules, with the additional advantage of the application-independent nature of the resulting fused scores.
Special Report from the Challenging Views of Alzheimer ’ s Disease What is aging ? What is its role in Alzheimer ’ s disease ? What can we do about it ?

J. Wesson Ashforda,∗, Craig S. Atwoodb, John P. Blassc, Richard L. Bowend, Caleb E. Finche, Khalid Iqbalf , James A. Josephg and George Perryh Stanford/VA Alzheimer Center, Palo Alto, CA, USA University of Wisconsin, Madison, WI, USA Weill Medical College of Cornell University, New York, NY, USA Voyager Pharmaceuticals, Raleigh, North Carolina, USA University of Southern California, Los Angeles, CA, USA New York Institute for Basic Research in Developmental Disabilities, Staten Island, NY, USA USDA – Tufts University, Boston, MA, USA Case Western Reserve University, Cleveland, OH, USA
THE CASE FOR EXPERIENCE RATING IN MEDICAL MALPRACTICE INSURANCE: AN EMPIRICAL EVALUATION

Experience rating is largely absent from medical malpractice insurance contracts. This article presents evidence that physician risk differences persist, and it develops an empirical model for experience rating with a semi-parametric estimator. Estimating the model using claims history data from Florida, the authors obtain improved prediction of individual claims over several years and provide a detailed picture of the incidence of surcharges under experience rating. This evidence suggests that an experience rating system would be feasible and would greatly reduce the subsidization across physician risk types that exists under most current medical malpractice insurance contracts.
Analysis of power-performance for Ultra-Thin-Body GeOI logic circuits

This work analyzes the power-performance of the emerging Ultra-Thin-Body (UTB) GeOI devices for logic circuit applications. The impacts of temperature and Vdd scaling on the leakage/delay are studied. Compared with the subthreshold leakage dominated SOI devices/circuits, the band-to-band tunneling dominated leakage currents of GeOI devices/circuits show less sensitivity to temperature. At 300°K and comparable delay, GeOI inverter with smaller band-gap shows larger leakage than the SOI inverter at Vdd = 1.0V, while exhibits lower leakage than the SOI inverter at Vdd = 0.8V. At 400°K, GeOI inverter shows both lower leakage and lower delay at Vdd = 0.6∼1.0V compared with the SOI counterpart, due to the weaker temperature dependence of band-to-band tunneling leakage compared with subthreshold leakage. Compared with the SOI Two-Way NAND and NOR, the GeOI Two-Way NAND and NOR show smaller leakage currents at Vdd = 0.5V or 400°K as the band-to-band tunneling leakage is less sensitive to temperature compared with the subthreshold leakage. Compared with the GeOI domino gate at 400°K, the SOI domino gate shows 5 times degradation in the worst-case noise (dynamic node voltage droop) and 1.4 times increase in the worst-case delay. The GeOI latch leakages are smaller than the SOI counterparts at 300°K (Vdd < 0.8V) and 400°K (Vdd = 0.5∼1.0V).
A Lightweight Software Model for Signature-Based Application-Level Traffic Classification System

SUMMARY Internet traffic classification is an essential step for stable service provision. The payload signature classifier is considered a reliable method for Internet traffic classification but is prohibitively compu-tationally expensive for real-time handling of large amounts of traffic on high-speed networks. In this paper, we describe several design techniques to minimize the search space of traffic classification and improve the processing speed of the payload signature classifier. Our suggestions are (1) selective matching algorithms based on signature type, (2) signature reorganization using hierarchical structure and traffic locality, and (3) early packet sampling in flow. Each can be applied individually, or in any combination in sequence. The feasibility of our selections is proved via experimental evaluation on traffic traces of our campus and a commercial ISP. We observe 2 to 5 times improvement in processing speed against the untuned classification system and Snort Engine, while maintaining the same level of accuracy.
Non-Markovian State-Dependent Networks in Critical Loading

□ We establish a heavy traffic limit theorem for the queue-length process in a critically loaded single class queueing network with state-dependent arrival and service rates. A distinguishing feature of our model is non-Markovian state dependence. The limit stochastic process is a continuous-path reflected process on the nonnegative orthant. We give an application to a generalized Jackson network with state-dependent rates.
The MEANING Multilingual Central Repository

This paper describes the first version of the Multilingual Central Repository, a lexical knowledge base developed in the framework of the MEANING project. Currently the MCR integrates into the EuroWordNet framework five local wordnets (including four versions of the English WordNet from Princeton), an upgraded version of the EuroWordNet Top Concept ontology, the MultiWordNet Domains, the Suggested Upper Merged Ontology (SUMO) and hundreds of thousand of new semantic relations and properties automatically acquired from corpora. We believe that the resulting MCR will be the largest and richest Multilingual Lexical Knowledge Base in existence.
A Search for Core‐Collapse Supernova Progenitors in Hubble Space Telescope Images

Identifying the massive progenitor stars that give rise to core‐collapse supernovae (SNe) is one of the main pursuits of supernova and stellar evolution studies. Using ground‐based images of recent, nearby SNe obtained primarily with the Katzman Automatic Imaging Telescope, astrometry from the Two Micron All Sky Survey, and archival images from the Hubble Space Telescope, we have attempted the direct identification of the progenitors of 16 Type II and Type Ib/c SNe. We may have identified the progenitors of the Type II SNe 1999br in NGC 4900, 1999ev in NGC 4274, and 2001du in NGC 1365 as supergiant stars with M0V ≈ -6 mag in all three cases. We may have also identified the progenitors of the Type Ib SNe 2001B in IC 391 and 2001is in NGC 1961 as very luminous supergiants with M0V ≈ -8 to −9 mag, and possibly the progenitor of the Type Ic SN 1999bu in NGC 3786 as a supergiant with M0V ≈ -7.5 mag. Additionally, we have recovered at late times SNe 1999dn in NGC 7714, 2000C in NGC 2415, and 2000ew in NGC 3810, although none of these had detectable progenitors on pre‐supernova images. In fact, for the remaining SNe only limits can be placed on the absolute magnitude and color (when available) of the progenitor. The detected Type II progenitors and limits are consistent with red supergiants as progenitor stars, although possibly not as red as we had expected. Our results for the Type Ib/c SNe do not strongly constrain either Wolf‐Rayet stars or massive interacting binary systems as progenitors.
Circadian rhythmicity restored by neural transplant. Immunocytochemical characterization of the graft and its integration with the host brain

It is well established that overt circadian rhythms are permanently disrupted following lesions of the hamster hypothalamic suprachiasmatic nucleus (SCN). In the present study, we show that implantations of brain grafts containing the fetal SCN reestablish circadian rhythms of locomotor activity in adult hamsters previously made arrhythmic by SCN lesions. The restoration of free-running rhythms in conditions of constant darkness is correlated with the presence in the graft of neuropeptides normally present in the SCN of unlesioned hamsters, including vasoactive intestinal polypeptide (VIP), neuropeptide Y (NPY), and vasopressin (VP). In several recipients, grafts were found to receive retinal input, and appeared to send efferents into the host brain. Not all functions of the SCN were reinstated by the graft: animals with restored locomotor rhythms did not show gonadal regression in the absence of light, and failed to synchronize (entrain) to light intensities to which SCN-intact animals responded.
IDS for Detection and Prevention of Dynamic mobile node positioning based on Logical Distance

–Mobile network has a highest level of vulnerability since mobile networks are liable to attack due to its transparent location. The Adhoc nature posses structure less property due to its dynamic nature which paves way for multiple ways of attacks. Implementing IDS is a tedious process and one among them is Worm Hole attack which really challenges researchers to provide solution for preventing it. This Worm hole also referred as relay attack. This work focus on to eradicate worm hole using wormeros measure and black hole attack using RREP strategy by detecting it and measuring the node distance by changing the node structure rapidly. Preciously prevention of Worm hole attack works well when the neighboring nodes lies in a minimal distance. To extend the transmission each mobile node depends on the other nodes of same zone or network. Generally distance deals with mobile data transmission and it’s been affected by the relay attack (Worm Hole attack) where distance is directly proportional to data and its relay. In this work our scheme focused to trace the node based on its location, its structure and node arrangements to fight against attack. The nodes locations were evaluated using DV-hop propagation method. This work will never oblige on network founding and its operations. Keywords––IDS, Security breaches, Node Location, Wormeros, relay attack, Node vulnerability
in MCF-7 Breast Cancer Cells α Estrogen Receptor andInduce Proteasome-dependent Degradation of Cyclin D 1 Agonists γ Peroxisome Proliferator-activated Receptor Updated

Treatment of MCF-7 cells with the peroxisome proliferator-activated receptor (PPAR) agonists ciglitazone or 15-deoxy12,14-prostaglandin J2 resulted in a concentrationand time-dependent decrease of cyclin D1 and estrogen receptor (ER) proteins, and this was accompanied by decreased cell proliferation and G1-G03S-phase progression. Downregulation of cyclin D1 and ER by PPAR agonists was inhibited in cells cotreated with the proteasome inhibitors MG132 and PSII, but not in cells cotreated with the protease inhibitors calpain II and calpeptin. Moreover, after treatment of MCF-7 cells with 15-deoxy12,14-prostaglandin J2 and immunoprecipitation with cyclin D1 or ER antibodies, there was enhanced formation of ubiquitinated cyclin D1 and ER bands. Thus, PPAR -induced inhibition of breast cancer cell growth is due, in part, to proteasome-dependent degradation of cyclin D1 (and ER ), and this pathway may be important for other cancer cell lines.
The Effects of Massive Substructures on Image Multiplicities in Gravitational Lenses

Surveys for gravitational lens systems have typically found a significantly larger fraction of lenses with four (or more) images than are predicted by standard ellipsoidal lens models (50% versus 25%-30%). We show that including the effects of smaller satellite galaxies, with an abundance normalized by the observations, significantly increases the expected number of systems with more than two images and largely explains the discrepancy. The effect is dominated by satellites with ~20% the luminosity of the primary lens, in rough agreement with the typical luminosities of the observed satellites. We find that the lens systems with satellites cannot be dropped from estimates of the cosmological model based on gravitational lens statistics without significantly biasing the results.