Miracle-dz/UniFAR-FTUs huggingface dataset:
An evaluation of symbolic computation algorithms for the extraction of small signal parameters of a linear circuit

Using symbolic algorithms for small signal circuit parameter extraction could make possible implementing extraction programs which, unlike those based on pure numerical methods, no longer require initial (“start”) values for the parameters being extracted, thus ensuring that the final result corresponds to the true global minimum of the error function. Solving the extraction problem, in the particular case of a linear circuit, can be reduced to the math problem of determining the solutions of a system of polynomial equations. During resolution, classical mathematical algorithms used in the symbolic computing phase could generate during execution symbolic polynomials of size that could increase too fast (by a double exponential law) with the size of the input polynomials (thus making the symbolic computation useless), but in the case of specialized algorithms the size of intermediate polynomials could grow much slower (only by a polynomial law). An insight of the state of art of computational algebra can identify the main algorithms having good performance in terms of computational complexity to be used for symbolic variables elimination between the equations of a polynomial system. This paper analyzes, using a particular circuit, the performance of existing implementations for CAD math systems, which use symbolic methods based on different mathematical approaches, and compares the performances of these programs.
Detection of tones in low-noise noise : further evidence for the role of envelope fluctuations

This paper investigates the role of envelope fluctuations in simultaneous masking conditions. Thresholds for tones in noise with a flat temporal envelope (low-noise noise, LNN) were compared with those in Gaussian noise. All measurements were performed with a running-noise presentation of 500-ms maskers. The sinusoidal signal was spectrally and temporally centered in the masker. The main findings were: (a) The 5.5-dB threshold difference between 100-Hz-wide Gaussian and LNN maskers at 1 kHz that was previously observed using frozen noise (cf. Hartmann and Pumplin [J. Acoust. Soc. Am. 83. 2277-2289 (1988)]) is also apparant for running noise, although thresholds are generally higher in the latter condition. (b) The threshold difference between Gaussian and LNN maskers at 1 kHz reaches a maximum of 9.4 dB at a masker bandwidth of 25 Hz, while at 10 kHz, the difference reaches a maximum of 15 dB at bandwidths of 50 and 100 Hz. For a 100-Hz-wide masker presented at different center frequencies, there is no advantage for LNN maskers below 1 kHz. Towards higher frequencies, the difference between the two noises increases and reaches about 15 dB at 10 kHz. (c) At 1 kHz with a 100-Hz bandwidth, decreasing the signal duration from 500 to 20 ms increases the threshold difference to 7.6 dB. (d) Thresholds in a dichotic condition, in which the masker is in phase and the signal is out of phase, lie within 2 dB for the two noise types, and are nearly constant for masker bandwidths between 5 and 100 Hz. It is argued that the primary detection cue in LNN is not an increase in energy, but rather an increase in envelope fluctuations due to the addition of the signal. This hypotheses is supported by simulations with an auditory-filterbank model. The simulations further suggest that, for a large LNN advantage, it is not sufficient that the LNN envelope is flat at the output of the on-frequency filter. In addition, it is crucial that off-frequency filters also yield a flat temporal envelope.
The Impact of LEP G-2548A and LEPR Gln223Arg Polymorphisms on Adiposity, Leptin, and Leptin-Receptor Serum Levels in a Mexican Mestizo Population

