نتایج جستجو برای: collection facilities

تعداد نتایج: 265117  

2005
Pablo A. Pessolani

Tanenbaum’s MINIX operating system [1] was extended by Wainer with Real-Time (RT) services to conform RT-MINIX [2,3]. This work is on RTMINIXv2, a new version for academic uses that includes a RT-microkernel with more flexible IPC facilities supporting basic priority inheritance protocol, a fixed priority scheduler, timer and event driven interrupt management, statistics and RTmetrics collectio...

2018

Morris Library is the cornerstone that allows Southern Illinois University Carbondale to fulfill its core mission of teaching and research—it is a major educational force in the region, state, and nation. The breadth and depth of the Library's collection assists the University in attracting the brightest students and extraordinary faculty. The Library's facilities, services, and holdings are ut...

2004
Anton Leykin Jan Verschelde

Our Maple package PHCmaple provides a convenient interface to the functions of PHCpack, a collection of numeric algorithms for solving polynomial systems using polynomial homotopy continuation, which was recently extended with facilities to deal with positive dimensional solution sets. The interface illustrates the benefits of linking computer algebra with numerical software. PHCmaple serves as...

2000
Gerhard Heyer Uwe Quasthoff Christian Wolff

We describe an infrastructure for the collection and management of large amounts of text, and discuss the possibility of information extraction and visualisation from text corpora with statistical methods. The paper gives an overview of processing steps, the contents of our text databases as well as different query facilities. Our focus is on the extraction and visualisation of collocations and...

1996
TIPSTER SECM

A variety of document collections in English, Spanish and Arabic are available under the Document Manager to support the various components. All components use the common Document Manager and common viewers for collection lists, document lists, documents, Detection Needs and Annotations in the Graphical Users Interface(GU1). The GUI is not part of the Architecture but the use of only one GUI il...

2007
Elena Smirnova Stephen M. Watt

We address the problem of organizing pen-based environments for processing handwritten mathematics. Our approach is based on providing portable ink-aware mathematical interfaces to existing document processing software and mathematical packages. Our architecture includes components for on-line ink collection, mathematicallyoriented recognizers, portability support, and interfaces to application...

1997
Richard A. Golding Peter B. Danzig Shih-Hao Li John H. Howard Michael L. Kazar Sherri G. Menees David A. Nichols

Refdbms is a database system for sharing bibliographic references among many users at sites on a wide-area networksuch as the Internet. This paper describes our experiences in building and using refdbms for the last two years. Itsummarizes the collection of facilities that refdbms provides, and gives detailed information on how well refdbmsfunctions as a collaborative, wide-area, di...

1996
Luis A. Galán Cristóbal Pareja-Flores Ricardo Peña-Marí

We present a collection of skeletons that are appropriate to instantiate process systems in the functional-concurrent language Eden BLOM96]. Eden is a functional language providing facilities for the explicit deenition and instantiation of processes. Skeletons in this language are just higher order functions having process deenitions as parameters. We introduce skeletons for both transformation...

Journal: :The Biochemical journal 1957
R P HANSEN F B SHORLAND N J COOKE

The authors wish to thank the Medical Research Council for a grant from which the expenses of this work were defrayed, E. R. Squibb and Sons for a generous gift of oestrone, Professor R. J. Kellar and Dr Susanne Paterson of the Department of Obstetrics and Gynaecology and Dr A. Klopper of the Clinical Endocrinology Research Unit (M.R.C.) for providing facilities for the collection of urine, and...

Journal: :Nidhomul haq 2023

This study aims to describe the management of character education programs improve students' religious attitudes in era information disruption. The research method used is a qualitative with phenomenological approach. Data collection techniques were carried out by interview, observation, documentation, and triangulation. data analysis technique was several stages: collection, condensation, disp...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید