Language: English

Login

Jump To : Overview Titles Subjects

Mathematics of Computing.

Overview

Works:	907 works in 327 publications in 327 languages

Titles

Arithmetic of finite fields = 10th International Workshop, WAIFI 2024, Ottawa, ON, Canada, June 10-12, 2024 : revised selected papers / by: (Language materials, printed)

Distributed computer and communication networks = 27th International Conference, DCCN 2024, Moscow, Russia, September 23-27, 2024 : revised selected papers / by: (Language materials, printed)

SOFSEM 2025 = theory and practice of computer science : 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025 : proceedings.. Part II / by: (Language materials, printed)

SOFSEM 2025 = theory and practice of computer science : 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025 : proceedings.. Part I / by: (Language materials, printed)

Algorithms and discrete applied mathematics = 11th International Conference, CALDAM 2025, Coimbatore, India, February 13-15, 2025 : proceedings / by: (Language materials, printed)

Optimization and applications = 15th International Conference, OPTIMA 2024, Petrovac, Montenegro, September 16-20, 2024 : revised selected papers / by: (Language materials, printed)

Verification, model checking, and abstract interpretation = 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025 : proceedings.. Part I / by: (Language materials, printed)

Verification, model checking, and abstract interpretation = 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025 : proceedings.. Part II / by: (Language materials, printed)

Mathematical modeling and supercomputer technologies = 24th International Conference, MMST 2024, Nizhni Novgorod, Russia, November 18-21, 2024 : revised selected papers / by: (Language materials, printed)

Numerical computations = theory and algorithms : 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023 : revised selected papers.. Part III / by: (Language materials, printed)

Show more

Subjects

Intelligent agents (Computer software)

Image Processing and Computer Vision.

Mathematical Applications in the Physical Sciences.

Smart power grids

Sustainable development

Telecommunication.

Spectral theory (Mathematics)

Information Systems Applications (incl.Internet)

Document Preparation and Text Processing.

Electrodynamics.

Application software.

e-Commerce/e-business.

Decidability (Mathematical logic)

Difference and Functional Equations.

Computer engineering

Biomathematics.

Multigrid methods (Numerical analysis)

Physics.

Optical data processing

Computer architecture.

Mathematical Modeling and Industrial Mathematics.

Image processing

Public key infrastructure (Computer security)

Biological models

Language Translation and Linguistics.

Computer Appl. in Arts and Humanities.

Diagnostic imaging

Image Processing.

Probability and Statistics in Computer Science.

Computer communication systems.

Computer systems.

Analysis.

Data encryption (Computer science)

Numeric Computing.

Computation by Abstract Devices.

Mathematical linguistics

Input-output equipment (Computers).

Computer organization.

Categories (Mathematics)

Security Science and Technology.

Neural computers

Matrices.

History of Computing.

Programming Techniques.

Partial Differential Equations.

Mathematics in Music.

Differential equations.

Information storage and retrieval.

Computer Applications.

Computational Intelligence.

Calculus of Variations and Optimal Control; Optimization.

Software engineering

Fluid- and Aerodynamics.

Digital Humanities.

Performance and Reliability.

Comparative genomics.

Mathematical and Computational Engineering.

Inverse problems (Differential equations)

Automatic theorem proving

Information and Communication, Circuits.

Artificial life

Ergodic theory.

Integral Equations.

Ordinary Differential Equations.

Materials Science, general.

Arithmetic and logic units, Computer.

Logic, Symbolic and mathematical.

Discrete mathematics.

Mechanical Engineering.

Natural Language Processing (NLP)

Music.

Pattern Recognition.

Programming languages (Electronic computers).

Data Mining and Knowledge Discovery.

Art

Bioinformatics.

Stochastic processes

Computer System Implementation.

Difference equations.

Computer network architectures

Semantic computing.

Application program interfaces (Computer software)

Imaging / Radiology.

Gautschi, Walter.

Differential-algebraic equations.

Communication in medicine

Logics and Meanings of Programs.

Energy Economics.

Computer graphics.

Design and Analysis of Algorithms.

Database management

Differential calculus

Database design

Electronic funds transfers

Mathematical optimization.

Computer multitasking.

