Miracle-dz/UniFAR-FTUs huggingface dataset:
Intelligent network security assessment with modeling and analysis of attack patterns

This paper presents a new concept for information security assessments while promoting several areas of its application. Threat generation, attack pattern analysis, quantitative risk computation, and network security monitoring locally or remotely are the major application areas of this concept. Instead of testing assets one by one, by applying separate repetitive attacks and assessments, the presented system generates and executes attacks once on a sample group, composes assessment data, and uses the data for the assessment of an entire network. This unique approach can be used as a model to guide the development of tool-based assessment systems, intelligent network security analysis, monitoring systems, and also as a complementary function in information security test and evaluation laboratories. Copyright © 2012 John Wiley & Sons, Ltd.
The Coastal Zone Management Act: A Protective Mandate

The same needs which prompted Congress to pass the CZMA exist today. Indeed, the needs are more pressing. The threats to the coast are accelerating, as is our understanding of the values and functions performed by coastal ecosystems. By 1990, it is projected that over 75% of the nation's population will be living in the coastal zone. Pressures for development and expanded use of the coast will rise with this population increase. Pressures on the coast also will increase as a result of increasing energy development, as well as expanded port development, the intense impacts from residential development, and demands for coastal recreation. Because the future of the federal CZM program is so uncertain, it is more essential than ever to build support for effective coastal management programs at the state and local level. As federal funding and oversight diminish, the states must be encouraged to assume full responsibility for funding and implementation. Because the national interests in the coast are so great, it would be extremely unwise for the federal program to terminate. For this reason, Congress and the Administration should be encouraged to maintain a federal CZM program which provides both funding and supervision. 51 references.
A Realistic Secure On-line E-Voting System

This paper describes an on-line e-voting system security implementation to reduce attacks with the help of time stamping and hash function. E-voting is electronically voting process via Internet, it gaining popularity in applications that require high security. The system represents security analysis against large-scale attacks performed by rationally thinking attackers. Electronic Voting promises a lot of advantages; it is not only fast and very convenient to use, but it also features additional security properties that cannot be achieved with traditional voting, such as individual or universal verifiability. However, due to the sensitive and critical nature of voting protocols, it is crucial to formally guarantee their correctness with respect to certain intended security properties. We develop a model for describing the real life environment where voting takes place and analyze the behavior of rational adversaries. The system also eliminates the voting process of non-eligible voters. The security of our e-voting model is more developed than recent e-
A Conjoint Approach to Model Product Preferences: The New England Market for Fresh and Frozen Salmon

This paper illustrates how conjoint analysis can be used to model preference for food products, and applies the technique to the study of fresh and frozen salmon preference among buyers from two intermediary wholesale levels in New England. The degree of preference for specific attributes and levels of the products is compared. The paper also evaluates the performance and predictive validity of a traditional additive conjoint model, a hybrid model estimated using both ordinary least squares, and a maximum likelihood hybrid two-limit Tobit model.
A New Method for Solving Bimatrix Games Problems

We present a new method for solving bimatrix games problems. Firstly, bimatrix games problem is transformed into general linear complementarity problem. Then we apply mixed integer linear programming method to linear complementarity problem. At last, we give some numerical examples to indicate that the method is feasible and effective to bimatrix games problems.
Students' Reasoning on Multiplication in the Context of a Primary School Classroom.

This study examined third-grade students’ reasoning and discussions on multiplication when they initially encounter it in the classroom. The aim of the study was to analyse the data from teaching and learning multiplication in 24 classrooms and, thus make a contribution to the research and conceptualisations about students’ reasoning and strategy use in multiplication. The results revealed various features from previous findings, as well as new aspects which are helpful to characterise students’ multiplication reasoning. Findings revealed students employed general reasoning about the concept and different characteristics of multiplication. They broadened the context by going beyond the actual example and focusing on mathematical relationships. They placed strong emphasis on using addition when working with multiplication; this could cause tension in teacher-student discussions. The results are discussed in relation to previous studies of students’ multiplicative reasoning and implications for practice are elaborated upon.
Uncomplicated human obesity is associated with a specific cardiac transcriptome: involvement of the Wnt pathway