The polymorphisms in leptin (LEP G-2548A) and leptin-receptor (LEPR Gln223Arg) seem to influence obesity and lipid metabolism among others. The aim of this study was to investigate the effect of these polymorphisms on adiposity, leptin (sLeptin), and leptin-receptor (sLeptin-receptor) serum concentrations as well as inflammation markers. We included 382 adults originally from Western Mexico. They were genotyped by PCR-RFLP. Obese individuals showed higher sLeptin (58.2 ± 31.35 ng/mL) but lower sLeptin-receptor (12.6 ± 3.74 ng/mL) levels than normal weight ones (17.6 ± 14.62 ng/mL, 17.4 ± 4.62 ng/mL, resp.), P < 0.001. Obese subjects carriers of Arg/Arg genotype had more (P = 0.016) sLeptin-receptor (14.7 ± 4.96 ng/mL) and less (P = 0.004) sLeptin (44.0 ± 28.12 ng/mL) levels than Gln/Gln genotype (11.0 ± 2.92 ng/mL, 80.3 ± 33.24 ng/mL, resp.). Body fat mass was lower (P from 0.003 to 0.045) for A/A (36.5% ± 6.80) or Arg/Arg (36.8% ± 6.82) genotypes with respect to G/G (41.3% ± 5.52) and G/A (41.6% ± 5.61) or Gln/Gln (43.7% ± 4.74) and Gln/Arg (41.0% ± 5.52) genotypes carriers. Our results suggest that LEP -2548A and LEPR 223Arg could be genetic markers of less body fat mass accumulation in obese subjects from Western Mexico.
Do Hedge Funds Supply or Demand Liquidity?

Regressing hedge funds’ returns on returns to a long-short contrarian trading strategy, a measure of the returns from providing liquidity, we find that hedge funds typically supply liquidity in the stock market. In the cross-section, strict redemption restrictions and large fund size increase funds’ propensity to supply liquidity. In time-series, poor market liquidity and good funding conditions increase funds’ propensity to supply liquidity. Although the hedge funds typically supply liquidity, during crises they demand liquidity. We also find that increases in the amount of speculative capital improve market liquidity and reduce the amount of short-term return reversals and volatility.
Application of the Fuzzy Image Processing Based on Wavelet Optics

In this paper, the theory of the wavelet optical imaging system is analyzed. The wavelet scale function is introduced to describe the light spot of fuzzy image. The extent of the fuzzy and the transform function of the imaging system is related with the out-focus amount along the optical axis direction. Finally, the simulation experiment of the wavelet optical fuzzy image processing is given with the introduced Gaussian linear frequency-modulate complex wavelet. The fuzzy image processing based on wavelet optical is feasible. A new way of fuzzy image recovery is put forward.
Adaptive access policy for the Linux kernel

SELinux, that has stricter access control mechanisms than traditional UNIX/Linux, is thought to be an effective solution for server-side fortification. Some of SELinux's behavior toward actual incidents shows its potential as an intrusion detection system (IDS), but, still, it is nothing more than a logging facility. Further improvements are needed for SELinux, not only to detect incidents but also to deal with them. This paper describes the autonomous defense functionality called "Linux Kernel based IDS" as well as its implementation.
Multiple-GPUs Algorithm for Lattice Boltzmann Method

It is studied about parallel algorithm of lattice Boltzmann method. The data's arrangement, commutation and computational progress are redesigned in a marriage of message passing interface and general purpose graphic processing Units. On the single-GPU, novel techniques appearing in shader model 3.0 such as frame buffer object (FBO), multiple-channels-rendering and, rendering-to-textures are used to improve computational efficiency. On multiple-GPUs, MPI is used to extend available mesh size and accomplish parallel algorithm. Consequently, the problem of excessively enormous mesh such as the size of 1024*1024, which could not be calculated on single GPU, is resolved in this paper. Moreover, the computational time of the instance-velocity vector of incompressible fluid is merely 0.585 second/step, a speed which is about 5.0 times faster than that of a single CPU implementation.
MEG studies of motor cortex gamma oscillations: evidence for a gamma “fingerprint” in the brain?

