Miracle-dz/UniFAR-FTUs huggingface dataset:
Using A Defined and Measured Personal Software Process

Improved software processes lead to improved product quality. The Personal Software Process (PSP) is a framework of techniques to help engineers improve their performance-and that of their organizations-through a step-by-step, disciplined approach to measuring and analyzing their work. This article explains how the PSP is taught and how it applies to different software engineering tasks. The author reports some promising early results.
INFLUENCES OF GLUCOSE LOADING AND OF INJECTED INSULIN ON HEPATIC GLUCOSE OUTPUT *

Whether insulin acts immediately on the liver to reduce its rate of glucose output is a matter of great current interest. From the theoretical aspect, the answer given to this question has serious implications with respect to hypotheses concerning the mechanism of insulin action. In particular, an increase in permeability to glucose of the hepatic cell membrane should increase rather than decrease its rate of glucose output. In the hepatic cell, in contrast to the muscle cell, the net flow of glucose is from inside to outside the cell, and an increased facility for glucose transport across the cell membrane of the kind postulated for insulin action on the muscle cell could serve only to increase this flow and not to decrease it. Several investigative groups have used C14 glucose in attempts to supply the answer to this question, and the divergent findings that have resulted have been summarized and evaluated in a recent article. ' In the present communication special consideration is given to the extent to which these divergencies are due, on the one hand, to diflerences in experimental findings brought about by dserences in experimental conditions and procedures, and are due, on the other hand, to differences in interpretation and calculation.
Sinogram-based motion correction of PET images using optical motion tracking system and list-mode data acquisition

Motion of the head during brain positron emission tomography (PET) acquisitions has been identified as a source of artifact in the reconstructed image. A number of techniques have been proposed to correct for this motion artifact, but they are unable to correct for a motion during an acquisition. The aim of this study was to develop a sinogram-based motion correction (SBMC) technique to correct directly the head motion during a PET scan using a motion tracking system and list-mode data acquisition. This method uses a rebinning procedure whereby the lines of response (LOR) are geometrically transformed according to the current values of six-dimensional motion data. A Michelogram was recomposed using the rebinned LOR, and the motion-corrected sinogram was generated. In the motion corrected image, the blurring artifact due to the motion was reduced by the SBMC technique. This technique was applied to actual PET data acquired in the list-mode, and demonstrated the potential for real-time motion correction of head movements during a PET acquisition.
Functional neurochemical imaging of the human striatal cholinergic system during reversal learning

Animal studies have shown that acetylcholine (ACh) levels in the dorsal striatum play a role in reversal learning. However, this has not been studied in humans due to a lack of appropriate non‐invasive techniques. Proton magnetic resonance spectroscopy (1H‐MRS) can be used to measure metabolite levels in humans in vivo. Although it cannot be used to study ACh directly, 1H‐MRS can be used to study choline, an ACh precursor, which is linked to activity‐dependent ACh release. The aim of this study was to use functional‐1H‐MRS (fMRS) to measure changes in choline levels in the human dorsal striatum during performance of a probabilistic reversal learning task. We demonstrate a task‐dependent decrease in choline, specifically during reversal, but not initial, learning. We interpret this to reflect a sustained increase in ACh levels, which is in line with findings from the animal literature. This task‐dependent change was specific to choline and was not observed in control metabolites. These findings provide support for the use of fMRS in the in vivo study of the human cholinergic system.
Role of the Activation Peptide Domain in Human Factor X Activation by the Extrinsic Xase Complex*

