Miracle-dz/UniFAR-FTUs huggingface dataset:
A Novel Model-Based Dynamic Analysis Method for State Correlation With IMA Fault Recovery

Integrated modular avionics (IMA) systems present many advantages. However, the resource sharing mechanism also brings a series of system problems, including the frequency of fault propagation and the difficulties of system design verification. The traditional analysis approaches for system designers have limits to analyze dynamic faults which are caused by unreasonable designs. These dynamic faults come up with component fault states, component state correlation, and system dynamic behaviors. In this paper, a new model-based dynamic analysis method for state correlation with IMA fault recovery is proposed, which helps to check system states and verify system designs by means of analyzing the dynamic behaviors of systems in a new view of systems’ correlated states. A colored generalized stochastic Petri net (CGSPN) provides advantages to system modeling and simulation, but there are some difficulties for modeling component state correlations and system dynamic behaviors in detail on the IMA system. We make an improvement on CGSPN for modeling IMA by adding an element and changing fairing rules. In addition, multiconstraint specified to solve the configuration satisfying problem for IMA is built into the model. Afterward, according to results of model simulation, system dynamic faults are analyzed and system designs are checked, which will help to guide the system designers to adjust system architecture at the early stage of system development. Finally, a case study is given for demonstrating how to apply this new method.
Motion Resistant Image-Photoplethysmography Based on Spectral Peak Tracking Algorithm

Medical fields have seen increasing attention being given to image based heart rate measurement in recent years. One of the major limitations is motion artifacts of subject’s head. Although there have been many studies focusing on signal extraction using different parameters and models, the development of frequency domain analysis is emerging slowly and moving in many directions. In the field of contact photoplethysmography (PPG), recent studies employed the acceleration signals to assist their spectral peak tracking algorithms. Inspired by the development of contact PPG, we are proposing a motion resistant spectral peak tracking (MRSPT) framework which eliminates the motion artifacts by integrating facial motion signals. The effectiveness of MRSPT coupled with the optimal image-based PPG (iPPG) signal has been tested against the state-of-the-art spectral peak tracking algorithms, multi-channel spectral matrix decomposition (MC-SMD), and the maximum peak selection coupled with optimal iPPG signal (Optimal MPS). Compared with MC-SMD and Optimal MPS, MRSPT uplifts the success rate-10 (success rate-5), the probability in which the absolute error is below ten (five) beats per mins, from 54.7% (36.3%) with MC-SMD and 73.0% (61.3%) with Optimal MPS to 90.7% (75.7%) with MRSPT in motion scenarios where subject moves arbitrarily with different distance or lighting. MRSPT also enhances the success rate-10 (success rate-5) from 40.7% (26.3%) with MC-SMD and 57.4% (45.7%) with Optimal MPS to 73.4% (58.4%) with MRSPT in all seven motion conditions including driving and running. Averagely, the success rate-five of Optimal MRSPT surpass the success rate-10 of both Optimal MPS and MC-SMD.
Risk and the Role of Collateral in Debt Renegotiation

In his basic model of debt renegotiation, BESTER [1994] argues that collateral is more effective if high risk projects are financed. This result, however, crucially depends on the definition of risk. Using the second-order stochastic dominance criterion introduced by ROTHSCHILD AND STIGLITZ [1970], we show that it is not a project's high risk, induced by a high probability of default, that makes collateral more effective. Instead it turns out that, given the expected return, the probability of default has no impact on the collateral's effectiveness. Moreover, a higher risk of the project caused by a higher loss given default makes the use of collateral even less effective.
On blockchain-based authorization architecture for beyond-5G mobile services

This paper proposes a new conceptual architecture for authorization of mobile services based on blockchain technologies, and presents a design of procedures for heterogeneous mobile communication services. Furthermore, an extension of the procedures is considered in order to enhance privacy protection for users. The new architecture realizes the separation of mobile communication infrastructure and billing functions and multiple use of several mobile communication services under a single contract with a billing operator.
IT for Peace? Fighting Against Terrorism in Social Media – An Explorative Twitter Study

