Language: English

Login

Jump To : Overview Titles Subjects

Theory of Computation.

Overview

Works:	1008 works in 319 publications in 319 languages

Titles

Implementation and application of automata = 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024 : proceedings / by: (Language materials, printed)

Cellular automata = 16th International Conference on Cellular Automata for Research and Industry, ACRI 2024, Florence, Italy, September 9-11, 2024 : proceedings / by: (Language materials, printed)

Symbolic computation in software science = 10th international symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024 : proceedings / by: (Language materials, printed)

Quantitative evaluation of systems and formal modeling and analysis of timed systems = first International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024 : proceedings / by: (Language materials, printed)

Advances in swarm intelligence = 15th International Conference on Swarm Intelligence, ICSI 2024, Xining, China, August 23-26, 2024 : proceedings.. Part II / by: (Language materials, printed)

Advances in swarm intelligence = 15th International Conference on Swarm Intelligence, ICSI 2024, Xining, China, August 23-26, 2024 : proceedings.. Part I / by: (Language materials, printed)

Formal methods for industrial critical systems = 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024 : proceedings / by: (Language materials, printed)

Modeling decisions for artificial intelligence = 21st International Conference, MDAI 2024, Tokyo, Japan, August 27-31, 2024 : proceedings / by: (Language materials, printed)

Advanced spiking neural P systems = models and applications / by: (Language materials, printed)

Software engineering and formal methods = SEFM 2023 Collocated Workshops : CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023 : revised selected papers / by: (Language materials, printed)

Show more

Subjects

Optical data processing

Probability and Statistics in Computer Science.

Computer communication systems.

Analysis.

Data encryption (Computer science)

Computation by Abstract Devices.

Evidence.

Artificial life

Database management

Mathematical models.

Algebra.

Microelectronics.

Business Finance.

Mechanics, Applied.

Pattern perception.

Operation Research/Decision Theory.

Physics

Expert systems (Computer science).

Combinatorial optimization

Mathematical Software.

Information theory

Natural language processing (Computer science)

Legislative bodies.

Appl.Mathematics/Computational Methods of Engineering.

Software Engineering/Programming and Operating Systems.

Quality Control, Reliability, Safety and Risk.

Multiagent systems.

Online data processing.

Big data

Business information services.

Computer Science.

Science

Materials science

Mathematical logic.

Discrete Optimization.

Systems Theory, Control.

Pattern recognition.

Mathematical and Computational Engineering Applications.

Application software

Molecular biology

Logic, Symbolic and mathematical

Political science.

Control, Robotics, Mechatronics.

Artificial intelligence—Data processing.

Mathematics—Philosophy.

Computer Hardware.

Distributed operating systems (Computers)

Quantum optics.

Special purpose computers.

Zoology.

Optical communications.

Artificial intelligence

Applied mathematics.

Mathematics, general.

Operating Systems.

Mathematics of Computing.

Word problems (Mathematics)

Computer vision

Special Purpose and Application-Based Systems.

Statistical Physics, Dynamical Systems and Complexity.

Logic.

Computer network architectures.

Quantum communication

Information theory.

High performance computing

The Computer Industry.

Quantum theory.

Fluid mechanics.

Statistics, general.

Combinatorial analysis.

Database Management.

Speech processing systems.

Computers and civilization.

Operations Research, Mathematical Programming.

Mathematical linguistics.

Semidefinite programming.

Telecommunication.

Bionics.

e-Commerce/e-business.

Distributed artificial intelligence.

Numeric Computing.

Categories (Mathematics)

Computer Applications.

Calculus of Variations and Optimal Control; Optimization.

Engineering Design.

Performance and Reliability.

Embedded computer systems

Logic, Symbolic and mathematical.

Bioinformatics.

Semantic computing.

Operations Research, Management Science .

Biological Networks, Systems Biology.

Computer science.

Computer Systems Organization and Communication Networks.

Information Systems and Communication Service.

Representations of graphs.

Computer Communication Networks.

Sensor networks.

Enigma cipher system.

Computer networks .

Control , Robotics, Mechatronics.

Information technology—Management.