A dramatic increase in obesity prevalence and cardiovascular morbidity is expected for the coming years. However, with relevance to the heart, little is known about the specific contribution of obesity on associated morbidity. Consequently, global analysis of gene regulations in human heart was undertaken to monitor molecular regulations related to obesity or to obesity‐related hypertension. Transcriptome analysis using cDNA arrays was performed in right appendage biopsies from obese patients (n=5), from patients with arterial hypertension with (n=5) or without obesity (n=5), and from 5 leans. All biopsies came from patients that had cardiac surgery and coronary bypass. Statistical analysis of the data revealed 2686 differentially expressed genes out of 11,500 when compared with lean tissues. Differential expression was verified by real‐time PCR in 84% of 50 randomly chosen genes. Among genes encountered, 397 were specifically regulated in obese, 1,299 in non‐obese hypertensive, and 355 in obese hypertensive patients, respectively, whereas an additional set of 153 genes was differentially expressed in all these situations. Ontology analysis, hierarchical clustering, and molecular pathway analysis indicated that the heart molecular picture of obesity differs clearly from that observed for obesity‐related hypertension or arterial hypertension. Clearly, the Wnt pathway known to be involved in cardiac hypertrophy mechanisms, showed opposite regulation in obese heart compared with hypertensive heart and potentially prevented the development of cardiac remodeling in obese patients. All over, this work shows that uncomplicated obesity has a strong impact on cardiac gene expression, which could be considered as precursor signs for future cardiac disease and also demonstrates that obesity‐related hypertension generates a heart‐ molecular‐distinct phenotype that cannot be predicted by a simple sum of the impact of obesity and arterial hypertension on gene expression.
Plan-based Object Search and Exploration using Semantic Spatial Knowledge in the Real World

In this paper we present a principled planner based approach to the active visual object search problem in unknown environments. We make use of a hierarchical planner that combines the strength of decision theory and heuristics. Furthermore, our object search approach leverages on the conceptual spatial knowledge in the form of object cooccurences and semantic place categorisation. A hierarchical model for representing object locations is presented with which the planner is able to perform indirect search. Finally we present real world experiments to show the feasibility of the approach.
SCIMP, a Transmembrane Adaptor Protein Involved in Major Histocompatibility Complex Class II Signaling

ABSTRACT Formation of the immunological synapse between an antigen-presenting cell (APC) and a T cell leads to signal generation in both cells involved. In T cells, the lipid raft-associated transmembrane adaptor protein LAT plays a central role. Its phosphorylation is a crucial step in signal propagation, including the calcium response and mitogen-activated protein kinase activation, and largely depends on its association with the SLP76 adaptor protein. Here we report the discovery of a new palmitoylated transmembrane adaptor protein, termed SCIMP. SCIMP is expressed in B cells and other professional APCs and is localized in the immunological synapse due to its association with tetraspanin-enriched microdomains. In B cells, it is constitutively associated with Lyn kinase and becomes tyrosine phosphorylated after major histocompatibility complex type II (MHC-II) stimulation. When phosphorylated, SCIMP binds to the SLP65 adaptor protein and also to the inhibitory kinase Csk. While the association with SLP65 initiates the downstream signaling cascades, Csk binding functions as a negative regulatory loop. The results suggest that SCIMP is involved in signal transduction after MHC-II stimulation and therefore serves as a regulator of antigen presentation and other APC functions.
Electrocardiogram PR Interval Is a Surrogate Marker to Predict New Occurrence of Atrial Fibrillation in Patients with Frequent Premature Atrial Contractions

