Sage Journals: Discover world-class research

Open access

Research article

First published 2012-2

A Practical Approach to Satisfiability Modulo Linear Integer Arithmetic

Alberto Griggio

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2023-06-01

The stability of interval two-dimensional semi-linear differential equations based on constrained interval arithmetic

Zhaodan Zhi, Juan Tao

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

Retricted access

Research article

First published 2021-7

A survey of numerical linear algebra methods utilizing mixed-precision arithmetic

Ahmad Abdelfattah, Hartwig Anzt, Erik G Boman [...]

The International Journal of High Performance Computing Applications

Open access

Research article

First published 2006-8

Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure 1

Martin Fränzle, Christian Herde, Tino Teige [...]

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2023-3

A linear matrix inequality-based criterion for realizing externally interfered discrete system using saturation arithmetic

Mounika Pulikonda, CG Parthipan, Priyanka Kokil

Transactions of the Institute of Measurement and Control

Retricted access

Research article

First published 2019-09-09

A novel approach for solving fully fuzzy linear systems and their duality

Seyed Mohammad Mehdi Abbasi, Aliakbar Jalali

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

Retricted access

Research article

First published 2022-04-28

A method to multi-attribute decision making problems by using heronian mean operators based on linear diophantine uncertain linguistic settings

Tahir Mahmood, Izatmand, Zeeshan Ali [...]

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

Free access

Research article

First published 2007-10

Two Pass Improved Encoding and its Parallel Processing for Fractal Image Compression

Ghim-Hwee Ong, Kin-Wah Eugene Ching

Journal of Algorithms & Computational Technology

Retricted access

Research article

First published 2018-6-7

Linearisations and the Ershov hierarchy

S. Barry Cooper, James Gay, Charles M. Harris [...]

Computability

Free access

Research article

First published 2004-12

Generalized Power Calculations for Generalized Linear Models and more

Roger Newson

The Stata Journal: Promoting communications on statistics and Stata

Search results