Abstract The Internet and especially social media are not only used for supposedly good purposes. For example, the recruitment of new members and the dissemination of ideologies of terrorism also takes place in the media. However, the fight against terrorism also makes use of the same tools. The type of these countermeasures, as well as the methods, are covered in this work. In the first part, the state of the art is summarized. The second part presents an explorative empirical study of the fight against terrorism in social media, especially on Twitter. Different, preferably characteristic forms are structured within the scope with the example of Twitter. The aim of this work is to approach this highly relevant subject with the goal of peace, safety and safety from the perspective of information systems. Moreover, it should serve following researches in this field as basis and starting point.
Effect of 5‐Fluorouracil on Cell Cycle Regulatory Proteins in Human Colon Cancer Cell Line

We investigated the effects of 5‐fluorouracil (5‐FU) on cell cycle‐regulating proteins in RPMI 4788 cells. 5‐FU inhibited cell growth dose‐dependently and this growth inhibition was accompanied with cell cycle accumulation in early S phase and increased expression of cyclin A. When cells were released from short‐term treatment (3 or 24 h) with 5‐FU, the cell cycle started to progress again and cyclin A protein levels decreased. Cyclin A‐associated kinase activity assay showed that cyclin A‐cyclin‐dependent kinase (Cdk) 2 kinase activity was altered by 5‐FU treatment concomitantly with the changes in cell cycle state seen in flow cytometric analysis. Furthermore, the elevation of cyclin A protein level by 5‐FU treatment was observed in three other human cancer cell lines, DLD‐1, H226Br and T.Tn. These results suggest that cyclin A protein levels in cancer cells are increased by 5‐FU, and the cyclin A function and degradation mechanism remain normal.
Language, Culture, and Cognition in Cross-cultural Communication

It is well documented that communication styles and patterns vary across cultures. However, less is known about the process underlying these differences. Understanding why communication patterns vary is just as important as understanding how they vary because communication is by nature a dynamic and interactive process. Despite the importance of the transmission of meaning for successful communication, and the role that cognition plays in the assignment of meaning, little has been done to draw on cognitive theories to advance the field of cross-cultural communication. In this paper we draw on the attention-interpretation-message (AIM) framework of cross-cultural communication and on extant cross-cultural communication literature to elaborate on the role of linguistic structures and culture logic in influencing the cognitive processes associated with communication. We conclude with the identification of avenues for future research.
Protective Effects of Raw Vegetables and Fruit against Lung Cancer among Smokers and Ex‐smokers: A Case‐Control Study in the Tokai Area of Japan

In a hospital‐based case control study, the protecting effects of fruit, raw and green vegetables against lung cancer risk among male smokers were studied in 282 cases and the same number of controls. The current smokers showed a 6.61‐fold increased risk of lung cancer. The odds ratio (OR) declined markedly with starting age of smoking habit and increased markedly with number of cigarettes smoked per day. The ex‐smokers showed a 3.56‐fold increased risk of lung cancer. The ORs gradually decreased with years passed since cessation of smoking. In the single factor analysis, significant protective effects of fruit, raw vegetables, green vegetables, lettuce and cabbage against lung cancer were found. The risk for all lung cancer decreased to 0.45 (95% confidence intervals (CI) 0.30–0.67), 0.64 (95%CI 0.43–0.97) and 0.44 (95%CI 0.26–0.73) with increment of Intake frequency of fruit, raw and green vegetables respectively. The OR for lung cancer decreased to 0.41 (95%CI 0.24–0.72) and 0.56 (95%CI 0.32–0.99) with increasing intake frequency of fruit and raw vegetables among current smoking males. Lettuce and cabbage showed protective effects against lung cancer, and the OR for risk of lung cancer decreased to one‐half among the high intake frequency group. The risk of lung cancer among current smokers declined markedly with increasing intake of lettuce and cabbage. A similar effect was observed among ex‐smokers and non‐smokers, but there was no statistical significance. In the multivariate analysis, fruit and raw vegetables showed the strongest protective effects against lung cancer among current smokers (P=0.01). Among ex‐smokers, the protective effect of fruit is also statistically significant (P=0.03). These results suggest that fruit and raw vegetables may play an important role in protecting smokers from lung cancer.
Rates and predictors of mortality in an aging, rural, community-based cohort: the role of depression.

