|
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 Depar ... [...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 Applied science, practical disciplines (including the design and implementation of Computer architecture, hardware and Computer programming, software). Computer science is generally considered an area of research, 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 computational problem, problems that can be solved using them. The fields of cryptography and computer security involve studying the means for secure communication and for preventing Vulnerability (computing), security vulnerabilities. Computer graphics (computer science), Computer graphics and computational geometry address the generation of images. Progr ... [...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 north-ce ... [...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 name for a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Poland
Poland, officially the Republic of Poland, is a country in Central Europe. It is divided into 16 administrative provinces called voivodeships, covering an area of . Poland has a population of over 38 million and is the fifth-most populous member state of the European Union. Warsaw is the nation's capital and largest metropolis. Other major cities include Kraków, Wrocław, Łódź, Poznań, Gdańsk, and Szczecin. Poland has a temperate transitional climate and its territory traverses the Central European Plain, extending from Baltic Sea in the north to Sudeten and Carpathian Mountains in the south. The longest Polish river is the Vistula, and Poland's highest point is Mount Rysy, situated in the Tatra mountain range of the Carpathians. The country is bordered by Lithuania and Russia to the northeast, Belarus and Ukraine to the east, Slovakia and the Czech Republic to the south, and Germany to the west. It also shares maritime boundaries with Denmark and Sweden. ... [...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 Carl Friedrich Gauss Prize, 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 List of International Congresses of Mathematicians Plenary and Invited Speakers, 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 ... [...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 Interna ... [...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 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 gifted students opportunities to interact ... [...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 Culture ... [...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 Protoc ... [...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 soup. Fina ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
