Miracle-dz/UniFAR-FTUs huggingface dataset:
nQUIC: Noise-Based QUIC Packet Protection

We present nQUIC, a variant of QUIC-TLS that uses the Noise protocol framework for its key exchange and basis of its packet protector with no semantic transport changes. nQUIC is designed for deployment in systems and for applications that assert trust in raw public keys rather than PKI-based certificate chains. It uses a fixed key exchange algorithm, compromising agility for implementation and verification ease. nQUIC provides mandatory server and optional client authentication, resistance to Key Compromise Impersonation attacks, and forward and future secrecy of traffic key derivation, which makes it favorable to QUIC-TLS for long-lived QUIC connections in comparable applications. We developed two interoperable prototype implementations written in Go and Rust. Experimental results show that nQUIC finishes its handshake in a comparable amount of time as QUIC-TLS.
STINA: A PROBABILISTIC PARSER FOR SPEECH RECOGNITION

A natural language component for our speech recognition system is under development. Work to date has produced a question parser called STINA which is implemented as a context free grammar compiled into an augmented transition network. Features of STINA are a stack decoding search strategy, a feature-passing mechanism to implement unification and a sentence generation capability; the program is fast (40 ms/sentence) and efficient.
Student Perceptions of Motor, Mental and Social Benefits and the Impact of Practicing Recreational Figure Skating

The study aims to highlight the impact of practicing recreational figure skating by evaluating the relationship between the perceptions of motor, mental and social benefits of practicing figure skating and the frequency and duration allocated for this recreational activity. The study included 143 students of physical education and sport specialization. The questionnaire was designed to evaluate the students’ perception about the benefits of practicing recreational figure skating; it included 30 items divided in three parts: motor, mental and social benefits. Each of them contained 10 items to be assessed by students using the Likert scale, with 2 items related to the duration and frequency of practicing figure skating during recreational time. The results were processed using SPPS 24. The results were statistically significant at p < 0.05. The Cronbach’s Alpha coefficient of the questionnaire was α = 0.965, suggesting that the items had high internal consistency. Using the Likert scale, we found the following: concerning the high score 5 points—the motor capacity 62.9%, the mental capacity 49.7%, the social capacity 49.7%; and for a low score of 1 point—mental and social capacity 1.4%, motor capacity 0.7%. The effect size was medium for almost all items. No statistically significant correlations were found between the result of the questionnaire and the frequency and duration of practicing figure skating during free time. Figure skating is considered by students to be one of the activities through which a series of parameters of physical development and level of physical fitness can be improved through the expansion of motor skills. Also, the practice of figure skating contributes to the formation of proactive behaviors by improving the mental and social abilities of practitioners.
Econometric approaches in evaluating costs and outcomes within pharmacoeconomic analyses

Cost and outcomes data within pharmacoeconomic analyses often possess distributional properties that require advanced statistical approaches to yield robust findings. An analyst’s failure to recognize and control for these characteristics may result in inappropriate evaluations of statistical associations or causal effects which may ultimately support incorrect policy decisionmaking. Given the importance of appropriate analysis and interpretation in pharmacoeconomics, the purpose of this paper is to address the more common statistical issues encountered in assessing healthcare costs or outcomes, emphasizing approaches that may be employed to analyze these data. More specifically, statistical methods used commonly with retrospective cohort analyses are presented including least squares (e.g., ordinary least squares, OLS), logarithmic transformations, log-plus-constant models, two-part models, maximum likelihood estimation (MLE), and generalized linear models (GLM) and extensions, among others.
Optimized stimulation events for a visual ERP BCI

Data from 9 healthy subjects collected during BCI experiments with a visual ERP paradigm for a photo browser application has been analyzed offline. A comparison of four stimulus presentation modes revealed that complex highlighting effects composed of brightness enhancement, rotation, enlargement and a trichromatic grid overlay in combination with row-column spatial arrangements of simultaneously highlighted objects boosted single subtrial classification performance best.
Diabetes mellitus : a fundamental and clinical text

