Miracle-dz/UniFAR-FTUs huggingface dataset:
Academic Librarians' Conception and Use of Evidence Sources in Practice

Objective – The objective of this study was to explore and understand how academic librarians use evidence in their professional decision making. The researcher aimed to gain insights on the relevance of the current EBLIP model to practice, and to understand the possible connections between scientific research and tacit knowledge within the practice of LIS. Methods – A grounded theory methodology was used, following the approach of Charmaz (2006). Participants were 19 academic librarians in Canada. Data was gathered via online diaries and semi-structured interviews over a six-month period in 2011. Results – Two broad types of evidence were identified (hard and soft), and are generally used in conjunction with one another. Librarians examine all evidence sources with a critical eye, and try to determine a complete picture before reaching a conclusion. As well, librarians use a variety of proactive and passive approaches to find evidence. Conclusions – These results provide a strong message that no single evidence source is perfect. Consequently, librarians bring different types of evidence together in order to be as informed as possible before making a decision. Using a combination of evidence sources, depending upon the problem, is the way academic librarians approach decision making.
REVIEWS

This monograph investigates the syntax of the finite verb in Mocheno, a minority language spoken in a German speech island of Northern Italy. Basing her study on detailed new data collected during extensive fieldwork, and focusing on finite verb movement; on multiple access to the left periphery; on pro licensing and on the distribution of OV/VO word orders, the author refutes the traditional view that the syntactic variation found in Mocheno is due to the presence of two competing grammars as a consequence of contact with Romance varieties and accounts for the peculiarities of Mocheno syntax within a theory couched in the framework of Generative Grammar. This book contributes to our understanding of the verb-second phenomenon and sheds new light on the asymmetries between Old Romance and Germanic verb-second languages. A useful tool for all linguists working on both theoretical and comparative syntax and to anyone interested in language variation, dialectology and typology.
Analogical Inference and Analogical Access.

Abstract : Analogy is a powerful technique in commonsense learning and reasoning. People use analogies in problem solving, in developing mental models of a new domain, and in communicating knowledge. To model these natural uses of analogy, we need to understand the whole process of analogizing from the first, starting with access and ending with drawing inferences or extracting a principle from an analogy. In this paper, I first review the structure-mapping theory of analogical processing and describe a simulation of the theory. I then extend this framework to accessing analogy. I discuss some recent research in our lab that suggests that the accessibility of an analogical match is governed by different factors from its inferential soundness. Finally, I consider some competing theoretical approaches to analogy and suggest an integrated architecture for analogical processing.
From Biology to Algorithms

This thesis describes a path from a model of a biological system to a biologically-inspired algorithm. The thesis commences with a discussion of the principled design of biologically-inspired algorithms. It is argued that modelling a biological system can be tremendously helpful in eventual algorithm construction. A proposal is made that it is possible to reduce modelling biases by modelling the biological system without any regard to algorithm development, that is, with only concern of understanding the biological mechanisms. As a consequence the thesis investigates a detailed model of T cell signalling process. The model is subjected to stochastic analysis which results in a hypothesis for T cell activation. This hypothesis is abstracted to form a simplified model which retains key mechanisms. The abstracted model is shown to have connections to Kernel Density Estimation, through developing these connections the Receptor Density Algorithm is developed. By design, the algorithm has application in tracking probability distributions. Finally, the thesis demonstrates the algorithm on a related but different problem of detecting anomalies in spectrometer data.
Classification and Intelligent Search on Information in XML

XML will be the method of choice for representing all kinds of documents in product catalogs, digital libraries, scientific data repositories, and across the Web. This observation creates high expectations that XML will be a major catalyst in constructing the “Semantic Web”. However, merely casting all documents into XML format does not necessarily make a document’s semantics explicit and more amenable for effective information searching. Rather, to fully leverage XML on a global scale, significant progress is needed on the following issues:
Synthesis of Self-Timed Circuits by Program Transformation

Abstract : Self-timed circuits can be synthesized from concurrent programs in two logically separate phases. First, through a series of program transformations, the source program is decomposed into an equivalent program constructed entirely from instances of basic processes. These basic processes correspond to the syntactic constructs of the source language. The remainder of the synthesis procedure consists of compiling each of the basic processes into a self-timed circuit using techniques described in earlier papers. These compilations need to be done only once. This paper describes in detail the program transformations used in an automated synthesis procedure developed at Caltech. The transformations used are applications of process decomposition, a simple technique that is easy to verify. The circuits synthesized by these program transformations are correct by construction; thus, this technique provides a simple method for constructing provably correct circuits from a high-level specification.
Fuzzy modelling in energetic

