Miracle-dz/UniFAR-FTUs huggingface dataset:
Uma análise empírica de interações em redes sociais

Resumo. Redes sociais online se tornaram extremamente populares e vêm causando o surgimento e a crescente popularização de uma nova onda de aplicações na Web. Com uma enorme quantidade de conteúdo criado a cada dia e por permitir o registro de diversos tipos de interações entre os usuários, redes sociais online se tornaram alvo de diversas áreas de pesquisa, não só relacionadas à computação, mas também áreas como a física, a sociologia, a economia, a psicologia e a comunicação. Apesar do grande interesse, pouco se sabe sobre o comportamento dos usuários e suas formas de interação em redes sociais online. Essa tese investiga as diferentes formas de interações em redes sociais, cobrindo aspectos do comportamento e da navegação dos usuários, bem como aspectos relacionados à postagem de conteúdo não solicitado. Para isso, coletamos dados de várias redes sociais atuais em larga escala. Nossas medições revelam padrões de comportamento e interação típicos, que variam de acordo com as mídias utilizadas para compartilhamento de conteúdo e interação. A partir dessas análises de comportamento, um método para a detecção de usuários maliciosos em redes sociais online é proposto.
An Adaptive Genetic Algorithm for Solving N-Queens Problem

In this paper a Metaheuristic approach for solving the N-Queens Problem is introduced to find the best possible solution in a reasonable amount of time. Genetic Algorithm is used with a novel fitness function as the Metaheuristic. The aim of N-Queens Problem is to place N queens on an N x N chessboard, in a way so that no queen is in conflict with the others. Chromosome representation and genetic operations like Mutation and Crossover are described in detail. Results show that this approach yields promising and satisfactory results in less time compared to that obtained from the previous approaches for several large values of N.
Evidence-Based Psychosocial Treatments for Children and Adolescents with Attention-Deficit/Hyperactivity Disorder

The purpose of this research was to update the Pelham and Fabiano (2008) review of evidence-based practices for children and adolescents with attention-deficit/hyperactivity disorder. We completed a systematic review of the literature published between 2007 and 2013 to establish levels of evidence for psychosocial treatments for these youth. Our review included the identification of relevant articles using criteria established by the Society of Clinical Child and Adolescent Psychology (see Southam-Gerow & Prinstein, in press) using keyword searches and a review of tables of contents. We extend the conceptualization of treatment research by differentiating training interventions from behavior management and by reviewing the growing literature on training interventions. Consistent with the results of the previous review we conclude that behavioral parent training, behavioral classroom management, and behavioral peer interventions are well-established treatments. In addition, organization training met the criteria for a well-established treatment. Combined training programs met criteria for Level 2 (Probably Efficacious), neurofeedback training met criteria for Level 3 (Possibly Efficacious), and cognitive training met criteria for Level 4 (Experimental Treatments). The distinction between behavior management and training interventions provides a method for considering meaningful differences in the methods and possible mechanisms of action for treatments for these youth. Characteristics of treatments, participants, and measures, as well as the variability in methods for classifying levels of evidence for treatments, are reviewed in relation to their potential effect on outcomes and conclusions about treatments. Implications of these findings for future science and practice are discussed.
The Role of Response Inhibition in Medicated and Unmedicated Obsessive‐Compulsive Disorder Patients: Evidence from the Stop‐Signal Task

Numerous studies have investigated response inhibition (RI) in obsessive‐compulsive disorder (OCD), with many reporting that OCD patients demonstrate deficits in RI as compared to controls. However, reported effect sizes tend to be modest and results have been inconsistent, with some studies finding intact RI in OCD. To date, no study has examined the effect of medications on RI in OCD patients.
Severe cardiac iron toxicity in two adults with sickle cell disease

