Miracle-dz/UniFAR-FTUs huggingface dataset:
Efficient parallel algorithms on chordal graphs with a sparse tree representation

Chordal graphs are nothing else than intersection graphs of subtrees of a tree. We present optimal and almost-optimal algorithms for certain graph problems if the input graph is given by a collection of subtrees of a tree and the subtrees are given by their leaves. This generalizes results of Olariu, Schwing and Zhang (1992), Kim (1989) and Chen (1992) concerning the parallel complexity of problems on interval graphs provided the interval structure is given. In particular, we consider the problems to find a breadth-first search tree, to find a depth-first search tree, to find a minimum covering of the vertices by cliques, and to find a minimum coloring. <<ETX>>
Relevance vector machines for multivariate calibration purposes

The introduction of support vector regression (SVR) and least square support vector machines (LS‐SVM) methods for regression purposes in the field of chemometrics has provided advantageous alternatives to the existing linear and nonlinear multivariate calibration (MVC) approaches. Relevance vector machines (RVMs) claim the advantages attributed to all the SVM‐based methods over many other regression methods. Additionally, it also exhibits advantages over the standard SVM‐based ones since: it is not necessary to estimate the error/margin trade‐off parameter C and the insensitivity parameter ε in regression tasks, it is applicable to arbitrary basis functions, the algorithm gives probability estimates seamlessly and offer, additionally, excellent sparseness capabilities, which can result in a simple and robust model for the estimation of different properties. This paper presents the use of RVMs as a nonlinear MVC method capable of dealing with ill‐posed problems. To study its behavior, three different chemometric benchmark datasets are considered, including both linear and non‐linear solutions. RVM was compared with other calibration approaches reported in the literature. Although RVM performance is comparable with the best results obtained by LS‐SVM, the final model achieved is sparser, so the prediction process is faster. Taking into account the other advantages attributed to RVMs, it can be concluded that this technique can be seen as a very promising option to solve nonlinear problems in MVC. Copyright © 2008 John Wiley & Sons, Ltd.
MONTE-CARLO SIMULATION IN AN ENGINEERING CONTEXT

The computational and physical requirements for the successful application of the direct simulation Monte-Carlo method to typical engineering flows, as opposed to earlier applications to artificial test cases, are discussed. An outline is given of the changes that have occurred in the program structure as a result of both altered requirements and advances in computer technology. The accumulated experience from applications of the classical molecular models is reviewed. It is shown that requirements for the accurate modeling of engineering flows are best met by a new molecular model called the variable hard sphere, or VHS, model, The necessary kinetic theory for the application of this model is presented.
Mimicking User Keystrokes to Detect Keyloggers with Dendritic Cell Algorithm

Evasive software keyloggers hide their malicious behaviors to defeat run-time detection. In this paper, based on the analysis of the evasion mechanisms used by common software keyloggers, we established a framework for their detection. Mimicking user keystrokes, the framework we built could induce keyloggers showed more obvious malicious activities. These 'amplified' activities are then correlated by the dendritic cell algorithm (an immune-inspired algorithm) to final determine the existence of a keylogger in a host. Preliminary experimental results showed that the framework could improve the performance of keylogger detection and hard to evade.
Models of Vocabulary Acquisition: Direct Tests and Text-Derived Simulations of Vocabulary Growth

Determining word meanings that ought to be taught or introduced is important for educators. A sequence for vocabulary growth can be inferred from many sources, including testing children’s knowledge of word meanings at various ages, predicting from print frequency, or adult-recalled Age of Acquisition. A new approach, Word Maturity, is based on applying Latent Semantic Analysis to patterns of word occurrences in texts used with children. This article reports substantial correlations in the . 67 to . 74 range between Word Maturity estimates and the ages of acquiring word meanings from two studies of children’s knowledge of word meanings, controlling for homographs. The agreement among these markedly different methods for determining when word meanings are understood opens up new research avenues. In addition, we have found that print frequency is associated with Word Maturity and tested knowledge of word meanings and that understanding concrete meanings required less print frequency exposure than verbally defined meanings.
"Old Stuff" for New Teaching Methods: Outreach to History Faculty Teaching with Primary Sources

New approaches to undergraduate history education rely on primary sources. This study, based on a 2008-2009 online survey of 627 academic historians and 25 follow-up interviews, captures a snapshot of the current use of online, published, and archival primary sources used in new teaching methods. It identifies three distinct ways faculty utilize primary sources—analyzing documents in freshman courses, building research skills in historical methods classes, and doing research in upper division courses. Librarians can respond to these teaching innovations and provide leadership in their institutions by building their capacity to provide outreach and reference for primary sources.
Online Fan Fiction and Critical Media Literacy

