Miracle-dz/UniFAR-FTUs huggingface dataset:
Three implementation models for scheme

This dissertation presents three implementation models for the Scheme Programming Language. The first is a heap-based model used in some form in most Scheme implementations to date; the second is a new stack-based model that is considerably more efficient than the heap-based model at executing most programs; and the third is a new string-based model intended for use in a multiple-processor implementation of Scheme. The heap-based model allocates several important data structures in a heap, including actual parameter lists, binding environments, and call frames. The stack-based model allocates these same structures on a stack whenever possible. This results in less heap allocation, fewer memory references, shorter instruction sequences, less garbage collection, and more efficient use of memory. The string-based model allocates versions of these structures right in the program text, which is represented as a string of symbols. In the string-based model, Scheme programs are translated into an FFP language designed specifically to support Scheme. Programs in this language are directly executed by the FFP machine, a multiple-processor string-reduction computer. The stack-based model is of immediate practical benefit; it is the model used by the author's Chez Scheme system, a high-performance implementation of Scheme. The string-based model will be useful for providing Scheme as a high-level alternative to FFP on the FFP machine once the machine is realized.
Fragile Image Watermarking For Medical Images

This paper will discuss security of medical images and review some work done regarding medical images. We will then propose a fragile watermarking scheme that can detect tamper and recover the image. Our method requires a secret key and a public chaotic mixing algorithm to embed and recover a tampered image. The scheme is also resilient to VQ attack. The purpose is to verify the integrity and authenticity of medical images. We used 800x600x8 bits ultrasound (US)greyscale images in our experiment. We test our algorithm for up to 50% tampered block. We obtained 100% recovery for spread-tampered block.
Open Nested Transactions: Semantics and Support

We describe semantics for serializable (safe) open nested transactions. Given these semantics, we then suggest hardware necessary to support them directly. We further consider some useful, but not serializable, applications for open nesting, and their hardware implications. We focus primarily on linear nesting, which we previously argued to be more amenable to hardware support than the general case.
An enhanced security architecture for wireless sensor network

This paper introduces an enhanced secure sensor network architecture that provides the basic properties of data secrecy, authentication, and replay protection, with Low energy consumption overhead and relatively high security level. A novel Pairwise Key based security architecture. A block cipher mode of operation will be employed that provides both secrecy and authenticity in only one pass over the message data. The Offset Codebook Block cipher mode (OCB) based on Advanced Encryption Standard (AES) encryption mode will be employed. An enhanced Pairwise Key establishment scheme is proposed that assures that, even when some number of nodes has been compromised, the remainder of the network remains fully secure. Only a few bits of an Initialization Vector (IV) will be sent, while retaining the security of a full-length IV per packet. In contrast, previous approaches require two passes over the plaintext (one for encryption and one for authentication) and transmission of the full-length IV. The proposed architecture will support both the single - source communication and multi - source broad cast communication. Different encryption modes will be used with different key lengths and different initial vectors settings. More over, the cipher text will be filtered by an enhanced filter level such as Bloom filter and windowing. The Proposed mechanism will be robust subject to the resource constraints of the sensor network such as energy, memory, and computational speed. The improvement in security level comes at the cost of a modest increase in memory size, which is a desirable tradeoff in sensor nodes. Thus, the design tradeoffs in the proposed model make it well-suited for current state-of the- art sensor devices.
Effect of Thrombi on Blood Flow Velocity in Small Abdominal Aortic Aneurysms from MRI Examination