Numerical grid generation (Numerical analysis)

Computing Methodologies.

Mathematical models.

Finite element method.

Algebra.

Wearable technology.

Computer-aided engineering.

Computable functions

Evolutionary programming (Computer science)

Calculus of tensors.

Neural networks (Computer science) .

Financial engineering.

Formal Languages and Automata Theory.

Geometry

Chaotic behavior in systems.

Database Management System.

Applications of Mathematics.

Natural language processing (Computer science).

Embedded Systems.

Special purpose computers.

Monte Carlo method

Information technology.

Database management.

Economics/Management Science, general.

Functions

Quantum Computing.

Operations Research/Decision Theory.

Mathematical Models of Cognitive Processes and Neural Networks.

Computing Milieux.

Computer science.

Differential equations, Partial.

Engineering Mathematics.

Mathematics—Data processing.

Relation algebras

Industrial safety.

Discrete Mathematics in Computer Science.

Fluids.

Sampling (Statistics)

Dynamics.

Calculus of Variations and Optimal Control.

Computer Application in Social and Behavioral Sciences.

Systems and Data Security.

Numerical and Computational Physics.

Optical materials.

Probability Theory and Stochastic Processes.

Mathematics in art

Mobile computing.

Mechanics, Applied.

Theoretical, Mathematical and Computational Physics.

Category theory (Mathematics).

Computer Systems Organization and Communication Networks.

Computable functions.

Quantum computers.

Time-series analysis.

Integral equations.

History of Mathematical Sciences.

Pattern perception.

Mathematics of Algorithmic Complexity.

Artificial Intelligence (incl. Robotics)

Artificial intelligence

R (Computer program language)

Artificial Intelligence.

Social sciences—Data processing.

Information storage and retrieval systems.

Multiple criteria decision making.

Speech processing systems

Aerospace engineering.

Decomposition method

Computer algorithms.

Statistics and Computing/Statistics Programs.

Calculus of variations.

Classical Mechanics.

Programming Languages, Compilers, Interpreters.

Science and Technology Studies.

Image processing—Digital techniques.

Order, Lattices, Ordered Algebraic Structures.

Applied mathematics.

Computer algorithms

Lambda calculus

Julia (Computer program language)

Differential equations

Renewable energy resources.

Data Encryption.

Neural networks (Computer science)

Music—Mathematics.

Theory of constraints (Management)

The Computing Profession.

Differential-difference equations

Health Informatics.

Management information systems

Operation Research/Decision Theory.

Partial differential equations.

Information Systems and Communication Service.

Physics

Solid state physics.

Field theory (Physics).

Computers, Special purpose

Turing machines

Control engineering.

Memory Structures.

Social sciences—Mathematics.

Knowledge representation (Information theory)

Representations of graphs.

IT in Business.

Linear Algebra.

Hardware and Maker.

Numerical analysis.

Data protection.

Nuclear and Particle Physics.

Computer Communication Networks.

Software engineering.

Electromagnetism

Machine learning.

Signal processing.

Sequences (Mathematics).

Combinatorial optimization

Robotics

Special functions.

Mathematical Logic and Foundations.

Computer science

Information Systems Applications (incl. Internet)

Computational Mathematics and Numerical Analysis.

Systems engineering

Formal languages

Electronic commerce

Data Structures, Cryptology and Information Theory.

Computational complexity.

Personal Computing.

Internet of things.

Computational linguistics.

Algebraic topology.

Relaxation methods (Mathematics)

Mathematics, general.

Contact mechanics.

Electronic commerce.

Continued fractions.

Energy and state.

Python.

Digital communications

Business/Management Science, general.

Computer networks .

Operating Systems.

Automated Pattern Recognition.

Decomposition method.

Geometry, Algebraic.

Mathematical and Computational Physics.

Fractional calculus.

System Performance and Evaluation.

Computers, Special purpose.

Engineering—Data processing.

Numerical Analysis.

Mathematics of Computing.

Data structures (Computer science).

Computer Vision.

Management of Computing and Information Systems.

Mathematical Software.

Security.

Computer vision

Personal computers.

Special Purpose and Application-Based Systems.

Numerical and Computational Methods in Engineering.

Uncertainty (Information theory)

