Miracle-dz/UniFAR-FTUs huggingface dataset:
An efficient method for analyzing on-chip thermal reliability considering process variations

This work provides an efficient statistical electrothermal simulator for analyzing on-chip thermal reliability under process variations. Using the collocation-based statistical modeling technique, first, the statistical interpolation polynomial for on-chip temperature distribution can be obtained by performing deterministic electrothermal simulation very few times and by utilizing polynomial interpolation. After that, the proposed simulator not only provides the mean and standard deviation profiles of on-chip temperature distribution, but also innovates the concept of thermal yield profile to statistically characterize the on-chip temperature distribution more precisely, and builds an efficient technique for estimating this figure of merit. Moreover, a mixed-mesh strategy is presented to further enhance the efficiency of the developed statistical electrothermal simulator. Experimental results demonstrate that (1) the developed statistical electrothermal simulator can obtain accurate approximations with orders of magnitude speedup over the Monte Carlo method; (2) comparing with a well-known cumulative distribution function estimation method, APEX [Li et al. 2004], the developed statistical electrothermal simulator can achieve 215× speedup with better accuracy; (3) the developed mixed-mesh strategy can achieve an order of magnitude faster over our baseline algorithm and still maintain an acceptable accuracy level.
Development of excessive daytime sleepiness in early Parkinson disease

Objective: To examine the frequency, development, and risk factors of excessive daytime sleepiness (EDS) in a cohort of originally drug-naive patients with incident Parkinson disease (PD) during the first 5 years after diagnosis. Methods: One hundred fifty-three drug-naive patients with early PD derived from a population-based incident cohort and 169 control participants were assessed for EDS and reevaluated after 1, 3, and 5 years on medication. EDS was diagnosed according to the Epworth Sleepiness Scale. Cutoff score above 10 was applied. Generalized estimating equation models for correlated data were used to examine associated and risk factors for EDS. Results: Patients reported EDS more often than control participants at the time of diagnosis and during follow-up. The frequency of EDS in PD increased from 11.8% at baseline to 23.4% after 5 years. Associated factors were male sex, the use of dopamine agonists, and higher Montgomery-Åsberg Depression Rating Scale and Unified Parkinson's Disease Rating Scale–activities of daily living scores. Main risk factor for developing EDS was an increased Epworth Sleepiness Scale score at baseline. Conclusion: EDS is more frequent in PD even before treatment initiation compared with control participants and increases in occurrence with disease progression. The main risk factor for developing EDS with time is an early predisposition for sleepiness. In addition, the use of dopamine agonists was associated with the development of EDS. These findings necessitate caution in patients with PD and early increased sleep propensity and when using dopamine agonists.
Horizontal Bearing Capacity of A New Bucket Foundation with Partial Inclined Wall

The traditional bucket foundation use vertical wall, which like a cup is buried upside down in seabed. A new bucket foundation with partial inclined wall has been proposed in this article. Based on limit equilibrium analysis of three- dimensional stress state of foundation, the calculation method of the horizontal bearing capacity of the new bucket foundation has been deduced, which has been verified by model tests. It is found that the horizontal bearing capacity of the new bucket foundation increased effectively when dip angle of wall is increased. The horizontal bearing capacity of the new bucket foundation increased with the proportional coefficient of horizontal subgrade reaction, top diameter or height of bucket foundation increased respectively, while it decreased when the depth of seabed was increased. The parameters of the new bucket foundation should be determined by geological conditions of seabed, physical and mechanical parameters of marine soil, design value of horizontal bearing capacity and construction method. The research results would be conducive to optimize design of traditional bucket foundation.
Rapid Detection of an ABT-737-Sensitive Primed for Death State in Cells Using Microplate-Based Respirometry

Cells that exhibit an absolute dependence on the anti-apoptotic BCL-2 protein for survival are termed “primed for death” and are killed by the BCL-2 antagonist ABT-737. Many cancers exhibit a primed phenotype, including some that are resistant to conventional chemotherapy due to high BCL-2 expression. We show here that 1) stable BCL-2 overexpression alone can induce a primed for death state and 2) that an ABT-737-induced loss of functional cytochrome c from the electron transport chain causes a reduction in maximal respiration that is readily detectable by microplate-based respirometry. Stable BCL-2 overexpression sensitized non-tumorigenic MCF10A mammary epithelial cells to ABT-737-induced caspase-dependent apoptosis. Mitochondria within permeabilized BCL-2 overexpressing cells were selectively vulnerable to ABT-737-induced cytochrome c release compared to those from control-transfected cells, consistent with a primed state. ABT-737 treatment caused a dose-dependent impairment of maximal O2 consumption in MCF10A BCL-2 overexpressing cells but not in control-transfected cells or in immortalized mouse embryonic fibroblasts lacking both BAX and BAK. This impairment was rescued by delivering exogenous cytochrome c to mitochondria via saponin-mediated plasma membrane permeabilization. An ABT-737-induced reduction in maximal O2 consumption was also detectable in SP53, JeKo-1, and WEHI-231 B-cell lymphoma cell lines, with sensitivity correlating with BCL-2:MCL-1 ratio and with susceptibility (SP53 and JeKo-1) or resistance (WEHI-231) to ABT-737-induced apoptosis. Multiplexing respirometry assays to ELISA-based determination of cytochrome c redistribution confirmed that respiratory inhibition was associated with cytochrome c release. In summary, cell-based respiration assays were able to rapidly identify a primed for death state in cells with either artificially overexpressed or high endogenous BCL-2. Rapid detection of a primed for death state in individual cancers by “bioenergetics-based profiling” may eventually help identify the subset of patients with chemoresistant but primed tumors who can benefit from treatment that incorporates a BCL-2 antagonist.
Edge connectivity in graphs: an expansion theorem