Abstract — In this study, we will show the effect of thrombus against the value of blood flow velocity on patient with Abdominal Aortic Aneurysms. It is expected that blood flow velocity can be used as a parameter to predict the evolution of the diameter of the aorta. 16 patients with Small Abdominal Aortic Aneurysms (SAAA) have been evaluated with some MRI’s examination. To process all the data, we use a homemade program with C++ programming that built in our laboratory. Processing was done in all examination in order to calculate the value of speed of the blood flow inside each category of thrombus on SAAA. The images are taken on three directions of examination (right-left, anterior-posterior, and through-plane). We can see some differences in blood flow velocity in each category of thrombus. For patients without thrombus, blood flow velocity tends to be more rapid in the next examination. For patients with Homogeneous thrombus it tends to have the same speed at the first examination, but increased dramatically at the last examination. For patients with Heterogeneous thrombus its speeds dropped dramatically at the first examination and then will return more quickly until they find the stable value at the final examination. And for patients with Indefinite thrombus obtained the value of blood flow velocity that decreased for each examination. Calculation of blood flow velocity on the axis of x, y, and z have been processed in accordance with the maximum 3D speed (cm/s). It is needed further study about Radial Velocity that would indicate the direction of blood flow velocity on the center areas of SAAA until at the border areas that expected to became a parameter to predicting the evolution of the diameter of the aorta
Interaction channel for satellite distribution systems

The present document may be made available in more than one electronic version or in print. In any case of existing or perceived difference in contents between such versions, the reference version is the Portable Document Format (PDF). In case of dispute, the reference shall be the printing on ETSI printers of the PDF version kept on a specific network drive within ETSI Secretariat. No part may be reproduced except as authorized by written permission. The copyright and the foregoing restriction extend to reproduction in all media. DECT TM , PLUGTESTS TM and UMTS TM are Trade Marks of ETSI registered for the benefit of its Members. TIPHON TM and the TIPHON logo are Trade Marks currently being registered by ETSI for the benefit of its Members. 3GPP TM is a Trade Mark of ETSI registered for the benefit of its Members and of the 3GPP Organizational Partners.
Description of the NCAR Community Climate Model (CCM3). Technical note

This repor presents the details of the governing equations, physical parameterizations, and numerical algorithms defining the version of the NCAR Community Climate Model designated CCM3. The material provides an overview of the major model components, and the way in which they interact as the numerical integration proceeds. This version of the CCM incorporates significant improvements to the physic package, new capabilities such as the incorporation of a slab ocean component, and a number of enhancements to the implementation (e.g., the ability to integrate the model on parallel distributed-memory computational platforms).
Trends in Gestural Control of Music

This electronic publication presents invited articles on gestural control of music. They have been divided in two groups: papers that present a general overview of a certain topic and case studies, which are descriptions of specific technical and musical applications. Althought the primary goal of this volume is an electronic presentation which includes multimedia content, such as video clips and sound excerpts, the reader will have the ability to print versions of the contributions formatted for this purpose.
Physical memory management in a network operating system

The dissertation develops and measures methods of using large main memories to provide high performance in a network operating system. The dissertation covers three areas: file caching, virtual memory, and the interaction between the two. The first part of the dissertation presents results obtaining through the development of the Sprite file system, which uses large main-memory file caches to achieve high performance. A simple cache consistency mechanism permits files to be shared by multiple clients without danger of stale data. Benchmark programs indicate that client caches allow diskless Sprite workstations to perform within 0-8% of workstations with disks. In addition, client caching reduces server loading by 50% and network traffic by 75%. In addition to demonstrating the performance advantages of client caching, this dissertation also shows the advantage of writing policies that delay the writing of blocks from client caches to server caches and from server caches to disk. The second part of this dissertation looks at the interaction between the virtual memory system and the file system. It describes a mechanism that has been implemented as part of Sprite that allows the file system cache to vary in size in response to the needs of the virtual memory system and the file system. This is done by having the file system of each machine negotiate with the virtual memory system over physical memory use. The last part of this dissertation focuses on copy-on-write mechanisms for efficient process creation. It describes a simple copy-on-write mechanism that has been implemented as part of Sprite which is a combination of copy-on-write (COW) and copy-on-reference (COR). The COW-COR mechanism can potentially improve fork performance over copy-on-fork schemes from 10 to 100 times if many page copies are avoided. A pure COW scheme would eliminate 10 to 20 percent of the page copies required under COW-COR and would provide up to a 20% improvement in fork performance over COW-COR.
Using Filters for the Disambiguation of Context-free Grammars