The activation of factor X by the extrinsic coagulation system results from the action of an enzyme complex composed of factor VIIa bound to tissue factor on phospholipid membranes in the presence of calcium ions (extrinsic Xase complex). Proteolysis at the Arg52-Ile53 peptide bond in the heavy chain of factor X leads to the formation of the serine protease, factor Xa, and the generation of a heavily glycosylated activation peptide comprising residues 1–52 of the heavy chain. The role of the activation peptide region in mediating substrate recognition and cleavage by the extrinsic Xase complex is unclear. The protease Agkistrodon rhodostoma hydrolase γ (ARHγ), from the venom of the Malayan pit viper, was used to selectively cleave human factor X in the activation peptide region. Three cleavage sites were found within this region and gave products designated Xdes1-34, Xdes1-43, and Xdes1-49. The products were purified to yield Xdes 1–49 and a mixture of Xdes 1–34 and Xdes 1–43. Reversed phase high pressure liquid chromatography analysis indicated that the cleaved portion of the activation peptide was likely removed during purification. All cleaved species were inactive and could be completely activated to factor Xa by the extrinsic Xase complex or by a purified activator from Russell's viper venom. Steady state kinetic studies using tissue factor reconstituted into membranes yielded essentially equivalent kinetic constants for the activation of intact factor X and the cleaved derivatives under a wide range of conditions. Since Xdes 1–49 lacks all but three residues of the activation peptide and is devoid of the carbohydrate present in this region, the data suggest that the specific recognition of human factor X by the extrinsic Xase complex is not achieved through specific interactions with residues 1–49 of the activation peptide or with carbohydrate structures attached to these residues.
MAPEAMENTO DE GENES NIF PUBLICADOS NO NCBI USANDO CONCEITOS DE MINERACAO DE DADOS E INTELIGENCIA ARTIFICIAL

aplicado na agricultura sob a forma de biofertilizantes. Na FBN ocorre a reducao do dinitrigenio gasoso (N2) a amonia (NH4), mediante catalizacao realizada pelo Complexo da Nitrogenase. Este Complexo e codificado basicamente por um agrupamento (cluster) de genes conhecidos como nif. Esta pesquisa propoe, atraves de tecnicas e aplicacoes em Bioinformatica, o desenvolvimento de uma metodologia para mineracao de dados relacionados a genes nifHDKEN publicamente disponibilizadas pelo Centro Nacional para Informacoes de Biotecnologia (NCBI), atraves do Banco de Dados GenBank®; a classificacao automatica das informacoes atraves da implementacao e uso de uma rede neural artificial modelo FAN; o mapeamento relacional entre genes nif encontrados e seus respectivos organismos e o descritivo de um paralelo entre a literatura de referencia e os resultados encontrados. A automatizacao dos processos foi realizada mediante a criacao de programas (scripts) em linguagem de programacao Python, versao, 2.6, suplantada pela biblioteca de algoritmos utilitarios para Bioinformatica, BioPython, versao, 1.5. 2. O processo de coleta e mineracao de dados baseou-se em resultados obtidos atraves da execucao online da ferramenta NCBI BLASTP. Sobre os dados coletados foram aplicadas tecnicas para extracao de caracteristicas para posterior classificacao das informacoes via rede neural artificial. Para a maximizacao dos resultados referentes ao processo de aprendizagem da rede neural, aplicou-se ainda sobre os dados, a tecnica de co-aprendizado supervisionado. Os dados classificados e mapeados foram submetidos a uma pos-analise, visando ancorar as informacoes adquiridas com a literatura referencia da area. Ate a data de 25/11/2010 foram encontrados e classificados 14988 registros referentes a anotacoes de sequencias proteicas relacionadas a genes nifHDKEN, agrupados em 2125 organismos diferentes, considerando-se as estirpes dos mesmos. Sem considerar as estirpes dos organismos foram relacionados 646 organismos diferentes, contendo pelo menos um gene nif sequenciado, anotado, depositado e disponibilizado no NCBI GenBank. Considerando-se os 1425 genomas completos ja depositados no NCBI GenBank em 28/01/2011, 14,03% apresentam em sua anotacao, pelo menos um gene nif.
Haptic feedback system for robot-assisted surgery