Electronic data processing

Finite element method

Mathematical analysis.

Philosophy of Technology.

Economics, Mathematical .

Category Theory, Homological Algebra.

Query languages (Computer science)

Electronic materials.

Computer software

Arithmetic and Logic Structures.

Electronic digital computers—Evaluation.

Formal methods (Computer science)

Self-organizing systems

Computer engineering.

Clifford algebras.

Symbolic and Algebraic Manipulation.

Computational Linguistics.

Contact mechanics

Algebra, Boolean.

Energy Policy, Economics and Management.

Information theory

Natural language processing (Computer science)

Computer programming.

Logic.

System analysis.

Molecular evolution.

Recursion theory.

Business

Astronomy, Cosmology and Space Sciences.

Control , Robotics, Mechatronics.

Numerical analysis

Business—Data processing.

Quantitative Finance.

Data encryption (Computer science).

Unsolvability (Mathematical logic)

Genetics and Population Dynamics.

Numerical and Computational Methods.

Partially ordered sets.

Robotics.

Packet switching (Data transmission)

Functional equations.

e-Commerce and e-Business.

Appl.Mathematics/Computational Methods of Engineering.

Theoretical and Computational Chemistry.

Parallel processing (Electronic computers)

Computer graphics

Computability and Recursion Theory.

Software Engineering.

Biomedicine general.

Dynamical Systems and Ergodic Theory.

Software Engineering/Programming and Operating Systems.

Computer Modelling.

Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Sciences.

Information theory.

Markov random fields.

Differential equations, Partial

Data structures (Computer science)

Decision making.

Computational intelligence

Communications Engineering, Networks.

Structural analysis (Engineering)

High performance computing

Computer Engineering.

Quality Control, Reliability, Safety and Risk.

Swarm intelligence

Industrial engineering

Compilers and Interpreters.

Algebras, Linear.

Computational intelligence.

Python (Computer program language).

Professional Computing.

Mathematical models

Biologically-inspired computing

Algebraic Geometry.

Medicine.

Computer systems

Computational Science and Engineering.

Python (Computer program language)

Computer system failures.

Finite fields (Algebra)

Special Functions.

Computational complexity

Robust optimization.

Databases

Telecommunication

Game Theory/Mathematical Methods.

Computational Biology/Bioinformatics.

Financial Technology and Innovation.

Simulation methods

Geometry.

Statistical Theory and Methods.

Application program interfaces (Computer science)

Galerkin methods.

Body area networks (Electronics)

Algebraic Topology.

Artificial intelligence.

Fourier Analysis.

Blockchains (Databases).

Electrical engineering.

Technology—Sociological aspects.

Computer programming

Computer software—Reusability.

Semantics.

Sequences, Series, Summability.

Computer and Information Systems Applications.

Computer arithmetic and logic units.

Ontology

Statistics, general.

Classical Electrodynamics.

Signal, Speech and Image Processing.

Electrical Engineering.

Computer Appl. in Social and Behavioral Sciences.

Complex Systems.

Wireless communication systems.

Solid State Physics.

Machine theory.

Java.

Human-computer interaction.

History of Philosophy.

Algebraic geometry.

Health informatics.

Combinatorial analysis.

Computational biology.

Recommender systems (Information filtering)

Convex and Discrete Geometry.

Database Management.

Differentiable dynamical systems.

Fourier transformations.

Wireless sensor networks

Computer logic.

Aerospace Technology and Astronautics.

Signal, Image and Speech Processing.

Coding and Information Theory.

Computers

Big data

Music

Approximations and Expansions.

Mathematical physics.

Architecture, Computer.

Biomedicine, general.

Computer Science.

C (Computer program language)

Medicine & Public Health.

Computer simulation.

Management science.

Computer vision.

Mathematics in Business, Economics and Finance.

Topology.

Science

Engineering mathematics.

Management information systems.

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

Maker.

Programming languages (Electronic computers)

Computer security.

Computer input-output equipment.

Computer Science Logic and Foundations of Programming.

Multiple criteria decision making

Mathematical logic.

Combinatorial analysis

Math Applications in Computer Science.

Petri nets

Numerical integration.

Embedded Internet devices

Julia sets