Application of fuzzy control in consumer electronics is a daily practice. In energetic there are also promising areas, especially in power industry, air conditioning and heating technology. We attempt to apply fuzzy control technique to small household boilers. A demonstration of this application is presented in this paper. The goal was to keep the outcome temperature of the domestic hot water at a given constant value; meanwhile the temperature of the incoming water was changed. We also examined the effects of the regular and random perturbation in the input mass flow. At last we pointed out some potential possibilities of this development in the increase of the energetic and environmental effectiveness. In the first step, the control algorithm is based on the well-known classic Mamdani approach, because in this system the number of variables is small. However, in further prospective systems we integrate several components and our intention is to use various complexity reduction approaches especially fuzzy rule interpolation techniques. At these complex systems the hierarchical interpolative fuzzy control are reasonable and applicable.
Generating of Digital Fuzzifier with High Resolution, High Speed and Low Area ADC

This paper proposes a digital fuzzifier with 7 bit resolution. To achieve a high performance, the A/D conversion and fuzzification operation are done simultaneously on the same functional block, through a programmable membership function. To implement the idea we have used flash method for the 4 LSBs which results in high speed conversion. Although the 4 bit converting is adequate for most practical applications, we take advantage from successive approximation technique to achieve better precision, if needed. The proposed converter allows a significant amount of silicon area to be saved compared to fully parallel A/D. Result of extracting of the 7 bit A/D converter shows that the size of converter's layout is less than 0.02 mm 2 in 0. 35μm CMOS standard technology. Moreover, the Hspice simulation showed that it can achieve 25 MHz speed and total power dissipation is 5mw in the aforementioned technology.
Graphing calculators in the teaching and learning of mathematics: a research bibliography

This review suggests that using graphing calculators in mathematics education can enable students to approach situations graphically, numerically and symbolically, and can support students’ visualisation, allowing them to explore situations which they may not otherwise be able to tackle (and thus perhaps enable them to take their mathematics to a more advanced level). In this way, using graphing calculators can lead to higher achievement among students, perhaps through increased student use of graphical solution strategies, improved understanding of functions, and increased teacher time spent on presentation and explanation of graphs, tables and problem solving activities (compared with students not using such calculators). The impact of the availability of this form of calculator on teaching methods and curricula appears to have been more limited, with teachers reportedly tending to use graphing calculators as an extension of the way they have always taught, rather than provoking any radical change in style of teaching or design of the curriculum.
High-dimensional design space visualization for conceptual structural design

This thesis focuses on visualizing high-dimensional design spaces for early-stage design problems in structural engineering and related disciplines. The design space, which is defined as the n + 1-dimensional surface that relates n design variables to a performance metric, contains all possible solutions to a formulated design problem. Graphical views of the design space are highly useful for designers because they organize a wide range of design possibilities in a compact, intuitive, and logical manner, illuminating global patterns, variable behaviors and relationships, and the nature of paths taken during iterative design processes. Design problems with two or fewer variables can easily be visualized in Euclidian space, through a curve or surface, but highdimensional problems are difficult to display graphically. This is the key challenge addressed in this thesis. The thesis includes a critical review of existing methods for high-dimensional design space visualization, highlighting the unmet needs across a range of approaches. In response to these needs, the thesis makes a key contribution in the form of a new design space visualization method, called isoperforming parallel coordinate clusters (IPC clusters), that overcomes the issues of previous techniques. The IPC cluster approach is demonstrated on several conceptual structural design problems, and its application in optimization, directed exploration, and related design strategies is illustrated. Finally, the thesis concludes with a discussion of applications, impact, and future research directions.
An efficient parallel algorithm for the all pairs shortest path problem using processor arrays with reconfigurable bus systems

The all pairs shortest path problem is a class of the algebraic path problem. Many parallel algorithms for the solution of this problem appear in the literature. One of the efficient parallel algorithms on W-RAM model is given by Kucera[17]. Though efficient, algorithms written for the W-RAM model of parallel computation are too idealistic to be implemented on the current hardware. In this report we present an efficient parallel algorithm for the solution of this problem using a relatively new model of parallel computing, Processor Arrays with Reconfigurable Bus Systems. The
Human Emotion Recognition Based On Wavelet Domain Feature Fusion

