Miracle-dz/UniFAR-FTUs huggingface dataset:
Analytical Expression Based Design of a Low-Voltage FD-SOI CMOS Low-Noise Amplifier

We propose a design methodology of a low-voltage CMOS low-noise amplifier (LNA) consisting of a common-source and a common-gate stages. We first derive equations of power gain, noise figure (NF) and input third-order intercept point (IIP3) of the two-stage LNA. A design methodology of the LNA is presented by using graphs based on analytical equations. A 1-V 5.4-GHz LNA was implemented in 0.15-μm fully-depleted silicon-on-insulator (FD-SOI) CMOS technology. Measurement results show a power gain of 23 dB, NF of 1.7 dB and IIP3 of -6.1 dBm with a power consumption of 8.3 mW. These measured results are consistent with calculated results, which ensures the validity of the derived equations and the proposed design methodology.
Cloud-Based Geospatial 3D Image Spaces - A Powerful Urban Model for the Smart City

In this paper, we introduce the concept and an implementation of geospatial 3D image spaces as new type of native urban models. 3D image spaces are based on collections of georeferenced RGB-D imagery. This imagery is typically acquired using multi-view stereo mobile mapping systems capturing dense sequences of street level imagery. Ideally, image depth information is derived using dense image matching. This delivers a very dense depth representation and ensures the spatial and temporal coherence of radiometric and depth data. This results in a high-definition WYSIWYG (“what you see is what you get”) urban model, which is intuitive to interpret and easy to interact with, and which provides powerful augmentation and 3D measuring capabilities. Furthermore, we present a scalable cloud-based framework for generating 3D image spaces of entire cities or states and a client architecture for their web-based exploitation. The model and the framework strongly support the smart city notion of efficiently connecting the urban environment and its processes with experts and citizens alike. In the paper we particularly investigate quality aspects of the urban model, namely the obtainable georeferencing accuracy and the quality of the depth map extraction. We show that our image-based georeferencing approach is capable of improving the original direct georeferencing accuracy by an order of magnitude and that the presented new multi-image matching approach is capable of providing high accuracies along with a significantly improved completeness of the depth maps.
Chemical neuroanatomy of the dorsal raphe nucleus and adjacent structures of the mouse brain

Serotonin neurons play a major role in many normal and pathological brain functions. In the rat these neurons have a varying number of cotransmitters, including neuropeptides. Here we studied, with histochemical techniques, the relation between serotonin, some other small‐molecule transmitters, and a number of neuropeptides in the dorsal raphe nucleus (DRN) and the adjacent ventral periaqueductal gray (vPAG) of mouse, an important question being to establish possible differences from rat. Even if similarly distributed, the serotonin neurons in mouse lacked the extensive coexpression of nitric oxide synthase and galanin seen in rat. Although partly overlapping in the vPAG, no evidence was obtained for the coexistence of serotonin with dopamine, substance P, cholecystokinin, enkephalin, somatostatin, neurotensin, dynorphin, thyrotropin‐releasing hormone, or corticotropin‐releasing hormone. However, some serotonin neurons expressed the γ‐aminobutyric acid (GABA)‐synthesizing enzyme glutamic acid decarboxylase (GAD). Work in other laboratories suggests that, as in rat, serotonin neurons in the mouse midline DRN express the vesicular glutamate transporter 3, presumably releasing glutamate. Our study also shows that many of the neuropeptides studied (substance P, galanin, neurotensin, dynorphin, and corticotropin‐releasing factor) are present in nerve terminal networks of varying densities close to the serotonin neurons, and therefore may directly or indirectly influence these cells. The apparently low numbers of coexisting messengers in mouse serotonin neurons, compared to rat, indicate considerable species differences with regard to the chemical neuronatomy of the DRN. Thus, extrapolation of DRN physiology, and possibly pathology, from rat to mouse, and even human, should be made with caution. J. Comp. Neurol. 518:3464–3494, 2010. © 2010 Wiley‐Liss, Inc.
Searching for suitable classification methods in the discrimination of cold/heat herbal nature with Weka

