Anatol Olesjewitsch Slissenko

Anatol Slissenko

Anatol Olesjewitsch Slissenko (russisch Анатоль Олесьевич Слисенко, englische Transkription Anatol Olesevich Slissenko, auch Slisenko; * 15. August 1941) ist ein russischer Mathematiker und Informatiker, der sich mit Komplexitätstheorie, Computeralgebra und anderen Bereichen der theoretischen Informatik befasst.

Slissenko studierte an der Staatlichen Universität Leningrad mit dem Diplom 1963 und wurde 1967 bei Nikolai Alexandrowitsch Schanin am Steklow-Institut in Leningrad promoviert (Dissertation: Regulatoren der Konvergenz von konstruktiven Folgen und Regulatoren der Stetigkeit von konstruktiven Funktionen (Russisch))[1] und 1981 habilitiert (russischer Doktortitel). 1967 bis 1992 stand er dem Leningrader Seminar für Komplexitätstheorie vor und 1981 bis 1993 leitete er das Labor für Algorithmentheorie des Leningrader Instituts für Informatik und Automation der Russischen Akademie der Wissenschaften. Außerdem war er 1981 bis 1987 in Teilzeit Professor am Polytechnischen Institut in Leningrad und 1988 bis 1992 an der Staatlichen Universität Leningrad, wo er die Fakultät für Informatik leitete.

1993 bis 2009 war er Professor an der Universität Paris XII. Seit 2009 ist er dort Professor Emeritus. Dort leitete er 1997 bis 2007 das Labor für algorithmische Komplexität und Logik (LACL).

Er befasst sich neben Komplexitätstheorie (u. a. Anfang der 1970er Jahre eine Turingmaschine mit sechs Lese/Schreibköpfen, die Palindrome in Echtzeit erkennt) und Algorithmen (u. a. Ende der 1970er Jahre Echtzeit-Algorithmen, die alle Periodizitäten eines Wortes in kompakter Form finden und klassische String-Matching-Probleme lösen) auch mit automatischen Beweissystemen (1960er Jahre), rekursiver (konstruktiver) Theorie reeller Funktionen, Graph-Grammatiken (eine bestimmte Art davon ist nach ihm benannt, für die Beschreibung von Polyzeit-Klassen schwieriger Probleme), probabilistischen Methoden in der theoretischen Informatik (Entropie-artige Konzepte für die Algorithmenanalyse und Wissensdarstellung), Komplexität von Markow-Entscheidungsprozessen, Fehlertoleranz von Syntax und Verifizierung von Echtzeitsystemen und verteilten Systemen.

1983 war er eingeladener Sprecher auf dem Internationalen Mathematikerkongress in Warschau (Linguistic considerations in deriving effective algorithms).

Zu seinen Doktoranden zählt Dmitri Jurjewitsch Grigorjew.

Schriften (Auswahl)

  • Complexity problems in computational theory, Russian Mathematical Surveys, Band 36, 1981, S. 23–125
  • Recognizing a symmetry predicate by multihead Turing machines with input. Proc. Steklov Inst. of Mathematics, AMS, Band 129, 1976, S. 25–208
  • Detection of periodicities and string-matching in real time. J. of Soviet Mathematics, Band 22, 1983, S. 1316–1386
  • Context-free grammars as a tool for describing polynomial-time subclasses of hard problems. Inform. Process. Lett., Band 14, 1982, S. 52–56
  • mit Danièle Beauquier: A first order logic for specification of timed algorithms: basic properties and a decidable class. Annals of Pure and Applied Logic, Band 113, 2002, S. 13–52
  • mit J. Heintz, T. Krick, P. Solerno: Finding shortest paths around semi-algebraic obstacles in the plane, J. of Math. Sci., Band 70, 1994, S. 1944–1949
  • mit D. Grigoriev: Computing Minimum-Link Path in a Homotopy Class amidst Semi-Algebraic Obstacles in the Plane, St. Petersburg Math. J., Band 10, 1999, S. 315–332
  • On measures of information quality of knowledge processing systems. Information Sciences: An International Journal, Band 57/58, 1991, S. 389–402
  • On entropic convergence of algorithms in terms of domain partitions, Arxiv 2016