Use of chronic blood transfusions as a treatment modality in patients with blood disorders places them at risk for iron overload. Since patients with β‐thalassemia major (TM) are transfusion‐dependent, most studies on iron overload and chelation have been conducted in this population. While available data suggest that compared to TM, patients with sickle cell disease (SCD) have a lower risk of extrahepatic iron overload, significant iron overload can develop. Further, previous studies have demonstrated a direct relationship between iron overload and morbidity and mortality rates in SCD. However, reports describing the outcome for patients with SCD and cardiac iron overload are rare.
An heuristic for trajectory generation in mobile robotics

We present an heuristic to compute the points in a trajectory in a 2D space based on the trapezoidal velocity profile, where the computed trajectory is subject to the constraints of initial position and velocity, final position and velocity (defined as vectors) and the values for acceleration and plateau speed (defined as scalars). The proposed heuristics are directed at omnidirectional holonomic robots, i.e., robots that are capable of, amongst others, manoeuvring without affecting the orientation. These algorithms are currently being applied to the CAMBADA team RoboCup MSL robots. Although without a formal proof, numerical experiments have shown that the algorithms converged to a viable solution when the data fulfils the necessary conditions.
Fully Verifiable Secure Delegation of Pairing Computation: Cryptanalysis and An Efficient Construction

We address the problem of secure and veriﬁable delegation of general pairing computation. We ﬁrst analyze some recently proposed pairing delegation schemes and present several attacks on their security and/or veriﬁability properties. In particular, we show that none of these achieve the claimed security and veriﬁability properties simultaneously. We then provide a fully veriﬁable secure delegation scheme VerPair under one-malicious version of a two-untrusted-program model (OMTUP). VerPair not only signiﬁcantly improves the eﬃciency of all the previous schemes, such as fully veriﬁable schemes of Chevallier-Mames et al. and Canard et al. by eliminating the impractical exponentiation-and scalar-multiplication-consuming steps, but also oﬀers for the ﬁrst time the desired full veriﬁability property unlike other practical schemes. Furthermore, we give a more eﬃcient and less memory consuming invocation of the subroutine Rand for VerPair by eliminating the requirement of oﬄine computations of modular exponentiations and scalar-multiplications . In particular, Rand includes a fully veriﬁable partial delegation under the OMTUP assumption. The partial delegation of Rand distinguishes VerPair as a useful lightweight delegation scheme when the delegator is resource-constrained (e.g. RFID tags, smart cards or sensor nodes).
Can Nitrite AMPk Up Sirt-ainty to Treat Heart Failure With Preserved Ejection Fraction?

Heart failure with preserved ejection fraction (HFpEF) remains a common yet vexing clinical syndrome, with no approved therapies despite prevalence, morbidity, and mortality on par with those of heart failure with reduced ejection fraction (HFrEF). 1 Therapies and devices proven effective in HFrEF have repeatedly fallen short in their application to HFpEF.1 This is no longer surprising, as we increasingly recognize HFpEF as a syndrome characterized by multiple mechanisms and multi-organ engagement. Involved are not just the myocardium, but also the systemic and pulmonary vasculature, kidneys, skeletal muscle, and metabolic state.2 Multiple co-morbidities, including hypertension, obesity, and diabetes mellitus, conspire to increase fluid retention and left ventricular (LV) filling pressures, often with ventricular hypertrophy and diastolic dysfunction. In the pulmonary vasculature, elevated LV filling pressure augments pulsatile loading on the right ventricle (RV)3; this, combined with passive elevations in pressure and pulmonary vasculature remodeling, can lead to pulmonary hypertension in about half the patients.1 Meanwhile, microvascular and metabolic dysfunction in the peripheral skeletal muscle contribute to sarcopenia and exercise intolerance.1 These deficiencies collectively lead to the breathlessness, marked exertional intolerance, and fluid retention that characterize HFpEF.
EXPLANT REMOVAL OF A WELL FIXED RESURFACING ACETABULAR COMPONENT