Thoroughly revised and updated, this Third Edition encompasses the most recent advances in molecular and cellular research and describes the newest therapeutic modalities for type 1 and type 2 diabetes mellitus. Chapters by leading experts integrate the latest basic science and clinical research on diabetes mellitus and its complications. The text is divided into ten major sections, including extensive sections on therapeutics, diabetes during pregnancy, and complications. New chapters cover stem cell therapy for type 1 diabetes; genetics and treatment of obesity; new therapies to promote insulin action; vasculopathy; islet cell protocols; triglycerides in muscle; hypoglycemia in the adult; and the Diabetes Prevention Program.
Transmit diversity by antenna selection in CDMA downlink

We study transmit diversity concepts in DS/CDMA wireless networks with multiple transmit antennas. The previously proposed diversity techniques are reviewed and their performance is compared to a selective transmit diversity (STD) concept, proposed here for CDMA systems. In all the competing concepts the encoded bits are distributed to all transmit antennas, whereas in the proposed concept bit are transmitted only from the best antenna as indicated by a closed loop antenna selection (CL-AS) subchannel from the terminal to the base. We quantify the achievable gains for these transmit diversity concepts with Monte-Carlo simulations.
Tensor de difusión por Resonancia Magnética y Velocidad de procesamiento: estudio de la Sustancia Blanca en pacientes con Traumatismo Craneoencefálico

espanolObjetivos: Estudiar la relacion entre la sustancia blanca cerebral, la lentitud en el procesamiento de informacion y las alteraciones del control atencional, caracteristicas tras un TCE grave. Material y metodos: Se obtuvieron imagenes de tensor de difusion por resonancia magnetica (DTI) en 15 pacientes con TCE y 15 controles. Todos fueron tambien evaluados con el Test de Stroop y el Trail Making Test, para estudiar la existencia de correlaciones entre medidas de conducta y neuroimagen. Resultados: El analisis de la conducta revelo una alteracion del rendimiento de los pacientes en las puntuaciones influidas por la velocidad de procesamiento, y en el TMT-B/A. El analisis de las imagenes mostro una correlacion entre anisotropia y velocidad de procesamiento. En contraste, no se encontraron correlaciones significativas entre el estado axonal y las puntuaciones libres de la velocidad. Conclusiones: Parte de las dificultades de los pacientes con TCE grave en tareas de control atencional se deben a un deficit en la velocidad de procesamiento. Los resultados del analisis DTI permiten afirmar por vez primera que dichas alteraciones estan directamente relacionadas con las lesiones de la sustancia blanca cerebral EnglishObjetives: The present work studies the possible ties among white matter, slowness of information processing and the deficits on attentional control, frequently impaired after TBI. Method: Fractional anisotropy (FA) values were measured in 15 TBI patients and 15 healthy controls. All subjects were also assessed using the Stroop Test and the Trail Making Test. Results: The analyses revealed impairments in the scores influenced by the speed of processing, and in the TMT-B/A. The analyses of the images showed a correlation between anisotropy and speed of processing. On the other hand, there were no significant correlations between the axonal integrity and the scores free of information processing speed. Conclusion: Part of the difficulties showed by TBI patients in attentional control tasks rely on a slowed information processing speed. The results DTI of analyses reveal for the first time that these deficits are directly related to the injuries caused in cerebral white matter
Response Devices and Cognitive Tasks

Abstract : This report is for two years of research conducted primarily at the Air Force Armstrong Laboratory, Project Lamp. The aims of the research were to (1) study the effects of response mode and response complexity on basic cognitive tasks, and (2) to use the information obtained to develop more elaborated models of cognitive functioning which take these factors into account. Subjects were tested on a set of computer-administered cognitive tasks, using both keyboard and touchscreen response modes, and under varying sets of response load conditions. The results clearly show tha response load has a substantial effect on the performance of cognitive tasks. A detailed investigation of the effects of response load in choice reaction time showed that Hick's Law, formerly attributed to cognitive decision factor related to task complexity, is largely due to response factors.
Assessment of the in vitro cytochrome P450 (CYP) inhibition potential of ZYTP1, a novel poly (ADP-ribose) polymerase inhibitor