Abstract This article explores English-language-learning (ELL) youths’ engagement with popular media through composing and publicly posting stories in an online fan fiction writing space. Fan fiction is a genre that lends itself to critical engagement with media texts as fans repurpose popular media to design their own narratives. Analyses describe how three ELL youth employ creative agency as they fashion fan fiction stories that are relevant to their own lives. Findings reveal that contemporary participatory media, such as fan fiction writing, involve sophisticated forms of literacy that can serve as useful resources for promoting in-class learning. However, the study also suggests that students would benefit from expert guidance in the areas of critical consumption and production of media and digital texts.
Newton's method for fast speed MPPT of solar panel

Generally in order to achieve the fast MPPT the algorithm must have features of reduced number of repetition and stable operation with high sampling frequency. We propose the new algorithm employing Newton’s Method to satisfy requirements above for the fast MPPT. We also actually implement the proposed method in a MPPT circuit board by using the rapid-control-prototyping (RCP) tool dSPACE. And this paper shows results of the simulation and experiments.
Does s now man prime plastic snow ?: The effect of constituent position in using relational information during the interpretation of modifier-noun phrases

Three experiments were conducted to determine the extent to which relational and morphosyntactic information influence the processing of modifier-noun phrases. Processing of the target was faster when the shared constituent was in the same position in both the prime and the target, regardless of whether the relation was the same or different. In contrast, relation priming was contingent on the morphosyntactic role of the shared constituent; repeating the relation with the constituent in a different morphosyntactic role did not speed processing of the target (Experiments 1–3) whereas repeating the relation with the constituent in the same role did speed processing (Experiments 3). These results suggest that conceptual information is accessed in light of the constituent’s particular morphosyntactic role.
Foundations of Cryptography: Volume 2, Basic Applications

Cryptography is concerned with the conceptualization, definition, and construction of computing systems that address security concerns. The design of cryptographic systems must be based on firm foundations. Building on the basic tools presented in the first volume, this second volume of Foundations of Cryptography contains a rigorous and systematic treatment of three basic applications: Encryption, Signatures, and General Cryptographic Protocols. It is suitable for use in a graduate course on cryptography and as a reference book for experts. The author assumes basic familiarity with the design and analysis of algorithms; some knowledge of complexity theory and probability is also useful. Also available: Volume I: Basic Tools 0-521-79172-3 Hardback $75.00 C
Remote Evaluation of the Execution of Spatial Analysis Tasks with Interactive Web Maps: A Functional and Quantitative Approach

Abstract The main aim of this paper is to measure the acceptability and effectiveness of three spatial analysis tools applied to functional map interfaces, by means of answering if the common web map user can make use of these tools and if this use is beneficial to a spatial task accomplishment. Also it was verified what user’s attributes influence the performance. To achieve this, a quantitative statistical analysis with a random user sample was held, with tests carried out remotely. Results showed that previous map experience and higher educational levels may influence positively the manipulation of the interface and that there is not a clear indication that the presence of the spatial analysis tools analysed had a positive influence on the tasks’ results. For the other side, users that choose to use these tools had significantly better performance than those who did not use them.
AN INVESTIGATION INTO SOME ASPECTS OF THE ACCURACY OF PREDETERMINED MOTION TIME SYSTEMS

SUMMARY The analytical procedure of predetermined motion time systems is based on the premise that time standards can be determined by adding elemental times, fixed once and for all and conceived as universally applicable. Consequently, it was the aim of the experiments to investigate whether this “additivity of elemental times” can be considered sufficiently accurate in practice. Experiments proved that influences exist, due to the effect of the motion “Gestalt”, which make the presumed additivity of elemental times questionable. However, it is also demonstrated—at least as far as the experiments reported are concerned—that, on the one hand, it appears impossible to allow for such influences in practice since they vary from one person to the next, and that on the other these influences may be considered, in many cases, to be of little significance in relation to other factors. Finally, some general theoretical considerations concerning the overall accuracy of the predetermined motion time systems are pre.
Theoretical and experimental study of intercellular junction-induced sawtooth effect in cardiac cell-pairs

We present an analytical expression for the sawtooth amplitude (STA) in an isolated cell-pair with junctional resistance (R/sub j/). Experimentally, STA was estimated in isolated guinea pig cell-pairs by optically recording transmembrane potential responses (V/sub m/) with subcellular spatial resolution. We estimated STA to be /spl sim/14 mV for a 10 V/cm field. From theoretical calculations, this corresponds to an R/sub j/ of /spl sim/22 M/spl Omega/.
Handbook of technological pedagogical content knowledge (TPCK) for educators

