Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 3 of 1054 results
Sort by: relevance publication year

The Cray X-MP/Model 24

BOOK published 1989 in Lecture Notes in Computer Science

Morse theory of closed 1-forms

BOOK CHAPTER published 1991 in Lecture Notes in Mathematics

Authors: A. V. Pazhitnov

On the complexity of word problems in certain Thue systems

BOOK CHAPTER published 1981 in Lecture Notes in Computer Science

Authors: R. Book | M. Jantzen | B. Monien | C. Ó'Dúnlaing | C. Wrathall

Task interference with a discrete word recognizer

BOOK CHAPTER published 1993 in Lecture Notes in Computer Science

Authors: Caryn Hubbard | James H Bradford

On word equations and Makanin's algorithm

BOOK CHAPTER published 1989 in Fundamentals of Computation Theory

Authors: Habib Abdulrab | Jean-Pierre Pécuchet

Optical Properties of One-Dimensional Aperiodic Dielectric Structures Based on Thue-Morse Sequence

BOOK CHAPTER published 2021 in Lecture Notes in Electrical Engineering

Authors: Hassan Aynaou | Noama Ouchani | El Houssaine El Boudouti

Un cas de representation chaotique discrete

BOOK CHAPTER published 1989 in Lecture Notes in Mathematics

Authors: P. A. Meyer

PREDICTABILITY OF A SIMPLE SYSTEM

BOOK CHAPTER published July 1989 in Lecture Notes on Turbulence

Authors: Jackson R. Herring | James C. McWilliams

On word-level parallelism in fault-tolerant computing

BOOK CHAPTER published 1996 in STACS 96

Authors: Piotr Indyk

Perfect Discrete Morse Functions on Triangulated 3-Manifolds

BOOK CHAPTER published 2012 in Computational Topology in Image Context

Authors: Rafael Ayala | Desamparados Fernández-Ternero | José Antonio Vilches

Generalized FSSP on Hexagonal Tiling: Towards Arbitrary Regular Spaces

BOOK CHAPTER published 2015 in Cellular Automata and Discrete Complex Systems

Authors: Luidnel Maignan | Jean-Baptiste Yunès

Morse Sequences

BOOK CHAPTER published 2024 in Lecture Notes in Computer Science

Authors: Gilles Bertrand

A Few Problems with Application of the Kalman Filter

BOOK CHAPTER published 1989 in Statistical Modelling

Authors: Carlo Carraro

Elucidating the Effects of Diagram Use Training for Math Word Problem Solving

BOOK CHAPTER published 2020 in Diagrammatic Representation and Inference

Authors: Hiroaki Ayabe | Emmanuel Manalo | Noriko Hanaki

Solving systems of linear diophantine equations and word equations

BOOK CHAPTER published 1989 in Rewriting Techniques and Applications

Authors: Habib Abdulrab | Jean-Pierre Pécuchet

Alternating Direction Method and Deep Learning for Discrete Control with Storage

BOOK CHAPTER published 2024 in Lecture Notes in Computer Science

Authors: Sophie Demassey | Valentina Sessa | Amirhossein Tavakoli

The Complexity of Codiagnosability for Discrete Event and Timed Systems

BOOK CHAPTER published 2010 in Automated Technology for Verification and Analysis

Authors: Franck Cassez

TADD: A Computational Framework for Data Analysis Using Discrete Morse Theory

BOOK CHAPTER published 2010 in Mathematical Software – ICMS 2010

Authors: Jan Reininghaus | David Günther | Ingrid Hotz | Steffen Prohaska | Hans-Christian Hege

Morse Frames

BOOK CHAPTER published 2024 in Lecture Notes in Computer Science

Authors: Gilles Bertrand | Laurent Najman

Verifying correctness of logic programs

BOOK CHAPTER published 1989 in TAPSOFT '89

Authors: A. Bossi | N. Cocco