Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Control automàtic --- Processament de dades --- Aprenentatge automàtic --- Aprenentatge (Intel·ligència artificial) --- Aprenentatge estadístic --- Teoria de l'aprenentatge estadístic --- Intel·ligència artificial --- Teoria de màquines --- Aprenentatge per reforç (Intel·ligència artificial) --- Sistemes classificadors (Intel·ligència artificial) --- Processament de dades electròniques --- Processament automàtic de dades --- Processament electrònic de dades --- Processament integrat de dades --- Sistematització de dades (Ordinadors) --- Tractament de dades --- Tractament electrònic de dades --- Tractament integrat de dades --- Automatització --- Informàtica --- Complexitat computacional --- Curació de dades --- Depuració (Informàtica) --- Estructures de dades (Informàtica) --- Gestió de bases de dades --- Informàtica mòbil --- Informàtica recreativa --- Sistemes en línia --- Temps real (Informàtica) --- Tractament del llenguatge natural (Informàtica) --- Processament òptic de dades --- Protecció de dades --- Transmissió de dades --- Tolerància als errors (Informàtica) --- Control adaptatiu --- Enginyeria de control --- Regulació automàtica --- Cibernètica --- Teoria de control --- Actuadors --- Control de processos --- Control de robustesa --- Control intel·ligent --- Control pneumàtic --- Control predictiu --- Controladors programables --- Servomecanismes --- Sistemes de control digital --- Sistemes de control per retroacció --- Teoria de la commutació --- Machine learning. --- Learning, Machine --- Artificial intelligence --- Machine theory

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The book focuses on Pareto optimality in cooperative games. Most of the existing works focus on the Pareto optimality of deterministic continuous-time systems or for the regular convex LQ case. To expand on the available literature, we explore the existence conditions of Pareto solutions in stochastic differential game for more general cases. In addition, the LQ Pareto game for stochastic singular systems, Pareto-based guaranteed cost control for uncertain mean-field stochastic systems, and the existence conditions of Pareto solutions in cooperative difference game are also studied in detail. Addressing Pareto optimality for more general cases and wider systems is one of the major features of the book, making it particularly suitable for readers who are interested in multi-objective optimal control. Accordingly, it offers a valuable asset for researchers, engineers, and graduate students in the fields of control theory and control engineering, economics, management science, mathematics, etc.

Jocs diferencials --- Control automàtic --- Optimització matemàtica --- Teoria de jocs --- Mètodes de simulació --- Jocs d'estratègia (Matemàtica) --- Optimització combinatòria --- Programació dinàmica --- Programació (Matemàtica) --- Anàlisi de sistemes --- Control adaptatiu --- Enginyeria de control --- Regulació automàtica --- Cibernètica --- Teoria de control --- Actuadors --- Control de processos --- Control de robustesa --- Control intel·ligent --- Control pneumàtic --- Control predictiu --- Controladors programables --- Servomecanismes --- Sistemes de control digital --- Sistemes de control per retroacció --- Teoria de la commutació --- Automatització --- Automatic control. --- Differential games. --- Mathematical optimization. --- Optimization (Mathematics) --- Optimization techniques --- Optimization theory --- Systems optimization --- Mathematical analysis --- Maxima and minima --- Operations research --- Simulation methods --- System analysis --- Games, Differential --- Game theory --- Control engineering --- Control equipment --- Control theory --- Engineering instruments --- Automation --- Programmable controllers --- Control engineering. --- Mathematics --- Control and Systems Theory. --- Philosophy of Mathematics. --- Optimization. --- Philosophy. --- Logic of mathematics --- Mathematics, Logic of

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Automatic control. --- Traffic congestion. --- Congestió del trànsit --- Models matemàtics --- Control automàtic --- Congested traffic --- Congestion, Traffic --- Gridlock (Traffic flow) --- Jams, Traffic --- Reduction of traffic congestion --- Traffic jams --- Traffic flow --- Control engineering --- Control equipment --- Control theory --- Engineering instruments --- Automation --- Programmable controllers --- Control adaptatiu --- Enginyeria de control --- Regulació automàtica --- Cibernètica --- Teoria de control --- Actuadors --- Control de processos --- Control de robustesa --- Control intel·ligent --- Control pneumàtic --- Control predictiu --- Controladors programables --- Servomecanismes --- Sistemes de control digital --- Sistemes de control per retroacció --- Teoria de la commutació --- Automatització --- Models (Matemàtica) --- Models experimentals --- Models teòrics --- Mètodes de simulació --- Anàlisi de sistemes --- Mètode de Montecarlo --- Modelització multiescala --- Models economètrics --- Models lineals (Estadística) --- Models multinivell (Estadística) --- Models no lineals (Estadística) --- Programació (Ordinadors) --- Simulació per ordinador --- Teoria de màquines --- Models biològics --- Embotellaments --- Saturació del trànsit --- Circulació

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This Festschrift volume has been published in honor of Cristian Calude on the occasion of his 60th birthday and contains contributions from invited speakers and regular papers presented at the International Workshop on Theoretical Computer Science, WTCS 2012, held in Auckland, New Zealand, in February 2012. Cristian Calude has made a significant contribution to research in computer science theory. Along with early work by Chaitin, Kučera, Kurtz, Solovay, and Terwijn his papers published in the mid-1990s jointly with Khoussainov, Hertling, and Wang laid the foundation for the development of modern theory of algorithmic randomness. His work was essential for establishing the leading role of New Zealand in this area. The research interests of Cristian Calude are reflected in the topics covered by the 32 papers included in this book, namely: algorithmic information theory, algorithms, automata and formal languages, computing and natural sciences, computability and applications, logic and applications, philosophy of computation, physics and computation, and unconventional models of computation. They have been organized into four parts. The first part consists of papers discussing his life achievements. This is followed by papers in the three general areas of complexity, computability, and randomness; physics, philosophy (and logic), and computation; and algorithms, automata, and formal models (including unconventional computing).