CONTEXT Depression, functional disability, cognitive impairment, and self-rated health all predict mortality in the elderly population. There is no consensus on their relative contributions when examined together. OBJECTIVES To measure rates and identify predictors of mortality in an aging community-based cohort. DESIGN Ten-year prospective epidemiological study. Predictor variables examined in Cox proportional hazards models were self-rated health, ability to perform instrumental activities of daily living (IADLs), depressive symptoms, and cognitive functioning, controlling for age, sex, education, and number of prescription drugs. SETTING A largely blue-collar rural community in southwestern Pennsylvania. PARTICIPANTS A population-based cohort of 1064 adults, 67 years or older at the beginning of follow-up. MAIN OUTCOME MEASURES Mortality at 3, 5, and 10 years (133, 218, and 482 deaths, respectively). RESULTS Mortality rates were similar to those of the 1990 US population. Older age, male sex, IADL disability, and number of prescription drugs measured at baseline were significant predictors of mortality at all 3 follow-up end points. Depression at baseline predicted earlier (3- and 5-year) mortality but not later (10-year) mortality. The interaction between self-rated health and depression independently and strongly predicted mortality at all end points. Cognitive functioning predicted mortality only when IADL disability was excluded from the model. CONCLUSIONS Age, sex, depression, and functional disability are strong and consistent independent predictors of mortality in older adults in the community, in addition to objective medical burden (prescription drugs). Depression alone predicts mortality in the shorter rather than longer term, but in combination with poor self-rating of health, it strongly predicts mortality at all end points.
Opportunities and Challenges for Data Physicalization

Physical representations of data have existed for thousands of years. Yet it is now that advances in digital fabrication, actuated tangible interfaces, and shape-changing displays are spurring an emerging area of research that we call Data Physicalization. It aims to help people explore, understand, and communicate data using computer-supported physical data representations. We call these representations physicalizations, analogously to visualizations -- their purely visual counterpart. In this article, we go beyond the focused research questions addressed so far by delineating the research area, synthesizing its open challenges and laying out a research agenda.
Dimensional Robustness and Instability of Sheared, Semidilute, Nanorod Dispersions