Abstract ZYTP1 is a novel Poly (ADP-ribose) polymerase protein inhibitor being developed for cancer indications. The focus of the work was to determine if ZYTP1 had a perpetrator role in the in vitro inhibition of cytochrome P450 (CYP) enzymes to aid dosing decisions during the clinical development of ZYTP1. ZYTP1 IC50 for CYP1A2, 2B6, 2C8, 2C9, 2C19, 2D6 and 3A4/5 was determined using human liver microsomes and LC-MS/MS detection. CYP3A4/5 IC50 of depropylated metabolite of ZYTP1 was also determined. Time dependent inhibition of CYP3A4/5 by ZYTP1 was also assessed using substrates, testosterone and midazolam. The mean IC50 values of ZYTP1 were >100 µM for CYP1A2, 2B6 and 2D6, while 56.1, 24.5, 39.5 and 23.3–58.7 µM for CYP2C8, 2C9, 2C19 and 3A4/5, respectively. The CYP3A4/5 IC50 of depropylated metabolite was 11.95–24.51 µM. Time dependent CYP3A4/5 inhibition was noted for testosterone and midazolam with IC50 shift of 10.9- and 39.9-fold, respectively. With midazolam, the kinact and KI values of ZYTP1 were 0.075 min−1 and 4.47 µM for the CYP3A4/5 time dependent inhibition, respectively. Because of potent inhibition of CYP3A4/5, drugs that undergo metabolism via CYP3A4/5 pathway should be avoided during ZYTP1 therapy.
Proteomics of Bronchoalveolar Lavage Fluid Reveals a Lung Oxidative Stress Response in Murine Herpesvirus-68 Infection

Murine herpesvirus-68 (MHV-68) productively infects mouse lungs, exhibiting a complex pathology characteristic of both acute viral infections and chronic respiratory diseases. We sought to discover proteins differentially expressed in bronchoalveolar lavage (BAL) from mice infected with MHV-68. Mice were infected intranasally with MHV-68. After nine days, as the lytic phase of infection resolved, differential BAL proteins were identified by two-dimensional (2D) electrophoresis and mass spectrometry. Of 23 unique proteins, acute phase proteins, vitamin A transport, and oxidative stress response factors Pdx6 and EC-SOD (Sod3) were enriched. Correspondingly, iNOS2 was induced in lung tissue by seven days post-infection. Oxidative stress was partly a direct result of MHV-68 infection, as reactive oxygen species (ROS) were induced in cultured murine NIH3T3 fibroblasts and human lung A549 cells infected with MHV-68. Finally, mice infected with a recombinant MHV-68 co-expressing inflammatory cytokine murine interleukin 6 (IL6) showed exacerbated oxidative stress and soluble type I collagen characteristic of tissue recovery. Thus, oxidative stress appears to be a salient feature of MHV-68 pathogenesis, in part caused by lytic replication of the virus and IL6. Proteins and small molecules in lung oxidative stress networks therefore may provide new therapeutic targets to ameliorate respiratory virus infections.
Ranolazine prevents pressure overload‐induced cardiac hypertrophy and heart failure by restoring aberrant Na+ and Ca2+ handling

Cardiac hypertrophy and heart failure are characterized by increased late sodium current and abnormal Ca2+ handling. Ranolazine, a selective inhibitor of the late sodium current, can reduce sodium accumulation and Ca 2+ overload. In this study, we investigated the effects of ranolazine on pressure overload‐induced cardiac hypertrophy and heart failure in mice.
Beyond-CMOS: Impact of Side-Recess Spacing on the Logic Performance of 50 ㎚ In 0.7 Ga 0.3 As HEMTs