Computer science --- Engineering & Applied Sciences --- Computer Science --- Computer logic --- Mathematics --- Computer science. --- Computers. --- Algorithms. --- Computer logic. --- Mathematical logic. --- Computer Science. --- Algorithm Analysis and Problem Complexity. --- Mathematical Logic and Formal Languages. --- Computation by Abstract Devices. --- Logics and Meanings of Programs. --- Mathematics of Computing. --- Theory of Computation. --- Mathematics. --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Algorism --- Algebra --- Arithmetic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Informatics --- Science --- Foundations --- Computer software. --- Logic design. --- Information theory. --- Communication theory --- Communication --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Software, Computer --- Computer science—Mathematics. --- Lògica informàtica --- Sistemes adaptatius --- Lògica de la informàtica --- Lógica dels ordinadors --- Lògica matemàtica --- Control adaptatiu --- Sistemes adaptatius de control --- Sistemes autoadaptatius de control --- Sistemes de control adaptatius --- Sistemes de control autoadaptatius --- Intel·ligència artificial --- Sistemes autoorganitzatius --- Sistemes de control per retroacció --- Workshop on Theoretical Computer Science --- WTCS --- Machine theory. --- Formal Languages and Automata Theory. --- Computer Science Logic and Foundations of Programming. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Renewable energy sources. --- Automated vehicles. --- Automated motor vehicles --- Autonomous vehicles --- Driver-free cars --- Driverless cars --- Robot cars (Automated vehicles) --- Self-driving cars --- Motor vehicles --- Alternate energy sources --- Alternative energy sources --- Energy sources, Renewable --- Sustainable energy sources --- Power resources --- Renewable natural resources --- Agriculture and energy --- Estalvi d'energia --- Automatització --- Control automàtic --- Xarxes elèctriques intel·ligents --- Energies renovables --- Fàbriques automàtiques --- Producció automàtica --- Enginyeria industrial --- Automatització d'arxius --- Automatització de biblioteques --- Automatització de museus --- Processament de dades --- Robots industrials --- Servomecanismes --- Sistemes de control per retroacció --- Sistemes de producció flexibles --- Robòtica --- Energies alternatives --- Fonts alternatives d'energia --- Fonts d'energia alternatives --- Fonts d'energia renovables --- Recursos energètics alternatius --- Recursos energètics renovables --- Fonts d'energia --- Recursos naturals renovables --- Energia de la biomassa --- Energia eòlica --- Energia geotèrmica --- Energia hidràulica --- Energia maremotriu --- Energia solar --- Ecotecnologia --- Smart grids --- Control adaptatiu --- Enginyeria de control --- Regulació automàtica --- Cibernètica --- Teoria de control --- Actuadors --- Control de processos --- Control de robustesa --- Control intel·ligent --- Control pneumàtic --- Control predictiu --- Controladors programables --- Sistemes de control digital --- Teoria de la commutació --- Conservació de l'energia --- Economia d'energia --- Estalvi de fonts d'energia --- Estalvi de recursos energètics --- Estalvi energètic --- Gestió de l'energia --- Arquitectura i estalvi d'energia --- Auditoria energètica --- Consum d'energia --- Política energètica