Nonstandard analysis-recent developments / edited by A. E. Hurd

• Record Nr.: UNISALENTO991001180929707536
• Autore: Hurd, Albert Emerson
• Pubbl/distr/stampa: Berlin : Springer-Verlag, 1983
• ISBN: 3540122796
• Descrizione fisica: 213 p. ; 24 cm.
• Collana: Lecture notes in mathematics, 0075-8434 ; 983
• Classificazione: AMS 03H05; AMS 03H10; AMS 26-06; AMS 26-XX; AMS 34C99; AMS 60G05; AMS 90A99
• Disciplina: 515.2
• Soggetti: Nonstandard mathematical analysis - Congresses
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Contents: Explicit solutions of partial differential equations / M. Berger and A. Sloan -- Hyperfinite spin models / L.L. Helms -- Nonstandard analysis and the theory of Banach spaces / C.W. Henson and L. Moore -- Stochastic solutions to partial differential equations / S.A. Kosciuk -- [Omega]-calculus as a generalization of field extension : an alternative approach to nonstandard analysis / D. Laugwitz -- Stochastic integration in hyperfinite dimensional linear spaces / T.L. Lindstrm -- Stochastic processes and nonstandard analysis / E. Perkins -- Towards a nonstandard analysis / M.M. Richter and M.E. Szabo -- Infinitesimal analysis of in its Mackey topology / K.D. Stroyan.; Includes bibliographies.; "Some of the papers are elaborations of work presented to the Second Victoria Symposium on Nonstandard Analysis, held at the University of Victoria, Victoria, Canada, in 1980"--Pref.

Advances in Cross-Language Information Retrieval : Third Workshop of the Cross-Language Evaluation Forum, CLEF 2002 Rome, Italy, September 19–20, 2002 Revised Papers / / edited by Martin Braschler, Julio Gonzalo, Martin Kluck

• Record Nr.: UNINA9910143997503321
• Pubbl/distr/stampa: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003
• ISBN: 3-540-45237-0
• Edizione: [1st ed. 2003.]
• Descrizione fisica: 1 online resource (XXIV, 831 p. 56 illus.)
• Collana: Lecture Notes in Computer Science, , 1611-3349 ; ; 2785
• Disciplina: 025.04
• Soggetti: Library science; Information storage and retrieval systems; Artificial intelligence; Library Science; Information Storage and Retrieval; Artificial Intelligence
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references at the end of each chapters and index.
• Nota di contenuto: I System Evaluation Experiments at CLEF 2002 -- CLEF 2002 – Overview of Results -- Cross-Language Retrieval Experiments at CLEF 2002 -- ITC-irst at CLEF 2002: Using N-Best Query Translations for CLIR -- Océ at CLEF 2002 -- Report on CLEF 2002 Experiments: Combining Multiple Sources of Evidence -- UTACLIR @ CLEF 2002 – Bilingual and Multilingual Runs with a Unified Process -- A Multilingual Approach to Multilingual Information Retrieval -- Combining Evidence for Cross-Language Information Retrieval -- Exeter at CLEF 2002: Experiments with Machine Translation for Monolingual and Bilingual Retrieval -- Portuguese-English Experiments Using Latent Semantic Indexing -- Thomson Legal and Regulatory Experiments for CLEF 2002 -- Eurospider at CLEF 2002 -- Merging Mechanisms in Multilingual Information Retrieval -- SINAI at CLEF 2002: Experiments with Merging Strategies -- Cross-Language Retrieval at the University of Twente and TNO -- Scalable Multilingual Information Access -- Some Experiments ; with the Dutch Collection -- Resolving Translation Ambiguity Using Monolingual Corpora -- Experiments in 8 European Languages with Hummingbird SearchServerTM at CLEF 2002 -- Italian Monolingual Information Retrieval with PROSIT -- COLE Experiments in the CLEF 2002 Spanish Monolingual Track -- Improving the Automatic Retrieval of Text Documents -- IR-n System at CLEF-2002 -- Experiments in Term Expansion Using Thesauri in Spanish -- SICS at CLEF 2002: Automatic Query Expansion Using Random Indexing -- Pliers and Snowball at CLEF 2002 -- Experiments with a Chunker and Lucene -- Information Retrieval with Language Knowledge -- Domain Specific Retrieval Experiments with MIMOR at the University of Hildesheim -- Using Thesauri in Cross-Language Retrieval of German and French Indexed Collections -- AssessingAutomatically Extracted Bilingual Lexicons for CLIR in Vertical Domains: XRCE Participation in the GIRT Track of CLEF 2002 -- The CLEF 2002 Interactive Track -- SICS at iCLEF 2002: Cross-Language Relevance Assessment and Task Context -- Universities of Alicante and Jaen at iCLEF -- Comparing User-Assisted and Automatic Query Translation -- Interactive Cross-Language Searching: Phrases Are Better than Terms for Query Formulation and Refinement -- Exploring the Effect of Query Translation when Searching Cross-Language -- CLEF 2002 Cross-Language Spoken Document Retrieval Pilot Track Report -- Exeter at CLEF 2002: Cross-Language Spoken Document Retrieval Experiments -- Cross-Language Spoken Document Retrieval on the TREC SDR Collection -- II Cross-Language Systems Evaluation Initiatives, Issues and Results -- CLIR at NTCIR Workshop 3: Cross-Language and Cross-Genre Retrieval -- Linguistic and Statistical Analysis of the CLEF Topics -- CLEF 2002 Methodology and Metrics.
• Sommario/riassunto: This book presents the thoroughly refereed post-proceedings of a workshop by the Cross-Language Evaluation Forum Campaign, CLEF 2002, held in Rome, Italy in September 2002.The 43 revised full papers presented together with an introduction and run data in an appendix were carefully reviewed and revised upon presentation at the workshop. The papers are organized in topical sections on systems evaluation experiments, cross language and more, monolingual experiments, mainly domain-specific information retrieval, interactive issues, cross-language spoken document retrieval, and cross-language evaluation issues and initiatives.