Introduction: Removal of well-fixed, cementless, acetabular components after resurfacing hip arthroplasty remains a challenging problem. Damage to host bone may limit options for reconstruction, compromise the long-term result of the revision operation and fundamentally defeat the aim of bone conserving resurfacing hip surgery. Methods: A series of 6 consecutive patients who under-went removal of a secure, acetabular resurfacing component at the time of revision arthroplasty were included for review. During the operative procedure, the size of the component which was removed and the diameter of the final reamer used prior to implantation and final acetabular implant were recorded. The modification of the standard explant technique will be described which allows safe removal of any size of acetabular component. Results: In all patients the indication for index arthroplasty was osteoarthritis. Three cases were MMT (Smith and Nephew), 2 Cormet 2000 (Corin, UK). and 1 DUROM (Zimmer). The indications for acetabular revision were infection in all cases. The median difference between the size of component removed and the size of final component implanted was 4 mm. Discussion: Our modification uses a pre-existing system. The ease of removal with this modification and the lack of any further damage to the host bone illustrates that the Explant Acetabular Cup Removal System can be safely expanded to removal of well fixed resurfacing monoblock acetabular components. With experience, any manufacturers resurfacing shell can be removed with virtually no bone loss.
Microstructural evolution and mechanical properties of Sn-Bi based solders

An overview of issues relevant to reliability of Sn-Bi solder joints is presented. The effects of aging on the microstructure of Sn-Bi solder joints are described. The results show that during aging, Sn is depleted from the solder/base metal interface. The two-phase Sn-Bi microstructure coarsens appreciably during aging. The rate of coarsening can be slowed by adding 1.0 wt% Cu to the solder. Aging also affects the mechanical properties of the solder joints in shear, where aged joints shown an increase in flow stress and plastic strain at failure. The creep properties of cast and aged Sn-Bi eutectic alloy at stresses between 0.5 and 65 MPa and temperatures between 30/spl deg/C and 120/spl deg/C are described. In the power law creep regime, cast Sn-Bi eutectic has a stress exponent of three and an activation energy of 0.6 eV. <<ETX>>
Mimetic Muscles in a Despotic Macaque (Macaca mulatta) Differ from Those in a Closely Related Tolerant Macaque (M. nigra)

Facial displays (or expressions) are a primary means of visual communication among conspecifics in many mammalian orders. Macaques are an ideal model among primates for investigating the co‐evolution of facial musculature, facial displays, and social group size/behavior under the umbrella of “ecomorphology”. While all macaque species share some social behaviors, dietary, and ecological parameters, they display a range of social dominance styles from despotic to tolerant. A previous study found a larger repertoire of facial displays in tolerant macaque species relative to despotic species. The present study was designed to further explore this finding by comparing the gross morphological features of mimetic muscles between the Sulawesi macaque (Macaca nigra), a tolerant species, and the rhesus macaque (M. mulatta), a despotic species. Five adult M. nigra heads were dissected and mimetic musculature was compared to those from M. mulatta. Results showed that there was general similarity in muscle presence/absence between the species as well as muscle form except for musculature around the external ear. M. mulatta had more musculature around the external ear than M. nigra. In addition, M. nigra lacked a zygomaticus minor while M. mulatta is reported to have one. These morphological differences match behavioral observations documenting a limited range of ear movements used by M. nigra during facial displays. Future studies focusing on a wider phylogenetic range of macaques with varying dominance styles may further elucidate the roles of phylogeny, ecology, and social variables in the evolution of mimetic muscles within Macaca Anat Rec, 299:1317–1324, 2016. © 2016 Wiley Periodicals, Inc.
Physico-mechanical and decay resistance properties of bio-resin modified wood

General rights Copyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights. • Users may download and print one copy of any publication from the public portal for the purpose of private study or research. • You may not further distribute the material or use it for any profit-making activity or commercial gain • You may freely distribute the URL identifying the publication in the public portal ? Take down policy If you believe that this document breaches copyright please contact us providing details, and we will remove access to the work immediately and investigate your claim.
Effects of fumonisin B1 on selected immune responses in broiler chicks.

