Miracle-dz/UniFAR-FTUs huggingface dataset:
Limited Memory Block Krylov Subspace Optimization for Computing Dominant Singular Value Decompositions

In many data-intensive applications, the use of principal component analysis and other related techniques is ubiquitous for dimension reduction, data mining, or other transformational purposes. Such transformations often require efficiently, reliably, and accurately computing dominant singular value decompositions (SVDs) of large and dense matrices. In this paper, we propose and study a subspace optimization technique for significantly accelerating the classic simultaneous iteration method. We analyze the convergence of the proposed algorithm and numerically compare it with several state-of-the-art SVD solvers under the MATLAB environment. Extensive computational results show that on a wide range of large unstructured dense matrices, the proposed algorithm can often provide improved efficiency or robustness over existing algorithms.
The critical effect factors of faculty IT system usage intention in higher education

Faculty IT usage intention will affect the IT performance in higher education. However, little is known about the critical effect factors of the faculty IT usage intention. Based on three robust intention models which are widely applied in the behavioral intention research, the present study empirically analyzes the critical effect factors of the faculty IT usage intention in higher education. Results show that attitude is the critical effect factor of the faculty IT usage intention, and perceived usefulness and perceived ease of use have significant effects on the attitude. Subjective norm, perceived behavioral control, and perceived usefulness have no direct significant effects on the faculty IT usage intention. Theoretical and practical implications are discussed, and future research direction is put forwarded.
Towards semantic robot description languages

There is a semantic gap between simple but high-level action instructions like “Pick up the cup with the right hand” and low-level robot descriptions that model, for example, the structure and kinematics of a robot's manipulator. Currently, programmers bridge this gap by mapping abstract instructions to parametrized algorithms and rigid body parts of a robot within their control programs. By linking descriptions of robot components, i.e. sensors, actuators and control programs, via capabilities to actions in an ontology we equip robots with knowledge about themselves that allows them to infer the required components for performing a given action. Thereby a robot that is instructed by an end-user, a programmer, or even another robot to perform a certain action, can assess itself whether it is able and how to perform the requested action. This self-knowledge for robots could considerably change the way of robot control, robot interaction, robot programming, and multi-robot communication.
Intelligent Support of Knowledge Transformation based on Integration of Case-based and Rule-based Reasoning

In present paper we propose an approach to support knowledge transformation in the knowledge-based systems facilitating transition of knowledge from the tacit form to the explicit one and vice versa. The approach is based on the dynamic integration of case-based and rule-based knowledge representation model with use of artificial intelligence methods. Efficient algorithm is proposed for conversion of knowledge from the case-based to the rule-based fuzzy representation to solving classification problem.
Unilateral Hindlimb Immobilization Decreases Muscle Mass in Part by Proteasome - Dependent Proteolysis but Independent of Protein Synthesis and Translation Initiation Factors

A memory device is formed of the one transistor cell type. Such a device has a substrate, a ferroelectric layer which is a film of rare earth manganite, and an interfacial oxide layer being positioned between the substrate and the ferroelectric layer. The invention includes such a device and methods of making the same.
Usefulness of dilated blood vessels in the tumor periphery for assessing the invasion depth of small-sized depressed colorectal cancer

AbstractThe relationship between dilated blood vessels in the tumor periphery and the tumor invasion depth is unclear. Therefore, the present study aimed to clarify the relationship between dilated blood vessels and the invasion depth of small-sized (<30 mm) colorectal cancer (CRC), and its implications on endoscopic treatment.We performed a single-arm observational study of the diagnostic accuracy of the existence of dilated vessels in the tumor periphery of CRC lesions as an indicator of submucosal deep (SM-d, ≥1000 &mgr;m) carcinomas. Lesions were classified into two groups based on the existence of dilated vessels by two experienced endoscopists. The clinicopathological features, invasion depth, and lymphovascular invasion/poorly differentiated clusters were analyzed in all resected specimens.Four hundred and two consecutive small-sized CRC lesions were included. The dilated vessels were observed in 96/402 (24%) lesions, and most of them (93/96) were found in depressed lesions. In depressed lesions, the histopathological diagnosis of the dilated vessels group showed SM-d or deeper invasion in 84/93 (90%) cases, whereas 3/20 (15%) had SM-d invasion in the nondilated vessels group (P < 0.001). When the dilated vessels were used as an indicator of SM-d or deeper invasion in depressed lesions, the sensitivity was 95.6%, specificity was 66.7%, and accuracy was 90.2%. No correlation was observed between the existence of dilated vessels and the lesion site, lesion diameter, and lymphovascular invasion/poorly differentiated cluster.The existence of dilated blood vessels in the tumor periphery suggests SM-d or deeper invasion in depressed lesions.
Fractional and Trigonal Deviation Integral Approaches for Constrained Global Minimization