Minimally invasive surgical procedures using long instruments have profoundly influenced modern surgery by decreasing invasiveness, therefore minimizing patient recovery time and cost. However, surgical procedures using long tools inserted through small ports on the body deprive surgeons of the sense of touch (haptics), depth perception, dexterity, and straightforward hand eye coordination that they are accustomed to in open procedures. While there have been significant advances in almost all of the above areas, haptic feedback systems for robot-assisted surgery are lacking in development. In this paper we present: 1) the development of accurate robot-arm dynamic model (using model-based control) with the goal of minimizing unwanted tool-tissue interaction forces in robot-assisted surgery, 2) the development of an ergonomic 7-DOF haptic feedback system, and 3) the recently developed laparoscopic grasper with force feedback capability attached to the end of the robot arm and controlled by the haptic device.
A novel image segmentation algorithm based on Hidden Markov Random Field model and Finite Mixture Model parameter estimation

Hidden Markov Random Field (HMRF) model and Finite Mixture Model (FMM) parameter estimation algorithm provides an interesting framework for image segmentation task, hence a technique that capitalizes on the benefits of both algorithms would achieve better performance. In this regard, we propose a new segmentation algorithm which combines with HMRF model and FMM parameter estimation algorithm. Firstly, we use a real-coded genetic algorithm based FMM to estimate image parameters. Secondly, according to the estimated image parameters, image pixels are classified into different classes through the HMRF segmentation framework. The performance of the proposed algorithm is tested on Berkeley image segmentation dataset. Experimental results have confirmed that the proposed algorithm offers a useful improvement of the segmentation accuracy over competing methodologies.
Response of streamflow to multiple earthquakes

We analyze the streamflow response of Sespe Creek, CA, to several large earthquakes. We find that flow increased after three earthquakes, and that the observed changes in flow have the same character. Both those earthquakes that induced static extension and those that induced static contraction cause flow to increase; streamflow thus appears to respond to dynamic strain. We find that all postseismic responses can be explained by a model in which pore pressure increases coseismically without any changes in hydraulic diffusivity. There is a particle velocity threshold in the range of 5–20 cm/s to induce the pore pressure increase.
Application of the translinear principle in digital circuits

The translinear principle, which is useful in the design of analog integrated circuits, can also be applied to the design of digital integrated circuits. As an example of this technique, a new nonsaturating bistable element is described, which operates according to the translinear principle and which is realizable with standard bipolar integrated circuit processes. The circuit can operate over a wide range of supply current from some milliamperes down to below 1 nA.
Structural and Reliability Analysis of Quality of Relationship Index in Cancer Patients

Among psychosocial factors affecting emotional adjustment and quality of life, social support is one of the most important and widely studied in cancer patients, but little is known about the perception of support in specific significant relationships in patients with cancer. This study examined the psychometric properties of the Quality of Relationship Inventory (QRI) by evaluating its factor structure and its convergent and discriminant validity in a sample of cancer patients. A total of 388 patients completed the QRI. Convergent validity was evaluated by testing the correlations between the QRI subscales and measures of general social support, anxiety and depression symptoms. Discriminant validity was examined by testing group comparison. The QRI's longitudinal invariance across time was also tested. Principal axis factor analysis with promax rotation identified three factors accounting for 42.99% of variance: perceived social support, depth, and interpersonal conflict. Estimates of reliability with McDonald's ω coefficient were satisfactory for all the QRI subscales (ω ranging from 0.75 – 0.85). Satisfaction from general social support was negatively correlated with the interpersonal conflict subscale and positively with the depth subscale. The interpersonal conflict and social support scales were correlated with depression and anxiety scores. We also found a relative stability of QRI subscales (measured 3 months after the first evaluation) and differences between partner status and gender groups. The Quality of Relationship Inventory is a valid tool for assessing the quality of social support in a particular relationship with cancer patients.
On precoding MIMO-FBMC with imperfect channel state information at the transmitter

This paper studies the impact of imperfect channel state information (CSI) due to limited feedback link on the performance of multi-user MIMO system using filter bank based multicarrier (FBMC) modulation. The system is composed of a transmitter performing Zero Forcing (ZF) precoding and single antenna receivers applying decoding techniques. Simulation-based results show that except when the number of users is less than the number of transmit antennas, the BER performance and capacity of FBMC and OFDM modulation are the same. These results are theoretically justified due to the distribution of the interfering terms. As in OFDM, depending on the number of interferers, for a given BER performance target, the required number of feedback bits per channel vector can be rather high. FBMC becomes attractive not only because it relaxes the synchronization with respect to OFDM, but also because it achieves the same performance results as OFDM for multiuser MIMO precoding even in the case of imperfect CSI at the transmitter.
Knowledge and interest∗ 1

