Miracle-dz/UniFAR-FTUs huggingface dataset:
The Practical Method of Dynamically Evaluating the Comprehensive Performance Based on Evidential Reasoning

It is very difficult to give satisfactory evaluation on comprehensive performance of the organization with practiced IMS(integrated management system),because of multi-layer,multi-index,many non-precise and complex variables in it.Based upon the evidential reasoning,a new solution of dynamically evaluating with uncertain information in multi-attribute hierarchical evaluation process is proposed,and the comprehensive performance evaluation index system is build up.The steps of this method is that,firstly,all evaluating indexes are divided into two parts:qualitative and quantitative items;secondly,each item is standardized;thirdly,from bottom layer,each item is analyzed dynamically and comprehensively,and the synthesis of the evaluated compositors is got by integrating each evaluation.Finally,applying the method proposed to evaluating the management,actuality of an enterprise shows that the method is practical and scientific.
Chinese Named Entity Recognition and Disambiguation Based on Multi-stage Clustering

Named Entity Recognition and Disambiguation is an important research of Natural Language Understanding.For the task of Named Entity Recognition and Disambiguation in the situation of entity knowledge base provided,this paper presents a method based on multi-stage clustering.First,we link the document to the entity definition in the knowledge base by two rounds of clustering.Second,we group entities which don't exist in the knowledge base by Hierarchical Agglomerative Clustering.Finally,we recognize ordinary words and adjust the results by KMeans Clustering.Our experiments on data of CLP-2012Chinese person name disambiguation task proves our system performs well.The F score on test data is 86.68%,exceeding the best result of the Bake-off by 6.46%.
Spacecraft Attitude Determination And Control

Thank you for downloading spacecraft attitude determination and control. As you may know, people have look hundreds times for their chosen readings like this spacecraft attitude determination and control, but end up in harmful downloads. Rather than enjoying a good book with a cup of tea in the afternoon, instead they cope with some infectious bugs inside their laptop. spacecraft attitude determination and control is available in our digital library an online access to it is set as public so you can get it instantly. Our digital library saves in multiple locations, allowing you to get the most less latency time to download any of our books like this one. Kindly say, the spacecraft attitude determination and control is universally compatible with any devices to read.
Valuing cultural heritage: applying environmental valuation techniques to historic buildings, monuments and artifacts.

Part 1 Introduction: why value cultural heritage? , Richard C. Ready and Stale Navrud methods for valuing cultural heritage, Richard Ready and Stale Navrud. Part 2 Case studies: social cost and benefits of preserving and restoring the Nidaros Cathedral, Stale Navrud and Jon Strand Northumbria - castles, cathedrals and towns, Guy Garrod and Kenneth G. Willis valuing the impacts of air pollution on Lincoln Cathedral, Marilena Pollicino and David Maddison preserving cultural heritage in transition economies - a contingent valuation study of Bulgarian monasteries, Susana Mourato et al valuing different road options for Stonehenge, David Maddison and Susana Mourato the contribution of Aboriginal rock paintings to wilderness recreation values in North America, Peter Boxall et al economic benefits to foreigners visiting Morocco accruing from the rehabilitation of the Fes Medina, Richard T. Carson et al component and temporal value reliability in cultural goods - the case of Roman imperial remains near Naples, Patrizia Riganti and Kenneth G. Willis valuing reduced acid deposition injuries to cultural resources - marble monuments in Washington, D.C., Edward R. Morey et al valuing cultural services in Italian museums - a contingent valuation study, Marina Bravi et al a contingent valuation study of the Royal Theatre in Copenhagen, Trine Bille individual preferences and allocation mechanism for a cultural public good - Napoli Musei Aperti, Walter Santagata and Giovanni Signorello. Part 3 Review of studies: review of existing studies, their policy use and future research needs, David Pearce et al.
Algorithm for Recognizing Bridges in Large Area Satellite Remote Sensing Imagery