In this paper, our main work is to study and solve the constrained global optimization problem with fractional and trigonal deviation integral and penalty technique. Furthermore we examine the penalty optimality condition and fractional and trigonal penalty deviation integral algorithm for constrained global optimization problem. Combining the Monte-Carlo technique, we analyse specific examples for discontinuous objective function with n = 100 variables. Numerical tests show that the algorithm is effective.
Model Uncertainty of Real Exchange Rate Forecast over Mid-term Horizons

We investigate the significance of fundamentals variables and uncertainty of appropriate models in one-, two-, four-, and eight-quarter ahead forecasts of quarterly yen-dollar real exchange rates by using 16 fundamentals-based models and the random walk model. Our empirical results show significance of fundamentals variables in two-, four-, and eight-quarter ahead forecasts. Moreover, the reversible jump MCMC approach for uncertainty of appropriate models indicates that appropriate models change over both forecast-time-span and forecast period. This uncertainty could not be fully explained by the hypothesis that real exchange rates are ultimately governed by the true fundamentals-based model.
Implementation and evaluation of consumer-oriented lifelog service using daily receipts

In this paper, we design and implement a consumer-oriented service platform called ReceiptLogService to store and use their receipt log by consumers. ReceiptLogService assumes receipt data as a lifelog. The receipt lifelog may provide gaining awareness of economic for consumers. We also develop a social network Web application called ReciLog that extensively uses the ReceiptLogService platform. ReciLog extensively supports every end user to review daily life from financial and living aspects. We then conducted an experimental evaluation of the ReciLog with actual subjects. The experimental results showed that it was interesting and useful for end users to review and share the receipt log.
Process instance migration: Flexible execution of distributed business processes

This research summary outlines results achieved by Hamburg University during its participation in the EU NoE “S-Cube” focusing on process instance migration. It includes corresponding results in the context of dynamic and mobile environments (as, e.g., provided by mobile web services, NFC-aware process execution, future-context-aware applications or interactive workflows) and focuses on the management of mobile processes as, e.g., ad-hoc monitoring and management, process as a service etc.
Internet atlas: a geographic database of the internet

This paper describes Internet Atlas, a new visualization and analysis portal for diverse Internet measurement data. The starting point for Atlas is a geographically anchored representation of the physical Internet including (i) nodes (e.g., hosting facilities and data centers), (ii) conduits/links that connect these nodes, and (iii) relevant meta data (e.g., source provenance). This physical representation is built by using search to identify primary source data such as maps and other repositories of service provider network information. This data is then carefully entered into the database using a combination of manual and automated processes including consistency checks and methods for geocoding both node and link data. Atlas currently contains over 9.5K PoP locations and nearly 13.5K links for over 270 networks around the world. Customized interfaces were built to import a variety of dynamic (e.g., BGP updates, Twitter feeds and weather updates) and static (e.g., highway, rail and census) data into Atlas, and to layer it on top of the physical representation. The openly available web portal is based on the widely-used ArcGIS geographic information system, which enables visualization and diverse spatial analyses of the data. We describe the details of the portal implementation as well as on-going efforts to expand its capabilities.
Building ontologies: A state of the art, and an application to Finance domain

In this paper, we develop a framework for comparing ontology leaning systems and place a number of the more prominent ones into it. We have selected 11 specific projects for this study, including automatic and semi-automatic domain ontology building from unstructured or semi-structured text document. The comparison framework includes general characteristics, such as the purpose of ontology, its coverage (general or domain specific), and the formalism used. It also includes the design process used in creating ontology and the methods used to evaluate it. We synthesize the characteristics of the studied algorithms as a comparison matrix based on predefined criteria. Finally, we selected three methodologies for ontology construction: HCHIRSIM [1], Sanchez et al. 2004 [2] and Text2onto [3] and apply them in Finance domain ontology constructed from the web. We compare the obtained concepts with those on the “Financial glossary” provided by Yahoo.com.
HFACS Analysis of Military and Civilian Aviation Accidents: A North American Comparison

Author Biographies: Dr. Shappell is the Human Factors Research Branch Manager at the Civil Aerospace Medical Institute of the Federal Aviation Administration in Oklahoma City, OK. There he manages research programs on advanced Air Traffic Control systems, behavioral stressors, and aircrew performance. In addition, he continues to conduct studies of both civil and military aviation accidents using the Human Factors Analysis and Classification System (HFACS) that he co-authored with Dr. Douglas Wiegmann. He has published over 60 papers and one book in the fields of aviation accident investigation, spatial disorientation, sustained operations, flight deck injuries, and aircrew fatigue.
----------------------------------------------------------------------------------------------------------------IDENTIFYING FAKE USER ’ S IN SOCIAL NETWORKS USING NON VERBAL BEHAVIOR