The clinical significance of prolonged PR interval has not been evaluated in patients with frequent premature atrial contractions (PACs). We investigated whether prolonged PR interval could predict new occurrence of atrial fibrillation (AF) in patients with frequent PACs. We retrospectively analyzed 684 patients with frequent PACs (> 100 PACs/day) who performed repeated 24-hour Holter monitoring. Prolonged PR interval was defined as longer than 200 msec. Among 684 patients, 626 patients had normal PR intervals (group A) and 58 patients had prolonged PR intervals (group B). After a mean follow-up of 59.3 months, 14 patients (24.1%) in group B developed AF compared to 50 patients (8.0%) in group A (P < 0.001). Cox regression analysis showed that prolonged PR interval (hazard ratio [HR], 1.950; 95% CI, 1.029–3.698; P = 0.041), age (HR, 1.033; 95% CI, 1.006–1.060; P = 0.015), and left atrial (LA) dimension (HR, 1.061; 95% CI, 1.012–1.112; P = 0.015) were associated with AF occurrence. Prolonged PR interval, advanced age, and enlarged LA dimension are independent risk factors of AF occurrence in patients with frequent PACs.
Sister chromatid separation in frog egg extracts requires DNA topoisomerase II activity during anaphase

We have produced metaphase spindles and induced them to enter anaphase in vitro. Sperm nuclei were added to frog egg extracts, allowed to replicate their DNA, and driven into metaphase by the addition of cytoplasm containing active maturation promoting factor (MPF) and cytostatic factor (CSF), an activity that stabilizes MPF. Addition of calcium induces the inactivation of MPF, sister chromatid separation and anaphase chromosome movement. DNA topoisomerase II inhibitors prevent chromosome segregation at anaphase, demonstrating that the chromatids are catenated at metaphase and that decatenation occurs at the start of anaphase. Topoisomerase II activity towards exogenous substrates does not increase at the metaphase to anaphase transition, showing that chromosome separation at anaphase is not triggered by a bulk activation of topoisomerase II.
The Effectiveness of Mindfulness-Based Cognitive Therapy on Iranian Female Adolescents Suffering From Social Anxiety

Background Social anxiety is one of the most common psychological disorders that exists among children and adolescents, and it has profound effects on their psychological states and academic achievements. Objectives The aim of this study was to determine the effectiveness of mindfulness-based cognitive therapy (MBCT) on diminishing social anxiety disorder symptoms and improving the self-esteem of female adolescents suffering from social anxiety. Patients and Methods Semi-experimental research was conducted on 30 female students diagnosed with social anxiety. From the population of female students who were studying in Tehran’s high schools in the academic year of 2013 - 2014, 30 students fulfilling the DSM-5 criteria were selected using the convenience sampling method and were randomly assigned to control and experimental groups. The experimental group received eight sessions of MBCT treatment. The control group received no treatment. All participants completed the social phobia inventory (SPIN) and Rosenberg self-esteem scale (RSES) twice as pre- and post-treatment tests. Results The results from the experimental group indicated a statistically reliable difference between the mean scores from SPIN (t (11) = 5.246, P = 0.000) and RSES (t (11) = -2.326, P = 0.040) pre-treatment and post-treatment. On the other hand, the results of the control group failed to reveal a statistically reliable difference between the mean scores from SPIN (t (12) = 1.089, P = 0.297) and RSES pre-treatment and post-treatment (t (12) = 1.089, P = 0.000). Conclusions The results indicate that MBCT is effective on both the improvement of self-esteem and the decrease of social anxiety. The results are in accordance with prior studies performed on adolescents.
On the Hierarchy of 02-Real Numbers