An ambiguous context-free grammar de(cid:12)nes a language in which some sentences have multiple interpretations. For conciseness, ambiguous context-free grammars are frequently used to de(cid:12)ne even completely unambiguous languages and numerous disambiguation methods exist for specifying which interpretation is the intended one for each sentence. The existing methods can be divided in ‘parser speci(cid:12)c’ methods that describe how some parsing technique deals with ambiguous sentences and ‘logical’ methods that describe the intended interpretation without reference to a speci(cid:12)c parsing technique. Wepropose a framework of (cid:12)lters to describe and compare a wide range of disambiguation problems in a parser-independent way. A (cid:12)lter is a function that selects from a set of parse trees (the canonical representation of the interpretations of a sentence) the intended trees. The framework enables us to de(cid:12)ne several general properties of disambiguation methods. The expressive power of (cid:12)lters is illustrated by several case studies. Finally, a start is made with the study of eﬃcient implementation techniques for (cid:12)lters by exploiting the commutativity of parsing steps and (cid:12)lter steps for certain classes of (cid:12)lters.
Extraktion von senkrechten Fassadenebenen aus 3D-Punktwolken von Schrägluftbildern

In der Abteilung Sensorkonzepte und Anwendungen in der Einrichtung Optische Informati-onssysteme des Instituts fur Robotik und Mechatronik am Deutschen Zentrum fur Luft‐ und Raumfahrt e. V. (DLR) wird seit dem Jahr 2009 das Modulare Luftbild-Kamerasystem MACS (Modular Airborne Camera System) entwickelt, welches in einer Ausfuhrung Obliqueaufnahmen (Schragbildaufnahmen) bereitstellt. In der vorliegenden Masterarbeit wird eine Methode zur vollautomatischen Extraktion von senkrechten Fassadenebenen von Gebauden aus einer 3D-Punktwolke entwickelt, implementiert und validiert. Unter einer senkrechten Fassadenebene wird hier die ausere Wand eines Gebaudes verstanden, die senkrecht zur Grundoberflache steht. Ziel ist: •eine hohe geometrische Genauigkeit von unter 0,5 m oder genauer, •die Bestimmung der Lage und Hohe einzelner Fassaden, •die Zusammenfassung von Fassaden eines Gebaudes zu dem semantischen Objekt Gebaude.
The SGI® Altix 3000 Global Shared-Memory Architecture

By thermal decomposition of 3-(S,S-dimethylmercapto)propylaminobleomycin, there is easily obtained 3-(methylmercapto)propylaminobleomycin which is a useful antibiotic substance having an extremely high antimicrobial activity and a carcinostartic activity with low toxicity.
Routers Sequential Comparing Two Sample Packets for Dropping Worms

Network IDS perform a vital role in protecting network connection in the worldwide from malicious attack. Nowadays the recent experiment work related to inspecting the packet for network security that is a minimal amount of process overhead. In this work, analysis the network intrusion for packet inspection that is together the testing data which inspect only group of packet selected as sample predominantly from small flows and select first two packets and comparing with each other overall packets and create tabelazied for find out different malicious debuggers. This experiment results shows that overcome the existing work . Index Terms — comparing packets, network intrusion detection system, probability of occurences, packet sampling method, router worms invention
Subject/Object asymmetries in the processing of relative clauses in Japanese

A portable photographic exposure apparatus for making reproductions of loft drawings, body drafts or the like in which a film and drawing are fed simultaneously into the exposure area. The apparatus includes a wheeled cabinet structure, which may include an internal supply of film, and an exposure unit secured to the cabinet and including a source of light and a source of static electricity. Static electricity is used to press the film and drawing together and smooth the drawing against the film for dimensional accuracy of the reproduction and to eliminate air bubbles. The exposed film and drawing may be separated and the film fed to a developer which may be attached to or positioned adjacent the cabinet structure.
A federated query answering system for semantic web data