We show that if a graph is k-edge-connected, and we adjoin to it another graph satisfying a "contracted diameter less or equal to 2" condition, with minimal degree greater or equal to k, and some natural hypothesis on the edges connecting one graph to the other, the resulting graph is also k-edge-connected.
Interstitial cells of Cajal, macrophages and mast cells in the gut musculature: morphology, distribution, spatial and possible functional interactions

• Introduction • Identification of the cells ‐ ICC ‐ Macrophages ‐ Activation ‐ Identification ‐ Mast cells ‐ Activation ‐ Identification • Cell distribution ‐ ICC in rodent gastrointestinal tract ‐ ICC in human gastrointestinal tract ‐ Macrophages in rodent gastrointestinal tract ‐ Macrophages in human gastrointestinal tract ‐ Mast cells in rodent gastrointestinal tract ‐ Mast cells in human gastrointestinal tract • Inflammation ‐ Models of inflammation ‐ LPS administration ‐ Surgical anastomosis ‐ Ileal obstruction ‐ Post‐operative ileus ‐ Helminth infections ‐ Inflammatory bowel disease ‐ Achalasia • Diabetes mellitus ‐ NOD/LtJ mice ‐ STZ‐DM rats • Conclusions
Correcting Political and Consumer Misperceptions: The Effectiveness and Effects of Rating Scale Versus Contextual Correction Formats

While fact-checking has grown dramatically in the last decade, little is known about the relative effectiveness of different formats in correcting false beliefs or overcoming partisan resistance to new information. This article addresses that gap by using theories from communication and psychology to compare two prevailing approaches: An online experiment examined how the use of visual “truth scales” interacts with partisanship to shape the effectiveness of corrections. We find that truth scales make fact-checks more effective in some conditions. Contrary to theoretical predictions and the fears of some journalists, their use does not increase partisan backlash against the correction or the organization that produced it.
Stability analysis of quadruped robot based on compliant control

Stability is a key point in developing quadruped robot. In this paper, we focus on allowing heavy quadruped robot to be self-adaptive to various disturbances. The Spring Loaded Inverted Pendulum method is applied in regulating feet landing positions. Moreover, yaw motion is discussed to revise direction-deflection after disturbance of external force. In dynamics analysis, both inverse dynamics and balance controller are employed to predict desired torque of joints. Meanwhile gains of position controller can be decreased. The main contribution is an active compliant controller with respect to robot posture. According to linear functions, it can adjust four leg lengths separately to keep robot balance. Therefore, stability is kept both in torque level and position level. The simulation results prove the effect of proposed control scheme under disturbances of external force and uneven terrain. In summary, this control scheme is exceedingly useful in enhancing legged robot stability.
Elements That Contribute to Healthy Building Design

Background The elements that contribute to a healthy building are multifactorial and can be discussed from different perspectives. Objectives We present three viewpoints of designing a healthy building: the importance of sustainable development, the role of occupants for ensuring indoor air quality, and ongoing developments related to indoor finishes with low chemical emissions and good fungal resistance. Discussion Sustainable design rediscovers the social, environmental, and technical values of pedestrian and mixed-use communities, using existing infrastructures including “main streets” and small-town planning principles and recapturing indoor–outdoor relationships. This type of design introduces nonpolluting materials and assemblies with lower energy requirements and higher durability and recyclability. Building occupants play a major role in maintaining healthy indoor environments, especially in residences. Contributors to indoor air quality include cleaning habits and other behaviors; consumer products, furnishings, and appliances purchases, as well as where and how the occupants use them. Certification of consumer products and building materials as low-emitting products is a primary control measure for achieving good indoor air quality. Key products in this respect are office furniture, flooring, paints and coatings, adhesives and sealants, wall coverings, wood products, textiles, insulation, and cleaning products. Finishing materials play a major role in the quality of indoor air as related to moisture retention and mold growth. Conclusions Sustainable design emphasizes the needs of infrastructure, lower energy consumption, durability, and recyclability. To ensure good indoor air quality, the product development for household use should aim to reduce material susceptibility to contaminants such as mold and should adopt consumer-oriented product labeling.
Partial Stabilization of a Class of Nonlinear Systems Via Center Manifold Theory

