Miracle-dz/UniFAR-FTUs huggingface dataset:
Local Search Move Strategies within MOEA/D

Local search (LS) is at the cornerstone of many advanced heuristics for single-objective combinatorial optimization. In particular, the move strategy, allowing to iteratively explore neighboring solutions, is a key ingredient in the design of an efficient local search. Although LS has been the subject of some interesting investigations dedicated to multi-objective optimization, new research opportunities arise with respect to novel multi-objective search paradigms. In particular, the successful MOEA/D algorithm is a decomposition-based framework which has been intensively applied to continuous problems. However, only scarce studies exist in the combinatorial case. In this paper, we are interested in the design of cooperative scalarizing local search approaches for decomposition-based multi-objective combinatorial optimization. For this purpose, we elaborate multiple move strategies taking part in the MOEA/D replacement flow. We there-by provide some preliminary results eliciting the impact of these strategy of the final population and more importantly on the anytime performance.
Air tamponade of the heart

Pneumopericardium is a rare disease defined as the presence of air or gas in the pericardial sac. Among the etiological factors, the following stand out: chest trauma, barotrauma, air-containing fistulas between the pericardium and the surrounding structures, secondary gas production by microorganisms growing in the pericardial sac, and iatrogenic factors. Until now, spontaneous pneumopericardium has been considered a harmless and temporary state, but a review of clinical cases indicates that the presence of air in the pericardium can lead to cardiac tamponade and life-threatening hemodynamic disturbances. We present the case of an 80-year-old patient with a chronic bronchopericardial fistula, who suffered from a cardiac arrest due to air tamponade of the heart.
Modelling Security Goals in Business Processes

Abstract: Various types of security goals, such as authentication or confidentiality, can be defined as policies for process-aware information systems, typically in a manual fashion. Therefore, we foster a model-driven transformation approach from modelled security goals in the context of process models to concrete security implementations. We argue that specific types of security goals may be expressed in a graphical fashion at the business process modelling level which in turn can be transformed into corresponding access control and security policies for process-aware information systems, for instance based on service-oriented architectures. In this paper we present security policy and policy constraint models. These models are projected onto general enterprise models and enterprise business processes in particular. We further discuss the suitability of this approach based on an example process and outline future work in order to derive security policy implementations out of the process models applicable for service-oriented architectures.
Fluorescein and Indocyanine Green Angiography for Uveitis

In recent years enormous progress has been achieved in investigational procedures for uveitis. Imaging is one such example with the advent of new methods such as indocyanine green angiography, ultrasound biomicroscopy and optical coherence tomography to cite only the most important. This tremendous increase in precision and accuracy in the assessment of the level and degree of inflammation and its monitoring comes in parallel with the development of extremely potent and efficacious therapies. In view of these developments, our whole attitude in the appraisal and investigation of the uveitis patient has to be adapted and correctly reoriented integrating the recent developments and this is no different for ocular angiography.
Space time block coded transmit antenna diversity for wcdma

PURPOSE: A circuit is provided to improve a receiving efficiency by offering at least 2L diversity covering a time and a space, not to need an additional transmitting power or a band width, and to be balanced the power covering both ends of a multiplex antenna. CONSTITUTION: A mobile communications system is equipped an inputting circuit contacted to receive first plural signals for a first time(T0,T1) from an outer source and contacted to receive second plural signals from the outer source. The inputting circuit receives each first and second plural signals according to each first and a second paths(j). The inputting circuit generates a first inputting signal(610) and a second inputting signal(614) from each first and second plural signals. A correcting circuit generates a first evaluation of symbol by answering a first and a second evaluating signals and the first and the second inputting signals. The correcting circuit generates a second evaluation of symbol by answering the first and the second evaluating signals and the first and the second inputting signals.
Goal-Oriented Software Security Engineering: The Electronic Smart Card Case Study