Quantum Information Technology, Spintronics.

Computer Modelling.

Microprocessors.

Wireless power transmission.

Computer software—Reusability.

Human-computer interaction.

Mathematical physics.

Computers and Education.

Computer simulation

Computer software.

Economic development.

Information technology

Computer security

Computer mathematics.

Knowledge representation (Information theory) .

Online social networks

Ontologies (Information retrieval)

Algorithm Analysis and Problem Complexity.

Geographic information systems.

Microprogramming .

Mathematical Methods in Physics.

Computer Appl. in Administrative Data Processing.

Operating systems (Computers).

Control Structures and Microprogramming.

Data Storage Representation.

Big Data/Analytics.

Constraints (Artificial intelligence)

Numerical and Computational Physics.

Rule-based programming

Visual communication

Control engineering.

Data Structures, Cryptology and Information Theory.

Personal Computing.

Computer Networks.

Philosophy of Technology.

Economics, Mathematical .

Self-organizing systems

Transformations (Mathematics)

Engineering Fluid Dynamics.

Robotics.

Parallel processing (Electronic computers)

Computability and Recursion Theory.

Computer Application in Administrative Data Processing.

Computational Biology/Bioinformatics.

Systems Biology.

Programming languages (Electronic computers)

Information visualization

Kolmogorov complexity.

Thermodynamics.

Algebra

Combinatorial optimization.

Mathematical Applications in Computer Science.

Image Processing and Computer Vision.

Intelligent agents (Computer software)

Mathematical Modeling and Industrial Mathematics.

Mathematical analysis

Numerical calculations

Arithmetic and logic units, Computer.

Natural Language Processing (NLP)

Pattern Recognition.

Programming languages (Electronic computers).

Logics and Meanings of Programs.

Computer graphics.

Systems and Data Security.

Nonlinear Dynamics, Complex Systems, Chaos, Neural Networks.

Social sciences—Data processing.

Turing machines

Geographical Information Systems/Cartography.

Mathematical and Computational Physics.

Microsoft software.

Philosophy of Science.

Category Theory, Homological Algebra.

Quantum computing.

Electronic Circuits and Devices.

Mobile computing

Computer graphics

Differential equations, Partial

Computational and Systems Biology.

Formal languages.

Big data.

Robots

Homological algebra.

Model-integrated computing

Information resources management.

Dynamical systems.

Mathematical and Computational Biology.

Natural Language Processing (NLP).

Software Management.

Programming Language.

Science, multidisciplinary.

Computer Engineering and Networks.

Laser Technology, Photonics.

Structured programming.

Information theory in biology.

Computing Methodologies.

Evolutionary programming (Computer science)

Engineering Mathematics.

Industrial safety.

Discrete Mathematics in Computer Science.

Multiagent systems

Information storage and retrieval systems.

Programming Languages, Compilers, Interpreters.

Expert systems (Computer science)

Combinatorial group theory.

Biomimicry

Computational Mathematics and Numerical Analysis.

Computational linguistics.

Arithmetic and Logic Structures.

Computer programming.

Computer architecture

Transportation.

Computer system failures.

Digital and Analog Signal Processing.

Electronic Circuits and Systems.

Computers

Computer security.

Self-organizing systems.

History.

Application software.

Biomathematics.

Physics.

Image Processing.

Entity-relationship modeling

History of Computing.

Semantic networks (Information theory)

Stochastic processes

Technology—Philosophy.

Imaging / Radiology.

Design and Analysis of Algorithms.

Mathematical optimization.

Database Management System.

Computing Milieux.

Nonlinear Dynamics.

Electronics and Microelectronics, Instrumentation.

Theoretical, Mathematical and Computational Physics.

Computable functions.

Quantum computers.

Artificial Intelligence.

Science and Technology Studies.

Extremal problems (Mathematics)

Field theory (Physics).

Computers and Society.

Learning classifier systems.

Signal processing.

Security.

Microwaves, RF Engineering and Optical Communications.

Quantum physics.

Biometrics (Biology).

Spatial systems.

Quantum computers

Computer programming

Machine theory.

Aerospace Technology and Astronautics.