An algorithm for recognizing bridges in large area satellite remote sensing imagery with high resolution was proposed. The original large image wais firstly divided into small sub- images with the same size,and all sub-images were classified as river area or non- river area by fuzzy pattern classification according to gray features of water and land. All classified river area sub- images were gathered to obtain several sets by a method of cluster analysis and the sets as real river areas were obtained with the fact that the shape of a river is generally long- rectangle in high resolution remote sensing imagery. Then,regions of interest( ROIs) possible including bridges were detected among the river areas. In the ROIs,segmentation of water and land was implemented by a two- peak threshold segmentation method. The possible points of bridge edges can be obtained and fitted into two candidate bridge edge lines which need to be verified by priori knowledge. In the end,the parameters of a recognized bridge were given. Results obtained from experiments on real images demonstrate that the proposed algorithm performs well.
Improved Behavioral Modeling Based on the Input Output Buffer Information Specification.

VARMA, AMBRISH KANT. Improved Behavioral Modeling Based on the Input Output Buffer Information Specification. (Under the direction of Professor Paul D. Franzon). High level behavioral modeling is widely used in lieu of low level transistor models to ascertain the behavior of I/O drivers and receivers. IBIS (Input Output Buffer Information Specification) is one of the most widely used methodology to model digital drivers as it satisfies the basic requirements of a behavioral model such as intellectual property protection, simple structure, fast simulation time and good accuracy. As driver technology gets increasingly complicated and rise time of input signal gets increasingly smaller, important phenomenae such as simultaneous switching noise (SSN) becomes a major consideration when simulating multiple I/O drivers in the integrated circuit. Misrepresentation of noise might result in overestimation of signal strength and quality resulting in a high bit error rate and poor signal to noise ratio at the receiver end. This might lead to total failure of the system. With the size of the transistor shrinking, more and more I/Os can be accommodated on the chip, resulting in a greater probability of more drivers switching simultaneously, hence increasing the problems of SSN furthermore. Experiments show that IBIS models over-represents noise in the quiet line when placed in an environment where multiple drivers were present and switching simultaneously. A thorough analysis is performed to determine the inadequacies in IBIS with regards to SSN. A method is presented for compensating for the missing information by complimenting the IBIS model with a black box that is simulator independent, without compromising with the speed that IBIS enjoys over the transistor models. Model validation and system level tests are done with the IBIS model in conjunction with the black-box by passing a pseudo random bit sequence (PRBS) at the input. Eye diagrams are used to determine the quality of the received signal at the input for the behavior models as well as transistor models. These tests demonstrated a better response of the behavior model than the plain IBIS model when compared to the circuits with the transistor model. The enhancement of the IBIS models resulted in at least a 20% improvement in the simulation accuracy with behavioral models. Improved Behavioral Modeling Based on the Input Output Buffer Information Specification
Bramatherium (Artiodactyla, Ruminantia, Giraffidae) from the Middle Siwaliks of Hasnot, Pakistan: biostratigraphy and palaeoecology

We describe here new remains of the giraffid Bramatherium, from the late Miocene-early Pliocene of Hasnot, northern Pakistan. The fossil giraffid material from Hasnot represents 2 taxa of Bramatherium, B. megacephalum and B. grande. The Hasnot locality is characterised by high proportions of ruminants, namely Boselaphini, Antilopini, Sivatheriinae, Cervini, Dorcatherium, and Dorcabune. The Hasnot fossil ruminant assemblage is fairly typical for the Siwalik province and comparisons with the Greco-Iranian-Afghan and African palaeobiological provinces indicate a late Miocene-early Pliocene age. It is suggested that local Hasnot palaeoenvironments comprised wetlands to woodland biomes, perhaps devoid of expansive dense forests.
Towards self-correcting quantum memories