Husserl saw as a reason for the crisis of a positivistic science its dissociation from practical interests. His remedy was to institute a purely contemplative attitude which should not only release the sciences from the grip of the illusion that the world is a ready‐made universe of facts to be grasped in purely descriptive terms, but also, by its own therapeutic powers, lead to ‘a new kind of practice’. In adhering to this traditional concept of the relation of knowledge to interest Husserl misconceived the scientific crisis. Even though phenomenological description would effectively dispel the illusion of objectivism, objectivism in no way prevents science from influencing practice; what was needed was not to restore the practical significance of the sciences by making them finally break with interest, but rather to reveal the true relationship of knowledge and interest which the objectivistic attitude conceals. After outlining the fundamental interests guiding the respective scientific enterprises, the.
Knowledge Based and Intelligent Information and Engineering Systems , KES 2016 , 5-7 September 2016 , York , United Kingdom Error Analysis of SaHiT-a Statistical Sanskrit-Hindi Translator

The paper shows a statistical Sanskrit-Hindi Translator and analyzes the errors being generated by the system. The System is being trained simultaneously on the platform the Microsoft Translator Hub (MTHub) and is intended only for simple Sanskrit prose texts. The training set includes 24K parallel sentences and 25k monolingual data with recent BLEU (Bilingual Evaluation Understudy) scores of 41 and above. The paper discusses the errors analysis of the system and suggests possible solutions. Further, it also focuses on the evaluation of MTHub system with BLEU metrics. For developing MT systems, the parallel Sanskrit-Hindi text corpora has been collected or developed manually from the literature, health, news and tourism domains. The paper also discusses issues and challenges in the development of translation systems for languages like Sanskrit. © 2016 The Authors. Published by Elsevier B.V. Peer-review under responsibility ofKES International.
Fitting Cells Into a Narrow  $V_{T}$  Interval: Physical Constraints Along the Lifetime of an Extremely Scaled NAND Flash Memory Array

This paper presents an in-depth comparative analysis of the major physical constraints to the width of the threshold-voltage distribution of a state-of-the-art NAND Flash array. The analysis addresses both time-0 placement by program-and-verify algorithms on fresh and cycled arrays and distribution widening during idle/bake periods. Results allow to identify how each physical effect impacts the threshold-voltage distribution as a function of array program conditions, temperature, cycling, and duration of idle/bake periods, providing clear hints for the design of next generation technology nodes.
A logic for reasoning about evidence and belief

In agent-based systems, an agent generally forms her belief based on evidence from multiple sources, such as messages from other agents or perception of the external environment. In this paper, we present a logic for reasoning about evidence and belief. Our framework not only takes advantage of the source-tracking capability of justification logic, but also allows the distinction between the actual observation and simply potential admissibility of evidence. We present the axiomatization for the basic logic and its dynamic extension, investigate its properties, and use a running example to show its applicability to information fusion for autonomous agents.
Isolation and Preliminary Characterization of Twenty Bacteriophages Infecting Either Brevibacterium or Arthrobacter Strains

Thirty-seven bacteriophages plaquing on Corynebacterium, Brevibacterium, or Arthrobacter strains were isolated from soil or vegetation samples. Restriction analysis of phage DNA indicated that 20 phages were unique; one of them produced entirely turbid plaques on Brevibacterium ketoglutamicum and was characterized as temperate. All these phages were assigned to group B of the classification of Bradley (Bacteriol. Rev. 31:230-314, 1967) and had relatively narrow host ranges.
Performance of power controlled MIMO-OFDM systems with multibeamformer

In this paper, we propose the new technique adopting power control to MIMO(multi-input multi-output)OFDM(orthogonal frequency division multiplexing) system with multi-beamformer. Through the proposed technique, we can iteratively control the transmitting power and update the weight of beamformer simultaneously. Therefore, the beam is formed toward the desired direction and the SNIR at each subcarrier become the target SNIR. And the performance of MIMO-OFDM system is very improved. The improvement in bit error rate is investigated through computer simulation of a MIMO-OFDM system with the proposed approach.
Image cytometer method for automated assessment of human spermatozoa concentration