Einzelnachweise

  1. ↑ Anatol Olesjewitsch Slissenko im Mathematics Genealogy Project (englisch) Vorlage:MathGenealogyProject/Wartung/id verwendet
Personendaten
NAME Slissenko, Anatol Olesjewitsch
ALTERNATIVNAMEN Slisenko, Anatol; Слисенко, Анатоль Олесьевич
KURZBESCHREIBUNG russischer Mathematiker
GEBURTSDATUM 15. August 1941

Read other articles:

Elaiza

Elaiza Elaiza en 2014Informations générales Pays d'origine Allemagne Genre musical Folk Composition du groupe Membres Elżbieta Ela SteinmetzYvonne GrünwaldNatalie Plöger modifier Elaiza, originaire de Berlin en Allemagne, est un groupe de musique allemand. Le 13 mars 2014, il remporte la finale nationale Unser song für Dänemark et est choisi pour représenter l'Allemagne au Concours Eurovision de la chanson 2014 à Copenhague, au Danemark avec la chanson Is It Right (Est-ce juste?). L...

 

Varroa jacobsoni

Varroa jacobsoni Varroa jacobsoni TaksonomiKerajaanAnimaliaFilumArthropodaKelasArachnidaOrdoMesostigmataFamiliVarroidaeGenusVarroaSpesiesVarroa jacobsoni Oudemans, 1904 lbs Varroa jacobsoni adalah sebuah spesies tungau yang merupakan parasit dari Apis cerana (lebah madu Asia). Varroa destructor yang lebih merusak sebelumnya dimasukkan dibawah nama spesies ini, namun belakangan diketahui bahwa spesies ini dapat dipisah bedasarkan urutan asam nukleat gen oksidase sitokrom I pada DNA mitokondria...

 

Nokia Lumia 820

Nokia Lumia 820Nokia Lumia 820PembuatNokiaSeriNokia LumiaJaringanGSM/GPRS/EDGE 850/900/1800/1900HSPA 850/900/1900/2100LTE 800/900/1800/2100/2600Wi-FiRilis pertama15 November 2012[1]PendahuluNokia Lumia 800TerkaitNokia Lumia 810Nokia Lumia 820Nokia Lumia 920TipePonsel pintarFaktor bentukSlateDimensi1.238 mm (48,7 in) H 685 mm (27,0 in) W 99 mm (3,9 in) DBerat160 g (5,6 oz)Sistem OperasiWindows Phone 8CPU1.5 GHz dual-core Qualcomm KraitGPUQualcomm...

Zone libre

