|
Cristian S. Calude
Cristian Sorin Calude (born 21 April 1952) is a Romanian-New Zealander mathematician and computer scientist. Biography After graduating from the Vasile Alecsandri National College in Galați, he studied at the University of Bucharest, where he was student of Grigore C. Moisil and Solomon Marcus. Calude received his Ph.D. in Mathematics from the University of Bucharest under the direction of Solomon Marcus in 1977. He is currently chair professor at the University of Auckland, New Zealand and also the founding director of the Centre for Discrete Mathematics and Theoretical Computer Science. Visiting professor in many universities in Europe, North and South America, Australasia, South Africa, including Monbusho Visiting Professor, JAIST, 1999 and visiting professor ENS, Paris, 2009, École Polytechnique, Paris, 2011; visiting fellow, Isaac Newton Institute for Mathematical Sciences, 2012; guest professor, Sun Yat-sen University, Guangzhou, China, 2017–2020; visiting fellow ET ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Galați
Galați (, , ; also known by other alternative names) is the capital city of Galați County in the historical region of Western Moldavia, in eastern Romania. Galați is a port town on the Danube River. It has been the only port for the most part of Moldavia's existence. In 2011, the Romanian census recorded 249,432 residents, making it the 8th most populous city in Romania. Galați is an economic centre based around the port of Galați, the naval shipyard, and the largest steel factory in Romania, Galați steel works. Etymology and names The name ''Galați'' is derived from the Cuman word . This word is ultimately borrowed from the Persian word , "fortress". Other etymologies have been suggested, such as the Serbian . However, the ''galat'' root appears in nearby toponyms, some of which show clearly a Cuman origin, for example Gălățui Lake, which has the typical Cuman -''ui'' suffix for "water". Another toponym in the region is Galicia, with its town of Halych, locally ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Guangzhou
Guangzhou (, ; ; or ; ), also known as Canton () and alternatively romanized as Kwongchow or Kwangchow, is the capital and largest city of Guangdong province in southern China. Located on the Pearl River about north-northwest of Hong Kong and north of Macau, Guangzhou has a history of over 2,200 years and was a major terminus of the maritime Silk Road; it continues to serve as a major port and transportation hub as well as being one of China's three largest cities. For a long time, the only Chinese port accessible to most foreign traders, Guangzhou was captured by the British during the First Opium War. No longer enjoying a monopoly after the war, it lost trade to other ports such as Hong Kong and Shanghai, but continued to serve as a major transshipment port. Due to a high urban population and large volumes of port traffic, Guangzhou is classified as a Large-Port Megacity, the largest type of port-city in the world. Due to worldwide travel restrictions at the beginni ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Klaus Iohannis
Klaus Werner Iohannis (; ; also spelled Johannis; born 13 June 1959) is a Romanian politician, physicist and former teacher who has been serving as the president of Romania since 2014. He became leader of the National Liberal Party (Romania), National Liberal Party (PNL) in 2014, after serving as leader of the Democratic Forum of Germans in Romania (FDGR/DFDR) between 2002 and 2013. Prior entering politics, Iohannis was a physics teacher. Iohannis was elected the mayor of the city of Sibiu (german: Hermannstadt) in 2000 Romanian local elections, 2000, representing the Democratic Forum of Germans in Romania. Although the Transylvanian Saxons, German population of the once predominantly German language, German-speaking town of Sibiu had declined to a tiny minority, Iohannis won a surprise victory and was re-elected by landslides in 2004 Romanian local elections, 2004, 2008 Romanian local elections, 2008, and 2012 Romanian local elections, 2012. Iohannis is credited with turning his ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
President Of Romania
The president of Romania ( ro, Președintele României) is the head of state of Romania. Following a modification to the Constitution of Romania, Romanian Constitution in 2003, the president is directly elected by a two-round system and serves for five years. An individual may serve two terms. During their term in office, the president may not be a formal member of a List of political parties in Romania, political party. The office of president was created in 1974, when Romanian Communist Party, Communist leader Nicolae Ceaușescu elevated the presidency of the State Council of Romania, State Council to a fully fledged executive presidency. It took its current form in stages after the Romanian Revolution—Ion Iliescu deposed Ceaușescu, resulting in the adoption of Romania's current constitution in 1991. Klaus Iohannis is the incumbent president since his inauguration on 21 December 2014. Iohannis is of full Transylvanian Saxons, Transylvanian Saxon descent, making him the fi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
National Order Of Faithful Service
The National Order of Faithful Service ( ro, Ordinul Național "Serviciul Credincios") is the second highest national order of Romania, with the Order of the Star of Romania being the highest national order. Originally it was established as the Medal of Faithful Service in 1878, during the reign of King Carol I. In 1906, the Cross of Faithful Service was added to the existing medal, as a superior class. During the reign of King Carol II, in 1932, the Order was established with four ranks: grand cross, grand officer, commodore, and officer. Between 1940 and 1948, only the medal was awarded. It was discontinued by the communist authorities in 1948, along with all the other Romanian decorations. It was re-instituted on 31 March 2000, alongside the Cross and Medal of Faithful Service. It differs from the 1932 version in the number of ranks, an order of knight (the lowest) being added. Is awarded for special services to Romania. It is also awarded to foreign nationals. Ranks Th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symposium On Theory Of Computing
The Annual ACM Symposium on Theory of Computing (STOC) is an academic conference in the field of theoretical computer science. STOC has been organized annually since 1969, typically in May or June; the conference is sponsored by the Association for Computing Machinery special interest group SIGACT. Acceptance rate of STOC, averaged from 1970 to 2012, is 31%, with the rate of 29% in 2012. As writes, STOC and its annual IEEE counterpart FOCS (the Symposium on Foundations of Computer Science) are considered the two top conferences in theoretical computer science, considered broadly: they “are forums for some of the best work throughout theory of computing that promote breadth among theory of computing researchers and help to keep the community together.” includes regular attendance at STOC and FOCS as one of several defining characteristics of theoretical computer scientists. Awards The Gödel Prize for outstanding papers in theoretical computer science is presented alternately a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Parity Games
A parity game is played on a colored directed graph, where each node has been colored by a priority – one of (usually) finitely many natural numbers. Two players, 0 and 1, move a (single, shared) token along the edges of the graph. The owner of the node that the token falls on selects the successor node, resulting in a (possibly infinite) path, called the play. The winner of a finite play is the player whose opponent is unable to move. The winner of an infinite play is determined by the priorities appearing in the play. Typically, player 0 wins an infinite play if the largest priority that occurs infinitely often in the play is even. Player 1 wins otherwise. This explains the word "parity" in the title. Parity games lie in the third level of the Borel hierarchy, and are consequently determined. Games related to parity games were implicitly used in Rabin's proof of decidability of the monadic second-order theory of ''n'' successors ( S2S for ''n'' = 2), where determinacy ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bakhadyr Khoussainov
Bakhadyr M. Khoussainov (Cyrillic: Бахадыр Хусаинов) is a computer scientist and mathematician, who was born and educated in the Soviet Union, works in the fields of mathematical logic, computability theory, computable model theory and theoretical computer science. With Anil Nerode, he is the co-founder of the theory of automatic structures, which is an extension of the theory of automatic groups. Biography Khoussainov received his undergraduate degree from the Mathematics Department of Novosibirsk State University in 1984. In 1988, he received his Candidate of Sciences degree (equivalent to a PhD) in Algebra and Logic from Novosibirsk State University with the supervision of an Academician of the Russian Academy of Sciences . In 1991 Khoussainov joined Cornell University and held an Ｈ.C. Wang Assistant Professorship at the Mathematics Department from 1995 to 1997. In 1996 Khoussainov joined the University of Auckland, and remained until 2021 when he moved to th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Springer Science+Business Media
Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in Berlin, it expanded internationally in the 1960s, and through mergers in the 1990s and a sale to venture capitalists it fused with Wolters Kluwer and eventually became part of Springer Nature in 2015. Springer has major offices in Berlin, Heidelberg, Dordrecht, and New York City. History Julius Springer founded Springer-Verlag in Berlin in 1842 and his son Ferdinand Springer grew it from a small firm of 4 employees into Germany's then second largest academic publisher with 65 staff in 1872.Chronology ". Springer Science+Business Media. In 1964, Springer expanded its business internationally, o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lecture Notes In Computer Science
''Lecture Notes in Computer Science'' is a series of computer science books published by Springer Science+Business Media since 1973. Overview The series contains proceedings, post-proceedings, monographs, and Festschrifts. In addition, tutorials, state-of-the-art surveys, and "hot topics" are increasingly being included. The series is indexed by DBLP. See also *''Monographiae Biologicae'', another monograph series published by Springer Science+Business Media *''Lecture Notes in Physics'' *''Lecture Notes in Mathematics'' *''Electronic Workshops in Computing ''Electronic Workshops in Computing'' (eWiC) is a publication series by the British Computer Society. The series provides free online access for conferences and workshops in the area of computing. For example, the EVA London Conference proceeding ...'', published by the British Computer Society References External links * Publications established in 1973 Computer science books Series of non-fiction books Springer ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Philosophy Of Computation
Philosophy (from , ) is the systematized study of general and fundamental questions, such as those about existence, reason, knowledge, values, mind, and language. Such questions are often posed as problems to be studied or resolved. Some sources claim the term was coined by Pythagoras ( BCE), although this theory is disputed by some. Philosophical methods include questioning, critical discussion, rational argument, and systematic presentation. in . Historically, ''philosophy'' encompassed all bodies of knowledge and a practitioner was known as a ''philosopher''."The English word "philosophy" is first attested to , meaning "knowledge, body of knowledge." "natural philosophy," which began as a discipline in ancient India and Ancient Greece, encompasses astronomy, medicine, and physics. For example, Newton's 1687 ''Mathematical Principles of Natural Philosophy'' later became classified as a book of physics. In the 19th century, the growth of modern research universities ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
History Of Computation
History (derived ) is the systematic study and the documentation of the human activity. The time period of event before the invention of writing systems is considered prehistory. "History" is an umbrella term comprising past events as well as the memory, discovery, collection, organization, presentation, and interpretation of these events. Historians seek knowledge of the past using historical sources such as written documents, oral accounts, art and material artifacts, and ecological markers. History is not complete and still has debatable mysteries. History is also an academic discipline which uses narrative to describe, examine, question, and analyze past events, and investigate their patterns of cause and effect. Historians often debate which narrative best explains an event, as well as the significance of different causes and effects. Historians also debate the nature of history as an end in itself, as well as its usefulness to give perspective on the problems of the p ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.jpg "Click for more on -> History Of Computation")