If looking for a ebook Handbook of Technological Pedagogical Content Knowledge (TPCK) for Educators in pdf format, then you have come on to the correct site. We presented utter variant of this book in doc, ePub, PDF, DjVu, txt formats. You can reading Handbook of Technological Pedagogical Content Knowledge (TPCK) for Educators online or download. Also, on our website you may reading the manuals and different artistic books online, or download them. We want to draw regard that our site does not store the book itself, but we give reference to site where you can downloading either read online. So if you need to download pdf Handbook of Technological Pedagogical Content Knowledge (TPCK) for Educators, then you have come on to right site. We own Handbook of Technological Pedagogical Content Knowledge (TPCK) for Educators doc, txt, ePub, PDF, DjVu formats. We will be glad if you will be back to us again.
Second Language Instructors and CALL: A Multidisciplinary Research Framework

The increasing importance of computer assisted language learning (CALL) in second language (L2) classes has added a new dimension to L2 research, and it has challenged scholars to find valid research methods and theoretical frameworks that can be applied in the analysis of the linguistic and social aspects of the interaction among students and instructors in CALL. Even though researchers have proposed frameworks based on theories of discourse analysis for the investigation of student-computer interaction (Chapelle, 1990), instructors have been mostly disregarded. In order to fully understand the impact of CALL on L2 learning, it is important to investigate teachers' interpretive and theoretical frameworks, and the institutional and pedagogical factors that might contribute to promote or hinder their implementation of CALL. This article proposes a multidisciplinary research framework - integrating three theories from cultural psychology, linguistics, and sociology - that allows researchers to address these issues. In addition, Markee's (1997) model for analysis of curricular innovation is incorporated as a component to determine if the use of CALL in L2 classes truly constitutes a curricular innovation and the role that instructors may play in this outcome. A concrete example of an existing study based on the framework is also presented.
A Unified Analytical One-Dimensional Surface Potential Model for Partially Depleted (PD) and Fully Depleted (FD) SOI MOSFETs

In this work, we present a unified analytical surface potential model, valid for both PD and FD SOI MOSFETs. Our model is based on a simplified one dimensional and purely analytical approach, and builds upon an existing model, proposed by Yu et al. [4], which is one of the most recent compact analytical surface potential models for SOI MOSFETs available in the literature, to improve its accuracy and remove its inconsistencies, thereby adding to its robustness. The model given by Yu et al. [4] fails entirely in modeling the variation of the front surface potential with respect to the changes in the substrate voltage, which has been corrected in our modified model. Also, [4] produces self-inconsistent results due to misinterpretation of the operating mode of an SOI device. The source of this error has been traced in our work and a criterion has been postulated so as to avoid any such error in future. Additionally, a completely new expression relating the front and back surface potentials of an FD SOI film has been proposed in our model, which unlike other models in the literature, takes into account for the first time in analytical one dimensional modeling of SOI MOSFETs, the contribution of the increasing inversion charge concentration in the silicon film, with increasing gate voltage, in the strong inversion region. With this refinement, the maximum percent error of our model in the prediction of the back surface potential of the SOI film amounts to only 3.8% as compared to an error of about 10% produced by the model of Yu et al. [4], both with respect to MEDICI simulation results.
Design techniques for a compatible single and dual supply analog cell library

Techniques for building an analog-cell library that can operate with a single or dual power supply without user intervention are presented. The cells have been designed to be easily incorporated into a mixed-signal VLSI system. These techniques lead to fewer cells in a given library because a single cell can operate on both a single and dual supply. Conventional approaches would typically result in twice the number of cells in order to accommodate single and dual power supplies. To demonstrate the feasibility of the single and/or dual supply concept, the cell library has been used to construct both a parallel and a serial output 10-b plus sign A/D converter. Detailed circuitry is given for the substrate voltage sensor, a TTL-compatible input stage, a general-purpose analog multiplexer (MUX), a master bias circuit, an adjustable precision bandgap reference, and an autozero circuit. >
Development and testing of a high resolution mountain‐wave forecasting system

A three‐dimensional numerical model for mountain waves is described and validated against radiosonde observations over the Isle of Arran, south‐west Scotland. The model is based on the Boussinesq equations of motion linearised about a background profile of wind, potential temperature and density. The equations are discretised using finite‐difference approximations and the time dependence is retained. Solutions are then computed by integrating forward the equations in time until a stationary mountain‐wave field is obtained. Data from radiosondes, launched during fieldwork on Arran during February and March 2000, are used to represent the background flow and model simulations of the wave field are compared directly with fluctuations in the ascent rates of the balloons. On average, the model reproduces the observed maximum peak‐to‐peak vertical velocity to within about 0.6 ms−1. In many cases the accuracy of the simulations is even better than this: the model vertical velocity along the path of the radiosondes agree well with fluctuations in the balloon ascent rate. The sensitivity of the model results to the wave ‘launching height’ is discussed. The model was also used to provide forecasts of wave activity during the field campaign. In this case, rather than using radiosonde data to represent the background flow, data were extracted from a global forecast model. The accuracy of these forecasts is examined and the viability of using such a model to provide routine operational high‐resolution mountain‐wave forecasts for specific sites is discussed. Copyright © 2003 Royal Meteorological Society
A statistical approach for performance analysis of uncertain systems