We have been investigating InGaAs HEMTs as a future high-speed and low-power logic technology for beyond CMOS applications. In this work, we have experimentally studied the role of the side-recess spacing (L side ) on the logic performance of 50 ㎚ In 0.7 Ga 0.3 As HEMTs. We have found that L side has a large influence on the electrostatic integrity (or short channel effects), gate leakage current, gate-drain capacitance, and source and drain resistance of the device. For our device design, an optimum value of L side of 150 ㎚ is found. 50 ㎚ In 0.7 Ga 0.3 As HEMTs with this value of L side exhibit I ON /I OFF ratios in excess of 10⁴, subthreshold slopes smaller than 90 ㎷/dec, and logic gate delays of about 1.3 ps at a V CC of 0.5 V. In spite of the fact that these devices are not optimized for logic, these values are comparable to state-of-theart MOSFETs with similar gate lengths. Our work confirms that in the landscape of alternatives for beyond CMOS technologies, InAs-rich InGaAs FETs hold considerable promise.
SELF SUPPORTIVE VIRTUAL COMMUNITIES IN THE SERVICE OF PATIENTS

Learning Communities in healthcare is one approach in supporting practitioners and nurses to improve skills and knowledge and consequently support patients more efficiently. Web based learning communities provide additional capabilities such as global distribution of participants and asynchronous participation. The learning process in such communities is flexible and distributed, but still uni-directional: knowledge is transferred from professors to students of medicine, medical advices and support is directed from care providers to patients. In virtual Communities of Practice, apprentices ask questions and experts respond. Knowledge is created and distributed in a collaborative process, since all participants contribute their experience. In healthcare communities, especially in patient-centered ones, effort is spend on informing, training and supporting patients to become self-managed. Families, doctors, nurses inside the community target their contribution towards the patient. However, the ability of patients to help other patients, through their experiences, is neglected. Especially in the case of chronicle diseases, or psychological problems, the support of copatients or ex-patients is valuable. This work presents a new flavor of web based communities- we call them “selfsupportive communities”- which combines the merits of “communities of practice” and “learning communities”, engulfs care-providers, care-givers and care-consumers and promotes the role of patients in the community activities. Inside the community borders, patients, their family members, their doctors and nurses are able to co-operate: doctors disseminate scientific knowledge, nurses provide practical advices, family members exchange empirical knowledge and finally patients provide useful advices and support to their co-patients. The paper discusses the dimensions of the selfsupportive community and illustrates the main issues for the transition to the new type of community.
A fuzzy logic system for dynamic job shop scheduling

We study a dynamic job shop scheduling problem to minimize total weighted tardiness. Since it is a strongly NP-hard problem, the typical and efficient solution approach is to use dispatching rules; however, the performance of these simple dispatching rules is usually far from satisfactory. A fuzzy logic system is proposed and designed to dynamically guide the selection of dispatching rules for different problem instances at different stages by learning from fuzzy rules and previous solutions. Several experiments are designed and conducted in different scenarios to evaluate the effectiveness of the fuzzy logic system against the traditional dispatching rules. Preliminary experimental results indicate that the fuzzy logic system outperforms all the dispatching rules tested.
Detection and Validation of Tow-Away Road Sign Licenses through Deep Learning Methods

This work presents the practical design of a system that faces the problem of identification and validation of private no-parking road signs. This issue is very important for the public city administrations since many people, after receiving a code that identifies the signal at the entrance of their private car garage as valid, forget to renew the code validity through the payment of a city tax, causing large money shortages to the public administration. The goal of the system is twice since, after recognition of the official road sign pattern, its validity must be controlled by extracting the code put in a specific sub-region inside it. Despite a lot of work on the road signs’ topic having been carried out, a complete benchmark dataset also considering the particular setting of the Italian law is today not available for comparison, thus the second goal of this work is to provide experimental results that exploit machine learning and deep learning techniques that can be satisfactorily used in industrial applications.
Gestione di versioni temporali di risorse nel World Wide Web secondo il tempo di transazione

In questo rapporto sarà affrontato il problema di un’estensione temporale del World Wide Web che integri, nel progetto e nella gestione di siti Web, concetti e tecnologie sviluppate nel campo delle basi di dati temporali. In particolare, consideriamo qui l’introduzione di versioni di risorse Web definite e gestite lungo il tempo di transazione, al fine di consentire la navigazione virtuale temporale, attraverso versioni successive dei medesimi siti, in maniera del tutto trasparente all’utente. Verranno prospettate e discusse a livello teorico diverse soluzioni, che comportanto anche proposte di estensione del funzionamento di client e/o server WWW e dei protocolli di negoziazione (HTTP).
Balancing The Trade-Offs Between Query Delay And Data Availability In MANET’s

