Miracle-dz/UniFAR-FTUs huggingface dataset:
MIB1, A PROMISING MARKER FOR THE CLASSIFICATION OF CERVICAL INTRAEPITHELIAL NEOPLASIA

Formalin‐fixed and paraffin‐embedded tissue specimens of normal and dysplastic cervical epithelia (five CIN1, seven CIN2, five CIN3, and five normal) were assessed by an immunoperoxidase technique, using the monoclonal antibody MIB1, regonizing a formalin‐fixation‐resistant epitope on the cell proliferation‐associated Ki‐67 antigen. An image analysis system was used to measure four parameters associated with proliferative activity: the Ki‐67 labelling index (LI), the number of Ki‐67‐positive nuclei per unit length of basement membrane, and the maximum value and 90th percentile of the relative distances of Ki‐67‐positive nuclei from the basement membrane. All these four proliferation‐related parameters were highly correlated with the grade of dysplastic change in the epithelium (0·90
Organic Public Geographies and REF Impact

How can I write about liking the UK Research Excellence Framework’s (REF’s) new emphasis on ‘impact’ (see Rogers et al., this issue), and looking forward to its increased importance in the next REF? The REF’s new ‘impact’ agenda opens up considerable potential for less traditional research to be officially valued. I agree with Rachel Pain et al. (2010, 185) that it “presents radical scholars with new opportunities to exceed the apparent limits of the audit game, in ways that allow geographical research to contribute to wider struggles to social change”. ‘Follow the things’ fits this description. It’s a radical research and public pedagogy project. It taps into public curiosity about ‘where stuff comes from’, and draws into its processes a proliferating genre of non-academic ‘follow the things’ work, including documentary films, art work, journalism and activism. Its intellectual / political purpose is to critique the fetishism of commodities, to show abstract relations between things as social relations between people (Harvey, 2010). Its pedagogical/political purpose, within and beyond academia, is to encourage critical thought, conversation and ‘do it yourself’ research that enables diverse people to follow their own things, consider the social relations and trade (in)justices in the lives of those things, and then to share, discuss and perhaps be activist with their findings (Cook et al., 2007a; Cook and Woodyer, 2012).
Instrumental Uncertainty and Model Uncertainty Unified in a Modified Fuzzy Inference System

When complex systems are considered, a deterministic approach is often too complex or impossible to be implemented. In such a case, fuzzy inference systems (FISs) can be employed to consider model uncertainty. However, in most currently available FISs, instrumental uncertainty is not considered, so that the input data, even when they come from an experimental in-field process, are crisp values. The few available approaches that try to take into account uncertainty on the input data assign a different meaning to the uncertainty concept, as compared with that considered in metrology. Recent proposals have represented and processed measurement results, together with their associated uncertainty, in terms of fuzzy and random-fuzzy variables (RFVs), in full compliance with the metrology concepts defined in the currently available standards. Since the FISs and the RFVs have the same mathematical foundations, this paper considers and applies an original generalized approach to FISs to the classical example of the inverted pendulum control. In this generalized approach, the input quantities are RFVs, and measurement uncertainty is considered throughout the whole fuzzy inference.
RoboCupJunior: A Vehicle for Enhancing Technical Literacy

This paper outlines the key components of technical literacy, explaining their relationship to classic computer science and artificial intelligence curriculum. We then describe an international educational initiative called RoboCupJunior and outline related work examining the (human) learning aspects of educational team robotics. Through examples, we show how the RoboCupJunior paradigm has been used successfully as a hands-on tool for teaching computer science and AI courses, and finally bridge the gap from these classic topics to “technical literacy”, exploring the use of RoboCupJunior as a vehicle for promoting comfort with and understanding of technology.
Therapeutic efficacy of multiple intravenous infusions of anti-tumor necrosis factor alpha monoclonal antibody combined with low-dose weekly methotrexate in rheumatoid arthritis.

OBJECTIVE To evaluate the efficacy, pharmacokinetics, immunogenicity, and safety of multiple infusions of a chimeric monoclonal anti-tumor necrosis factor alpha antibody (cA2) (infliximab; Remicade, Centocor, Malvern, PA) given alone or in combination with low-dose methotrexate (MTX) in rheumatoid arthritis (RA) patients. METHODS In a 26-week, double-blind, placebo-controlled, multicenter trial, 101 patients with active RA exhibiting an incomplete response or flare of disease activity while receiving low-dose MTX were randomized to 1 of 7 groups of 14-15 patients each. The patients received either intravenous cA2 at 1, 3, or 10 mg/kg, with or without MTX 7.5 mg/week, or intravenous placebo plus MTX 7.5 mg/week at weeks 0, 2, 6, 10, and 14 and were followed up through week 26. RESULTS Approximately 60% of patients receiving cA2 at 3 or 10 mg/kg with or without MTX achieved the 20% Paulus criteria for response to treatment, for a median duration of 10.4 to >18.1 weeks (P < 0.001 versus placebo). Patients receiving cA2 at 1 mg/kg without MTX became unresponsive to repeated infusions of cA2 (median duration 2.6 weeks; P=0.126 versus placebo). However, coadministration of cA2 at 1 mg/kg with MTX appeared to be synergistic, prolonging the duration of the 20% response in >60% of patients to a median of 16.5 weeks (P < 0.001 versus placebo; P=0.006 versus no MTX) and the 50% response to 12.2 weeks (P < 0.001 versus placebo; P=0.002 versus no MTX). Patients receiving placebo infusions plus suboptimal low-dose MTX continued to have active disease, with a Paulus response lasting a median of 0 weeks. A 70-90% reduction in the swollen joint count, tender joint count, and C-reactive protein level was maintained for the entire 26 weeks in patients receiving 10 mg/kg of cA2 with MTX. In general, treatment was well tolerated and stable blood levels of cA2 were achieved in all groups, except for the group receiving 1 mg/kg of cA2 alone, at which dosage antibodies to cA2 were observed in approximately 50% of the patients. CONCLUSION Multiple infusions of cA2 were effective and well tolerated, with the best results occurring at 3 and 10 mg/kg either alone or in combination with MTX in approximately 60% of patients with active RA despite therapy with low-dose MTX. When cA2 at 1 mg/kg was given with low-dose MTX, synergy was observed. The results of the trial provide a strategy for further evaluation of the efficacy and safety of longer-term treatment with cA2.
Security requirements engineering via commitments

Security Requirements Engineering (SRE) is concerned with the elicitation of security needs and the specification of security requirements of the system-to-be. Current approaches to SRE either express stakeholders' needs via high-level organisational abstractions that are hard to map to system design, or specify only technical security requirements. In this paper, we introduce SecCo, an SRE framework that starts with goal-oriented modelling of the security needs and derives security requirements from such needs. Importantly, SecCo relates security requirements to the interaction among actors. Security requirements are specified as social commitments — promises with contractual validity from one actor to another — that define constraints on the way actors can interact. These commitments shall be implemented by the system-to-be.
Terrestrial planet formation in low-eccentricity warm-Jupiter systems

Context. Extrasolar giant planets are found to orbit their host stars with a broad range of semi-major axes 0.02 ≤ a ≤ 6 AU. Current theories suggest that giant planets orbiting at distances between � 0.02−2 AU probably formed at larger distances and migrated to their current locations via type II migration, disturbing any inner system of forming terrestrial planets along the way. Migration probably halts because of fortuitously-timed gas disk dispersal. Aims. The aim of this paper is to examine the effect of giant planet migration on the formation of inner terrestrial planet systems. We consider situations in which the giant planet halts migration at semi-major axes in the range 0.13−1.7 AU due to gas disk dispersal, and examine the effect of including or neglecting type I migration forces on the forming terrestrial system. Methods. We employ an N-body code that is linked to a viscous gas disk algorithm capable of simulating gas loss via accretion onto the central star and photoevaporation, gap formation by the giant planet, type II migration of the giant, optional type I migration of protoplanets, and gas drag on planetesimals. Results. Most of the inner system planetary building blocks survive the passage of the giant planet, either by being shepherded inward or scattered into exterior orbits. Systems of one or more hot-Earths are predicted to form and remain interior to the giant planet, especially if type II migration has been limited, or where type I migration has affected protoplanetary dynamics. Habitable planets in low-eccentricity warm-Jupiter systems appear possible if the giant planet makes a limited incursion into the outer regions of the habitable zone (HZ), or traverses its entire width and ceases migrating at a radial distance of less than half that of the HZ’s inner edge. Conclusions. Type II migration does not prevent terrestrial planet formation. A wide variety of planetary system architectures exists that can potentially host habitable planets.
Contributions from the study of high risk populations to understanding the development of emotion regulation

In this chapter we shall examine the processes of emotion regulation and dysregulation. We define emotion regulation as the intra- and extraorganismic factors by which emotional arousal is redirected, controlled, modulated, and modified to enable an individual to function adaptively in emotionally arousing situations. Emotion regulation helps maintain internal arousal within a manageable, performance-optimizing range. Whereas the emotions mediate a person's adaptive functioning by providing crucial information to the self and others about internal states, emotion regulatory systems are essential to the individual in order to maintain a tolerable but flexible range of affective expressions necessary for adaptive functioning across the life span. Feedback components of the emotion system also serve a critical role in the development of self-evaluation and selfregulation (Cicchetti & Schneider-Rosen, 1986; Izard, 1977). The guiding theoretical orientation of our study of emotion regulation is based on principles derived from the organizational perspective on development (Cicchetti, 1990; Cicchetti & Aber, 1986; Cicchetti & Sroufe, 1978; Sroufe & Waters, 1976). According to this perspective, development is conceived as a series of qualitative reorganizations among and within behavioral and biological systems. Through the processes of differentiation and hierarchical integration, individuals move from a relatively diffuse, undifferentiated condition to a state of increasingly differential and hierarchically organized behavioral complexity (Werner, 1957). During this process, intrinsic or organismic factors and extrinsic, environmental factors dynamically interact to determine a person's developmental outcome on a number of unfolding stage-salient issues (Cicchetti, 1990).
The Rayleigh Quotient Iteration and Some Generalizations for Nonnormal Matrices

The Rayleigh Quotient Iteration (RQI) was developed for real symmetric matrices. Its rapid local convergence is due to the stationarity of the Rayleigh Quotient at an eigenvector. Its excellent global properties are due to the monotonic decrease in the norms of the residuals. These facts are established for normal matrices. Both properties fail for nonnormal matrices and no generalization of the iteration has recaptured both of them. We examine methods which employ either one or the other of them. 1. History. In the 1870's John William Strutt (third Baron Rayleigh) began his mammoth work on the theory of sound. Basic to many of his studies were the small oscillations of a vibrating system about a position of equilibrium. In terms of suitable generalized coordinates, any set of small displacements (the state of the system) will be represented by a vector q with time derivative q. The potential energy V and the kinetic energy T at each instant t are represented by the two quadratic forms
The IntiSa Approach: Test Input Data Generation for Non-primitive Data Types by Means of SMT Solver Based Bounded Model Checking

In this paper we present an approach for automatically deriving test input data from Design by Contract specifications. Preconditions of a method under test (MUT) require specific object states of the input parameters. In this paper we present IntiSa, a novel approach, which calculates test input values to be used with mock objects. The calculated values do not only satisfy the precondition of the method under test, but are guaranteed to be states that could be reached through method calls on the object as well. This property is not supported by previous work, such as random or pure SMT based approaches, and genetic algorithm. But it is important since it reduces false positive test cases. Based on the idea of bounded-model checking, IntiSa encodes possible state space changes of method calls for all parameters of the MUT. This model is then verified against an adopted precondition of the MUT. Besides a detailed discussion of the IntiSa approach we present results obtained by applying our technique to two case studies, one of them a real world application provided by our industry partner. First results show, that IntiSa is twice as fast as random ingenerating primitive and non-primitive test input that satisfies the precondition of the method under test.
Improved SPECAN imaging algorithm for missile-borne SAR with squint angle

Synthetic aperture radar with squint angle has a very wide application prospect. An improved squint imaging algorithm based SPECAN for missile-borne is proposed, which is characterized by its small amount of computation and convenient operation. According to the SAR echo model, traditional SPECAN algorithm has been improved. This algorithm firstly processed echo signals with range walk removal; and then it performed range FFT process, distance migration removal and range compression; at last after azimuthal IFFT process, good SAR imaging results are acquired. Simulation results corroborate the validity of the algorithm.
Asociación de los trastornos externalizados y la edad de inicio en pacientes con trastorno bipolar tipo I y II ¿Son los síntomas de los trastornos externalizados predictores de una edad de inicio más temprano?

Antecedentes. La mania de inicio muy temprano (MIMT), comparada con la mania de inicio en la adolescencia (MIA), tiene una presentacion clinica distinta a la mania clasica de inicio en la adultez (MIEA). Los pacientes con MIA tienen un curso mas parecido a la MIEA. Los trastornos externalizados (TDAH, TND y TC) se han asociado con una edad de inicio mas temprano del TBP y como un marcador de mal pronostico. Nuestro objetivo es determinar la frecuencia de los sintomas relacionados con los trastornos de la conducta disruptiva en pacientes con TBP de inicio muy temprano, temprano y en el adulto evaluados de manera retrospectiva. Metodo. La muestra total (N=64) de pacientes adolescentes y adultos se obtuvo de distintas clinicas del Instituto Nacional de Psiquiatria (INPRF). El diagnostico fue confirmado por el equipo de investigacion y se solicito la firma del asentimiento y consentimiento informado. Se aplicaron el K SADS PL Mexico, MINI y MINI KID. Se utilizo la EEPE-AA para los trastornos externalizados. Resultados. Se encontraron diferencias significativas en las puntuaciones del EEPE AA comparadas por los grupos de EIED, en la Subescala de Inatencion para el GIMT. La presencia de TDAH, TND, TC y riesgo suicida en el momento de la evaluacion se relaciono significativamente con un inicio mas temprano. Discusion y conclusion. Nuestros datos apoyan la importancia y utilidad clinica de separar el TBP por edad de inicio y la deteccion de trastornos externalizados podria hablarnos de un inicio temprano del trastorno. Asimismo, tiene implicaciones en el pronostico y tratamiento psicofarmacologico, ya que el TBP de inicio en la infancia permanece en la adultez con caracteristicas similares, asi como de dificil manejo. Es necesario tener una vision longitudinal de este padecimiento.
Transformational leadership among Spanish upper echelons

Purpose – This paper seeks to investigate the relationship between managers' beliefs and goal orientation and the self‐perception of transformational and transactional leadership styles and how this relationship is moderated by the level of formal education.Design/methodology/approach – A sample of 76 top executive officers reported their managerial values and beliefs by completing measures of McGregor's Theory XY philosophy of management and Dweck's learning and performance goal orientations. They also reported their use of transactional versus transformational leadership styles with their direct reports and their degree of formal education.Findings – Regression analyses revealed that ratings of transformational leadership are associated with theory Y philosophy of management and a learning goal orientation; whereas ratings of transactional leadership were found to be associated with performance goal orientation. In addition, executives with higher levels of education reported greater behavioral integrit.
UniPathway: a resource for the exploration and annotation of metabolic pathways

UniPathway (http://www.unipathway.org) is a fully manually curated resource for the representation and annotation of metabolic pathways. UniPathway provides explicit representations of enzyme-catalyzed and spontaneous chemical reactions, as well as a hierarchical representation of metabolic pathways. This hierarchy uses linear subpathways as the basic building block for the assembly of larger and more complex pathways, including species-specific pathway variants. All of the pathway data in UniPathway has been extensively cross-linked to existing pathway resources such as KEGG and MetaCyc, as well as sequence resources such as the UniProt KnowledgeBase (UniProtKB), for which UniPathway provides a controlled vocabulary for pathway annotation. We introduce here the basic concepts underlying the UniPathway resource, with the aim of allowing users to fully exploit the information provided by UniPathway.
Automatic segmentation of skin and bone in CT images using iterative thresholding and morphological image processing

In this paper, we propose a fast and efficient method to extract skin and bone automatically. First, we smooth the images by applying anisotropic diffusion filter to remove noise. Then, the whole body is detected by using thresholding which is set automatically. In addition, we segment the contour of the skin by using morphological operators and connected component labeling (CCL). Finally, we extract the bone with iterative thresholding.
CHOIX D'OPTIONS COMPTABLES LORS DE LA TRANSITION AUX NORMES IAS/IFRS

Cette contribution se propose d'analyser les choix comptables, des groupes du SBF 120, intervenus lors de la transition aux normes comptables IAS/IFRS. Les apports de la Theorie Positive de la Comptabilite (TPC) sont utilises a la lumiere du principe de prudence pour tenter d'expliquer les choix d'options comptables. Le papier se propose dans un premier temps, d'observer les choix d'options effectues par les groupes francais. Puis dans un second temps, d'analyser les determinants de ces choix a l'aide d'hypotheses issues de la TPC. La methode d'analyse statistique utilisee est la regression logistique.
T Cell Receptor–initiated Calcium Release Is Uncoupled from Capacitative Calcium Entry in Itk-deficient T Cells

Itk, a Tec family tyrosine kinase, plays an important but as yet undefined role in T cell receptor (TCR) signaling. Here we show that T cells from Itk-deficient mice have a TCR-proximal signaling defect, resulting in defective interleukin 2 secretion. Upon TCR stimulation, Itk−/− T cells release normal amounts of calcium from intracellular stores, but fail to open plasma membrane calcium channels. Since thapsigargin-induced store depletion triggers normal calcium entry in Itk−/− T cells, an impaired biochemical link between store depletion and channel opening is unlikely to be responsible for this defect. Biochemical studies indicate that TCR-induced inositol 1,4,5 tris-phosphate (IP3) generation and phospholipase C γ1 tyrosine phosphorylation are substantially reduced in Itk−/− T cells. In contrast, TCR-ζ and ZAP-70 are phosphorylated normally, suggesting that Itk functions downstream of, or in parallel to, ZAP-70 to facilitate TCR-induced IP3 production. These findings support a model in which quantitative differences in cytosolic IP3 trigger distinct responses, and in which only high concentrations of IP3 trigger the influx of extracellular calcium.
Media/Queered: Visibility and Its Discontents by Kevin G. Barnhurst

The field of new media studies interrogates the processes and implications of a burgeoning technological landscape amid questions of identity, agency, and visibility. No longer do we live in a world where “representation” can be understood merely as what we can hear on the radio or see on television or in the cinema; new media studies focuses instead on the rapidly multiplying opportunities for people to use media in their everyday lives as a result of the increasing frequency of technological breakthroughs and cultural transformations. It has only recently gained momentum as a salient academic discipline, so it is no surprise that queer modulations within the discipline are few and far between. Kevin G. Barnhurst’s Media/Queered: Visibility and Its Discontents provides 13 critical essays by contemporary media scholars, cultural critics, and even journalists that inaugurate queerness—in varying manifestations—to the realm of new media studies. The book aims—and in many ways succeeds—to fill the gap between media studies and queer studies through discussions of the paradoxes of queer visibility. The book is organized under four main topics: history, the professional, the popular, and technology. As this interand transdisciplinary constitution might suggest, this volume will prove useful for scholars and instructors in a range of disciplines, including traditional media studies (radio/television/film), cultural studies, rhetoric studies, and of course gender studies; however, this volume also provides material for those general readers who have an interest both in lesbian, gay, bisexual, and transgender (LGBT)/queer media representations and in uses of new or digital media by queer people in their everyday lives. Barnhurst argues in his introduction that the paradoxes of queer visibility correspond to positive aspects of queer life—progress, accrual of capital, cultural acceptance, and digital prowess—aspects that are both realized and surrendered as a result of queer visibility. However, following Foucault’s views on so-called binary divisions, Barnhurst advises readers to think about new ways of thinking about visibility and its discontents: “Queers must find different ways of not saying such things as these: organizing our stories around the closet, ministering professionally to our invisibility, celebrating our popularity, and hoping for a technological,