We advocate goal-oriented software securityengineering to produce highly secure software in a constructive,provable and cost-effective manner. Our approach is to couplegoal-oriented semi-formal requirements specifications withformal design and implementation. To this effect, we proposedFADES (Formal Analysis and Design for Engineering Security)in [14] as the first goal-oriented software security engineeringapproach that provides a systematic and automated bridgebetween the goal-directed semi-formal KAOS (KnowledgeAcquisition for autOmated Specifications) framework and the Bformal method to derive formal design and implementation fromsecurity requirements. In this paper, we demonstrate theapplicability of FADES and study its effectiveness through ageneric Electronic Smart Card case study and a comparativeanalysis between FADES and strictly applying formal methods.We use the case study to demonstrate how the goal-orientedformulation of security requirements in FADES paves the wayfor formal design that provably preserves the security properties.Further, the results of the comparison between FADES and Zshow that FADES achieves better requirements completeness,consistency and security quality.
ULK3 regulates cytokinetic abscission by phosphorylating ESCRT-III proteins

The endosomal sorting complexes required for transport (ESCRT) machinery mediates the physical separation between daughter cells during cytokinetic abscission. This process is regulated by the abscission checkpoint, a genome protection mechanism that relies on Aurora B and the ESCRT-III subunit CHMP4C to delay abscission in response to chromosome missegregation. In this study, we show that Unc-51-like kinase 3 (ULK3) phosphorylates and binds ESCRT-III subunits via tandem MIT domains, and thereby, delays abscission in response to lagging chromosomes, nuclear pore defects, and tension forces at the midbody. Our structural and biochemical studies reveal an unusually tight interaction between ULK3 and IST1, an ESCRT-III subunit required for abscission. We also demonstrate that IST1 phosphorylation by ULK3 is an essential signal required to sustain the abscission checkpoint and that ULK3 and CHMP4C are functionally linked components of the timer that controls abscission in multiple physiological situations. DOI: http://dx.doi. org/10.7554/eLife.06547. 001
Hydrostatic pressures in peritubular capillaries and tubules in the rat kidney.

FALCHUK, K. H. , AND R. W. BERLINER. Hydrostatic pressures in peritubular capillaries and tubules in the rat kidney. Am. J. Physiol. 220(5) : 1422-1426. 197 1 . -A servo pressure-measuring device was used to study the pressure relationships in the tubules and capillaries of the superficial renal cortex by micropuncture techniques. Mean pressure was 10.9 =t 0.5 mm Hg in proximal tubules, 6.5 rt 0.5 mm Hg in peritubular capillaries, 5.5 rfr 0.4 mm Hg in distal tubules, and 13.5 =t 0.8 mm Hg in star vessels. Following infusions of isotonic saline, mannitol, or albumin solutions, or partial constriction of the renal vein, or occlusion of both carotids, the pressures in both proximal tubules and peritubular capillaries increased. Following partial constriction of the aorta, the pressures decreased. The difference in pressure between capillaries and proximal tubules was present under all conditions. These data suggest that the relationship between pressures in the structures of the renal cortex and the interstitial space is complex. It is suggested that renal cortical interstitial pressure is lower than previously believed, and probably no higher than about 5 mm Hg.
Making Speech-Based Assistive Technology Work for a Real User

We present a customized speech-activated email system that is the product of efforts focused on a single target user with high speech recognition error rates. The system, which includes offthe-shelf and custom hardware and software, allows the user to use speech to send emails with recorded audio attachments. Over the past 16 months, our target user has sent and received hundreds of emails and has integrated the system into his daily life. Key factors contributing to the long-term adoption of the device include our extended efforts to understand the target user over multiple years, iterative design, and the collaboration of our multidisciplinary team of assistive technology (AT) designers, clinicians, software developers, and researchers. Overall, we ask: if we set our sights on developing and supporting a technology that someone will actually use daily, what can we learn? We share our approach, system design, user observation and findings, with implications for speechbased AT research and development.
Antifibrotic activities of pirfenidone in animal models