Big data is a term with large or complex dataset where traditional data processing applications are inadequate. Challenges include analysis, capture, curation, search, sharing, storage, transfer, visualization, and information privacy. Now a days, Usage of social networks has been increasing which leads the path for users to have multiple accounts for sharing their thoughts. On the other hand, Fakers pretend like an authorized users and cause discomfort to the users during the brainstorming sharing. Verbal behavior encourages to identify the fake and multiple account holders in the social networks only among active users. The optimality of the solution is not guaranteed if algorithm alone applies on the problem, since the resource shared to the deceptive user is also same as the authorized user. In this [project] paper we proposing the nonverbal behavior to identify the deceptive users in the social networks like Facebook, Twitter, LinkedIn etc. Using Deceptive detection algorithm we are identifying the fake users and improving the resource utilization with high reliability and performance in the social networks
Multispikes and Synchronization in a Large Neural Network with Temporal Delays

Coherent rhythms in the gamma frequency range are ubiquitous in the nervous system and thought to be important in a variety of cognitive activities. Such rhythms are known to be able to synchronize with millisecond precision across distances with significant conduction delay; it is mysterious how this can operate in a setting in which cells receive many inputs over a range of time. Here we analyze a version of mechanism, previously proposed, that the synchronization in the CA1 region of the hippocampus depends on the firing of doublets by the interneurons. Using a network of local circuits that are arranged in a possibly disordered lattice, we determine the conditions on parameters for existence and stability of synchronous solutions in which the inhibitory interneurons fire single spikes, doublets, or triplets per cycle. We show that the synchronous solution is only marginally stable if the interneurons fire singlets. If they fire doublets, the synchronous state is asymptotically stable in a larger subset of parameter space than if they fire triplets. An unexpected finding is that a small amount of disorder in the lattice structure enlarges the parameter regime in which the doublet solution is stable. Synaptic noise reduces the regime in which the doublet configuration is stable, but only weakly.
Construction and validation of an implicit instrument to assess God representations. Part 1: Associations between implicit and explicit God representation and distress measures

ABSTRACT For adherents of theistic religions, God representations are an important factor in explaining associations between religion/spirituality and well-being/mental health. Because of limitations of self-report measures of God representations, we developed an implicit God representation instrument, the Apperception Test God Representations (ATGR) and examined its reliability and validity. Its scales could be scored reliably and were within a clinical sample associated more strongly than explicit God representation scales with the Global Assessment of Functioning scale. Compared to the ATGR scores of a nonclinical sample, the clinical sample had less complex, positive, and mature God representations, indicating discriminant validity.
Radio Link Level Performance in Multi-Rate MIMO Wireless Networks: Analysis and Optimization

The paper presents a queueing analytical model for radio link level performance analysis in spatial multiplexing multiple-input multiple-output (MIMO) wireless systems using adaptive modulation. In the physical layer, the modulation level is adaptively adjusted according to the channel quality based on quadrature amplitude modulation (QAM). In the medium access control (MAC) layer, the authors consider a time division multiple access (TDMA) scheme with weighted round-robin scheduling. Developed based on a discrete-time Markov chain and vacation queueing model, the analytical model provides various packet-level performance measures. In addition, we present an optimization formulation to obtain users' weights for packet scheduling so that the transmission rate requirements of the users can be satisfied. Afterwards, an admission control scheme is proposed.
Bringing Interactive Contextual Maps to Users for Information Retrieval

The growth of available online collections of documents comes with a growth in users' expectations for retrieval services. Contextual representations and interaction processes are becoming a real challenge to accurately navigate among large amounts of data. This paper presents an intuitive framework for the creation of multilevel interactive maps of multimedia content. Our framework allows the user to build interactive 2D representations of multimedia documents. The visualization is based on a graph layout and filtering and generates maps through document clustering. Users may interactively modify the map according to their criteria of interests, defining their own viewpoints on the collection. They can then dig or surf depending on the interaction mode they choose. Those functionalities allow them to navigate, browse, and analyze quickly and precisely sets of multimedia documents, allowing deep investigation of collections.
The role of uncertainty in evaluating condition and vulnerability of constructed systems