The human motor cortex exhibits transient bursts of high frequency gamma oscillations in the 60–90 Hz range during movement. It has been proposed that gamma oscillations generally reflect local intracortical activity. However, movement-evoked gamma is observed simultaneously in both cortical and subcortical (basal ganglia) structures and thus appears to reflect long-range cortical-subcortical interactions. Recent evidence suggests that gamma oscillations do not simply reflect sensory reafference, but have a facilitative role in movement initiation. Here we summarize contributions of MEG to our understanding of movement-evoked gamma oscillations, including evidence that transient gamma bursts during the performance of specific movements constitutes a stereotyped spectral and temporal pattern within individuals—a gamma “fingerprint”—that is highly stable over time. Although their functional significance remains to be fully understood, movement-evoked gamma oscillations may represent frequency specific tuning within cortical-subcortical networks that can be monitored non-invasively using MEG during a variety of motor tasks, and may provide important information regarding cortical dynamics of ongoing motor control.
RGBD Point Cloud Alignment Using Lucas–Kanade Data Association and Automatic Error Metric Selection

We propose to overcome a significant limitation of the iterative closest point (ICP) algorithm used by KinectFusion, namely, its sole reliance upon geometric information. Our approach uses both geometric and color information in a direct manner that uses all the data in order to accurately estimate camera pose. Data association is performed by Lucas-Kanade to compute an affine warp between the color images associated with two RGBD point clouds. A subsequent step then estimates the Euclidean transformation between the point clouds using either a point-to-point or point-to-plane error metric, with a novel method based on a normal covariance test for automatically selecting between them. Together, Lucas-Kanade data association with covariance testing enables robust camera tracking through areas of low geometric features, without sacrificing accuracy in environments in which the existing ICP technique succeeds. Experimental results on several publicly available datasets demonstrate the improved performance both qualitatively and quantitatively.
Detecting Boredom in Meetings

This paper provides an introduction into the concept of boredom and it’s formal definition. Next it presents signs of boredom that where observed from the meeting video corpus from the AMI project at the University of Twente. As much as possible these observations are supported by literature. Lastly, a series of automated detection techniques are summarized that might be successful in detecting these signs of boredom and ultimately boredom itself.
Separation of Concerns and Generic Design

Generic design and separation of concerns are two important principles to better control software complexity, during development, maintenance and reuse. This paper explores the interplay between these two principles. While there is an overlapping area where the goals, and to some extent technical means to achieve these goals, meet, there are also areas that belong exclusively to the domain of one of the principles only.
A Foundational Architecture for Artificial General Intelligence

Implementing and fleshing out a number of psychological and neuroscience theories of cognition, the LIDA conceptual model aims at being a cognitive “theory of everything. ” With modules or processes for perception, working memory, episodic memories, “consciousness,” procedural memory, action selection, perceptual learning, episodic learning, deliberation, volition, and non-routine problem solving, the LIDA model is ideally suited to provide a working ontology that would allow for the discussion, design, and comparison of AGI systems. The LIDA architecture is based on the LIDA cognitive cycle, a sort of “cognitive atom. ” The more elementary cognitive modules and processes play a role in each cognitive cycle. Higher-level processes are performed over multiple cycles. In addition to giving a quick overview of the LIDA conceptual model, and its underlying computational technology, we argue for the LIDA architecture's role as a foundational architecture for an AGI. Finally, lessons For AGI researchers drawn from the model and its architecture are discussed.
PAPR Reduction in OFDM Systems using Non-Linear Companding Transform

In this paper a non-linear companding transform is proposed which can effectively reduce the PAPR value in OFDM systems. High value of PAPR has undesirable effects on the performance of wireless communication systems. Various companding schemes are used to reduce the problem of PAPR in orthogonal frequency division multiplexing schemes. High PAPR drives the power amplifiers used at the transmitter’s side into non-linear region and leads to high power dissipation in hand held devices. The proposed NCT has the capability to transform power and amplitude of the original OFDM signal into a uniform distribution which leads to the reduction of PAPR.
Rapid estimation of true Direction Of Arrival for dielectric lens based adaptive array antennas