Towards Self-Correcting Quantum Memories Kamil Michnicki Chair of the Supervisory Committee: Professor Marcel Den Nijs Physics This thesis presents a model of self-correcting quantum memories where quantum states are encoded using topological stabilizer codes and error correction is done using local measurements and local dynamics. Quantum noise poses a practical barrier to developing quantum memories. This thesis explores two types of models for suppressing noise. One model suppresses thermalizing noise energetically by engineering a Hamiltonian with a high energy barrier between code states. Thermalizing dynamics are modeled phenomenologically as a Markovian quantum master equation with only local generators. The second model suppresses stochastic noise with a cellular automaton that performs error correction using syndrome measurements and a local update rule. Several ways of visualizing and thinking about stabilizer codes are presented in order to design ones that have a high energy barrier: the non-local Ising model, the quasi-particle graph and the theory of welded stabilizer codes. I develop the theory of welded stabilizer codes and use it to construct a code with the highest known energy barrier in 3-d for spin Hamiltonians: the welded solid code. Although the welded solid code is not fully self correcting, it has some self correcting properties. It has an increased memory lifetime for an increased system size up to a temperature dependent maximum. One strategy for increasing the energy barrier is by mediating an interaction with an external system. I prove a no-go theorem for a class of Hamiltonians where the interaction terms are local, of bounded strength and commute with the stabilizer group. Under these conditions the energy barrier can only be increased by a multiplicative constant. I develop cellular automaton to do error correction on a state encoded using the toric code. The numerical evidence indicates that while there is no threshold, the model can extend the memory lifetime significantly. While of less theoretical importance, this could be practical for real implementations of quantum memories. Numerical evidence also suggests that the cellular automaton could function as a decoder with a soft threshold.
Design, implementation and analysis of a theft-resistant password manager based on Kamouflage architecture

As a solution for helping companies and users in the constant security dilemma of obtaining and using passwords in the securest ways possible, password managers have become custom around the globe. The design architecture on what development of password managers are based on, preserving authenticity, usability and reliability are principles that keep systems secure and defend against attacks or unfortunate circumstances. The design principles however, have changed little over time. After researching password managers and analyzing overall security, we use our findings to develop a design based on the implementation of decoys, customized for Android. This development was inspired by a paper named ”Kamouflage: Loss-Resistant Password Management” [27].
Sistemas de gestión de contenidos de aprendizaje y técnicas de minería de datos para la enseñanza de ciencias computacionales: un caso de estudio en el norte de Coahuila

This article describes the characteristics of a computerized learning system. By employing data mining techniques, an analysis is made of college students� learning styles in computer science. Also studied is the use of learning content management systems (LCMS), like Moodle, in combined settings of classroom and distance education (in this case, a model course in computer programming). The study�s methodology can also be used to establish the characteristics of teaching various disciplines, based on students� learning styles. The result will be closer agreement between student learning and teaching processes at various educational levels.
Origin of the Contrasting Mineralogy of Extrusive and Plutonic Salic Rocks

Mineralogical differences between the quartz and feldspars of extrusive and plutonic acidic rocks are noted. The differences are believed to represent changes brought about in the minerals of plutonic rocks by inversion, unmixing, and recrystallization from an initial character similar to the quartz and feldspars of the corresponding extrusive rocks. Equilibrium studies in the system orthoclase-albite-water provide quantitative information on the stability relations of the alkali feldspars. A single alkali feldspar is stable at high temperatures, but this phase becomes unstable at low temperatures and breaks up into a potash-rich and a soda-rich phase (perthite). Such an unmixing is common in the perthite-quartz granites. Granites of orthoclase-plagioclase-quartz (no perthite) may have the same chemical composition as the perthite-quartz granites, and it is suggested that the unmixing process may continue beyond the perthite stage to give nearly potash-free plagioclase and soda-free orthoclase. Such a process of unmixing and recrystallization may explain conflicting evidence for the order of crystallization in granitic rocks. It is believed that these processes-the result of changing stability relations at low temperatures-have produced significant changes in the mineralogy and textural relationships of the plutonic acidic rocks.
Source Modelling of the Human Hippocampus for MEG