In the basic clinical work‐up of infertile couples, a semen analysis is mandatory and the sperm concentration is one of the most essential variables to be determined. Sperm concentration is usually assessed by manual counting using a haemocytometer and is hence labour intensive and may be subjected to investigator bias. Here we show that image cytometry can be used to accurately measure the sperm concentration of human semen samples with great ease and reproducibility. The impact of several factors (pipetting, mixing, round cell content, sperm concentration), which can influence the read‐out as well as inter‐operator and ‐cytometer variation on two different image cytometers (NC‐3000 and SP‐100) were evaluated. Furthermore, 725 semen samples were assessed both by manual assessment (WHO recommended method) and by image cytometry and tight correlations between the measured concentrations were shown. Moreover, by evaluation of repeated measurements it appeared that image cytometry produced more consistent and accurate measurements than manual counting of human spermatozoa concentration. In conclusion, image cytometry provides an appealing substitute of manual counting by providing reliable, robust and easy measurement of human sperm concentration.
Reliability Issues in RF-MEMS Switches Submitted to Cycling and ESD Test

RF-MEMS switches have potential prerogatives better than traditional solid state devices, but the presence of mechanical movement introduces new classes of reliability issues that are not found in traditional devices. In this work we have carried out an extensive electrical characterization in order to identify the dynamic response of RF-MEMS switches driven in different conditions of voltage and actuation time. Furthermore, probably due to their recent introduction to the market, the robustness of MEMS submitted to ESD stresses has been also poorly investigated. We have studied, for the first time to our knowledge, the effects of TLP-ESD events on RF-MEMS switches identifying a very critical ESD sensitivity
Acceptance rate of long‐acting injection after short information: a survey in patients with first‐ and multiple‐episode psychoses and their caregivers

The aim of this study was to investigate the acceptance rates of long‐acting injection (LAI) in patients with first‐ and multiple‐episode psychoses before and after providing concise information about LAI to the patients and their caregivers. Additionally, predictors of choosing LAI and the reasons for reluctance to accept LAI were also evaluated.
Association of vegetables and fruits consumption with sarcopenia in older adults: the Fourth Korea National Health and Nutrition Examination Survey.

BACKGROUND several studies have found nutrients, including antioxidants, to be associated with sarcopenia. However, whether specific foods, such as vegetables and fruits, are associated with sarcopenia has not been studied. OBJECTIVE to examine the association of the frequency of vegetables and fruits consumption with sarcopenia in older people. METHODS this study used cross-sectional data from the Fourth Korea National Health and Nutrition Examination Survey in 2008-09. Subjects were community-dwelling 823 men and 1,089 women aged ≥65 years. Frequency of food group consumption was obtained by using the food frequency questionnaire. Body composition was measured with the dual-energy X-ray absorptiometry and sarcopenia was defined as appendicular lean mass adjusted for height and fat mass. Logistic regression was used to assess the association of the frequency of food group consumption with sarcopenia, controlling for sociodemographics and health-related variables. RESULTS dietary intake of vegetables, fruits and both vegetables and fruits was associated with a significantly reduced risk of sarcopenia after controlling for covariates in men (P = 0.026 for trend, P = 0.012 for trend, P = 0.003 for trend, respectively). Men in the highest quintile, compared with those in the lowest quintile, of vegetables [odds ratio (OR) = 0.48; 95% confidence interval (CI): 0.24-0.95], fruits (OR = 0.30; 95% CI: 0.13-0.70) and vegetables and fruits consumption (OR = 0.32; 95% CI: 0.16-0.67) demonstrated a lower risk of sarcopenia. In women, high consumption of fruits demonstrated a lower risk of sarcopenia (OR = 0.39; 95% CI: 0.18-0.83). CONCLUSION frequent vegetables and fruits consumption was inversely associated with sarcopenia in older adults.