|
Anatoly Shalyto
Anatoly Abramovich Shalyto (russian: Анато́лий Абра́мович Шалы́то, 28 May 1948 in Leningrad, Soviet Union) is a Russian scientist, doctor of sciences, and professor. He was awarded by Russian State Government in 2008 for his achievements in education and his development of the technology for Automata-based programming called " Switch-technology." He is also an initiator of the Open Project Documentation Initiative. Main achievements * Introduced a Switch-technology for Automata-Based Programming. He is also a co-author of a UniMod tool that supports Automata-Based Programming. * Initiator of the Foundation for Open Project Documentation. * Author of a series of articles devoted to problems related to computer science and education in Russia. * Provided scientific results in Boolean functions and Logic Control Logic Control is a control surface originally designed by Emagic in cooperation with Mackie. History Logic Control was designed by Ema ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Leningrad
Saint Petersburg ( rus, links=no, Санкт-Петербург, a=Ru-Sankt Peterburg Leningrad Petrograd Piter.ogg, r=Sankt-Peterburg, p=ˈsankt pʲɪtʲɪrˈburk), formerly known as Petrograd (1914–1924) and later Leningrad (1924–1991), is the List of cities and towns in Russia by population, second-largest city in Russia. It is situated on the Neva River, at the head of the Gulf of Finland on the Baltic Sea, with a population of roughly 5.4 million residents. Saint Petersburg is the List of European cities by population within city limits, fourth-most populous city in Europe after Istanbul, Moscow and London, the List of cities and towns around the Baltic Sea, most populous city on the Baltic Sea, and the world's List of northernmost items#Cities and settlements, northernmost city of more than 1 million residents. As Russia's Imperial capital, and a Ports of the Baltic Sea, historically strategic port, it is governed as a Federal cities of Russia, federal city. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Automata-based Programming
Automata-based programming is a programming paradigm in which the program or part of it is thought of as a model of a finite-state machine (FSM) or any other (often more complicated) formal automaton (see automata theory). Sometimes a potentially infinite set of possible states is introduced, and such a set can have a complicated structure, not just an enumeration. Finite-state machine-based programming is generally the same, but, formally speaking, does not cover all possible variants, as FSM stands for finite-state machine, and automata-based programming does not necessarily employ FSMs in the strict sense. The following properties are key indicators for automata-based programming: * The time period of the program's execution is clearly separated down to the ''automaton steps''. Each step is effectively an execution of a code section (same for all the steps) which has a single entry point. That section might be divided down to subsections to be executed depending on different ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Living People
Related categories * :Year of birth missing (living people) / :Year of birth unknown * :Date of birth missing (living people) / :Date of birth unknown * :Place of birth missing (living people) / :Place of birth unknown * :Year of death missing / :Year of death unknown * :Date of death missing / :Date of death unknown * :Place of death missing / :Place of death unknown * :Missing middle or first names See also * :Dead people * :Template:L, which generates this category or death years, and birth year and sort keys. : {{DEFAULTSORT:Living people 21st-century people People by status ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1948 Births
Events January * January 1 ** The General Agreement on Tariffs and Trade (GATT) is inaugurated. ** The Constitution of New Jersey (later subject to amendment) goes into effect. ** The railways of Britain are nationalized, to form British Railways. * January 4 – Burma gains its independence from the United Kingdom, becoming an independent republic, named the ''Union of Burma'', with Sao Shwe Thaik as its first President, and U Nu its first Prime Minister. * January 5 ** Warner Brothers shows the first color newsreel (''Tournament of Roses Parade'' and the ''Rose Bowl Game''). ** The first Kinsey Report, ''Sexual Behavior in the Human Male'', is published in the United States. * January 7 – Mantell UFO incident: Kentucky Air National Guard pilot Thomas Mantell crashes while in pursuit of an unidentified flying object. * January 12 – Mahatma Gandhi begins his fast-unto-death in Delhi, to stop communal violence during the Partition of India. * January 17 &nda ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logic Control
Logic Control is a control surface originally designed by Emagic in cooperation with Mackie. History Logic Control was designed by Emagic as a dedicated control surface for their Logic digital audio workstation software. It was manufactured by Mackie, but distributed by Emagic. About 6 months later, Mackie introduced a physically identical product called "Mackie Control" which included support for most major DAW applications, but not Logic. The Emagic Logic Control was still available and would only work with Logic. Later, Mackie Control's firmware was revised to include compatibility with Logic, combining together Mackie Control, Logic Control and Human User Interface (HUI) into a single protocol. As a result, the name was changed to "Mackie Control Universal" (MCU). Out of the box, MCU included Lexan overlays with different button legends to support control of other DAWs such as Pro Tools and Cubase. Description Logic Control (and now MCU) allows control of almost all Logic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Boolean Functions
In mathematics, a Boolean function is a function whose arguments and result assume values from a two-element set (usually , or ). Alternative names are switching function, used especially in older computer science literature, and truth function (or logical function), used in logic. Boolean functions are the subject of Boolean algebra and switching theory. A Boolean function takes the form f:\^k \to \, where \ is known as the Boolean domain and k is a non-negative integer called the arity of the function. In the case where k=0, the function is a constant element of \. A Boolean function with multiple outputs, f:\^k \to \^m with m>1 is a ''vectorial'' or ''vector-valued'' Boolean function (an S-box in symmetric cryptography). There are 2^ different Boolean functions with k arguments; equal to the number of different truth tables with 2^k entries. Every k-ary Boolean function can be expressed as a propositional formula in k variables x_1,...,x_k, and two propositional ... [...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] |
Soviet Union
The Soviet Union,. officially the Union of Soviet Socialist Republics. (USSR),. was a List of former transcontinental countries#Since 1700, transcontinental country that spanned much of Eurasia from 1922 to 1991. A flagship communist state, it was nominally a Federation, federal union of Republics of the Soviet Union, fifteen national republics; in practice, both Government of the Soviet Union, its government and Economy of the Soviet Union, its economy were highly Soviet-type economic planning, centralized until its final years. It was a one-party state governed by the Communist Party of the Soviet Union, with the city of Moscow serving as its capital as well as that of its largest and most populous republic: the Russian Soviet Federative Socialist Republic, Russian SFSR. Other major cities included Saint Petersburg, Leningrad (Russian SFSR), Kyiv, Kiev (Ukrainian Soviet Socialist Republic, Ukrainian SSR), Minsk (Byelorussian Soviet Socialist Republic, Byelorussian SSR), Tas ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
USSR
The Soviet Union,. officially the Union of Soviet Socialist Republics. (USSR),. was a transcontinental country that spanned much of Eurasia from 1922 to 1991. A flagship communist state, it was nominally a federal union of fifteen national republics; in practice, both its government and its economy were highly centralized until its final years. It was a one-party state governed by the Communist Party of the Soviet Union, with the city of Moscow serving as its capital as well as that of its largest and most populous republic: the Russian SFSR. Other major cities included Leningrad (Russian SFSR), Kiev ( Ukrainian SSR), Minsk ( Byelorussian SSR), Tashkent ( Uzbek SSR), Alma-Ata ( Kazakh SSR), and Novosibirsk (Russian SFSR). It was the largest country in the world, covering over and spanning eleven time zones. The country's roots lay in the October Revolution of 1917, when the Bolsheviks, under the leadership of Vladimir Lenin, overthrew the Russian Provisional G ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Saint Petersburg
Saint Petersburg ( rus, links=no, Санкт-Петербург, a=Ru-Sankt Peterburg Leningrad Petrograd Piter.ogg, r=Sankt-Peterburg, p=ˈsankt pʲɪtʲɪrˈburk), formerly known as Petrograd (1914–1924) and later Leningrad (1924–1991), is the List of cities and towns in Russia by population, second-largest city in Russia. It is situated on the Neva River, at the head of the Gulf of Finland on the Baltic Sea, with a population of roughly 5.4 million residents. Saint Petersburg is the List of European cities by population within city limits, fourth-most populous city in Europe after Istanbul, Moscow and London, the List of cities and towns around the Baltic Sea, most populous city on the Baltic Sea, and the world's List of northernmost items#Cities and settlements, northernmost city of more than 1 million residents. As Russia's Imperial capital, and a Ports of the Baltic Sea, historically strategic port, it is governed as a Federal cities of Russia, federal city. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
