English
Related papers

Related papers: FISLAB - the Fuzzy Inference Tool-box for SCILAB

200 papers

Atomic system in fuzzy Hilbert space is introduced and the existence of the fuzzy atomic systems for a strongly fuzzy bounded linear operator is studied. The notion of a K-frame in fuzzy Hilbert space is presented and some of their…

General Mathematics · Mathematics 2025-06-17 Prasenjit Ghosh , Jayanta Ghosh , T. K. Samanta

We consider gray-box fuzzing of a program instrumented such that information about evaluation of program expressions converting values of numerical types to Boolean, like x <= y, is recorded during each program's execution. Given that…

Programming Languages · Computer Science 2025-01-31 Martin Jonáš , Jan Strejček , Marek Trtík

In this paper, the interval-valued intuitionistic fuzzy matrix (IVIFM) is introduced. The interval-valued intuitionistic fuzzy determinant is also defined. Some fundamental operations are also presented. The need of IVIFM is explain by an…

Discrete Mathematics · Computer Science 2014-04-29 Susanta Kumar Khan , Madhumangal Pal

This paper presents an open-source MATLAB/Simulink physics simulator for rigid-body articulated systems, including manipulators and floating-base robots. Thanks to MATLAB/Simulink features like MATLAB system classes and Simulink function…

Robotics · Computer Science 2024-05-15 Nuno Guedelha , Venus Pasandi , Giuseppe L'Erario , Silvio Traversaro , Daniele Pucci

More and more, new ways of interaction between humans and robots are desired, something that allow us to program a robot in an intuitive way, quickly and with a high-level of abstraction from the robot language. In this paper is presented a…

Robotics · Computer Science 2013-09-10 Pedro Neto , Nuno Mendes , Norberto Pires , Paulo Moreira

We present a novel gray-box fuzzing algorithm monitoring executions of instructions converting numerical values to Boolean ones. An important class of such instructions evaluate predicates, e.g., *cmp in LLVM. That alone allows us to infer…

Programming Languages · Computer Science 2024-01-24 Martin Jonáš , Jan Strejček , Marek Trtík , Lukáš Urban

We introduce qclab++, a light-weight, fully-templated C++ package for GPU-accelerated quantum circuit simulations. The code offers a high degree of portability as it has no external dependencies and the GPU kernels are generated through…

Quantum Physics · Physics 2023-03-06 Roel Van Beeumen , Daan Camps , Neil Mehta

Solvent plays an essential role in a variety of chemical, physical, and biological processes that occur in the solution phase. The reference interaction site model (RISM) and its three-dimensional extension (3D-RISM) serve as powerful…

Chemical Physics · Physics 2024-03-05 Yutaka Maruyama , Nori Yoshida

Bigraphs and their algebra is a model of concurrency. Fuzzy bigraphs are a generalization of birgraphs intended to be a model of concurrency that incorporates vagueness. More specifically, this model assumes that agents are similar,…

Logic in Computer Science · Computer Science 2020-02-18 Apostolos Syropoulos

The prevalence of software systems has become an integral part of modern-day living. Software usage has increased significantly, leading to its growth in both size and complexity. Consequently, software development is becoming a more…

Software Engineering · Computer Science 2023-06-07 Tiago Dias , Arthur Batista , Eva Maia , Isabel Praça

Noise is source of ambiguity for fuzzy systems. Although being an important aspect, the effects of noise in fuzzy modeling have been little investigated. This paper presents a set of tests using three well-known fuzzy modeling algorithms.…

Neural and Evolutionary Computing · Computer Science 2007-05-23 P. J. Costa Branco , J. A. Dente

Self-adaptive system (SAS) is capable of adjusting its behavior in response to meaningful changes in the operational context and itself. Due to the inherent volatility of the open and changeable environment in which SAS is embedded, the…

Software Engineering · Computer Science 2017-04-04 Zhuoqun Yang , Zhi Jin , Zhi Li

A program package, which facilitates computations in the framework of Analytic approach to QCD, is developed and described in details. The package includes the explicit expressions for relevant spectral functions calculated up to the…

High Energy Physics - Phenomenology · Physics 2014-11-20 A. V. Nesterenko , C. Simolo

The Julia package FuzzifiED aims at simplifying the numerical calculations on the fuzzy sphere. It supports exact diagonalisation (ED) and density matrix renormalisation group (DMRG) calculations. FuzzifiED can also apply to generic…

Strongly Correlated Electrons · Physics 2025-12-03 Zheng Zhou

We are developing the Virtual Experiences (Vx)Lab, a research and research training infrastructure and capability platform for global collaboration. VxLab comprises labs with visualisation capabilities, including underpinning networking to…

Other Computer Science · Computer Science 2015-11-02 Ian D. Peake , Jan Olaf Blech , Ian Thomas , Nicholas May , Heinz W. Schmidt , Lasith Fernando , Ravi Sreenivasamurthy

In the realm of software development, testing is crucial for ensuring software quality and adherence to requirements. However, it can be time-consuming and resource-intensive, especially when dealing with large and complex software systems.…

Software Engineering · Computer Science 2024-04-26 Aron Karatayev , Anna Ogorodova , Pakizar Shamoi

Prediction of multi-dimensional labels plays an important role in machine learning problems. We found that the classical binary labels could not reflect the contents and their relationships in an instance. Hence, we propose a multi-label…

Machine Learning · Computer Science 2023-02-22 Dayong Tian , Feifei Li , Yiwen Wei

Most of researches on image forensics have been mainly focused on detection of artifacts introduced by a single processing tool. They lead in the development of many specialized algorithms looking for one or more particular footprints under…

Computer Vision and Pattern Recognition · Computer Science 2017-01-31 Habib Ghaffari Hadigheh , Ghazali bin sulong

Fast, incremental evolution of physics instrumentation raises the question of efficient software abstraction and transferability of algorithms across similar technologies. This contribution aims to provide an answer by introducing Track…

Instrumentation and Detectors · Physics 2024-01-08 Petr Mánek , Petr Burian , Eric David-Bosne , Petr Smolyanskiy , Benedikt Bergmann

Approaches based on computing with words find good applicability in decision making systems. Predominantly finding their basis in type-1 fuzzy sets, computing with words approaches employ type-1 fuzzy sets as semantics of the linguistic…

Artificial Intelligence · Computer Science 2020-02-28 Taniya Seth , Pranab K. Muhuri