Smart antenna involves array processing to manipulate the signals induced on various antenna elements to accomplish beam steering and improve interference rejection. To improve directivity a shaped dielectric lens is used to further collimate the rays in a specified direction and help reduce interference. Direction Of Arrival (DOA) estimation algorithms specifically Multiple SIgnal Classification (MUSIC) and Minimum Variance Distortionless Response (MVDR) are employed for a planar array - shaped dielectric lens combination to locate a desired user. Refractive effect of the lens has to be compensated for in these algorithms rapidly in real time to extract the true arrival angles. Geometrical optics is employed to trace the rays from an aperture in front of the lens through the shaped lens boundaries to the individual antenna elements to determine the DOA of the user signal. Angle dependent modifications for the DOA of the signal in both elevation and azimuth planes have been introduced to correct for the refractive effects of the lens and extract the correct angle of arrival using a new mapped column peak search technique.
Alterations in Local Cerebral Glucose Utilization during Hemorrhagic Hypotension in the Rat

The alterations in local cerebral glucose utilization in 58 anatomically discrete regions which occur during a period of hemorrhagic hypotension have been investigated in conscious rats, using the quantitative autoradiographic 14C-deoxyglucose technique. Hemorrhagic hypotension (mean arterial pressure reduced by approximately 50 mm Hg) effected significant increases in glucose utilization in eight areas of the central nervous system, namely, the nucleus of the tractus solitarius (glucose utilization increased by 38%), the dorsal motor nucleus of the vagus (by 36%), locus coeruleus (by 38%), lateral habenular nucleus (by 40%), periventricular nucleus of the hypothalamus (by 41%), paraventricular nucleus of the hypothalamus (by 97%), supraoptic nucleus (by 86%), and the interstitial nucleus of the stria terminalis (by 84%). In five of these eight areas (nucleus of the tractus solitarius, dorsal motor nucleus of the vagus, paraventricular and supraoptic nuclei, and the interstitial nucleus of the stria terminalis), a significant relationship could be demonstrated between the level of glucose utilization and mean arterial blood pressure. In the majority of the CNS regions examined (neocortex, hippocampus, thalamus, extrapyramidal and motor areas), hemorrhagic hypotension was without significant effect upon local cerebral glucose utilization. The results provide direct evidence of the functional involvement of specific brain areas of conscious rats (thus obviating complicating anesthetic influences) in the response of the CNS to hemorrhagic hypotension.
NF-κB drives acquired resistance to a novel mutant-selective EGFR inhibitor

The clinical efficacy of EGFR tyrosine kinase inhibitors (TKIs) in non-small cell lung cancer (NSCLC) harbouring activating EGFR mutations is limited by the emergence of acquired resistance, mostly ascribed to the secondary EGFR-T790M mutation. Selective EGFR-T790M inhibitors have been proposed as a new, extremely relevant therapeutic approach. Here, we demonstrate that the novel irreversible EGFR-TKI CNX-2006, a structural analog of CO-1686, currently tested in a phase-1/2 trial, is active against in vitro and in vivo NSCLC models expressing mutant EGFR, with minimal effect on the wild-type receptor. By integration of genetic and functional analyses in isogenic cell pairs we provide evidence of the crucial role played by NF-κB1 in driving CNX-2006 acquired resistance and show that NF-κB activation may replace the oncogenic EGFR signaling in NSCLC when effective and persistent inhibition of the target is achieved in the presence of the T790M mutation. In this context, we demonstrate that the sole, either genetic or pharmacologic, inhibition of NF-κB is sufficient to reduce the viability of cells that adapted to EGFR-TKIs. Overall, our findings support the rational inhibition of members of the NF-κB pathway as a promising therapeutic option for patients who progress after treatment with novel mutant-selective EGFR-TKIs.
An analog electronic cochlea

An analog electronic cochlea has been built in CMOS VLSI technology using micropower techniques. The key point of the model and circuit is that a cascade of simple, nearly linear, second-order filter stages with controllable Q parameters suffices to capture the physics of the fluid-dynamic traveling-wave system in the cochlea, including the effects of adaptation and active gain involving the outer hair cells. Measurements on the test chip suggest that the circuit matches both the theory and observations from real cochleas. >
A multi-videos retrieval using adaptive key feature set of shot

