Sage Journals: Discover world-class research

Retricted access

Research article

First published 1999-8

An Open Automated Framework for Constraint Solver Extension: the SoleX Approach

Eric Monfroy, Christophe Ringeissen

Fundamenta Informaticae

Retricted access

Research article

First published 2018-10

Extending the functionality of a symbolic computational dynamic solver by using a novel term-tracking method

Niloufar Motazedi, Matthew P Cartmell, Jem A Rongong

Proceedings of the Institution of Mechanical Engineers,Part C: Journal of Mechanical Engineering Science

Retricted access

Research article

First published 2018-6-11

New stochastic local search approaches for computing preferred extensions of abstract argumentation

Dangdang Niu, Lei Liu, Shuai Lü

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2012-5

Challenging SMT solvers to verify neural networks

Luca Pulina, Armando Tacchella

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2014-11

Embankment dam break: Uncertainty of outflow based on fuzzy representation of breach formation parameters

George Tsakiris, Mike Spiliotis

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

Open access

Research article

First published 2006-2

Hard Satisfiable Clause Sets for Benchmarking Equivalence Reasoning Techniques

Harri Haanpää, Matti Järvisalo, Petteri Kaski [...]

Journal on Satisfiability,Boolean Modelling and Computation

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 2024-5

Massively parallel nodal discontinous Galerkin finite element method simulator for room acoustics

Anders Melander, Emil Strøm, Finnur Pind [...]

The International Journal of High Performance Computing Applications

Retricted access

Research article

First published 2009-4

Computational parametric analysis of rotating surface flow

Y Kaptan, A Ecder, K Atalik

Proceedings of the Institution of Mechanical Engineers,Part C: Journal of Mechanical Engineering Science

Retricted access

Other

First published 2011-11

Scalability studies and large grid computations for surface combatant using CFDShip-Iowa

Shanti Bhushan, Pablo Carrica, Jianming Yang [...]

The International Journal of High Performance Computing Applications

Search results