Computer-Aided Engineering (CAD, CAE) and Design.

Math Applications in Computer Science.

Turing machines.

Entropy.

Computer networks

Constructive mathematics.

Ad hoc networks (Computer networks)

Computers.

Mobile and Network Security.

Applied Dynamical Systems.

Computer science—Mathematics.

Mathematical Logic and Formal Languages.

Input/Output and Data Communications.

Electronic information resource searching.

Approximation algorithms.

Field Theory and Polynomials.

Formal Languages and Automata Theory.

Quantum Computing, Information and Physics.

Distributed algorithms.

Systems engineering

Internet of things.

Numerical Analysis.

Philosophy of Mind.

Semantic computing

Data encryption (Computer science).

Computer programs.

Evolutionary Biology.

Compilers and Interpreters.

Quantum Optics, Quantum Electronics, Nonlinear Optics.

Biologically-inspired computing

Algebraic Geometry.

Nonlinear programming.

Artificial intelligence.

Parameter estimation

Open source software

Biomedical Engineering and Bioengineering.

Management information systems.

Combinatorial analysis

Medical informatics

Legislative and Executive Politics.

Laser Technology and Physics, Photonics.

Information Storage and Retrieval.

Business Information Systems.

Mathematical statistics.

Mathematical optimization

Communication, International

Decidability (Mathematical logic)

Computer Appl. in Arts and Humanities.

Cellular automata.

Computational Intelligence.

Heuristic programming

Multitasking (Computer science)

Information and Communication, Circuits.

Functional programming (Computer science)

Materials Science, general.

Arts.

Computer System Implementation.

Science Education.

History of Mathematical Sciences.

Computational Complexity.

Computer-aided software engineering

Compilers (Computer programs)

Applied Optics, Optoelectronics, Optical Devices.

Computational complexity.

Robotics and Automation.

Nucleotide sequence

Computer software

Computational Linguistics.

Biologically-inspired computing.

Logic programming languages.

Software Engineering.

Electrical Engineering.

Solid State Physics.

Wireless communication systems.

Computational biology.

Systems engineering.

Evolutionary computation.

Constraint programming (Computer science)

Computer organization

Models and Principles.

Systems and Information Theory in Engineering.

Evolutionary computation

Bioinspired Technologies.

Information modeling.

Data Structures and Information Theory.

Data Structures.

e-Business/e-Commerce.

Applications of Nonlinear Dynamics and Chaos Theory.

Philosophy, Modern.

Algorithms

Systems Theory, Control .

Database management.

Differential Equations.

Category theory (Mathematics).

Development Studies.

Electronic data processing.

Uncertainty (Information theory)

Recursive functions.

Computer engineering.

Philosophy and science.

Circuits and Systems.

Biomedical engineering.

Computational intelligence.

Professional Computing.

Electrical engineering.

Declarative programming languages

Political Science.

Information Systems Applications (incl.Internet)

Language Translation and Linguistics.

Diagnostic imaging

Computational neuroscience.

Software engineering

Mathematical and Computational Engineering.

Automatic theorem proving

Electrical and Electronic Engineering.

Interpersonal relations

Information measurement

Data Mining and Knowledge Discovery.

Database design

Computer multitasking.

Computable functions

Human-computer interaction

Knowledge based Systems.

Complexity (Philosophy)

Intercultural communication

Automata

Railroads

Neural networks (Computer science)

Mathematical Physics.

Information storage and retrieval systems

Formal methods (Computer science)

Turing, Alan Mathison,

Semiconductors.

Fault-tolerant computing.

Statistical Physics and Dynamical Systems.

Computer systems

Computer and Information Systems Applications.

Computer Appl. in Social and Behavioral Sciences.

Architecture, Computer.

Cloud computing

Robust control.

Parallel programming (Computer science)

Information networks.

Electronic and Computer Engineering.

Information Systems Applications (incl. Internet).

Logic programming.

Reasoning

Discrete Mathematics.

Philosophical Traditions.

Image processing.

Computer-aided design

Theory of Computation.

Computer programs

Engineering systems

System analysis

Conceptual structures (Information theory)