Semidilute, nanorod dispersions interact nonlocally and nonlinearly through excluded-volume and distortional elasticity potentials. When driven by steady shear with confinement boundary conditions, remarkable rod orientational distribution behavior ensues: strong anisotropy; steady and unsteady responses; and gradient structure on (thus far) unpredictable lengthscales. Extreme variability and sensitivity of these features to experimental controls, coupled with nanorod measurement limitations, continue to confound materials processing strategies. Thus, modeling and simulation play a critical role. In this paper, we present a hierarchy of zero-dimensional (0-d), one-dimensional (1-d), and two-dimensional (2-d) physical space simulations of steady parallel-plate shear experiments using a mesoscopic tensor model for the rod orientational distribution [E. H. MacMillan, A Theory of Anisotropic Fluid, Ph.D. thesis, Department of Mechanics, University of Minnesota, Minneapolis, MN, 1987, Z. Cui and Q. Wang, J. No.
Reliable memory PUF design for low-power applications

This paper presents a reliable memory-based Physical Unclonable Function (PUF) design for operating at low supply voltages, which is typically demanded in emerging Internet of Things (IoT) applications with stringent energy constraints. PUF is a promising approach for generating unique and secure IDs based on the intrinsic uncontrollable manufacturing process variation. A common approach is to use the power-up values of SRAM memory arrays as the PUF response. However, reliability of the PUF response is a major concern for such designs, in particular, at low supply voltage values where the impact of noisy operating environment becomes significant. As a result, a noisy PUF response due to the non-ideal reliability at low supply voltages, has to be transformed into a stable high-entropy key by a key extractor circuitry, which imposes significant area and power overhead. The proposed PUF design in this paper has the advantage of being highly reliable at low supply voltages allowing aggressive supply voltage reduction for lower power consumption and better energy efficiency with lower area and overhead of key extractor. In this paper, we first evaluate the reliability of the SRAM-based PUFs over a wide range of supply voltages from the super-threshold voltage regime down to the Near-Threshold Voltage (NTV) regime. Based on this analysis, we propose a new memory-based PUF design which provides higher reliability (2.6× improvement) while consuming less power (∼ 2×) compared to the traditional SRAM PUF designs in the NTV region.
Multi-component behavioural intervention reduces harmful sexual behaviour in a 17-year-old male with autism spectrum disorder: a case study

ABSTRACT This case study describes the treatment of problem behaviour presented by a 17-year-old male with autism spectrum disorder. Persistent and serious problem behaviour (i.e. harmful sexual behaviour, aggression and absconding) led to the young person being detained in secure accommodation on four separate occasions prior to his current placement. This study describes how a multi-component behavioural intervention lasting 115 weeks was associated with the reduction of problem behaviour and the successful reintegration of the young person into mainstream education.
Multimedia search over integrated social and sensor networks

This paper presents work in progress within the FP7 EU-funded project SMART to develop a multimedia search engine over content and information stemming from the physical world, as derived through visual, acoustic and other sensors. Among the unique features of the search engine is its ability to respond to social queries, through integrating social networks with sensor networks. Motivated by this innovation, the paper presents and discusses the state-of-the-art in participatory sensing and other technologies blending social and sensor networks.
Integrated CMOS transceivers design towards flexible full duplex (FD) and frequency division duplex (FDD) systems

This paper provides an overview of both the challenges and the current state-of-the-art in the areas of full duplex (FD) and frequency division duplex (FDD) integrated transceivers. Implementation hurdles in the form of the linearity, noise, bandwidth (BW) and power of transmitter (TX) self-interference (SI) cancellation circuitry are explored. The difficulty of performing SI cancellation is heavily influenced by the modulation method, the maximum TX power output and the receiver (RX) BW. This paper highlights some recent implementation examples of single-chip FD radios that range in performance from low-power cancellation techniques, to transceivers which target broad channel BW (>40MHz) using high output power transmitters. Several 40nm CMOS devices which range in performance from a narrowband low-energy Bluetooth transceiver to analog-frontends which integrate a +24dBm power amplifier (PA) with a dual-point feedforward cancellation architecture for broadband and deep SI suppression are discussed.
Perceptual Assessment of Delay Accuracy and Loudspeaker Misplacement in Wave Field Synthesis

The implementation of simple virtual source models like plane and spherical waves in wave field synthesis employs delays which are applied to the input signals. We present a formal experiment evaluating the perceptual consequences of different accuracies of these delays. Closely related to the question of delay accuracy is the accuracy of the loudspeaker positioning. The second part of the presented experiment investigates the perceptual consequences of improperly placed loudspeakers. Dynamic binaural room impulse response based simulations of a real loudspeaker array are employed and a static audio scene setup is considered.
1 Tests for publication bias in meta-analysis

Editor Associate Editors H. Joseph Newton Nicholas J. Cox, University of Durham Department of Statistics Francis X. Diebold, University of Pennsylvania Texas A & M University Joanne M. Garrett, University of North Carolina College Station, Texas 77843 Marcello Pagano, Harvard School of Public Health 409-845-3142 J. Patrick Royston, Imperial College School of Medicine 409-845-3144 FAX stb@stata.com EMAIL
Investigating an Artificial Immune System to Strengthen the Promoter Region Structure Prediction and Promoter Region Identification using Cellular Automata Classifier

Associate Professor, Department of CSE, SRKIT, Vijayawada, email : profkiran@yahoo.com. Professor, CSE, Acharya Nagarjuna University, Guntur. Graduate Student of JNTU, Hyderabad. ABSTRACT Genes carry the instructions for making Promoter Regions that are found in a cell as a specific sequence of nucleotides that are found in DNA molecules. But, the regions of these genes that code for Promoter Regions may occupy only a small region of the sequence. Identifying the promoter regions play a vital role in understanding these genes. In this paper we have explored an artificial immune system can be used to strengthen and identify the Promoter Region coding regions in genomic DNA system in changing environments, and Cellular Automata (CA) technique for Promoter Region structure prediction of small alpha/beta Promoter Regions using Rosetta. From an initial round of Rosetta sampling, we learn properties of the energy landscape that guide a subsequent round of sampling toward lower-energy structures. Three different approaches to improve tertiary fold prediction using the genetic algorithm are discussed: (i) Refinement of the search strategy, (ii) combination of prediction and experiment and (iii) inclusion of experimental data as selection criteria into the genetic algorithm. It has been developed using a slight variant of genetic algorithm. Good classifier can be produced especially when the number of the antigens is increased. However, an increase in the range of the antigens had somehow affected the fitness of the immune system. Experimental results confirm the scalability of the proposed Artificial Immune System Fuzzy Multiple Attractor Cellular Automate (AIS FMACA) based classifier to handle large volume of datasets irrespective of the number of classes, tuples and attributes. We note an increase in accuracy of more than 5.2%, over any existing standard algorithms for addressing this problem. This was the first algorithm to identify Promoter Region coding regions in mixed and non overlapping exon-inton boundary DNA sequences also. The accuracy of predicting the structure of Promoter Regions was also found comparable.
Eliciting caregiving behavior in dyadic human-robot attachment-like interactions

We present here the design and applications of an arousal-based model controlling the behavior of a Sony AIBO robot during the exploration of a novel environment: a children's play mat. When the robot experiences too many new perceptions, the increase of arousal triggers calls for attention towards its human caregiver. The caregiver can choose to either calm the robot down by providing it with comfort, or to leave the robot coping with the situation on its own. When the arousal of the robot has decreased, the robot moves on to further explore the play mat. We gathered results from two experiments using this arousal-driven control architecture. In the first setting, we show that such a robotic architecture allows the human caregiver to influence greatly the learning outcomes of the exploration episode, with some similarities to a primary caregiver during early childhood. In a second experiment, we tested how human adults behaved in a similar setup with two different robots: one “needy”, often demanding attention, and one more independent, requesting far less care or assistance. Our results show that human adults recognise each profile of the robot for what they have been designed, and behave accordingly to what would be expected, caring more for the needy robot than for the other. Additionally, the subjects exhibited a preference and more positive affect whilst interacting and rating the robot we designed as needy. This experiment leads us to the conclusion that our architecture and setup succeeded in eliciting positive and caregiving behavior from adults of different age groups and technological background. Finally, the consistency and reactivity of the robot during this dyadic interaction appeared crucial for the enjoyment and engagement of the human partner.
A framework for obtaining steady-state maneuvering characteristics of underwater vehicles using sea-trial data

This paper reports the development and experimental evaluation of a simple and intuitive framework for obtaining steady-state maneuvering characteristics of a wide class of underwater vehicles. The possible use of steady-state characteristics includes navigation, fault-detection and vehicle design evaluation. The presented algorithms allow unknown currents to be included in the identification loop. Measured or estimated vehicle position, velocity and attitude are required inputs. The effectiveness of the algorithms is illustrated using experimental data collected by the HUGIN 4500 AUV. The identification results are found to be consistent and in good agreement with a physical interpretation.