Recent years have witnessed a rapid growth of data mining approaches in studies of Traditional Chinese Medicine (TCM), especially the medical theories. Using Weka workbench, we constructed seven representative classification models to discriminate the cold/heat nature of Chinese Herbal Medicine (CHM) based on efficacy attributes and evaluated them by three kinds of validations. The results showed that naive Bayes, Bayesian network and logistic regression performed efficient discrimination on the unseen test set after a proper attribute selection, while random tree, multi-layer perceptron network, logistic regression and PART algorithm might be suitable for the retrospective analysis with all attributes. This work could provide a methodology reference for further discrimination researches and facilitate the scientific explanation of these CHM concepts.
Trunk's Natural Inclination Influences Stance Limb Kinetics, but Not Body Kinematics, during Gait Initiation in Able Men

The imposing mass of the trunk in relation to the whole body has an important impact on human motion. The objective of this study is to determine the influence of trunk's natural inclination - forward (FW) or backward (BW) with respect to the vertical - on body kinematics and stance limb kinetics during gait initiation. Twenty-five healthy males were divided based on their natural trunk inclination (FW or BW) during gait initiation. Instantaneous speed was calculated at the center of mass at the first heel strike. The antero-posterior impulse was calculated by integrating the antero-posterior ground reaction force in time. Ankle, knee, hip and thoraco-lumbar (L5) moments were calculated using inverse dynamics and only peaks of the joint moments were analyzed. Among all the investigated parameters, only joint moments present significant differences between the two groups. The knee extensor moment is 1.4 times higher (P<0.001) for the BW group, before the heel contact. At the hip, although the BW group displays a flexor moment 2.4 times higher (P<0.001) before the swing limb's heel-off, the FW group displays an extensor moment 3.1 times higher (P<0.01) during the swing phase. The three L5 extensor peaks after the toe-off are respectively 1.7 (P<0.001), 1.4 (P<0.001) and 1.7 (P<0.01) times higher for the FW group. The main results support the idea that the patterns described during steady-state gait are already observable during gait initiation. This study also provides reference data to further investigate stance limb kinetics in specific or pathologic populations during gait initiation. It will be of particular interest for elderly people, knowing that this population displays atypical trunk postures and present a high risk of falling during this forward stepping.
Fiedler Vectors and Elongation of Graphs: A Threshold Phenomenon on a Particular Class of Trees

Let G be a graph. Its laplacian matrix L(G) is positive and we consider eigenvectors of its first non-null eigenvalue that are called Fiedler vector. They have been intensively used in spectral partitioning problems due to their good empirical properties. More recently Fiedler vectors have been also popularized in the computer graphics community to describe elongation of shapes. In more technical terms, authors have conjectured that extrema of Fiedler vectors can yield the diameter of a graph. In this work we present (FED) property for a graph G, i.e. the fact that diameter of a graph can be obtain by Fiedler vectors. We study in detail a parametric family of trees that gives indeed a counter example for the previous conjecture but reveals a threshold phenomenon for (FED) property. We end by an exhaustive enumeration of trees with at most 20 vertices for which (FED) is true and some perspectives.
Transcranial Alternating Current Stimulation Enhances Individual Alpha Activity in Human EEG