Numerical analysis.

Data protection.

Software engineering.

Electronic data processing

Technology

Business enterprises—Finance.

Logic

Theoretical and Computational Chemistry.

Communication and technology

Data structures (Computer science)

Decision making.

Communications Engineering, Networks.

Complex Networks.

Mathematical models

Management science.

Natural computation.

Knowledge acquisition (Expert systems)

Petri nets

Education—Data processing.

Mechanics.

Reversible computing.

Processor Architectures.

Optical data processing.

Genetic programming (Computer science)

Business Mathematics.

Research

Biomedical Engineering.

Computer systems.

Materials science.

Graphic methods

Input-output equipment (Computers).

Computer organization.

Information storage and retrieval.

Operations Research and Decision Theory.

Control theory.

Applications of Mathematics.

Quantum Computing.

Operations Research/Decision Theory.

Computer algorithms

Realism.

Biophysics/Biomedical Physics.

History of Science.

Machine learning.

Information Systems Applications (incl. Internet)

Management of Computing and Information Systems.

Big Data.

Symbolic and Algebraic Manipulation.

Structural bioinformatics.

Unsolvability (Mathematical logic)

Statistical physics.

Computational intelligence

Computational Science and Engineering.

Statistical Theory and Methods.

Philosophy of Nature.

Signal, Speech and Image Processing.

Complex Systems.

Computer logic.

Science education.

Declarative programming

Computer vision.

Topology.

Real-time data processing.

Information Model.

Heuristic programming.

Engineering mathematics

Machine Learning.

Simulation and Modeling.

Computer Graphics.

Computer hardware.

Microsoft and .NET.

Economics/Management Science.

Knowledge Based Systems.

Philosophy of Mathematics.

Computer Imaging, Vision, Pattern Recognition and Graphics.

Microsoft .NET Framework.

Models of Computation.

Operations Research, Management Science.

Compilers (Computer programs).

Geography.

Operating systems (Computers)

Time-series analysis.

Calculus of variations.

The Computing Profession.

Electronic commerce.

Engineering—Data processing.

Computational linguistics

Data structures (Computer science).

Software failures.

Soft computing.

Multiagent Systems.

Algebra, Boolean.

Control.

Recursion theory.

Data integration (Computer science)

Swarm intelligence

Evolutionary biology.

Computational complexity

Quantum Optics.

Coding and Information Theory.

Computer simulation.

Solid Mechanics.

Quantum Physics.

Cellular automata

Logic programming

Machine learning

User Interfaces and Human Computer Interaction.

Governance and Government.

Mathematical linguistics

Programming Techniques.

Partial Differential Equations.

Discrete mathematics.

Rough sets

Atmospheric Protection/Air Quality Control/Air Pollution.

Internet searching.

Evolution (Biology)

Natural language processing (Computer science).

Knowledge management

Natural computation

Computer Application in Social and Behavioral Sciences.

Artificial Intelligence (incl. Robotics)

Image processing—Digital techniques.

Data Encryption.

Membrane computers.

Real-time control.

Field theory (Physics)

Robotics

Computer science

Formal languages

System Performance and Evaluation.

Computers, Special purpose.

Computer Vision.

Personal computers.

Quantitative Finance.

Technology—Sociological aspects.

Algebraic geometry.

Signal, Image and Speech Processing.

Engineering mathematics.

Julia sets

Temporal automata

Operations research.

Computer multitasking

Electronic circuits.

Electronic information resource searching

Object-oriented methods (Computer science)

Convex functions.

Quality control.

Problem solving

Interdisciplinary Studies.

Reliability (Engineering)

Decision making

Prediction theory.

Computer algorithms.

Database design.

Security Services.

Model-driven software architecture.

Mathematical Logic and Foundations.

Control and Systems Theory.

Geometry, Algebraic.

Smullyan, Raymond M.

System analysis.

Computer Engineering.

Nanotechnology.

Business mathematics.

Music

Artificial intelligence.

Computer Science Logic and Foundations of Programming.

Lambda calculus.

User interfaces (Computer systems).

Petri, Carl Adam.

Philosophy, general.

Change password

Login