The Semantic Web extends the Web as a global information space from a Web of documents to a Web of data. Currently, there are billions of triples publicly available in the web data space of different domains. These data become more tightly interrelated as the number of links in the form of mappings is also growing. Typically, these data are heterogeneous, distributed and prone to dynamic changes. Although centralized knowledge bases and/or triple stores can be used to collect and query large volumes of heterogeneous Semantic Web data, they suffer from many disadvantages. First, they will become stale unless they are frequently reloaded with fresh data. Second, they can require significant disk space, especially for triple stores that use multiple triple indices to optimize queries. Finally, there may be legal or policy issues that prevent one from copying data or storing it in a centralized place. Therefore, this dissertation explores ways to address the above challenges from the perspective of building a federated query answering system for semantic web data. The system can quickly and effectively find relevant data sources and further answer queries. It employs an automated mechanism for creating an inverted index used in determining source relevance. Then, a hybrid approach to answering queries that involves ideas from information retrieval, information integration and knowledge bases is applied. First, the dissertation formally defines a group of concepts to describe a federated query answering problem for the Semantic Web. Guided by the theoretical framework, it then presents and implements an efficient, IR-inspired inverted index named term index to integrate semantic web data sources and determine source relevance. Based on this term index, four query answering algorithms are proposed. Each of them is optimized in order to overcome the drawbacks of the previous ones. The non-structure algorithm takes a set of query subgoals as inputs and dynamically loads all relevant sources into a reasoner to solve the original query. The flat-structure algorithm optimizes source selection and dynamically answers queries by reformulating the original conjunctive query into a list of conjunctive query rewritings. The tree-structure algorithm answers queries by reformulating the original conjunctive query into an AND/OR tree, generating a query execution plan on the fly and dynamically executing a bottom-up greedy source collection. The dynamic cyclic axiom handling algorithm is to make the tree-structure algorithm still return complete query answers when cyclic axioms are considered. Experiments conducted using synthetic data and real world data and the theoretical correctness proof of algorithms have demonstrated that a system based on these algorithms can effectively and correctly scale to dynamic, web-scale knowledge bases.
AN ONTOLOGY-DRIVEN TRANSFORMATION ENGINE FOR MOBILE LANGUAGE LEARNING

E-learning platforms have become a very popular component in education. The spread of handled devices and their everyday use for data communication would therefore suggest a spreading use of these devices for mobile learning too. However, several factors seem to have slowed down their adoption. One of the main reasons is that accessing an e-learning platform with a mobile device is often a frustrating experience, since they are not suited for this kind of device. This problem is particularly evident with activities that require specific physical tasks to be accomplished (e.g., activities that heavily involve selecting, dragging and entering text), as in typical exercises for language learning. In this paper we describe the approach we adopted to transform activities. It includes the definition of a special syntax through which activities are composed, a transformation ontology and a transformation engine. In addition, we provide two use cases showing the reasoning behind the transformations.
Pigmentos Naturais em Alimentos e sua Importância para a Saúde

Resumo: a coloracao dos alimentos esta diretamente relacionada a aceitabilidade dos produtos alimenticios. Todavia, o que muitos consumidores nao sabem, e que os pigmentos naturais dos alimentos sao aliados da nossa saude. Logo, o trabalho apresentado teve como principais objetivos, oferecer informacoes sobre pigmentos naturais em alimentos, orientar sobre a importância de uma alimentacao colorida e formar multiplicadores sobre o tema. Palavras-chave: Pigmentos naturais. Saude. Alimentos.
Mapping of the Dublin Core Metadata Element Set to the CIDOC CRM

