|
Anatol Slissenko
Anatol Slissenko (russian: Анатолий Олесьевич Слисенко) (born August 15, 1941) is a Soviet, Russian and French mathematician and computer scientist. Among his research interests one finds automatic theorem proving, recursive analysis, computational complexity, algorithmics, graph grammars, verification, computer algebra, entropy and probabilistic models related to computer science. Early years Anatol Slissenko was born in Siberia, where his father served as head of a regiment of military topography. He graduated from the Leningrad State University, Faculty of Mathematics and Mechanics in 1963 (honors diploma). Academic career He earned his PhD (candidate of sciences, his adviser was Nikolai Aleksandrovich Shanin) in 1967 from the Leningrad Department of Steklov Institute of Mathematics, and his Doctor of Science (higher doctorate) in 1981 from the Steklov Institute of Mathematics in Moscow. During 1963–1981 he was with the Leningrad Departmen ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computer Science
Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (including the design and implementation of hardware and software). Computer science is generally considered an area of academic research and distinct from computer programming. Algorithms and data structures are central to computer science. The theory of computation concerns abstract models of computation and general classes of problems that can be solved using them. The fields of cryptography and computer security involve studying the means for secure communication and for preventing security vulnerabilities. Computer graphics and computational geometry address the generation of images. Programming language theory considers different ways to describe computational processes, and database theory concerns the management of repositories ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Siberia
Siberia ( ; rus, Сибирь, r=Sibir', p=sʲɪˈbʲirʲ, a=Ru-Сибирь.ogg) is an extensive geographical region, constituting all of North Asia, from the Ural Mountains in the west to the Pacific Ocean in the east. It has been a part of Russia since the latter half of the 16th century, after the Russians conquered lands east of the Ural Mountains. Siberia is vast and sparsely populated, covering an area of over , but home to merely one-fifth of Russia's population. Novosibirsk, Krasnoyarsk and Omsk are the largest cities in the region. Because Siberia is a geographic and historic region and not a political entity, there is no single precise definition of its territorial borders. Traditionally, Siberia extends eastwards from the Ural Mountains to the Pacific Ocean, and includes most of the drainage basin of the Arctic Ocean. The river Yenisey divides Siberia into two parts, Western and Eastern. Siberia stretches southwards from the Arctic Ocean to the hills of nort ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Russian Mathematicians
Russian(s) refers to anything related to Russia, including: *Russians (, ''russkiye''), an ethnic group of the East Slavic peoples, primarily living in Russia and neighboring countries * Rossiyane (), Russian language term for all citizens and people of Russia, regardless of ethnicity *Russophone, Russian-speaking person (, ''russkogovoryashchy'', ''russkoyazychny'') * Russian language, the most widely spoken of the Slavic languages *Russian alphabet * Russian cuisine *Russian culture * Russian studies Russian may also refer to: * Russian dressing *''The Russians'', a book by Hedrick Smith * Russian (comics), fictional Marvel Comics supervillain from ''The Punisher'' series * Russian (solitaire), a card game * "Russians" (song), from the album ''The Dream of the Blue Turtles'' by Sting *"Russian", from the album ''Tubular Bells 2003'' by Mike Oldfield *"Russian", from the album '' '' by Caravan Palace * Nik Russian, the perpetrator of a con committed in 2002 *The South African na ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Poland
Poland, officially the Republic of Poland, , is a country in Central Europe. Poland is divided into Voivodeships of Poland, sixteen voivodeships and is the fifth most populous member state of the European Union (EU), with over 38 million people, and the List of European countries by area, seventh largest EU country, covering a combined area of . It extends from the Baltic Sea in the north to the Sudetes and Carpathian Mountains in the south, bordering seven countries. The territory is characterised by a varied landscape, diverse ecosystems, and Temperate climate, temperate transitional climate. The capital and List of cities and towns in Poland, largest city is Warsaw; other major cities include Kraków, Wrocław, Łódź, Poznań, and Gdańsk. Prehistory and protohistory of Poland, Humans have been present on Polish soil since the Lower Paleolithic, with continuous settlement since the end of the Last Glacial Period over 12,000 years ago. Culturally diverse throughout ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Warsaw
Warsaw ( pl, Warszawa, ), officially the Capital City of Warsaw,, abbreviation: ''m.st. Warszawa'' is the capital and largest city of Poland. The metropolis stands on the River Vistula in east-central Poland, and its population is officially estimated at 1.86 million residents within a greater metropolitan area of 3.1 million residents, which makes Warsaw the 7th most-populous city in the European Union. The city area measures and comprises 18 districts, while the metropolitan area covers . Warsaw is an Alpha global city, a major cultural, political and economic hub, and the country's seat of government. Warsaw traces its origins to a small fishing town in Masovia. The city rose to prominence in the late 16th century, when Sigismund III decided to move the Polish capital and his royal court from Kraków. Warsaw served as the de facto capital of the Polish–Lithuanian Commonwealth until 1795, and subsequently as the seat of Napoleon's Duchy of Warsaw. Th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
International Congress Of Mathematicians
The International Congress of Mathematicians (ICM) is the largest conference for the topic of mathematics. It meets once every four years, hosted by the International Mathematical Union (IMU). The Fields Medals, the Nevanlinna Prize (to be renamed as the IMU Abacus Medal), the Gauss Prize, and the Chern Medal are awarded during the congress's opening ceremony. Each congress is memorialized by a printed set of Proceedings recording academic papers based on invited talks intended to be relevant to current topics of general interest. Being invited to talk at the ICM has been called "the equivalent ... of an induction to a hall of fame". History Felix Klein and Georg Cantor are credited with putting forward the idea of an international congress of mathematicians in the 1890s.A. John Coleman"Mathematics without borders": a book review ''CMS Notes'', vol 31, no. 3, April 1999, pp. 3-5 The University of Chicago, which had opened in 1892, organized an International Mathematical Con ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Yuri Matiyasevich
Yuri Vladimirovich Matiyasevich, (russian: Ю́рий Влади́мирович Матиясе́вич; born 2 March 1947 in Leningrad) is a Russian mathematician and computer scientist. He is best known for his negative solution of Hilbert's tenth problem ( Matiyasevich's theorem), which was presented in his doctoral thesis at LOMI (the Leningrad Department of the Steklov Institute of Mathematics). Biography * In 1962–1963, Matiyasevich studied at Saint Petersburg Lyceum 239; * In 1963–1964, he studied aKolmogorov School in 1964 he was the absolute winner of the All-Union Olympiad in mathematics * In 1964–1969, Matiyasevich studied at thMathematics & Mechanics Facultyof Leningrad State University. By qualifying for the USSR team for the International Mathematical Olympiad (where he won a gold medal), Yuri Matiyasevich was accepted without exams to Leningrad State University, skipping the last year of high school studies. * In 1966, he presented a talk at Inte ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
ACM International Collegiate Programming Contest
The ICPC International Collegiate Programming Contest, known as the ICPC, is an annual multi-tiered competitive programming competition among the universities of the world. Directed by ICPC Executive Director and Baylor Professor Dr. William B. Poucher, the ICPC operates autonomous regional contests covering six continents culminating in a global World Finals every year. In 2018, ICPC participation included 52,709 students from 3,233 universities in 110 countries. The ICPC operates under the auspices of the ICPC Foundation and operates under agreements with host universities and non-profits, all in accordance with the ICPC Policies and Procedures. From 1977 until 2017 ICPC was held under the auspices of Association for Computing Machinery, ACM and was referred to as ACM-ICPC. Mission The ICPC, the “International Collegiate Programming Contest”, is an extra-curricular, competitive programming sport for students at universities around the world. ICPC competitions provide gifte ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Leningrad State University
Saint Petersburg State University (SPBU; russian: Санкт-Петербургский государственный университет) is a public research university in Saint Petersburg, Russia. Founded in 1724 by a decree of Peter the Great, the university from the beginning has had a focus on fundamental research in science, engineering and humanities. During the Soviet period, it was known as Leningrad State University (russian: Ленинградский государственный университет). It was renamed after Andrei Zhdanov in 1948 and was officially called "Leningrad State University, named after A. A. Zhdanov and decorated with the Order of Lenin and the Order of the Red Banner of Labour." Zhdanov's was removed in 1989 and Leningrad in the name was officially replaced with Saint Petersburg in 1992. It is made up of 24 specialized faculties (departments) and institutes, the Academic Gymnasium, the Medical College, the College of Physical Cultur ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Professor Emeritus
''Emeritus'' (; female: ''emerita'') is an adjective used to designate a retired chair, professor, pastor, bishop, pope, director, president, prime minister, rabbi, emperor, or other person who has been "permitted to retain as an honorary title the rank of the last office held". In some cases, the term is conferred automatically upon all persons who retire at a given rank, but in others, it remains a mark of distinguished service awarded selectively on retirement. It is also used when a person of distinction in a profession retires or hands over the position, enabling their former rank to be retained in their title, e.g., "professor emeritus". The term ''emeritus'' does not necessarily signify that a person has relinquished all the duties of their former position, and they may continue to exercise some of them. In the description of deceased professors emeritus listed at U.S. universities, the title ''emeritus'' is replaced by indicating the years of their appointmentsThe Proto ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
LOMI
Lomi or pancit lomi (Hokkien: /便食滷麵; Pe̍h-ōe-jī: ló͘-mī/piān-si̍t ló͘-mī) is a Filipino dish made with a variety of thick fresh egg noodles of about a quarter of an inch in diameter, soaked in lye water to give it more texture. Because of its popularity at least in the eastern part of Batangas, there are as many styles of cooking lomi as there are eateries, '' panciterias'' or restaurants offering the dish. Variations in recipes and quality are therefore very common. Recipe Small portions of meat (usually pork, sometimes chicken) and pork liver, are thinly sliced then sauteed with garlic and shallots. It is then cooked until tender. Next, salt, finely ground black pepper and other seasonings are added at this point. Then soup stock is added to prepare the broth. Next the lomi noodle and chopped cabbage is added. While waiting for the noodles to cook, a mixture of cornstarch flour blended with a small amount of water is added to thicken the sou ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