This paper addresses the problem of the partial state feedback stabilization of a class of nonlinear systems. In order to stabilization this class systems, the especial place of this paper is to reverse designing the state feedback control law from the method of judging system stability with the center manifold theory. First of all, the center manifold theory is applied to discuss the stabilization sufficient condition and design the stabilizing state control laws for a class of nonlinear. Secondly, the problem of partial stabilization for a class of plane nonlinear system is discuss using the lyapunov second method and the center manifold theory. Thirdly, we investigate specially the problem of the stabilization for a class of homogenous plane nonlinear systems, a class of nonlinear with dual-zero eigenvalues and a class of nonlinear with zero-center using the method of lyapunov function with homogenous derivative, specifically. At the end of this paper, some examples and simulation results are given show that the approach of this paper to this class of nonlinear system is effective and convenient. Keywords—Partial stabilization, Nonlinear critical systems, Center manifold theory, Lyapunov function, System reduction.
Direction finding based on single receiving channel

A direction finding approach for multiple source based on single receiving channel is presented, with high resolution and accuracy. The system is composed of N antennas and a single receiver, thereby , offering significant hardware savings. Due to the sequential sampling of switch, the received signals are uncorrelated, then interpolation is used to recover the default multiple-channel signals. With the array covariance matrix estimated by the recovered signals, conventional high resolution DF algorithms can be applied to determine the direction of arrival estimation of the multiple sources impinging the antenna array. The experimental result demonstrates its effectiveness
Metacognition and Reasoning References Subject Collections Metacognition and Reasoning

References http://rstb.royalsocietypublishing. org/content/367/1594/1366.full. html#related-urls Article cited in: http://rstb.royalsocietypublishing. org/content/367/1594/1366.full. html#ref-list-1 This article cites 73 articles, 15 of which can be accessed free Subject collections (208 articles) cognition  Articles on similar topics can be found in the following collections Email alerting service here right-hand corner of the article or click Receive free email alerts when new articles cite this article sign up in the box at the top
Mobility-aware DTN protocols for post-disaster scenarios

Collecting and disseminating critical information in the direct aftermath of a disaster is very challenging: communication infrastructures are very likely to fail, and mobility becomes severely limited. Current solutions rely on traditional delay tolerant network (DTN) protocols amongst mobile devices to gather and relay vital data, but they induce an irreconcilable trade-off between delivery ratios and cost-efficiency. This paper proposes to combine protocols on every device: the mobility behavior of the device determines the routing protocol that it enforces. Simulations show that our hybrid approach minimizes message overhead and energy consumption whilst ensuring fair delivery ratios.
Classification of Multi-spectral/Hyperspectral Data using Genetic Programming and Error-correcting Output Codes

Genetic programming (GP) and error-correcting output codes (ECOC) are combined to develop a new classification method (GP-ECOC) for the multi-class problem solving in this paper. Some additional improvements on the algorithm, modified codeword matrix and group division before classification, are also proposed to settle several existing problems in multi-spectral and hyperspectral data classification. Experimental tests using both multi-spectral and hyperspectral data are carried out for verification and illustration. It is observed from the obtained results that the classification precision with the newly proposed method is greatly enhanced compared with some existing methods using GP, and the proposed improvements are also effective. The algorithm of GP-ECOC and its improved versions can also be run on multi-terminals, which saves computational cost effectively
Secure AODV against maliciously packet dropping

Due to the open shared medium of wireless communications; wireless Ad hoc networks are more vulnerable toward attacks like black hole, which is a kind of packet dropping attack. It is a dangerous type of DOS attacks which try to harm routing protocols. In black hole, the malicious nodes try to absorb all packets in the networks by advertising themselves as having shortest path to the destination. We present a novel approach to detect this attack based on the neighbor's information. In this scheme, we show that the right place to validate route reply and prevent propagation of forged information in the network is the first node in the reverse path. Analysis and simulation results in ns2 show that using the proposed approach, we can successfully detect the black hole attack with a slightly delay on the network.
Service Oriented Enterprise-Architecture for enterprise engineering introduction

The goal of the workshop is to clarify the relationship between business process management and service provisioning. This relatively recent area of interest requires the development of concepts and methods to assist the engineering and the management of Service-Oriented Enterprise Architectures and their support systems. Five peer-reviewed papers have been presented during the workshop. They allowed to characterize the strong relationship existing between Business Process Management and Service oriented Enterprise Architecture.
Optical Flow Hand Tracking and Active Contour Hand Shape Features for Continuous Sign Language Recognition with Artificial Neural Networks