Three experiments were conducted to evaluate immune responses in chicks fed fumonisin B1 (FB1). Day-old male chicks were randomly allotted to dietary treatments: 0, 50, 100, or 200 mg FB1/kg diet. In Experiment 1, chicks were fed diets for 3 wk and were injected intravenously with 4.6x10(6) Escherichia coli on Day 21. Blood samples were collected at 60, 120, and 180 min postinjection, and liver, spleen, and lung were collected after 180 min. Chicks fed 200 mg FB1/kg diet had significantly higher numbers of bacterial colonies in blood, spleen, and liver (P<0.05) than control chicks. In Experiment 2, chicks were placed on the diets for 4 wk and were injected with 0.5 mL inactivated Newcastle Disease virus vaccine on Weeks 2 and 3 of the experiment, and primary and secondary antibody titers were measured 7 d after each injection. The secondary antibody response in chicks fed 200 mg FB1/kg diet was significantly lower (P<0.05) than that of control chicks. In Experiment 3, lymphocyte proliferation in chicks exposed to FB1 in vivo or in vitro was determined. Results of the in vivo study showed that cell proliferation in response to mitogens was lower (P<0.05) in chicks fed 200 mg FB1/kg diet than in control chicks. For the in vitro study, cell proliferation was lower (P<0.05) when cells were exposed to > or = 2.5 microg FB1/mL. Data of the current study suggested that FB1 is immunosuppressive in chicks when present in the ration at 200 mg FB1/kg diet.
Temperature Dependency of Tensile Behavior of CFRP Sheets

The purpose of this study is to find out the tensile behavior of Carbon Fiber Reinforced Polymer (CFRP) sheets at different temperatures. Ordinary epoxy resin to be softened and modified in a higher temperature than the glass transition temperature (Tg) which is investigated by DMA (Dynamic Mechanical Analyzer) tests. First, tensile behavior of non-impregnated carbon fiber sheets and epoxy resin is studied. Moreover the tensile behavior of CFRP sheets with both ordinarily used epoxy resin and newly developed epoxy resin that has higher heat-resistant behavior with higher than Tg is investigated experimentally. The specimens are stretched in lengths of 130 mm and 2, 000 mm to investigate the size dependency. Through the experimental investigations, the tensile strength, stiffness and ultimate strain under different temperature levels and size dependency are identified. It is considered that the temperature dependency of FRP tensile behavior is also a noticeable concern in FRP bonding techniques.
Synergistic Removal of Pb(II), Cd(II) and Humic Acid by Fe3O4@Mesoporous Silica-Graphene Oxide Composites

The synergistic adsorption of heavy metal ions and humic acid can be very challenging. This is largely because of their competitive adsorption onto most adsorbent materials. Hierarchically structured composites containing polyethylenimine-modified magnetic mesoporous silica and graphene oxide (MMSP-GO) were here prepared to address this. Magnetic mesoporous silica microspheres were synthesized and functionalized with PEI molecules, providing many amine groups for chemical conjugation with the carboxyl groups on GO sheets and enhanced the affinity between the pollutants and the mesoporous silica. The features of the composites were characterized using TEM, SEM, TGA, DLS, and VSM measurements. Series adsorption results proved that this system was suitable for simultaneous and efficient removal of heavy metal ions and humic acid using MMSP-GO composites as adsorbents. The maximum adsorption capacities of MMSP-GO for Pb(II) and Cd (II) were 333 and 167 mg g−1 caculated by Langmuir model, respectively. HA enhances adsorption of heavy metals by MMSP-GO composites due to their interactions in aqueous solutions. The underlying mechanism of synergistic adsorption of heavy metal ions and humic acid were discussed. MMSP-GO composites have shown promise for use as adsorbents in the simultaneous removal of heavy metals and humic acid in wastewater treatment processes.
Dynamic rendezvous algorithms for cognitive radio networks