A convergence control system suited for use with high resolution color display monitors or color television receivers. The system includes both primary and secondary convergence controls having minimal interaction between them. An exemplified convergence control system comprises circuitry designed to develop output signal waveforms for implementing the following expression: where X is a horizontal deflection-related signal input to the system, K is a static control for adjusting convergence at the center of the CRT screen, K3 and K4 are left and right side convergence controls, and K1 and K2 are secondary controls for correcting residual misconvergence-i.e., misconvergence at areas of the screen intermediate the areas converged using the K, K3 and K4 controls. A similar system is provided for providing vertical deflection-related convergence waveforms.
Post-Bond Interconnect Test and Diagnosis for 3-D Memory Stacked on Logic

3-D stacked integrated circuit (IC) technology based on through-silicon vias (TSVs) provides numerous advantages as compared to traditional 2-D-ICs. A potential application is memory stacked on logic, providing enhanced throughput, and reduced latency and power consumption. However, testing the TSV interconnects between the two dies is challenging as both memory and logic dies might come from different providers. Currently, no standard exists and the proposed solutions fail to address dynamic and time-critical faults (at speed testing). In addition, memory vendors have not been in favor to put additional design-for-testability structures such as Joint Test Action Group for interconnect testing on their memory devices. This paper proposes a new memory-based interconnect test (MBIT) approach for 3-D memories stacked on logic (e.g., CPUs). A structural approach is used to develop fault models, their detection conditions, and test and diagnosis patterns. The test patterns are applied by read and write instructions to the memory and are validated by a case study where a 3-D memory is assumed to be stacked on a MIPS64 processor. The main benefits of the MBIT approach are: 1) zero area overhead; 2) the ability to detect both static and dynamic faults and perform at speed testing; 3) flexibility in applying any test pattern, as this can be executed by the CPU on the logic die; 4) extreme short test execution time; and 5) the ability to perform interconnect diagnosis.
Statistical understanding of quark and lepton masses in Gaussian landscapes

The fundamental theory of nature may allow a large landscape of vacua. Even if the theory contains a unified gauge symmetry, the 22 flavor parameters of the standard model, including neutrino masses, may be largely determined by the statistics of this landscape, and not by any symmetry. Then the measured values of the flavor parameters do not lead to any fundamental symmetries, but are statistical accidents; their precise values do not provide any insights into the fundamental theory, rather the overall pattern of flavor reflects the underlying landscape. We investigate whether random selection from the statistics of a simple landscape can explain the broad patterns of quark, charged lepton, and neutrino masses and mixings. We propose Gaussian landscapes as simplified models of landscapes where Yukawa couplings result from overlap integrals of zero-mode wave functions in higher-dimensional supersymmetric gauge theories. In terms of just five free parameters, such landscapes can account for all gross features of flavor, including the hierarchy of quark and charged-lepton masses; small quark mixing angles in the basis with quarks arranged according to mass, with 13 mixing less than 12 and 23 mixing; very light Majorana neutrino masses, with the solar to atmospheric neutrino mass ratio consistent with data; distributions for leptonic mixings sin2theta12 and sin2theta23 that are peaked at large values, while the distribution for sin2theta13 is peaked at low values; and order unity CP-violating phases in both the quark and lepton sectors. While the statistical distributions for flavor parameters are broad, the distributions are robust to changes in the geometry of the extra dimensions. Constraining the distributions by loose cuts about observed values leads to narrower distributions for neutrino measurements of theta13, CP violation, and neutrinoless double beta decay.
Predicting eel production

The aim of this modelling exercise is to develop a robust statistical model to estimate, with appropriate uncertainty, eel production at sites and locations where data are scarce. Foundational to this model are large datasets from a subset of regions around Europe where eels are present. From these data, and using existing knowledge of growth, mortality and recruitment, we develop a Bayesian model to allow production estimates to be derived using geographic and environmental data which are readily available for most locations in Europe where specific biological data might be absent.
Use Case Driven Approach to Self-Monitoring in Autonomic Systems