$EVWUDFW 7KH &,'2& &50 LV WKH ILUVW RQWRORJ\ GHVLJQHG WR PHGLDWH FRQWHQWV LQ WKH DUHD RI PDWHULDO FXOWXUDO KHULWDJH DQG EH\RQG ZKLFK KDV EHHQ VXEPLWWHG WR ,62 DV SURSRVDO IRU DQ LQWHUQDWLRQDO VWDQGDUG 7KH 'XEOLQ &RUH (OHPHQW 6HW FDQ EH UHJDUGHG DV WKH PRVW LPSRUWDQW PHWDGDWD VWDQGDUG RI WKH OLEUDU\ ZRUOG DQG IDU EH\RQG WR GHILQH EDVLF ILQGLQJ DLGV IRU HOHFWURQLF UHVRXUFHV E\ D PLQLPDO VHW RI VHPDQWLF ILHOGV RU 3DFFHVV SRLQWV ́ 7KLV UHSRUW GHVFULEHV WKH VHPDQWLF PDSSLQJ RI WKH FXUUHQW 'XEOLQ &RUH (OHPHQW VHW WR WKH &,'2& &50 DQG LWV ODWHVW H[WHQVLRQ 7KLV ZRUN UHSUHVHQWV D SURRI RI FRQFHSW IRU WKH IXQFWLRQDOLW\ WKH &,'2& &50 LV GHVLJQHG IRU
Instructional Video Evaluation.

AUTHOR Beaudin, Bart P.; Quick, Don TITLE Instructional Video Evaluation. INSTITUTION Colorado State Univ., Ft. Collins. School of Occupational and Educational Studies. SPONS AGENCY National Inst. for Occupational Safety and Health (DHHS/PHS), Cincinnati, OH. REPORT NO AEP-93-05 PUB DATE 1 Nov 93 CONTRACT U07-CCU807121-02 NOTE 16p. PUB TYPE Guides Non-Classroom Use (055) Tests/Evaluation Instruments (160)
A user`s guide to LHS: Sandia`s Latin Hypercube Sampling Software

This document is a reference guide for LHS, Sandia`s Latin Hypercube Sampling Software. This software has been developed to generate either Latin hypercube or random multivariate samples. The Latin hypercube technique employs a constrained sampling scheme, whereas random sampling corresponds to a simple Monte Carlo technique. The present program replaces the previous Latin hypercube sampling program developed at Sandia National Laboratories (SAND83-2365). This manual covers the theory behind stratified sampling as well as use of the LHS code both with the Windows graphical user interface and in the stand-alone mode.
Parsing Folsom Rock

Abstract Geometric properties of flakes allow reasonably accurate estimates of their volume when flake thickness is known. Recorded histograms of flake thickness allow calculation of typical numbers of flakes in each size range. Alternatively, randomizing flake thickness while reducing a typical volume of quarried rock to create a synthetic histogram provides a count of the number of flakes in each size range. High levels of correlation between data, experiment, and independent methods of modeling indicate an accurate reconstruction of Folsom practices of extracting tools and weaponry from quarried nodules. Relationships developed by this study provide a benchmark against which new archaeological data can be evaluated.
Parallel and Distribution Simulation Systems

From the Publisher: A state-of-the-art guide for the implementation of distributed simulation technology. The rapid expansion of the Internet and commodity parallel computers has made parallel and distributed simulation (PADS) a hot technology indeed. Applications abound not only in the analysis of complex systems such as transportation or the next-generation Internet, but also in computer-generated virtual worlds for military and professional training, interactive computer games, and the entertainment industry. In this book, PADS expert Richard M. Fujimoto provides software developers with cutting-edge techniques for speeding up the execution of simulations across multiple processors and dealing with data distribution over wide area networks ,including the Internet. With an emphasis on parallel and distributed discrete event simulation technologies, Dr. Fujimoto compiles and consolidates research results in the field spanning the last twenty years, discussing the use of parallel and distributed computers in both the modeling and analysis of system behavior and the creation of distributed virtual environments. While other books on PADS concentrate on applications, Parallel and Distributed Simulation Systems clearly shows how to implement the technology. It explains in detail the synchronization algorithms needed to properly realize the simulations, including an in-depth discussion of time warp and advanced optimistic techniques. Finally, the book is richly supplemented with references, tables and illustrations, and examples of contemporary systems such as the Department of Defense's High Level Architecture (HLA), which has become the standard architecture for defense programsin the United States.
Text Classification Rule Induction in the Presence of Domain-Specific Expression Forms

We describe a new method for learning text-classification rules from examples. The text consists of messages written by students in an online learning environment, and it may contain ungrammatical expressions as well as specialized expressions such as formulas. The method is based on the version-space machine learning technique. Experiments show that our method successfully generalizes over certain classes of embedded numerical expressions involving ranges of values in RGB triples that represent colors in an image processing system.