|
Vladik Kreinovich
Vladik Kreinovich is a professor of computer science at the University of Texas at El Paso. He was educated at Leningrad State University and received a doctorate in mathematics from the Sobolev Institute of Mathematics, affiliated with Novosibirsk State University in Novosibirsk. His research spans several areas of computer science, computational statistics and computational mathematics generally, including interval arithmetic, fuzzy mathematics, probability theory, and probability bounds analysis. His research addresses computability issues, algorithm development, Verification and validation of computer simulation models, verification, and validated numerics for applications in uncertainty processing, data processing, intelligent control, geophysics and other engineering fields. In 2015, the Society For Design and Process Science gave him its Zadeh Award. Books *Vladik Kreinovich (ed.), ''Uncertainty Modeling'', Springer Verlag, Cham, Switzerland, 2017. *Christian Servin and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Vladik Kreinovich, EUSFLAT 2017, 2017-09-12
Vladik may refer to: People * Samile the Vladik, bishop and witness to the Fall of Constantinople * A nickname or short form for Vladislav *Vladik Dzhabarov, Soviet soldier and world-class cyclist *Vladik Faibishenko (died 1961), defendant in the Rokotov–Faibishenko case, a Soviet criminal trial in 1961 against financial speculators *Vladik Khachatryan, Nagorno-Karabakh politician *Vladik Kreinovich Vladik Kreinovich is a professor of computer science at the University of Texas at El Paso. He was educated at Leningrad State University and received a doctorate in mathematics from the Sobolev Institute of Mathematics, affiliated with Novosibi ..., Russian-American professor of computer science Other *a colloquial name for Vladivostok, Russia *a colloquial name for Vladikavkaz, Russia {{disambiguation, given name ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computability
Computability is the ability to solve a problem in an effective manner. It is a key topic of the field of computability theory within mathematical logic and the theory of computation within computer science. The computability of a problem is closely linked to the existence of an algorithm to solve the problem. The most widely studied models of computability are the Turing-computable and μ-recursive functions, and the lambda calculus, all of which have computationally equivalent power. Other forms of computability are studied as well: computability notions weaker than Turing machines are studied in automata theory, while computability notions stronger than Turing machines are studied in the field of hypercomputation. Problems A central idea in computability is that of a (computational) problem, which is a task whose computability can be explored. There are two key types of problems: * A decision problem fixes a set ''S'', which may be a set of strings, natural numbers, or oth ... [...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] |
American Computer Scientists
American(s) may refer to: * American, something of, from, or related to the United States of America, commonly known as the "United States" or "America" ** Americans, citizens and nationals of the United States of America ** American ancestry, people who self-identify their ancestry as "American" ** American English, the set of varieties of the English language native to the United States ** Native Americans in the United States, indigenous peoples of the United States * American, something of, from, or related to the Americas, also known as "America" ** Indigenous peoples of the Americas * American (word), for analysis and history of the meanings in various contexts Organizations * American Airlines, U.S.-based airline headquartered in Fort Worth, Texas * American Athletic Conference, an American college athletic conference * American Recordings (record label), a record label previously known as Def American * American University, in Washington, D.C. Sports teams Soccer * ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geophysics
Geophysics () is a subject of natural science concerned with the physical processes and physical properties of the Earth and its surrounding space environment, and the use of quantitative methods for their analysis. The term ''geophysics'' sometimes refers only to solid earth applications: Earth's shape; its gravitational and magnetic fields; its internal structure and composition; its dynamics and their surface expression in plate tectonics, the generation of magmas, volcanism and rock formation. However, modern geophysics organizations and pure scientists use a broader definition that includes the water cycle including snow and ice; fluid dynamics of the oceans and the atmosphere; electricity and magnetism in the ionosphere and magnetosphere and solar-terrestrial physics; and analogous problems associated with the Moon and other planets. Gutenberg, B., 1929, Lehrbuch der Geophysik. Leipzig. Berlin (Gebruder Borntraeger). Runcorn, S.K, (editor-in-chief), 1967, International ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Intelligent Control
Intelligent control is a class of control techniques that use various artificial intelligence computing approaches like neural networks, Bayesian probability, fuzzy logic, machine learning, reinforcement learning, evolutionary computation and genetic algorithms. Overview Intelligent control can be divided into the following major sub-domains: * Neural network control * Machine learning control * Reinforcement learning * Bayesian control * Fuzzy control * Neuro-fuzzy control * Expert Systems * Genetic control New control techniques are created continuously as new models of intelligent behavior are created and computational methods developed to support them. Neural network controller Neural networks have been used to solve problems in almost all spheres of science and technology. Neural network control basically involves two steps: * System identification * Control It has been shown that a feedforward network with nonlinear, continuous and differentiable activation function ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Data Processing
Data processing is the collection and manipulation of digital data to produce meaningful information. Data processing is a form of ''information processing'', which is the modification (processing) of information in any manner detectable by an observer.Data processing is distinct from ''word processing'', which is manipulation of text specifically rather than data generally. The term "Data Processing", or "DP" has also been used to refer to a department within an organization responsible for the operation of data processing programs. Data processing functions Data processing may involve various processes, including: * Validation – Ensuring that supplied data is correct and relevant. * Sorting – "arranging items in some sequence and/or in different sets." * Summarization(statistical) or (automatic) – reducing detailed data to its main points. * Aggregation – combining multiple pieces of data. * Analysis – the "collection, organization, an ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Uncertainty
Uncertainty refers to epistemic situations involving imperfect or unknown information. It applies to predictions of future events, to physical measurements that are already made, or to the unknown. Uncertainty arises in partially observable or stochastic environments, as well as due to ignorance, indolence, or both. It arises in any number of fields, including insurance, philosophy, physics, statistics, economics, finance, medicine, psychology, sociology, engineering, metrology, meteorology, ecology and information science. Concepts Although the terms are used in various ways among the general public, many specialists in decision theory, statistics and other quantitative fields have defined uncertainty, risk, and their measurement as: Uncertainty The lack of certainty, a state of limited knowledge where it is impossible to exactly describe the existing state, a future outcome, or more than one possible outcome. ;Measurement of uncertainty: A set of possible states or outc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Validated Numerics
Validated numerics, or rigorous computation, verified computation, reliable computation, numerical verification (german: Zuverlässiges Rechnen) is numerics including mathematically strict error (rounding error, truncation error, discretization error) evaluation, and it is one field of numerical analysis. For computation, interval arithmetic is used, and all results are represented by intervals. Validated numerics were used by Warwick Tucker in order to solve the 14th of Smale's problems, and today it is recognized as a powerful tool for the study of dynamical systems. Importance Computation without verification may cause unfortunate results. Below are some examples. Rump's example In the 1980s, Rump made an example. He made a complicated function and tried to obtain its value. Single precision, double precision, extended precision results seemed to be correct, but its plus-minus sign was different from the true value. Phantom solution Breuer–Plum–McKenna used the spectrum m ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Verification And Validation Of Computer Simulation Models
Verification and validation of computer simulation models is conducted during the development of a simulation model with the ultimate goal of producing an accurate and credible model.Banks, Jerry; Carson, John S.; Nelson, Barry L.; Nicol, David M. ''Discrete-Event System Simulation'' Fifth Edition, Upper Saddle River, Pearson Education, Inc. 2010 "Simulation models are increasingly being used to solve problems and to aid in decision-making. The developers and users of these models, the decision makers using information obtained from the results of these models, and the individuals affected by decisions based on such models are all rightly concerned with whether a model and its results are "correct".Sargent, Robert G"VERIFICATION AND VALIDATION OF SIMULATION MODELS" Proceedings of the 2011 Winter Simulation Conference. This concern is addressed through verification and validation of the simulation model. Simulation models are approximate imitations of real-world systems and they nev ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algorithm
In mathematics and computer science, an algorithm () is a finite sequence of rigorous instructions, typically used to solve a class of specific Computational problem, problems or to perform a computation. Algorithms are used as specifications for performing calculations and data processing. More advanced algorithms can perform automated deductions (referred to as automated reasoning) and use mathematical and logical tests to divert the code execution through various routes (referred to as automated decision-making). Using human characteristics as descriptors of machines in metaphorical ways was already practiced by Alan Turing with terms such as "memory", "search" and "stimulus". In contrast, a Heuristic (computer science), heuristic is an approach to problem solving that may not be fully specified or may not guarantee correct or optimal results, especially in problem domains where there is no well-defined correct or optimal result. As an effective method, an algorithm ca ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Probability Bounds Analysis
Probability bounds analysis (PBA) is a collection of methods of uncertainty propagation for making qualitative and quantitative calculations in the face of uncertainties of various kinds. It is used to project partial information about random variables and other quantities through mathematical expressions. For instance, it computes sure bounds on the distribution of a sum, product, or more complex function, given only sure bounds on the distributions of the inputs. Such bounds are called probability boxes, and constrain cumulative probability distributions (rather than densities or mass functions). This bounding approach permits analysts to make calculations without requiring overly precise assumptions about parameter values, dependence among variables, or even distribution shape. Probability bounds analysis is essentially a combination of the methods of standard interval analysis and classical probability theory. Probability bounds analysis gives the same answer as interval ana ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