Artikel atau sebagian dari artikel ini mungkin diterjemahkan dari Zone libre di en.wikipedia.org. Isinya masih belum akurat, karena bagian yang diterjemahkan masih perlu diperhalus dan disempurnakan. Jika Anda menguasai bahasa aslinya, harap pertimbangkan untuk menelusuri referensinya dan menyempurnakan terjemahan ini. Anda juga dapat ikut bergotong royong pada ProyekWiki Perbaikan Terjemahan. (Pesan ini dapat dihapus jika terjemahan dirasa sudah cukup tepat. Lihat pula: panduan penerjemahan ...

 

قائمة جامعات مصر

لوحة تبين الحلقات الدراسية الجامعية في الجامع الأزهر. وجامعة الأزهر تعد نفسها أقدم جامعات مصر والعالم التي ما زالت الدراسة بها قائمة منذ تأسيسها سنة 975 (منذ 1049 سنة) حتى عصرنا الحالي دون توقف،[1] أي بعد تأسيسه كمسجد جامع بحوالي 4 سنوات.[2] تعد جامعة الإسكندرية القديمة أ...

 

Rhoads Stadium

Rhoads StadiumFull nameJohn and Ann Rhoads Softball StadiumFormer namesAlabama Softball Complex (2000–2010)Location321 5th AvenueTuscaloosa, AlabamaCoordinates33°12′48″N 87°31′49″W / 33.213343°N 87.530383°W / 33.213343; -87.530383OwnerUniversity of AlabamaOperatorUA AthleticsCapacity3,940Field sizeLeft Field: 200 ft Center Field: 220 ft Right Field: 200 ftSurfaceNatural grassScoreboardVideo board and full box score LED scoreboard by DaktronicsConstruction...

Chiesa di San Francesco d'Assisi (Genzano di Roma)

Chiesa di San Francesco d'AssisiStato Italia LocalitàGenzano di Roma Religionecristiana ortodossa rumena Diocesieparchia ortodossa rumena d'Italia Consacrazione1643 Stile architettonicobarocco Inizio costruzione1637 Completamento1643 Sito webepiscopia-italiei.it/index.php?option=com_content&view=article&id=274%3Aalbano-genzano-&catid=34%3Aparohii&Itemid=56&lang=it Modifica dati su Wikidata · Manuale La chiesa di San Francesco d'Assisi è un edificio religioso e...

 

Dichloromethane

Di-clo redirects here. For the anti-inflammatory drug trade named Diclo, see Diclofenac. Dichloromethane Names Preferred IUPAC name Dichloromethane Other names Methylene bichloride; Methylene chloride gas; Methylene dichloride; Solmethine; Narkotil; Solaesthin; Di-clo; Refrigerant-30; Freon-30; R-30; DCM; MDC Identifiers CAS Number 75-09-2 Y 3D model (JSmol) Interactive image ChEBI CHEBI:15767 Y ChEMBL ChEMBL45967 Y ChemSpider 6104 Y ECHA InfoCard 100.000.763 EC Number 200...

 

Zimapán

Municipality and town in Hidalgo, MexicoZimapánMunicipality and townZimapán Municipality SealMotto: la ciudad mágicaZimapánLocation in MexicoShow map of HidalgoZimapánZimapán (Mexico)Show map of MexicoCoordinates: 20°44′N 99°23′W / 20.733°N 99.383°W / 20.733; -99.383CountryMexicoStateHidalgoMunicipal seatZimapanGovernment • Type PAN-PRD • MayorAlan Rivera Villanueva (2020-2024)Area • Total860.9 km2 (332.4 ...

新罕布什尔州

坐标：43°11′38″N 71°34′21″W / 43.1938516°N 71.5723953°W / 43.1938516; -71.5723953 此條目需要补充更多来源。 (2017年5月21日)请协助補充多方面可靠来源以改善这篇条目，无法查证的内容可能會因為异议提出而被移除。致使用者：请搜索一下条目的标题（来源搜索：新罕布什尔州 — 网页、新闻、书籍、学术、图像），以检查网络上是否存在该主题的更多可靠来源...

 

Skia (typeface)

This article is about the typeface included in Mac OS. For the graphics engine, see Skia Graphics Engine. For QuickDraw GX, for which Skia was the codename, see QuickDraw GX. Sans-serif typefaceSkiaCategorySans-serifDesigner(s)Matthew CarterFoundryApple ComputerVariationsCadmus Skia is a humanist sans-serif typeface designed by Matthew Carter for Apple Computer in 1994.[1] Skia is Greek for shadow, and the letterforms take inspiration from stone-carved 1st century BC Greek writing. Th...

 

Грамота Президії Верховної Ради УРСР

Грамота Президії Верховної Ради УРСРГрамота Президії Верховної Ради Української РСР Країна УРСРТип Державна нагорода Української РСРВручається: громадяни, підприємства, установи, організації, трудові колективи, населені пункти, військові частиниВручає: Президія Вер�...

伊斯兰合作组织

伊斯兰合作组织Organisation of Islamic Cooperation（英語）Organisation de la Coopération Islamique（法語）منظمة التعاون الإسلامي（阿拉伯語） 旗帜格言：To safeguard the interests and ensure the progress and well-being of Muslims  成员国  观察国  暂停会籍行政总部 沙地阿拉伯吉达 官方语言阿拉伯语英语法语类型宗教成员国57个在籍成员国（英语：Member states of the Organisation ...

 

Jalan Pedas–Linggi

Road in Malaysia Negeri Sembilan Route 9Major junctionsNorth endPedasMajor intersections FT 1 Federal Route 1 North–South Expressway Southern Route AH2 North–South Expressway Southern Route FT 5 Federal Route 5South endLinggi LocationCountryMalaysiaPrimarydestinationsRembau, Rantau, Seremban, Port Dickson Highway system Highways in Malaysia Expressways Federal State Jalan Pedas–Linggi (Negeri Sembilan state route N9) is a major road in Negeri Sembilan, Malaysia.[1] It ...

 

Anabranche

Rive du petit lac Miassov. Une anabranche (du grec - ana - indiquant la répétition et branche) est une portion d'un cours d'eau qui quitte le lit principal d'un cours d'eau pour le rejoindre en aval. Ce mot est surtout d'utilisation anglophone (anabranch) et employé en Australie. En français on utilise plus souvent le mot bras. Théoriquement, dans le cas le plus simple, une île ou une roche dans le lit d'une rivière crée un cours principal et une anabranche ; mais on utilise gén...

Daftar Wakil Bupati Aceh Barat

Wakil Bupati Aceh BaratPetahanaTidak adasejak 11 Oktober 2022Masa jabatan5 tahunDibentuk23 April 2007Pejabat pertamaFuadri, S.Si, M.Si.Situs webacehbaratkab.go.id Berikut ini adalah daftar Wakil Bupati Aceh Barat dari masa ke masa. No Wakil Bupati Mulai Jabatan Akhir Jabatan Prd. Ket. Bupati 1 FuadriS.Si., M.Si. 23 April 2007 23 April 2012 1   H.Ramli M.S. Jabatan kosong 23 April 2012 25 April 2012 -   Drs.BukhariM.M.(Pelaksana Harian) 25 April 2012 8 Oktober 2012   Ridwan...

 

Satyalancana Teladan

Satyalancana TeladanBentuk usang Satyalancana TeladanTipeSatyalancanaNegara IndonesiaDipersembahkan olehPresiden IndonesiaSyaratMiliterStatusMasih dianugerahkanDidirikan1958Pita tanda kehormatan KeutamaanSetaraSemua satyalancana sama tingkatannya Satyalancana Teladan adalah tanda kehormatan yang diberikan oleh Pemerintah Republik Indonesia kepada mereka yang telah berjasa besar dalam upaya membela bangsa dan kedaulatan negara.[1] Tanda kehormatan dapat diberikan lebih dari satu k...

 

Escape Plan: The Extractors

Escape Plan: The ExtractorsOfficial DVD/Blu-ray coverSutradaraJohn HerzfeldProduser Robbie Brenner Mark Canton Randall Emmett George Furla Zack Schiller Skenario Miles Chapman John Herzfeld Pemeran Sylvester Stallone Max Zhang Dave Bautista Devon Sawa Jaime King Malese Jow Harry Shum, Jr. Russell Wong Lydia Hull Curtis Jackson Penata musikVictor ReyesSinematograferJacques JouffretPenyuntingSean AlbertsonPerusahaanproduksi Emmett/Furla/Oasis Films Diamond Films Productions Twirly Films L...

Canoa/kayak ai XVII Giochi del Mediterraneo

Voce principale: XVII Giochi del Mediterraneo. Le gare di canoa/kayak ai XVII Giochi del Mediterraneo si sono svolte il 27 e il 29 giugno 2013 alla boathouse nella Çukurova Üniversitesi. Si è gareggiato in sei categorie diverse, di cui quattro maschili e due femminili, tutte kayak. Indice 1 Calendario 2 Risultati 2.1 Uomini 2.2 Donne 3 Medagliere 4 Collegamenti esterni Calendario Le gare hanno seguito il seguente calendario:  ●  Competizioni  ●  Finali Giugno 18 19...

 

Assembly language

Low-level programming language Assembly languageTypical secondary output from an assembler—showing original assembly language (right) for the Motorola MC6800 and the assembled formParadigmImperative, unstructured, often metaprogramming (through macros), certain assemblers are structured or object-orientedFirst appeared1947; 77 years ago (1947)Typing disciplineNoneFilename extensions.asm, .s, .inc, .wla, .SRC and several others depending on the assembler In compute...