To extract hand tracks and hand shape features from continuous sign language videos for gesture classification using backpropagation neural network. Horn Schunck optical flow (HSOF) extracts tracking features and Active Contours (AC) extract shape features. A feature matrix characterizes the signs in continuous sign videos. A neural network object with backpropagation training algorithm classifies the signs into various words sequences in digital format. Digital word sequences are translated into text with matching and the suiting text is voice translated using windows application programmable interface (Win-API). Ten signers, each doing sentences having 30 words long tests the performance of the algorithm by computing word matching score (WMS). The WMS is varying between 88 and 91 percent when executed on different cross platforms on various processors such as Windows8 with Inteli3, Windows8.1 with inteli3 and windows10 with inteli3 running MATLAB13(a).
How Small Were the First Cosmological Objects? 1

The minimum mass that a virialized gas cloud must have in order to be able to cool in a Hubble time is computed, using a detailed treatment of the chemistry of molecular hydrogen. With a simple model for halo prooles, we reduce the problem to that of numerically integrating a system of chemical equations. The results agree well with numerically expensive 3D simulations, and our approach has the advantage of rapidly being able to explore large regions of parameter space. The minimum baryonic mass M b is found to be strongly redshift dependent, dropping from 10 6 M at z 15 to 510 3 M at z 100 as molecular cooling becomes eeective. For z 100, M b rises again, as CMB photons inhibit H 2-formation through the H channel. Finally, for z 200, the H + 2-channel for H 2-formation becomes eeective, driving M b down towards M b 10 3 M. With a standard CDM power spectrum with 8 = 0:7, this implies that a fraction 10 3 of all baryons may have formed luminous objects by z = 30, which could be suucient to reheat the universe.
SECURE AND EFFICIENT PRIVACY-PRESERVING PUBLIC AUDITING SCHEME FOR CLOUD STORAGE

With cloud storage services, it is commonplace for data to be not only stored in the cloud, but also shared across multiple users. However, public auditing for such shared data while preserving identity privacy remains to be an open challenge.Here secure and effective methods are needed to secure integrity and privacy data stored in cloud.This paper provides a privacy preserving public auditing scheme that supports public auditing and identity privacy on shared data stored in the cloud storage service for enhancing its security and efficiency . This paper has mainly concentrated on improving the security mechanism of ownCloud storage service.
Neuroscience and Biobehavioral Reviews Interactive Activation and Competition Models and Semantic Context: from Behavioral to Brain Data

Keywords: Word recognition Associative spreading Multiple Read-Out Model (MROM) Semantic process model Episodic memory a b s t r a c t Interactive activation and competition models (IAMs) cannot only account for behavioral data from implicit memory tasks, but also for brain data. We start by a discussion of standards for developing and evaluating cognitive models, followed by example demonstrations. In doing so, we relate IAM representations to word length, sequence, frequency, repetition, and orthographic neighborhood effects in behavioral, electrophysiological, and neuroimaging studies along the ventral visual stream. We then examine to what extent lexical competition can account for anterior cingulate cortex (ACC) activation and the N2/N400 complex. The subsequent section presents the Associative Read-Out Model (AROM), which extends the scope of IAMs by introducing explicit memory and semantic representations. Thereby, it can account for false memories, and familiarity and recollection – explaining why memory signal variances are greater for studied than non-studied items. Since the AROM captures associative spreading across semantic long-term memory, it can also account for different temporal lobe functions, and allows for item-level predictions of the left inferior frontal gyrus' BOLD response. Finally, we use the AROM to examine whether semantic cohesiveness can account for effects previously ascribed to affective word features, i.e. emotional valence, and show that this is the case for positive, but not for negative valence.
Centralized Charging Strategy and Scheduling Algorithm for Electric Vehicles Under a Battery Swapping Scenario

Centralized charging of electric vehicles (EVs) based on battery swapping is a promising strategy for their large-scale utilization in power systems. The most outstanding feature of this strategy is that EV batteries can be replaced within a short time and can be charged during off-peak periods or on low electric price and scheduled in any battery swap station. This paper proposes a novel centralized charging strategy of EVs under the battery swapping scenario by considering optimal charging priority and charging location (station or bus node in a power system) based on spot electric price. In this strategy, a population-based heuristic approach is designed to minimize total charging cost, as well as to reduce power loss and voltage deviation of power networks. We introduce a dynamic crossover and adaptive mutation strategy into a hybrid algorithm of particle swarm optimization and genetic algorithm. The resulting algorithm and several others are executed on an IEEE 30-bus test system, and the results suggest that the proposed one is effective and promising for optimal EV centralized charging.