Choose an application

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

Funcions computables --- 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ó --- Matemàtica constructiva --- Decidibilitat (Lògica matemàtica) --- Funcions calculables --- Funcions recursives parcials --- Teoria de la computabilitat --- Computable functions. --- Computer science --- Mathematics --- Computability theory --- Functions, Computable --- Partial recursive functions --- Recursive functions, Partial --- Constructive mathematics --- Decidability (Mathematical logic)

Choose an application

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

control theory --- systems engineering --- robotics --- automation regulation --- industrial automation and informatics --- computers and communication networks --- Automatització. --- Robòtica. --- Temps real (Informàtica) --- Processament de dades en temps real --- Sistemes de temps real --- Processament de dades --- Serveis de reserves --- Sistemes transaccionals (Sistemes informàtics) --- Enginyeria robòtica --- Cibernètica --- Autòmats --- Robòtica en medicina --- Robots --- Robots industrials --- Automatització --- Teoria de màquines --- Fàbriques automàtiques --- Producció automàtica --- Enginyeria industrial --- Automatització d'arxius --- Automatització de biblioteques --- Automatització de museus --- Servomecanismes --- Sistemes de control per retroacció --- Sistemes de producció flexibles --- Control automàtic --- Robòtica --- Automatic control --- Automation

Choose an application

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

machine learning --- artificial intelligence --- computational physics --- reinforcement learning --- neural networks --- applied algorithms --- Machine learning --- Learning, Machine --- Artificial intelligence --- Machine theory --- Informàtica. --- Processament de dades. --- Revistes electròniques. --- Revistes digitals --- Revistes en línia --- Revistes on line --- Revistes per Internet --- Publicacions electròniques --- Revistes --- 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 --- Intel·ligència artificial --- 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) --- 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ó --- 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)

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