In mobile ad hoc networks (MANETs), nodes move freely and link/node failures are common, which leads to frequent network partitions. Due to this network partition, mobile nodes in one partition are not able to access data hosted by nodes in other partitions, and hence significantly degrade the performance of data access. So to deal with this problem, we apply data replication techniques. Most of the mobiles have limited amount of storage and bandwidth. So it is impossible for them to hold all the data needed for replica. To overcome this problem we are implementing some of the following techniques: The One-To-One Optimization (OTOO) Scheme, the Reliable Neighbor (RN) Scheme and Reliable Grouping (RG) Scheme. In OTOO scheme each node will replicate the data of the most neighbor data item. In RN scheme each node will replicate the data item of one neighbor to other. In RG scheme node will replicate the data item in large group so that each and every node can use the shared data. KeywordsMANETs, data replication, data availability,
Neurobiology of Attention

A key property of neural processing in higher mammals is the ability to focus resources by selectively directing attention to relevant perceptions, thoughts or actions. Research into attention has grown rapidly over the past two decades, as new techniques have become available to study higher brain function in humans, non-human primates, and other mammals. Neurobiology of Attention is the first encyclopedic volume to summarize the latest developments in attention research. An authoritative collection of over 100 chapters organized into thematic sections provides both broad coverage and access to focused, up-to-date research findings. This book presents a state-of-the-art multidisciplinary perspective on psychological, physiological and computational approaches to understanding the neurobiology of attention. Ideal for students, as a reference handbook or for rapid browsing, the book has a wide appeal to anybody intereseted in attention research. * Contains numerous quick-reference articles covering the breadth of investigation into the subject of attention * Provides extensive introductory commentary to orient and guide the reader * Includes the most recent research results in this field of study. © 2005 Elsevier Inc. All rights reserved.
Identification of Patterns of Tool Use and Sketching Practices in a Learning By Design Task

The complex interaction of tool use (both physical and digital) in face-to-face collaborative learning situations, and the role that these tools play in facilitating group work is increasingly important as tools for learning become more sophisticated and specialized. In this paper, a group of five high school students is studied as they engage in a learning by design task to design an educational resource about a local waterway. They carried out this design work in The Design Studio at the University of Sydney, using an iPad projected onto a whiteboard wall. Multiple streams of data were collected, visualized and analyzed, which allowed the overall patterns of tool use for all members of the group to be identified in relation to the development of their design. Two patterns of tool use are identified and analyzed according to the practice of sketching identified in other fields of design.
Modelo tridimensional de estudo da anatomia de molares

The study aim was confectioning three-dimensional models of the diaphanized lower molars root canals system for the teaching of the internal dental anatomy, to evaluate the incidence of three, four or more root canals and classifying them according to Vertucci. Seventy-six lower molars underwent diaphanization technique. After being diaphanized, the internal dental anatomy was examined , the anatomical configurations were classified and the study models were confectioned. Among the 76 molars analyzed, 3.9% had three roots and 57.9% had three root canals, 83.8% of the mesial roots had two canals and 67.1% of the distal roots had a single canal. In the mesial canals, the Vertucci type IV was the most prevalent configuration (47.3%), followed by the type II (24.3%). In the distal canals, the most prevalent was the type I (67.1%), followed by the type V (9.2%). The three-dimensionalstudy models proved to be an important tool for the teaching of the internal dental anatomy to undergraduate students. The analyzed teeth presented a great anatomic variety, showing a higher prevalence of molars with two roots and three canals. Only the type VIII of Vertucci was not found. Keyword: Molar tooth. Dental pulp cavity. Anatomy. 1 Especialista em Endodontia 2 Professor(a) Doutor(a), Faculdade de Odontologia, Universidade Federal do Pará RDAPO: Revista Digital da Academia Paraense de Odontologia Belém-PA, v.1, n.1, maio/2017