Magnetoencephalography (MEG) is a neuroimaging technique which gives direct non-invasive measurements of neuronal activity with high temporal resolution. Given its increasing use in cognitive and clinical research, it is important to characterize, and ideally improve upon, its advantages and limitations. For example, it is conventionally assumed to be insensitive to deep structures because of their distance from the sensors. Consequently, knowledge about their signal contribution is limited. One deep structure of particular interest is the hippocampus which plays a key role in memory and learning, and in organising temporal flow of information across regions. A large body of rodent studies have demonstrated quantifiable oscillatory underpinnings of these functions, now waiting to be addressed in humans. Due to its high temporal resolution, MEG is ideally suited for doing so but faces technical challenges. Firstly, the source-to-sensor distance is large, making it difficult to obtain sufficiently high signal-to-noise ratio (SNR) data. Secondly, most generative models (which describe the relationship between sensors and signal) include only the cortical surface. Thirdly, errors in co-registering data to an anatomical image easily obstruct or blur hippocampal sources. This thesis tested the hypotheses that a) identification and optimisation of acquisition parameters which improve the SNR, b) inclusion of the hippocampus in the generative model, and c) minimisation of co-registration error, together enable reliable inferences about hippocampal activity from MEG data. We found the most important empirical factor in detecting hippocampal activity using the extended generative model to be co-registration error; that this can be minimised using flexible head-casts; and that combining anatomical modelling, head-casts, and a spatial memory task, allows hippocampal activity to be reliably observed. Hence the work confirmed the overall hypothesis to be valid. Additionally, simulation results revealed that for a new generation of MEG sensors, ~5-fold sensitivity improvements can be obtained but critically depend on low sensor location errors. These findings set down a new basis for time-resolved examination of hippocampal function.
Knowledge Sharing

Knowledge sharing is central to knowledge management in organizations. The more tacit the knowledge, the harder it is to share. However, successful knowledge sharing means looking not just at the content of the knowledge, and the people and technology concerned in the sharing, but the context in which that sharing takes place. This chapter discusses relevant theories from knowledge management and other fields. It goes on to present a model covering the time, place and context of the knowledge sharing activity, developed using theories about decision support systems. This forms the final part of a three-stage approach intended to help managers (and others) make decisions about how to support knowledge sharing activities in organizations. Each stage takes the form of a question to be answered, as follows: 1) What are the business processes concerned? 2) What is the knowledge to be shared related to - knowledge creation, knowledge acquisition, knowledge refinement, knowledge storage, or knowledge use? 3) What does this mean for the time, place and context of the knowledge sharing?
Direct Radiocarbon Dating of Late Pleistocene Hominids in Eurasia: Current Status, Problems, and Perspectives

The corpus of radiocarbon dates run directly on Pleistocene-age human remains in Eurasia (∼120 values, with ∼80 of them found to be reliable) is analyzed and interpreted. The latest Neanderthals are dated to ∼34,000–30,500 BP (∼38,800–35,400 cal BP). They probably coexisted with the first modern humans at ∼36,200–30,200 BP (∼42,500–32,800 cal BP) in the western and central parts of Europe. The earliest direct 14C dates on modern humans in Eurasia are ∼34,950–33,300 BP (∼40,400–37,800 cal BP). A paucity of 14C dates corresponding to the LGM is evident for Europe, but Asia perhaps had larger populations during this timespan. The main criteria for the selection of bone/tooth material for direct 14C dating as now widely accepted are (1) the collagen yield (generally, 1% or more) and (2) the C:N ratio (within the 2.9–3.4 range).
The public library catalogue as a social space: A case study of social discovery systems in two Canadian public libraries