Non-invasive electrical stimulation of the human cortex by means of transcranial direct current stimulation (tDCS) has been instrumental in a number of important discoveries in the field of human cortical function and has become a well-established method for evaluating brain function in healthy human participants. Recently, transcranial alternating current stimulation (tACS) has been introduced to directly modulate the ongoing rhythmic brain activity by the application of oscillatory currents on the human scalp. Until now the efficiency of tACS in modulating rhythmic brain activity has been indicated only by inference from perceptual and behavioural consequences of electrical stimulation. No direct electrophysiological evidence of tACS has been reported. We delivered tACS over the occipital cortex of 10 healthy participants to entrain the neuronal oscillatory activity in their individual alpha frequency range and compared results with those from a separate group of participants receiving sham stimulation. The tACS but not the sham stimulation elevated the endogenous alpha power in parieto-central electrodes of the electroencephalogram. Additionally, in a network of spiking neurons, we simulated how tACS can be affected even after the end of stimulation. The results show that spike-timing-dependent plasticity (STDP) selectively modulates synapses depending on the resonance frequencies of the neural circuits that they belong to. Thus, tACS influences STDP which in turn results in aftereffects upon neural activity. The present findings are the first direct electrophysiological evidence of an interaction of tACS and ongoing oscillatory activity in the human cortex. The data demonstrate the ability of tACS to specifically modulate oscillatory brain activity and show its potential both at fostering knowledge on the functional significance of brain oscillations and for therapeutic application.
Bit-precise formal verification of discrete-time MATLAB/Simulink Models using SMT Solving

Matlab/Simulink is widely used for model-based development of embedded systems. In particular, safety-critical applications are increasingly designed in Matlab/Simulink. At the same time, formal verification techniques for Matlab/Simulink are still rare and existing ones do not scale well. In this paper, we present an automatic transformation from discrete-time Matlab/Simulink to the input language of UCLID. UCLID is a toolkit for system verification based on SMT solving. Our approach enables us to use a combination of bounded model checking and inductive invariant checking for the automatic verification of Matlab/Simulink models. To demonstrate the practical applicability of our approach, we have successfully verified the absence of one of the most common errors, i. e. variable over- or underflow, for an industrial design from the automotive domain.
MIA: A UIMA-Based Microarray Image Analysis System

Microarray is an emerging technology that allows biologists to monitor expression levels of thousands of genes in parallel. In this proposal, we report an UIMA based microarray image analysis (MIA) system for solving two existing critical problems in microarray image analysis and data management. MIA system is designed to offer a flexible, scalable, and extensible environment, and to provide accurate microarray analysis results without the need of manually correcting the image processing results.
The Rapid Emergence of Stimulus Specific Perceptual Learning

Is stimulus specific perceptual learning the result of extended practice or does it emerge early in the time course of learning? We examined this issue by manipulating the amount of practice given on a face identification task on Day 1, and altering the familiarity of stimuli on Day 2. We found that a small number of trials was sufficient to produce stimulus specific perceptual learning of faces: on Day 2, response accuracy decreased by the same amount for novel stimuli regardless of whether observers practiced 105 or 840 trials on Day 1. Current models of learning assume early procedural improvements followed by late stimulus specific gains. Our results show that stimulus specific and procedural improvements are distributed throughout the time course of learning.
A NEW BACK-PROPAGATION ALGORITHM FOR MODELLING AIR QUALITY TIME SERIES

In this paper a new Back-propagation algorithm appropriately studied for modelling air pollution time series is proposed. The underlying idea is that of modifying the error definition in order to improve the capability of the model to forecast episodes of poor air quality. In the paper five different expressions of error definition are proposed and their performances are rigorously evaluated in the framework of a real case study which refer to the modelling of 1 hour average daily maximum Ozone concentration recorded in the industrial area of Melilli (Siracusa, Italy). Results indicate that despite the traditional and the proposed version of Back-propagation performs quite similarly in terms of Success Index which gives a cumulative evaluation of the model, this latter algorithm performs better in terms of the percentage of exceedences correctly forecast. Copyright c ©2005 IFAC
Journal of Internet Banking and Commerce towards a Business Intelligence Framework for Healthcare Safety