Self-monitoring of autonomic distributed systems requires knowledge of the states and events of many different parts of a system. One of the main challenges is to determine which information is most crucial for analysis of a system's behaviour, and when. This paper proposes a model- based approach to self-monitoring for which structural and behavioural models of a system are described at different levels: application, subsystem, component and class level. In this approach, a system's behaviour is monitored in the context of a hierarchy of use-cases related to these levels. The structural and behavioural models are used to automatically instrument an existing distributed system. The proposed architecture of a self-monitoring engine is described as is the implementation. The models have been specified in the Ontology Web Language (OWL) and the self-monitoring (as a part of our self-management framework) has been implemented in Java. The scenario used to illustrate the approach is that of authentication for a simplified version of a distributed portal application.
Haptic feedback in remote pointing

We investigate the use of haptic feedback for enhancing user performance with remote pointing devices. We present a number of concepts that use haptic feedback on such devices and the results of the first user study, in which we have compared the effects of different feedback types on users' performance and preference in remote pointing tasks. The study showed that the addition of haptic feedback significantly improves the performance, while it has also revealed a seemingly low user acceptance of haptic feedback. We discuss the implications of our findings and outline the future work.
A Study on Relationship among Organizational Trust, Organizational Justice and Organizational Spirituality

Enterprises must be from angle of human resources management to create the difference in the present fierce business environment of competition. The member is enterprise's most important assets; the more important thing is an administrator should grasp the staff's psychology. This research explores the relation of organizational trust, organizational justice and organizational spirituality, further compare someone is more powerful to organizational spirituality. Use questionnaire investigation, it is supposed and then study with the statistics technology of structural equation modeling, there is apparent prediction strength forward on organizational spirituality to find organizational trust and organizational justice. The management meaning of the conclusion offers the industry to make as strategy, offer better manpower resources management, create and organize it with staff's win-win wishing the scene.
THE SWIFT GRB HOST GALAXY LEGACY SURVEY. II. REST-FRAME NEAR-IR LUMINOSITY DISTRIBUTION AND EVIDENCE FOR A NEAR-SOLAR METALLICITY THRESHOLD

We present rest-frame near-IR (NIR) luminosities and stellar masses for a large and uniformly selected population of gamma-ray burst (GRB) host galaxies using deep Spitzer Space Telescope imaging of 119 targets from the Swift GRB Host Galaxy Legacy Survey spanning 0.03 < z < 6.3, and we determine the effects of galaxy evolution and chemical enrichment on the mass distribution of the GRB host population across cosmic history. We find a rapid increase in the characteristic NIR host luminosity between z ∼ 0.5 and z ∼ 1.5, but little variation between z ∼ 1.5 and z ∼ 5. Dust-obscured GRBs dominate the massive host population but are only rarely seen associated with low-mass hosts, indicating that massive star-forming galaxies are universally and (to some extent) homogeneously dusty at high redshift while low-mass star-forming galaxies retain little dust in their interstellar medium. Comparing our luminosity distributions with field surveys and measurements of the high-z mass–metallicity relation, our results have good consistency with a model in which the GRB rate per unit star formation is constant in galaxies with gas-phase metallicity below approximately the solar value but heavily suppressed in more metal-rich environments. This model also naturally explains the previously reported “excess” in the GRB rate beyond z ≳ 2; metals stifle GRB production in most galaxies at z < 1.5 but have only minor impact at higher redshifts. The metallicity threshold we infer is much higher than predicted by single-star models and favors a binary progenitor. Our observations also constrain the fraction of cosmic star formation in low-mass galaxies undetectable to Spitzer to be small at z < 4.
The Evolution of Very Massive Stars

Core collapse of dense massive star clusters is unavoidable, and this leads to the formation of massive objects, with masses of up to 1000 M☉ and even larger. When these objects become stars, stellar wind mass loss determines their evolution and final fate, and decides on whether they form black holes (with normal mass or with intermediate mass) or explode as a pair-instability supernova. In this paper we discuss the evolution of very massive stars and present a convenient evolution recipe that can be implemented in a gravitational N-body code to study the dynamics of dense massive clusters.