Sage Journals: Discover world-class research

Retricted access

Research article

First published 2007-11

Finite Arithmetics

Michał Krynicki, Marcin Mostowski, Konrad Zdanowski

Fundamenta Informaticae

Retricted access

Research article

First published 2019-1

On the arithmetic intensity of high-order finite-volume discretizations for hyperbolic systems of conservation laws

J Loffeld, JAF Hittinger

The International Journal of High Performance Computing Applications

Retricted access

Research article

First published 2013-12

Arithmetical Analysis of Biomolecular Finite Automaton

Tadeusz Krasiński, Sebastian Sakowski, Jacek Waldmajer [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2021-1-20

Weihrauch and constructive reducibility between existence statements

Makoto Fujiwara

Computability

Retricted access

Research article

First published 2019-03-16

Dynamical control of computations using the finite differences method to solve fuzzy boundary value problem

Hasan Barzegar Kelishami, Mohammad Ali Fariborzi Araghi, Tofigh Allahviranloo

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2013-5

Filtrations of Formal Languages by Arithmetic Progressions

Hamoon Mousavi, Jeffrey Shallit

Fundamenta Informaticae

Retricted access

Research article

First published 2019-11

Vibration-based damage detection with uncertainty quantification by structural identification using nonlinear constraint satisfaction with interval arithmetic

Timothy Kernicky, Matthew Whelan, Ehab Al-Shaer

Structural Health Monitoring

Retricted access

Research article

First published 2019

A Modal Logic of a Truth Definition for Finite Models *

Marek Czarnecki, Konrad Zdanowski

Fundamenta Informaticae

Retricted access

Research article

First published 1995-10

Observer-based feedback control of a class of discrete-event systems

Dieter Franke

Transactions of the Institute of Measurement and Control

Retricted access

Research article

First published 1992-8

The Arithmetic of Maximal Planes

R Krishnamurti

Environment and Planning B: Urban Analytics and City Science

Search results