منابع مشابه
Multiplication Complexe et Équivalence Élémentaire Dans Le Langage des Corps
Résumé. Soit K et K ′ deux corps elliptiques avec multiplication complexe sur un corps algébriquement clos k de caractéristique 0, non k-isomorphes, et soit C et C ′ deux courbes ayant pour corps de fonctions K et K ′ respectivement. Nous démontrons que si les anneaux d’endomorphismes de C et de C ′ ne sont pas isomorphes, alors K et K ′ ne sont pas élémentairement équivalents dans le langage d...
متن کاملExplaining Watson
Our paper is actually two contributions in one. First, we argue that IBM’s Jeopardy! playing machine needs a formal semantics. We present several arguments as we discuss the system. We also situate the work in the broader context of contemporary AI. Our second point is that the work in this area might well be done as a broad collaborative project. Hence our “Blue Sky” contribution is a proposal...
متن کاملRBS Depth Profiling Analysis of (Ti, Al)N/MoN and CrN/MoN Multilayers
(Ti, Al)N/MoN and CrN/MoN multilayered films were synthesized on Si (100) surface by multi-cathodic arc ion plating system with various bilayer periods. The elemental composition and depth profiling of the films were investigated by Rutherford backscattering spectroscopy (RBS) using 2.42 and 1.52 MeV Li2+ ion beams and different incident angles (0°, 15°, 37°, and 53°). The microstructures of (T...
متن کاملThe Outburst of V838 Mon
V838 Mon has undergone one of the most mysterious stellar outbursts on record. The spectrum at maximum closely resembled a cool AGB star, evolving toward cooler temperatures with time, never reaching optically thin conditions or showing increasing ionization and a nebular stage. The latest spectral type recorded is M8-9. The amplitude peaked at ∆V=9 mag, with the outburst evolution being charac...
متن کاملAdapting ChER for the recognition of chemical mentions in patents
ChER (Chemical Entity Recogniser) is a pipeline of natural language processing tools optimised for the recognition of chemical names in scientific abstracts. It formed the basis of our submissions to the previous edition of the CHEMDNER track in BioCreative IV, and was one of the top-performing systems both for the chemical document indexing (CDI) and chemical entity mention recognition (CEM) s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: médecine/sciences
سال: 2009
ISSN: 0767-0974,1958-5381
DOI: 10.1051/medsci/2009252s3