Pirfenidone is an orally active small molecule that has recently been evaluated in large clinical trials for the treatment of idiopathic pulmonary fibrosis, a fatal disease in which the uncontrolled deposition of extracellular matrix leads to progressive loss of lung function. This review describes the activity of pirfenidone in several well-characterised animal models of fibrosis in the lung, liver, heart and kidney. In these studies, treatment-related reductions in fibrosis are associated with modulation of cytokines and growth factors, with the most commonly reported effect being reduction of transforming growth factor-&bgr;. The consistent antifibrotic activity of pirfenidone in a broad array of animal models provides a strong preclinical rationale for the clinical characterisation of pirfenidone in pulmonary fibrosis and, potentially, other conditions with a significant fibrotic component.
LMPI: MPI for heterogeneous embedded distributed systems

Message passing interface (MPI) is an important standard that allows message-passing applications to run on many heterogeneous message-passing distributed systems without any change. There are a tremendous number of MPI implementations that are, however, mainly dedicated for traditional distributed systems. Most of these implementations consume a significant amount of resources. In addition to the high resource consumption, the existing MPI implementations are not trivially applicable (if at all) to run on embedded systems. After presenting the motivations for designing and implementing a new MPI implementation for heterogeneous embedded systems, this paper presents an innovative technology for achieving MPI implementation, called lightweight MPI (LMPI), for embedded systems. Then, it presents a prototype implementation of LMPI. Lastly, this paper presents performance analysis by comparing the resource consumption of MPICH and LMPI implementations on a cluster of workstations
Social participation and perceived depression among elderly population in South Africa

There is a growing consensus regarding the influence of various psychosocial factors such as degree of social participation on health and disease outcomes, quality of life, and general well-being. Older individuals with diminished motor and physical functionality suffer a heightened risk of social exclusion and loneliness. Previous studies have demonstrated the association between social exclusion and loneliness with mental health among the older population. In the present study, we aimed to investigate whether or not difficulty in social participation has any relationship with perceived depression among older individuals in South Africa. We collected cross-sectional data from the SAGE Well-Being of Older People Study 2010 on 422 men and women aged 50 years and above. Perceived depression and loss of interest in things (eg, personal relationships, hobbies) during the last 12 months were used as outcome variables with difficulty in joining community activities, relationships/community participation, friendships, and visiting family/friends as the main explanatory variables. Findings indicated that the prevalence of self-reported depression and the feeling of reduced interest in most things were respectively 51.9% and 43.8%. In the multivariate analysis, those who reported difficulty in joining community activities had respectively 64% (OR =1.639; 95% CI =1.081–2.583) and 69% (OR =1.685; 95% CI) higher odds of depression and loss of interest in things compared with those who did not report any difficulty. The study concludes that addressing the barriers to engaging in community activities may help minimize burden of depression among the elderly population in South Africa. Furthermore, large-scale studies are warranted to explore the social and structural barriers which constrain community participation among the elderly population.
The Spectral Signature of Dust Scattering and Polarization in the Near-Infrared to Far-Ultraviolet. I. Optical Depth and Geometry Effects

Spectropolarimetry from the near-IR to the far-UV of light scattered by dust provides a valuable diagnostic of the dust composition, grain size distribution and spatial distribution. To facilitate the use of this diagnostic, we present detailed calculations of the intensity and polarization spectral signature of light scattered by optically thin and optically thick dust in various geometries. The polarized light radiative transfer calculations are carried out using the adding-doubling method for a plane-parallel slab and are extended to an optically thick sphere by integrating over its surface. The calculations are for the Mathis, Rumpl, & Nordsieck Galactic dust model, and cover the range from 1 μm to 500 Å. We find that the wavelength dependence of the scattered light intensity provides a sensitive probe of the optical depth of the scattering medium, while the polarization wavelength dependence provides a probe of the grain scattering properties, which is practically independent of optical depth. We provide a detailed set of predictions, including polarization maps, which can be used to probe the properties of dust through imaging spectropolarimetry in the near-IR to far-UV of various Galactic and extragalactic objects. In a following paper we use the codes developed here to provide predictions for the dependence of the intensity and polarization on grain size distribution and composition.
Pushing ASIC performance in a power envelope