In this paper, we propose a statistical approach for analyzing the performance of uncertain systems. By treating the uncertain parameters of systems as random variables, we formulate a wide class of performance analysis problems as a general problem of quantifying the deviation of a random variable from its mean value. New concentration inequalities are developed to make such quantification rigorous and analytically simple. Application examples are given for demonstrating the power of our approach.
Modelling and Simulation as a Recognizing Method in Education

Computer animation‐simulation models of complex processes and events, which are the method of instruction, can be an effective didactic device. Gaining deeper knowledge about objects modelled helps to plan simulation experiments oriented on processes and events researched. Animation experiments realized on multimedia computers can aid easier understanding of complex processes and so uncover their essential properties. This article deals with a common theory of modelling and simulation and the usage of methods of modelling and simulation for reinforcement of the education process. Applications of animation‐simulation models described in this article are mathematically based models. These examples are oriented towards selected problems of probability. Modélisation et simulation reconnues comme méthodes en éducation Les modèles d'animation – simulation par ordinateur de processus et événements complexes qui sont des modèles d'instruction peuvent être des moyens didactiques efficaces. Acquérant une connaissance approfondie sur les objets modélisant aide à planifier des expériences de simulation sur les processus et événements recherchés. Les expériences d'animation réalisés sur des ordinateurs multimedia peuvent aider à une meilleure compréhension des processus complexes et à découvrir leurs propriétés essentielles. Cet article traite d'une théorie comme de modélisation et simulation et de l'utilisation de méthodes de modélisation et simulation pour renforcer le processus éducatif. Les applications des modèles d'animation – simulation décrites dans cet article sont des modèles de mathématiques. Ces exemples sont orientés vers des problèmes sélectifs de probabilité. Modellation und Simulation als Erkenntnismethoden im Bildungsbereich Computeranimations‐ und Simulationsmodelle von komplexen Prozessen und Ereignissen, die zum Lehren benutzt werden, küonnen auch ein wirksames didaktisches Werkzeug sein. Der Zuwachs an tieferem Verständnis über modellierte Objekte unterstützt die geplante Simulation von Untersuchungen aus dem Bereich der Forschungsprozesse. Animationsversuche auf Multimediacomputern küonnen zu leichterem Verständnis komplexer Prozesse beitragen und so helfen, deren wesentliche Eigenheiten aufdecken zu küonnen. Dieser Artikel beschreibt eine allgemeine Theorie des Modellierens und der Simulation sowie den Gebrauch von Methoden für das Modellieren und die Simulation zur Verstärkung des Bildungsprozesses. Die in diesem Artikel beschriebenen Animations‐ / Simulationsmodelle sind mathematisch basiert. Diese Beispielen sind auf ausgewählte Fälle der Wahrscheinlichkeitsrechnung bezogen.
RMS Detector of Multiharmonic Signals

This paper presents a new realization of the implicit root‐mean‐square (RMS) detector, employing three second‐generation current conveyors and MOS transistors. The proposed circuit can be applied in measuring the RMS value of complex, periodic signals, represented in the form of the Fourier series. To verify the theoretical analysis, circuit Simulation Program with Integrated Circuit Emphasis simulations and experiment results are included, showing agreement with the theory.
Power division multiple access

This paper presents and analyzes a new multiple access scheme, which is power diversity based, for an asynchronous environment. The key idea is to have different received power for each user in order to permit successive reception based on cochannel interference cancellation. No other kinds of diversity are considered in order to keep the system complexity low and to focus the attention on the power division access theory. Furthermore, all users access the same band at the same time without a code signature.
Parallel circuit simulation on supercomputers

Circuit simulation is a very time-consuming and numerically intensive application, especially when the problem size is large as in the case of VLSI circuits. To improve the performance of circuit simulators without sacrificing accuracy, a variety of parallel processing algorithms have been investigated. Research in the field of parallel circuit simulation is surveyed, and the ongoing research in this area at the University of Illinois is described. Both standard and relaxation-based approaches are considered. In particular, the forms of parallelism available within the direct method approach, used in programs such as SPICE2 and SLATE, and within the relaxation-based approaches, such as waveform relaxation, iterated timing analysis, and waveform-relaxation-Newton, are described. The specific implementation issues addressed are primarily related to general-purpose multiprocessors with a shared-memory architecture having a limited number of processors, although many of the comments apply to a number of other architectures. >