This paper uses transaction log data to examine how library users interact with two social discovery systems used in two Canadian public library systems. Results indicate that user-generated content is not used extensively or significantly in the two social discovery systems. Format is the predominant facet used to refine searches; the remaining facets are significantly underrepresented. Cette etude utilise les journaux transactionnels pour determiner comment les usagers des bibliotheques interagissent avec deux systemes de decouverte sociaux en place dans deux reseaux de bibliotheques publiques canadiennes. Les resultats indiquent que le contenu genere par les utilisateurs n’est pas utilise a grande echelle ou de facon importante dans aucun des deux systemes de decouverte sociaux. Le format est la principale facette utilisee pour raffiner les recherches; les autres facettes etant sous-representees.
Facial Motion Estimation with the TMS320C62xx Family

Very low bitrate coding is an important part of the MPEG-4 standard. To obtain maximum compression in videoconference sequences a technique called semantic coding can be used. With this technique, the face of the speaker is represented by a model, and its movement between frames is coded with a small set of parameters. The quality of the motion description grows with the number of parameters used. As with all MPEG standards, the encoder algorithm is not described. This leaves the door open to many possible implementations. In this paper we describe an algorithm used to calculate the facial motion parameters and the implementation of this algorithm using the current members of the TMS320C62xx family, which can be the starting point for a “Simple Facial Animation Visual Profile” encoder. The algorithm is based on the optical flow constraint equation and a set of equations that describe the movement of the face. The estimation is performed in two parts: first the movement of the head as a rigid object is estimated and then, the facial movements are calculated. The implementation of this algorithm is then discussed for the following C62xx family members: C6201, C6201B, C6202, C6203 and C6211. The implemented algorithms make full use of the VLIW processing power of the processors. The main difference between the implementations is the use of memory and DMA; they all maintain the same processing kernels.
Zero Pronoun Resolution in a Machine Translation System by using Japanese to English Verbal Semantic Attributes.

A method of anaphoral resolution of zero pronouns in Japanese language texts using the verbal semantic attributes is suggested. This method focuses attention on the semantic attributes of verbs and examines the context from the relationship between the semantic attributes of verbs governing zero pronouns and the semantic attributes of verbs governing their referents. The semantic attributes of verbs are created using 2 different viewpoints: dynamic characteristics of verbs and the relationship of verbs to cases. By using this method, it is shown that, in the case of translating newspaper articles, the major portion (93%) of anaphoral resolution of zero pronouns necessary for machine translation can be achieved by using only linguistic knowledge.Factors to be given special attention when incorporating this method into a machine translation system are examined, together with suggested conditions for the detection of zero pronouns and methods for their conversion. This study considers four factors that are important when implementing this method in a Japanese to English machine translation system: the difference in conception between Japanese and English expressions, the difference in case frame patterns between Japanese and English, restrictions by voice and restriction by translation structure. Implementation of the proposed method with due consideration of these points leads to a viable method for anaphoral resolution of zero pronouns in a practical machine translation system.
TESTING WIND AS AN EXPLANATION FOR THE SPIN PROBLEM IN THE CONTINUUM-FITTING METHOD

The continuum-fitting method is one of the two most advanced methods of determining the black hole spin in accreting X-ray binary systems. There are, however, still some unresolved issues with the underlying disk models. One of these issues manifests as an apparent decrease in spin for increasing source luminosity. Here, we perform a few simple tests to establish whether outflows from the disk close to the inner radius can address this problem. We employ four different parametric models to describe the wind and compare these to the apparent decrease in spin with luminosity measured in the sources LMC X-3 and GRS 1915+105. Wind models in which parameters do not explicitly depend on the accretion rate cannot reproduce the spin measurements. Models with mass accretion rate dependent outflows, however, have spectra that emulate the observed ones. The assumption of a wind thus effectively removes the artifact of spin decrease. This solution is not unique; the same conclusion can be obtained using a truncated inner disk model. To distinguish among the valid models, we will need high-resolution X-ray data and a realistic description of the Comptonization in the wind.