Power dissipation is becoming the most challenging design constraint in nanometer technologies. Among various design implementation schemes, standard cell ASICs offer the best power efficiency for high-performance applications. The flexibility of ASICs allow for the use of multiple voltages and multiple thresholds to match the performance of critical regions to their timing constraints, and minimize the power everywhere else. We explore the trade-off between multiple supply voltages and multiple threshold voltages in the optimization of dynamic and static power. The use of multiple supply voltages presents some unique physical and electrical challenges. Level shifters need to be introduced between the various voltage regions. Several level shifter implementations will be shown. The physical layout needs to be designed to ensure the efficient delivery of the correct voltage to various voltage regions. More flexibility can be gained by using appropriate level shifters. We discuss optimization techniques such as clock skew scheduling which can be effectively used to push performance in a power neutral way.
Minimizing RF heating of conducting wires in MRI

Performing interventions using long conducting wires in MRI introduces the risk of focal RF heating at the wire tip. Comprehensive EM simulations are combined with carefully measured experimental data to show that method‐of‐moments EM field modeling coupled with heat transfer modeling can adequately predict RF heating with wires partially inserted into the patient‐mimicking phantom. The effects of total wire length, inserted length, wire position in the phantom, phantom position in the scanner, and phantom size are examined. Increasing phantom size can shift a wire's length of maximum tip heating from about a half wave toward a quarter wave. In any event, with wires parallel to the scanner bore, wire tip heating is minimized by keeping the patient and wires as close as possible to the central axis of the scanner bore. At 1.5T, heating is minimized if bare wires are shorter than 0.6 m or between ≈2.4 m and ≈3.0 m. Heating is further minimized if wire insertion into phantoms equivalent to most aqueous soft tissues is less than 13 cm or greater than 40 cm (longer for fatty tissues, bone, and lung). The methods demonstrated can be used to estimate the absolute amount of heating in order to set RF power safety thresholds. Magn Reson Med 58:1028–1034, 2007. © 2007 Wiley‐Liss, Inc.
Clustering Affine Subspaces: Hardness and Algorithms

We study a generalization of the famous k-center problem where each object is an affine subspace of dimension Δ, and give either the first or significantly improved algorithms and hardness results for many combinations of parameters. This generalization from points (Δ = 0) is motivated by the analysis of incomplete data, a pervasive challenge in statistics: incomplete data objects in
One-Year-Ahead Analysts ’ Forecasts vs . the V / P Ratio : the Predictive Power of the Residual-Income-Based Valuation Model

This paper addresses the incremental effects of two anomalous variables: pricescaled one-year-ahead analysts’ early-in-the-year earnings forecasts from Elgers, Lo, and Pfeiffer (2001) and price-scaled implicit firm values from Frankel and Lee (1998), where implicit firm values are defined in a manner consistent with the Ohlson (1995) residual income model. Because analysts’ forecasts are input variables in the measure of implicit firm values, it is unclear whether the two anomalies capture the same underlying market mispricing. Moreover, Frankel and Lee (1998) suggest that the positive association between price-scaled implicit firm values and subsequent securities returns is due to the predictive ability of the residual income model. Such a conclusion may be premature, however, in light of the evidence that several of the constituent variables of implicit firm values have been found in earlier research to be associated with subsequent securities returns. Therefore, this paper investigates value-relevance of the residual income model with the appropriate control for the competing explanation. Overall, this paper finds that these two price-scaled anomalous variables are incrementally important. Specifically, one-year-ahead analysts’ forecasts are associated with subsequent securities returns only for short investment horizons and implicit firm values are price predictors only for long term.
Genotypes of Cryptosporidium Species Infecting Fur-Bearing Mammals Differ from Those of Species Infecting Humans