Computers and Education.

Genetic algorithms.

Education—Data processing.

Mechanics.

High performance computing.

Computational and Systems Biology.

Picture archiving and communication systems

Speech processing systems.

Mobile Computing.

Quantitative research

Numerical and Computational Physics, Simulation.

History.

User interfaces (Computer systems).

Constraint programming (Computer science)

Computer simulation

Matousek, Jiri,

Parallel programming (Computer science)

Information visualization

Mathematical statistics

Information Storage and Retrieval.

Medical informatics.

Computer Science, general.

Quantum Physics.

Processor Architectures.

Models and Principles.

Formal languages.

Systems Theory, Control.

Macroeconomics.

Renewable and Green Energy.

Algebra

Computer software.

Pattern recognition.

Math. Appl. in Environmental Science.

Combinatorial optimization.

Information technology

Analysis (Mathematics).

Computer networks

Evolutionary computation

Information retrieval.

Engineering mathematics

Constructive mathematics.

Computer animation.

Science, general.

Logic programming

Digital humanities.

Chemistry.

Operations Management.

Machine learning

Computer security

Orthogonal polynomials.

Internet

Mathematical statistics.

Earth and Environmental Sciences.

Mathematical Applications in Computer Science.

Computer Applications in Chemistry.

Operations research.

Optical and Electronic Materials.

Machine Learning.

Operations Research, Mathematical Programming.

Simulation and Modeling.

Mathematical linguistics.

Theoretical and Applied Mechanics.

Fourier analysis.

Computer Graphics.

Big data.

User Interfaces and Human Computer Interaction.

Optical data processing.

Integer programming

Computer multitasking

Computer hardware.

Data and Information Security.

Mathematical optimization

Mathematics Education.

Parallel computers

Computer mathematics.

Mathematica (Computer program language)

Information networks.

Renewable resource integration

Mathematical and Computational Engineering Applications.

Economic Theory.

Computational biology

Computer scheduling.

Robots

Economics/Management Science.

Homological algebra.

Embedded computer systems.

Matrix analytic methods.

Ad hoc networks (Computer networks)

Computers.

Von Neumann algebras

Adaptive computing systems

Automatic control

Mobile and Network Security.

Electronic and Computer Engineering.

Data Structures and Information Theory.

Algorithm Analysis and Problem Complexity.

Queuing networks (Data transmission)

Knowledge Based Systems.

Engineering, general.

Algebraic logic

Linear and Multilinear Algebras, Matrix Theory.

Data Structures.

Information Systems Applications (incl. Internet).

Meshfree methods (Numerical analysis)

Mechanical engineering.

Microprogramming .

Logic programming.

Computer vision in medicine.

Logic, Symbolic and mathematical

Production management.

Reasoning

Cloud computing.

Philosophy of Mathematics.

Computer Imaging, Vision, Pattern Recognition and Graphics.

Mathematics in Art and Architecture.

Epistasis (Genetics)

Computer science—Mathematics.

Mathematical Methods in Physics.

Control, Robotics, Mechatronics.

Bayesian Inference.

Computer Appl. in Administrative Data Processing.

Mathematical and Computational Biology.

Operations research

Mathematical Logic and Formal Languages.

Models of Computation.

Artificial intelligence—Data processing.

Physics and Astronomy.

Macroeconomics/Monetary Economics//Financial Economics.

Quality control.

Discrete Mathematics.

Natural Language Processing (NLP).

Operations Research, Management Science.

Operating systems (Computers).

Diffusion magnetic resonance imaging

Mathematics—Philosophy.

Calculus.

Image processing.

Compilers (Computer programs).

Biological systems

Programming Language.

Java (Computer program language).

Computer Engineering and Networks.

Lattice theory.

Approximation theory.

Algorithms

Control Structures and Microprogramming.

Reliability (Engineering)

Mathematics—Study and teaching .

Input/Output and Data Communications.

Computer Hardware.

Bayesian Probability.

Information science

Sparse matrices

Distributed operating systems (Computers)

Decision making

Field Theory and Polynomials.

Quantitative research.

Hardware Performance and Reliability.

Theory of Computation.

Data Storage Representation.

Computer programs

Description logics.

Change password

Login