Rendezvous is a fundamental process in constructing cognitive radio networks (CRNs), in which two users find a common channel for communication. The licensed spectrum is assumed to be divided into n non-overlapping channels and the users can sense the spectrum by equipping with cognitive radios. Most of previous works assume that the user can find a set of available channels (the channels not occupied by the licensed users) after spectrum sensing stage and the status of all channels are stable all the time. However, this assumption may not be true in reality and we focus on designing efficient algorithms when the status of the channels varies dynamically. In this paper, we introduce two models to describe the dynamic rendezvous problem. Denote pij as the probability that channel j is available for user i. In the Independent model, assuming all pij variables are independently distributed and we propose efficient algorithms for both synchronous and asynchronous users, which guarantee rendezvous in O (log2 n) and O (log3 n) time slots with high probability respectively. In the Dependent model, two nearby users have relevant available probabilities and we introduce a sensing phase and an attempting phase to guarantee rendezvous in O (ε log3 n log log log n) time slots with high probability, where ε is a small constant. We also present an algorithm to increase rendezvous load in the long run, which guarantee rendezvous for at least 1/4 of all time slots.
High Rates of Herpes Simplex Virus Type 2 Infection in Homeless Women: Informing Public Health Strategies.

BACKGROUND Homeless and unstably housed women living in an urban setting are at risk for sexually transmitted diseases, yet the seroprevalence and correlates of herpes simplex virus type 2 (HSV-2) specific to impoverished women are poorly understood. MATERIALS AND METHODS Between April and October 2010, we conducted a cross-sectional analysis of sociodemographic, structural, and behavioral factors associated with prevalent HSV-2 infection (recent and historical infections) within a community-recruited cohort of homeless and unstably housed women. Logistic regression modeling was used to identify independent sociobehavioral correlates of HSV-2 infection. RESULTS Among 213 women (114 HIV positive and 99 HIV negative), the median age was 49, 48% were African American, and 63% had completed high school. HSV-2 seroprevalence was 88%, and only 17% of infected women were aware of their infection. In adjusted analysis, odds of HSV-2 infection were significantly higher for those reporting at-risk drinking (adjusted odds ratio [AOR] = 7.04; 95% confidence interval [CI] = 1.59, 67.91), heterosexual orientation (AOR = 4.56; 95% CI = 1.81, 11.69), and for those who were HIV positive (AOR = 3.64; 95% CI = 1.43, 10.30). Odds of HSV-2 infection decreased as current income increased (AOR for each $500 monthly increase = 0.90; 95% CI = 0.78, 0.997). CONCLUSIONS There is an extremely high seroprevalence of HSV-2 infection among homeless and unstably housed women, and most are unaware of their HSV-2 status. Screening all unstably housed women for HSV-2 infection, with additional counseling for sexual risk and alcohol use, may lead to the identification of more infections and be a first step in reducing additional disease transmission.
A quasi-Newton preconditioned Newton-Krylov method for robust and efficient time-domain simulation of integrated circuits with strong parasitic couplings

In this paper, the Newton-Krylov method is explored for robust and efficient time-domain VLSI circuit simulation. Different from the LU-factorization based direct method, the Newton-Krylov method uses a preconditioned Krylov-subspace iterative method for linear system solving. Our key contribution is to introduce an effective quasi-Newton preconditioning scheme for Krylov-subspace methods to reduce the number and cost of LU factorizations during time-domain circuit simulation. Experimental results on a collection of digital, analog and RF circuits have shown that the quasi-Newton preconditioned Krylov-subspace method is as robust and accurate as SPICE3. The proposed Newton-Krylov method is especially attractive for simulating circuits with a large amount of parasitic RLC elements for post-layout verification