ABSTRACT Of 471 specimens examined from foxes, raccoons, muskrats, otters, and beavers living in wetlands adjacent to the Chesapeake Bay, 36 were positive for five types of Cryptosporidium, including the C. canis dog and fox genotypes, Cryptosporidium muskrat genotypes I and II, and Cryptosporidium skunk genotype. Thus, fur-bearing mammals in watersheds excreted host-adapted Cryptosporidium oocysts that are not known to be of significant public health importance.
Correction: Sunitinib prevents cachexia and prolongs survival of mice bearing renal cancer by restraining STAT3 and MuRF-1 activation in muscle

Tyrosine kinase inhibitors, affecting angiogenesis, have shown therapeutic efficacy in renal cell carcinoma (RCC). The increased overall survival is not fully explained by their anti-tumor activity, since these drugs frequently induce disease stabilization rather than regression. RCC patients frequently develop cachectic syndrome. We used the RXF393 human renal carcinoma xenograft that recapitulates the characteristics of the disease, including the growth in the mouse kidney (orthotopic implantation), and the induction of cachexia with subsequent premature death. Sunitinib prevents body weight loss and muscle wasting and significantly improves the survival of RXF393-bearing nude mice. The anti-cachectic effect was not associated to direct anti-tumor activity of the drug. Most relevant is the ability of sunitinib to reverse the cachectic phenotype and rescue the animals from the loss of fat tissue. Body weight loss is prevented also in mice bearing the C26 colon carcinoma, classically reported to induce cachexia in immunocompetent mice. Among the mechanisms, we herein show that sunitinib is able to restrain the overactivation of STAT3 and MuRF-1 pathways, involved in enhanced muscle protein catabolism during cancer cachexia. We suggest that off-target effects of angiogenesis inhibitors targeting STAT3 are worth considering as a therapeutic option for patients who develop cachexia, independently of their anti-tumor activity.
Overexpression of nuclear transport factor 2 may protect against diabetic retinopathy

Purpose We performed human, animal, and in vitro studies to examine the potential role of nuclear transport factor 2 (NTF2) in conferring resistance to diabetic retinopathy (DR). Methods Blood NTF2 levels were assessed in two groups of patients with type 2 diabetes mellitus. Group P patients had a history of proliferative DR (PDR), while group N patients did not. The retinal vasculature was examined in diabetic rats three months after they received an intravitreal injection of a recombinant adeno-associated virus (rAAV) vector overexpressing NTF2 (rAAV2-NTF2). Control rats were treated with rAAV2 only. Rat retinal capillary endothelial cells (RRCECs) were infected with rAAV2-NTF2, or with a vector expressing siRNA targeted against NTF2, to assess the effects of overexpression and inhibition of NTF2 on vascular endothelial growth factor (VEGF) expression (mRNA and protein). Results There was a strong trend for patients with DR to have lower blood NTF2 levels compared to those who did not have DR (0.10±0.01 versus 0.20±0.08, p=0.079). There was significantly less retinal blood vessel leakage in diabetic rats infected with rAAV2-NTF2 compared to controls (16.5±2.9 versus 24.7±7.3, p=0.039). These rats exhibited normal retinal vasculature and blood-retinal barrier function. VEGF expression was inhibited by NTF2 overexpression and stimulated by NTF2 inhibition, (protein [0.41±0.05 versus 0.23±0.06] and mRNA [0.37±0.04 versus 0.23±0.06] p<0.01 for all). Conclusions These finding suggest that NTF2 is a potential mediator of retinal vasculature integrity. NTF2 may act by altering VEGF expression, thereby influencing the development of DR in patients with diabetes mellitus.