The affective computing is becoming one of the challenging area in the Human-Computer Interaction. Capturing and evaluating the exact expression of human emotion that is the affective aspect is becoming daunting task for the computer professional’s all over the world.In this paper, an efficient novel approach for human emotion recognition system based on the fusion of features extracted from the Discrete Wavelet Transform (DWT) and Undecimated Wavelet Transform (UWT) is presented. The main drawback of DWT is not translation invariant. Translations of an image lead to different wavelet coefficients. UWT is used to overcome this and more comprehensive feature of the decomposed image is obtained. The classification of human emotional state is achieved by extracting the energies from all sub-bands of DWT and UWT decomposed image. Then the features are fused together to classify the emotion of the human image. The robust K-Nearest Neighbor (K-NN) is constructed for classification. The evaluation of the system is carried on using JApanese Female Facial Expression (JAFFE) database. Experimental results show that the proposed energy fusion algorithm system produces more accurate recognition rate than DWT and UWT energies.
Text mining with rapidminer

The goal of this chapter is to introduce the text mining capabilities of RAPIDMINER through a use case. The use case involves mining reviews for hotels at TripAdvisor.com, a popular web portal. We will be demonstrating basic text mining in RAPIDMINER using the text mining extension. We will present two different RAPIDMINER processes, namely Process01 and Process02, which respectively describe how text mining can be combined with association mining and cluster modeling. While it is possible to construct each of these processes from scratch by inserting the appropriate operators into the process view, we will instead import these two processes readily from existing model files. Throughout the chapter, we will at times deliberately instruct the reader to take erroneous steps that result in undesired outcomes. We believe that this is a very realistic way of learning to use RAPIDMINER, since in practice, the modeling process frequently involves such steps that are later corrected.
A Kernel Method for Market Clearing

The problem of market clearing in an economy is that of finding prices such that supply meets demand. In this work, we propose a kernel method to compute nonlinear clearing prices for instances where linear prices do not suffice. We first present a procedure that, given a sample of values and costs for a set of bundles, implicitly computes nonlinear clearing prices by solving an appropriately formulated quadratic program. We then use this as a subroutine in an elicitation procedure that queries demand and supply incrementally over rounds, only as much as needed to reach clearing prices. An empirical evaluation demonstrates that, with a proper choice of kernel function, the method is able to find sparse nonlinear clearing prices with much less than full revelation of values and costs. When the kernel function is not suitable to clear the market, the method can be tuned to achieve approximate clearing.
Improving Application-level Network Services with Regions

The underlying premise of the Region Project is that the concept of a region should be a new architecture capability in networking. A region is an entity that encapsulates and implements scoping, grouping, subdividing, and crossing boundaries of sets of entities. It is a powerful tool for managing the increasingly complex demands on the Internet and its successors, and thus should be made into an explicit, first-class component of the network architecture. Autonomous Systems and peer-to-peer networks can be viewed as two simple forms of existing regions. In this work, we explore the utility of informing members in one region of the membership of those same entities in different regions. Specifically, we improve peer-to-peer networks with information derived from Autonomous Systems. This thesis makes three notable contributions. Firstly, we provide a general peer-to-peer simulation framework for different optimization schemes. Secondly, we achieve performance improvements in the lookup, caching and replication of peer-to-peer system. Finally, we enhance our overall understanding of regions through the simulation, as well as their utilities to improve system performance. Thesis Supervisor: Karen R. Sollins Title: Principal Scientist
Concurrent object composition in CafeOBJ

A new method is introduced to concurrently compose an object from already verified objects. The most important new feature of our method is that the verification of the composed object can be done by re-using the verifications of component objects. That is, the verification of composed object is also composable. This is not always true. We can show this can be achieved under some practically reasonable restrictions. These can be made possible by using a new algebraic specification language CafeOBJ which has clear and precise algebraic semantics.
Accurate registration of various medical imaging modalities: an application to PET and MRI for anatomical localization and kinetic modelling

In order to help in analyzing PET data and to take advantage of their metabolic content, a system was designed and implemented to align and process data from various medical imaging modalities, particularly (but not only) for brain studies. Although this system is most frequently used for anatomical localization, multimodality ROIs, and pharmaco-kinetic modeling, more multimodality protocols will be implemented in the future. They will be used not only to help in PET reconstruction data correction, and semiautomated ROI definition, but also to help improve diagnostic accuracy along with surgery and therapy planning. <<ETX>>
OntoReST: A RST-based Ontology for Enhancing Documents Content Quality in Collaborative Writing.

Collaborative writing is the process by which more than one author contributes to the content of a document. Although, multi-synchronous collaboration is very efficient in reducing task completion time, it is well known for producing documents of poor-quality content. Most existing collaborative writing environments do not really check the logical arrangement of documents portions (i.e. sentences, paragraphs,.). They rely on authors to verify the content quality of the document. This imposes a severe overhead on the authors to achieve efficient collaboration. To address this issue, we use semantic web technologies and a discourse theory called Rhetorical Structure Theory (RST) with the aim to reduce the overhead of consistency checking. We develop OntoReST, an ontology based on RST that helps detect incoherent texts automatically. OntoReST also provides authors with valuable information about the semantic structure of texts which contributes towards enhancing documents content quality.
A novel MIR approach based on dynamic thresholds segmentation and weighted synthesis matching