Condition evaluation of large constructed structures has been widely researched over the last decade. In numerous studies dynamic testing has been used as the primary experimentation tool for measuring the dynamic characteristics and extracting various proposed indicators of structural condition. Despite these efforts, dynamic testing of constructed systems has not yet evolved to a point that it can be standardized as a tool for condition evaluation. Writers believe that two major sources of uncertainty in dynamic test based condition evaluation are the reasons for the gap between concepts and meaningful real-life applications. Most dynamic test methods are built on principles of observability, linearity and stationarity. The first major source of uncertainty is due to constructed systems and their loading environments’ inherent complexity leading to limitations in the application of the above tenets. The second category of uncertainty is related to the experiment, i.e. sensing, data acquisition, processing and analysis for different dynamic test methods. Ambient vibration (i.e. operational modal analysis) and impact testing are two different tools aiming to identify same parameters. Comparative evaluation of different test methods at the presence of different levels of uncertainty will enable us to assess the reliability of dynamic testing tools for condition evaluation. Writers designed a set of experiments on a laboratory physical model to investigate the effects of these two groups of uncertainties on modal parameter identification. Results will be discussed along with mitigation measures of uncertainties in dynamic testing of constructed systems.
Country of Origin Information , Ethnocentrism and Perceived Quality of Mobile Phones : Experience from the Field

This study seeks to investigate the importance of the country of origin information, level of ethnocentrism and perceived quality of mobile phones amongst private university students in Malaysia. These data were gathered in late 2010 from 122 private university students based on the Country of Origin Information of Products questionnaire by Lascu and Babb (1995) and the17-item CETSCALE by Shimp and Sharma (1987). Perceived quality was based on the students’ ranking of the country of manufacture of the mobile phones in five countries namely Malaysia, China, Japan, Finland and South Korea. The respondents’ characteristics were also obtained from the questionnaire. This study found that this group of students’ is impartial towards the country of origin information when making purchase decisions. They also tend to be less ethnocentric in their outlook. Overall, they view highly the quality of mobile phones manufactured in developed countries. The paper provides knowledge to foreign mobile phone firms that intend to penetrate into the Malaysian market and existing firms currently targeting their mobile phones towards Malaysian private university students.
An empirical model for the radio emission from pulsars

A pulsar model is proposed which involves the entire magnetosphere in the production of the observed coherent radio emission. The observationally inferred regularity of peaks in the pulsar profiles of ‘slow’ pulsars is shown to suggest that inner and outer cones of emission near the polar cap interact with and ‘mirror’ two rings in the outer magnetosphere: one where the null line intersects the light cylinder, and another where it intersects the boundary of the corotating dead zone. The observed dependency of conal type on period is shown to follow naturally from the assumption that cones only form when the mirror intersection points lie between two fixed heights from the surface, suggesting that a feedback system exists between the surface and the mirror points, accomplished by a flow of charges of opposite sign in either direction. In their flow to and from the mirror points, the particles execute an azimuthal drift around the magnetic pole, thereby creating a ring of discrete ‘emission nodes’ close to the surface. Motion of the nodes is observed as subpulse ‘drift’, which is interpreted here as a small residual component of the real particle drift. The nodes can move in either direction or even remain stationary, and can differ in the inner and outer cones. A precise fit is found for the drifting subpulses of PSR 0943+10. Azimuthal interactions between different regions of the magnetosphere depend on the angle between the magnetic and rotation axes and influence the conal type, as observed. The model sees ‘slow’ pulsars as being at the end of an evolutionary development where the outer gap region no longer produces pair cascades, but is still the intermittent source of low-energy pairs in a magnetosphere-wide feedback system.
Chandra Observations of the X-Ray Environs of SN 1998bw/GRB 980425

We report X-ray studies of the environs of SN 1998bw and GRB 980425 using the Chandra X-Ray Observatory 1281 days after the gamma-ray burst (GRB). Eight X-ray point sources were localized, three and five each in the original error boxes, S1 and S2, assigned for variable X-ray counterparts to the GRB by BeppoSAX. The sum of the discrete X-ray sources plus continuous emission in S2 observed by Chandra on day 1281 is within a factor of 1.5 of the maximum and the upper limits seen by BeppoSAX. We conclude that S2 is the sum of several variable sources that have not disappeared and therefore is not associated with the GRB. Within S1, clear evidence is seen for a decline of approximately a factor of 12 between day 200 and day 1281. One of the sources in S1, S1a, is coincident with the well-determined radio location of SN 1998bw and is certainly the remnant of that explosion. The nature of the other sources is also discussed. Combining our observation of the supernova with others of the GRB afterglow, a smooth X-ray light curve, spanning ~1400 days, is obtained by assuming that the burst and supernova were coincident at 35.6 Mpc. When this X-ray light curve is compared with those of the X-ray "afterglows" of ordinary GRBs, X-ray flashes, and ordinary supernovae, evidence emerges for at least two classes of light curves, perhaps bounding a continuum. By 3-10 yr, all these phenomena seem to converge on a common X-ray luminosity, possibly indicative of the supernova underlying them all. This convergence strengthens the conclusion that SN 1998bw and GRB 980425 took place in the same object. One possible explanation for the two classes is that a (nearly) standard GRB was observed at different angles, in which case X-ray afterglows with intermediate luminosities should eventually be discovered. Finally, we comment on the contribution of GRB afterglows to the ultraluminous X-ray source population.