Business and Internet Technologies. His research focuses on electronic business strategies, global supply chain and international trade. He studies in particular the links between managerial culture, organizational innovation and organizational performance. which he joined in 2002 after working for Mitel Networks as a senior researcher. His research interests include scenario-based software engineering, requirements engineering, business process modeling, aspect-oriented modeling, and healthcare informatics. He is also Associate Rapporteur for requirements languages at the Carlos Villar Corrales is a Master's student in the e-Business Technology program of the University of Ottawa. He has worked for Bell Canada as a Software Developer and has international experience working for the Cuban healthcare system. His areas of interest include software engineering design and architecture, project management and healthcare informatics. Abstract In Canadian hospitals, literature estimates the number of adverse events that are preventable to be 70,000 annually. As a first step towards controlling and reducing such undesirable safety outcomes, it is necessary to quantify and understand their causes. In this paper, we present a Business Intelligence framework to support the definition and reporting of metrics in healthcare. We tailor the Goal-Question-Metrics framework to the specifics of adverse event monitoring in a teaching hospital, and prototype a solution using the IBM Cognos 8 tool.
MoNetFamily: a web server to infer homologous modules and module–module interaction networks in vertebrates

A module is a fundamental unit forming with highly connected proteins and performs a certain kind of biological functions. Modules and module–module interaction (MMI) network are essential for understanding cellular processes and functions. The MoNetFamily web server can identify the modules, homologous modules (called module family) and MMI networks across multiple species for the query protein(s). This server first finds module candidates of the query by using BLASTP to search the module template database (1785 experimental and 1252 structural templates). MoNetFamily then infers the homologous modules of the selected module candidate using protein–protein interaction (PPI) families. According to homologous modules and PPIs, we statistically calculated MMIs and MMI networks across multiple species. For each module candidate, MoNetFamily identifies its neighboring modules and their MMIs in module networks of Homo sapiens, Mus musculus and Danio rerio. Finally, MoNetFamily shows the conserved proteins, PPI profiles and functional annotations of the module family. Our results indicate that the server can be useful for MMI network (e.g. 1818 modules and 9678 MMIs in H. sapiens) visualizations and query annotations using module families and neighboring modules. We believe that the server is able to provide valuable insights to determine homologous modules and MMI networks across multiple species for studying module evolution and cellular processes. The MoNetFamily sever is available at http://monetfamily.life. nctu.edu. tw.
Stimulation of Gross Chromosomal Rearrangements by the Human CEB1 and CEB25 Minisatellites in Saccharomyces cerevisiae Depends on G-Quadruplexes or Cdc13

Genomes contain tandem repeats that are at risk of internal rearrangements and a threat to genome integrity. Here, we investigated the behavior of the human subtelomeric minisatellites HRAS1, CEB1, and CEB25 in Saccharomyces cerevisiae. In mitotically growing wild-type cells, these GC–rich tandem arrays stimulate the rate of gross chromosomal rearrangements (GCR) by 20, 1,620, and 276,000-fold, respectively. In the absence of the Pif1 helicase, known to inhibit GCR by telomere addition and to unwind G-quadruplexes, the GCR rate is further increased in the presence of CEB1, by 385-fold compared to the pif1Δ control strain. The behavior of CEB1 is strongly dependent on its capacity to form G-quadruplexes, since the treatment of WT cells with the Phen-DC3 G-quadruplex ligand has a 52-fold stimulating effect while the mutation of the G-quadruplex-forming motif reduced the GCR rate 30-fold in WT and 100-fold in pif1Δ cells. The GCR events are telomere additions within CEB1. Differently, the extreme stimulation of CEB25 GCR depends on its affinity for Cdc13, which binds the TG-rich ssDNA telomere overhang. This property confers a biased orientation-dependent behavior to CEB25, while CEB1 and HRAS1 increase GCR similarly in either orientation. Furthermore, we analyzed the minisatellites‚ distribution in the human genome and discuss their potential role to trigger subtelomeric rearrangements.
The Role of Attending Center-Based Care for Kindergarten-Aged Children with Disabilities

