Choose an application

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

Computer science. --- Informatics --- Science --- Informàtica --- Enginyeria --- Càlcul intensiu (Informàtica) --- Disseny de sistemes --- Història de la informàtica --- Geometria computacional --- Informàtica tova --- Processament de dades --- Programació (Ordinadors) --- Sistemes informàtics --- Teledocumentació --- Tractament del llenguatge natural (Informàtica) --- Automatització d'arxius --- Automatització de biblioteques --- Automatització de museus --- Indústria informàtica --- Teoria de la informació

Choose an application

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

Electronic data processing --- Machine theory --- Informatique --- Automates mathématiques, Théorie des --- Periodicals --- Périodiques --- Informatica. --- Toepassingen. --- Information Technology --- Mathematical Sciences --- Information Science and Systems --- Algorithms --- Applied Mathematics --- Combinatorics --- Game Theory --- Probability --- Computer. Automation --- Computer science. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics --- Informàtica. --- Cibernètica. --- Automàtica --- Cervells electrònics --- Comunicació --- Electrònica --- Anàlisi de sistemes --- Biònica --- Control automàtic --- Ordinadors --- Robòtica --- Sistemes autoorganitzatius --- Sistemes de control biològic --- Teoria de la informació --- Xarxes neuronals (Informàtica) --- Enginyeria --- Càlcul intensiu (Informàtica) --- Disseny de sistemes --- Història de la informàtica --- Geometria computacional --- Informàtica tova --- Processament de dades --- Programació (Ordinadors) --- Sistemes informàtics --- Teledocumentació --- Tractament del llenguatge natural (Informàtica) --- Automatització d'arxius --- Automatització de biblioteques --- Automatització de museus --- Indústria informàtica

Choose an application

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

Models matemàtics --- Estadística --- Informàtica --- Enginyeria --- Càlcul intensiu (Informàtica) --- Disseny de sistemes --- Història de la informàtica --- Geometria computacional --- Informàtica tova --- Processament de dades --- Programació (Ordinadors) --- Sistemes informàtics --- Teledocumentació --- Tractament del llenguatge natural (Informàtica) --- Automatització d'arxius --- Automatització de biblioteques --- Automatització de museus --- Indústria informàtica --- Teoria de la informació --- Anàlisi estadística --- Control estadístic --- Informació estadística --- Economia --- Matemàtica --- Allisament (Estadística) --- Anàlisi de regressió --- Anàlisi de variància --- Biometria --- Censos --- Correlació (Estadística) --- Presa de decisions (Estadística) --- Estadística comercial --- Estadística demogràfica --- Estadística econòmica --- Estadística educativa --- Estadística financera --- Estadística industrial --- Estadística matemàtica --- Estadística mèdica --- Mitjana (Estadística) --- Models lineals (Estadística) --- Models no lineals (Estadística) --- Serveis estadístics --- Sondejos d'opinió --- Econometria --- Investigació quantitativa --- 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 multinivell (Estadística) --- Simulació per ordinador --- Teoria de màquines --- Models biològics --- Mathematical models --- Models, Mathematical --- Simulation methods

Choose an application

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

This book constitutes the proceedings of the 19th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2021, which took place in Marseille, France, during November 2-5, 2021. The 29 papers presented in this book were carefully reviewed and selected from 35 submissions. They deal with the development and dissemination of relation algebras, Kleene algebras, and similar algebraic formalisms. Topics covered range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond. .

Lògica algebraica --- Informàtica --- Enginyeria --- Càlcul intensiu (Informàtica) --- Disseny de sistemes --- Història de la informàtica --- Geometria computacional --- Informàtica tova --- Processament de dades --- Programació (Ordinadors) --- Sistemes informàtics --- Teledocumentació --- Tractament del llenguatge natural (Informàtica) --- Automatització d'arxius --- Automatització de biblioteques --- Automatització de museus --- Indústria informàtica --- Teoria de la informació --- Lògica algèbrica --- Lògica matemàtica --- Àlgebra de Boole --- Computer science --- Algebraic logic --- Relation algebras --- Mathematics --- Algebra of relations --- Algebras, Relation --- Relational algebras --- Relations, Algebra of --- Logic, Symbolic and mathematical --- Logic programming. --- Computer science—Mathematics. --- Computer science. --- Mathematical logic. --- Logic in AI. --- Mathematics of Computing. --- Theory of Computation. --- Mathematical Logic and Foundations. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Informatics --- Science --- Computer programming

Choose an application

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

This book results from the talks presented at the First Conference on Transfer between Mathematics & Industry (CTMI 2019). Its goal is to promote and disseminate the mathematical tools for Statistics & Big Data, MSO (Modeling, Simulation and Optimization) and their industrial applications. In this volume, the reader will find innovative advances in the automotive, energy, railway, logistics, and materials sectors. In addition, Advances CTMI 2019 promotes the opening of new research lines aiming to provide suitable solutions for the industrial and societal challenges. Fostering effective interaction between Academia and Industry is our main purpose with this book. CTMI conferences are one of the main forums where significant advances in industrial mathematics are presented, bringing together outstanding leaders from business, science and Academia to promote the use of mathematics for an innovative industry.

Applied mathematics. --- Engineering mathematics. --- Computer mathematics. --- Mathematical models. --- Statistics . --- Applications of Mathematics. --- Computational Science and Engineering. --- Mathematical and Computational Engineering. --- Mathematical Modeling and Industrial Mathematics. --- Statistics for Business, Management, Economics, Finance, Insurance. --- Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Sciences. --- Statistical analysis --- Statistical data --- Statistical methods --- Statistical science --- Mathematics --- Econometrics --- Models, Mathematical --- Simulation methods --- Computer mathematics --- Electronic data processing --- Engineering --- Engineering analysis --- Mathematical analysis --- Computer science --- Mathematics. --- Informàtica --- Matemàtica --- Matemàtiques (Ciència) --- Ciència --- Alfabetisme matemàtic --- Àlgebra --- Anàlisi matemàtica --- Aritmètica --- Axiomes --- Biomatemàtica --- Congruències (Geometria) --- Congruències i residus --- Constants matemàtiques --- Descomposició (Matemàtica) --- Dinàmica --- Estadística --- Factorització (Matemàtica) --- Filtres (Matemàtica) --- Formes (Matemàtica) --- Formes normals (Matemàtica) --- Geometria --- Geografia matemàtica --- Inducció (Matemàtica) --- Infinit --- Lògica matemàtica --- Matemàtica aplicada --- Matemàtica japonesa --- Màxims i mínims --- Nombres --- Quarta dimensió --- Successions (Matemàtica) --- Teoria de conjunts --- Teoria de l'índex (Matemàtica) --- Teoria de la computació --- Variables (Matemàtica) --- Didàctica de la matemàtica --- Ensenyament de la matemàtica --- Història de la matemàtica --- Matemàtics --- Enginyeria --- Càlcul intensiu (Informàtica) --- Disseny de sistemes --- Història de la informàtica --- Geometria computacional --- Informàtica tova --- Processament de dades --- Programació (Ordinadors) --- Sistemes informàtics --- Teledocumentació --- Tractament del llenguatge natural (Informàtica) --- Automatització d'arxius --- Automatització de biblioteques --- Automatització de museus --- Indústria informàtica --- Teoria de la informació