In the pattern recognition field, MIR is receiving more and more attention. To improve the accuracy of MIR system, a novel automatic algorithm based on dynamic thresholds note segmentation and weighted synthesis matching is presented. First dynamic steps are set for amplitude difference, get dynamic thresholds to segment notes and improve segmentation veracity. Then music scores are transformed into frequency templates by standard frequency and the input signal pitch is normalized to enhance the accuracy. To improve the adaptability and the robustness, traditional approximate string matching algorithm and DTW (Dynamic Time Warping) algorithm are synthesized. At last, the simulation results are provided to show the validity of the algorithm.
Design of CMOS UWB Noise Amplifier with Noise Canceling Technology

A TSMC 0.18 µm RF CMOS low-noise amplifier (LNA) for 3 GHz-5GHz ultra-wideband (UWB) applications is presented. The designed LNA employs single-ended to differential conversion and is successfully implemented using the noise-canceling technique. This paper introduces common-gate stage performance and noise figure(NF)optimization. Simulation results show that the proposed circuit network achieves a voltage gain of 17.34dB-19.6dB and noise figure of 2.02dB-2.67dB over the band of interest, consuming 12.5mW from a 1.8V power supply voltage. Index Terms - CMOS, UWB, low-noise amplifiers
A Conceptual Theory of Question Answering

A theory of Q/A has been proposed from the perspective of natural language processing that relieson ideas in conceptual information processing and theories of human memory organization. This theory of Q/A has been implemented in a computer program, QUALM. QUALM is currently used by two story understanding systems (SAM and PAM) to complete a natural language processing system that reads stories and answers questions about what was read.
Deviating time-to-onset in predictive models : detecting new adverse effects from medicines

Identifying previously unknown adverse drug reactions becomes more important as the number of drugs and the extent of their use increases. The aim of this Master’s thesis project was to evaluate the performance of a novel approach for highlighting potential adverse drug reactions, also known as signal detection. The approach was based on deviating time-to-onset patterns and was implemented as a two-sample Kolmogorov-Smirnov test for non-vaccine data in the safety report database, VigiBase. The method was outperformed by both disproportionality analysis and the multivariate predictive model vigiRank. Performance estimates indicate that deviating time-to-onset patterns is not a suitable approach for signal detection for non-vaccine data in VigiBase.
OPTICAL AND ELECTRO-OPTICAL INFORMATION PROCESSING,

Abstract : Contents: An optically accessed memory using the hippmann process for information storage; A quantum optical phenomenon, implications for logic; Picture processing; Use of Fourier transformable properties of lenses for signal spectrum analysis; Contribution of diffraction optics to optical information technology; Coherent optical technology; Character-reading by optical spatial filtering; Machine perception of three-dimensional solids; Spatial filtering for pattern recognition; Optical correlator with time variable coding; Semiconductors in coherent optical transducers and spatial filters; Injection lasers; All-optical computers; Laser effects in optical logic functions; Laser digital devices; Fiber optics and lasers; Very fast opto-electronic digital logic; Thin magnetic film wall panel display; Light emission from GaAs tunnel diodes in computers; Laser deflection and scanning; Optical signal processing systems; Digital light deflector; Gain in opto-electronic logic; Di-scan; Opticalogical recognition; Thermoplastic recordings; Photochromic semirandom access memory; Fidac; Optical image processing; Optical logic; Silicon avalanche light sources; Electrooptical signal processors for phased arrays; Optical holography (Wavefront reconstruction imaging).
AN INTERSECTION BASED TRAFFIC AWARE ROUTING WITH LOW OVERHEAD IN VANET

Vehicular Ad-hoc network is an emerging class of wireless network that provide efficient communication between vehicles and between vehicles and road side units. VANETs are gaining attention from both industrial and academic point of view due to its applications ranging from safety applications to infotainment applications. The main component for success of VANET applications is its routing. Design of an efficient routing protocol is important for smart Intelligent Transport System (ITS). In this paper, we consider how traffic lights affect the design of routing protocol in urban vehicular communication. In urban environment the roads are partitioned to several segments due to the traffic lights. The design of a routing protocol in such an environment is difficult. This paper proposes a new intersection based routing protocol which takes traffic lights in to consideration and with low overhead.