Background/Context Families have been increasingly utilizing center-based care both during prekindergarten as well as before/after school during kindergarten (CBC-K), and the literature has addressed the relative effectiveness of attending the former on early schooling outcomes. However, missing in the field is an analysis of the efficacy of attending the latter. To compound this, no research has considered how attending CBC-K is associated with early outcomes for children with disabilities. Purpose/Objective/Research Question/Focus of the Study There were four research questions: 1. Do kindergarten academic outcomes differ for children with disabilities who did and did not attend CBC-K? 2. Do kindergarten socioemotional outcomes differ for children with disabilities who did and did not attend CBC-K? 3. Do these relationships differ by disability? 4. Do these relationships differ by socioeconomic status (SES)? Population/Participants/Subjects This study utilizes data from the newly released Early Childhood Longitudinal Study – Kindergarten Class of 2011, which represents the most contemporary national-level data available to study these research questions. Research Design This study examined two sets of outcomes. The first set included reading and math achievement. The second set included socioemotional scales based on both teacher and parent ratings of child behavior. These outcomes were regressed on a measure for having attended CBC-K as well as a wide span of child and family characteristics. Error terms were clustered at the school level to account for nested data. Findings The results based on the first and second research questions indicated that for children with disabilities, there was a negative association between attending CBC-K and academic and socioemotional measures compared to not attending CBC-K. As for the third research question, children with emotional or learning/communication disabilities had the largest observed negative association with the set of outcomes from having attended CBC-K (along with children with developmental delays when considering achievement outcomes) compared to children from the same groups who did not attend CBC-K. As for the fourth research question, there was little difference of attending versus not attending CBC-K by SES. Conclusions/Recommendations When considering transitions into kindergarten, attending CBC-K certainly appears to have an effect, albeit negative for both children with and without disabilities. Having documented these patterns, this study helped to provide a well-rounded portrait into how center-based care affects outcomes for school-aged children.
Identification of MDOF nonlinear system using genetic algorithm optimization

This paper presents a frequency domain method for the characterization and identification of localized nonlinearities in mechanical systems. The nonlinearities are determined by recovering nonlinear restoring forces which are computed at each DOF. The non-zero values of the nonlinear force indicate nonlinearity at the corresponding DOFs and the variation of the nonlinear force with displacement amplitude, the so-called force footprint, characterizes the type of nonlinearity. A numerical technique of shape-matching is used to compare the actual force foot-print with standard footprints for different nonlinearities. Once the location and the type of nonlinearity are determined, a genetic algorithm based optimization is used to extract the actual values of the nonlinear parameters. The method developed allows simultaneous identification of one or more types of nonlinearity at any given DOF. Parametric identification is possible even if the type of nonlinearity is not known in advance, a very useful feature when type characterization is difficult. The proposed method is tested on simulated response data for a representative structure. Different combinations of localized cubic stiffness nonlinearity and clearance nonlinearity are considered to explore the method’s capabilities. Finally, the response data are polluted with random noise to examine the performance of the method in the presence of measurement noise. It has been found that the method works well in presence of measurement noise. Proceedings of the IMAC-XXVII February 9-12, 2009 Orlando, Florida USA ©2009 Society for Experimental Mechanics Inc.
Solutions of Twisted Word Equations, EDT0L Languages, and Context-Free Groups

We prove that the full solution set of a twisted word equation with regular constraints is an EDT0L language. It follows that the set of solutions to equations with rational constraints in a context-free group (= finitely generated virtually free group) in reduced normal forms is EDT0L. We can also decide whether or not the solution set is finite, which was an open problem. Moreover, this can all be done in PSPACE. Our results generalize the work by Lohrey and Senizergues (ICALP 2006) and Dahmani and Guirardel (J. of Topology 2010) with respect to complexity and with respect to expressive power. Both papers show that satisfiability is decidable, but neither gave any concrete complexity bound. Our results concern all solutions, and give, in some sense, the "optimal" formal language characterization.