In this paper, we provided adaptive key feature sets to describe the content of every shot in video. Return the most similar results to build a multi-video retrieval function. By using K-mean cluster and the gradient histogram of local binary pattern, we respectively transferred video into color and texture features. According to calculated the features distance between continuous frames to detect the shot boundaries of the video. Thus, different shot can be detected. After videos were cut into representative shots, filter and cluster the shots by video analysis function, so that each shot can be more representative. Finally, we could find out the similar results by calculating the distance between query video and video database. In the experimental results, we detected the correct shot boundary. In video retrieval, it can be divided into two ways - the image query videos and the video query videos. The query results showed the similar shot of the target clips.
Asymptotically almost periodic solutions to some classes of second-order functional differential equations

In this paper, we study the existence of asymptotically al- most periodic solutions to some classes of second-order partial functional- dierential equations with unbounded delay. Our results are, subse- quently, applied to studying the existence of asymptotically almost pe- riodic solutions to some integrodierentia l equations, which arise in the theory of heat conduction within fading memory materials.
Classification of Brain Tumor Types in MRI Scans Using Normalized Cross-Correlation in Polynomial Domain

Biomedical research in last decade or so has seen the development of highly accurate algorithms focused on the detection and classification of the brain tumor into malignant or benign. As a result of these advancements a new research direction has emerged which focuses on categorizing the brain tumors based on their types, such as Glioma, Metastases, and Meningioma etc. In this paper, we present a novel application of normalized cross-correlation in polynomial domain technique (predominately used in image registration) to classify Magnetic Resonance Image (MRI) of a brain into one of eight (8) different categories with high accuracy. The MRI scan is transformed into polynomial domain by first calculating its central moments and then fitting them to a 2nd order polynomial space. Experimental results show that the proposed approach provides very accurate and stable classification in real time.
Practical Implementation of PWM Synchronization and Phase-Shift Method for Cascaded H-Bridge Multilevel Inverters Based on a Standard Serial Communication Protocol

The use of the controller area network communication protocol for H-bridge multilevel (HBML) inverters, and localized pulsewidth modulation generation and automated voltage regulation is proposed in this paper. It is shown that the performance and reliability of conventional distributed controllers for HBML inverters can be improved with less communication hardware requirements, when using the proposed method. It is also shown that the expansion and modularization capability of the HBML inverter is improved since individual inverter modules operate more independently. The proposed hardware is described in detail and the validity of the proposed system is verified experimentally on a 6600-V 1400-kW induction motor drive.
Conversion of Membrane-bound Fas(CD95) Ligand to Its Soluble Form Is Associated with Downregulation of Its Proapoptotic Activity and Loss of Liver Toxicity

Human Fas ligand (L) (CD95L) and tumor necrosis factor (TNF)-α undergo metalloproteinase-mediated proteolytic processing in their extracellular domains resulting in the release of soluble trimeric ligands (soluble [s]FasL, sTNF-α) which, in the case of sFasL, is thought to be implicated in diseases such as hepatitis and AIDS. Here we show that the processing of sFasL occurs between Ser126 and Leu127. The apoptotic-inducing capacity of naturally processed sFasL was reduced by >1,000-fold compared with membrane-bound FasL, and injection of high doses of recombinant sFasL in mice did not induce liver failure. However, soluble FasL retained its capacity to interact with Fas, and restoration of its cytotoxic activity was achieved both in vitro and in vivo with the addition of cross-linking antibodies. Similarly, the marginal apoptotic activity of recombinant soluble TNF-related apoptosis-inducing ligand (sTRAIL), another member of the TNF ligand family, was greatly increased upon cross-linking. These results indicate that the mere trimerization of the Fas and TRAIL receptors may not be sufficient to trigger death signals. Thus, the observation that sFasL is less cytotoxic than membrane-bound FasL may explain why in certain types of cancer, systemic tissue damage is not detected, even though the levels of circulating sFasL are high.