Search results for "Number"

Mathematical Fuzzy Logic in the Emerging Fields of Engineering, Finance, and Computer Sciences

2022

With more than 50 years of literature, fuzzy logic has gradually progressed from an emerging field to a developed research domain, incorporating the sub-domain of mathematical fuzzy logic (MFL) [...]

A Survey on Nature-Inspired Medical Image Analysis: A Step Further in Biomedical Data Integration

2019

Natural phenomena and mechanisms have always intrigued humans, inspiring the design of effective solutions for real-world problems. Indeed, fascinating processes occur in nature, giving rise to an ever-increasing scientific interest. In everyday life, the amount of heterogeneous biomedical data is increasing more and more thanks to the advances in image acquisition modalities and high-throughput technologies. The automated analysis of these large-scale datasets creates new compelling challenges for data-driven and model-based computational methods. The application of intelligent algorithms, which mimic natural phenomena, is emerging as an effective paradigm for tackling complex problems, by…

Stubborn sets, frozen actions, and fair testing

2021

Many partial order methods use some special condition for ensuring that the analysis is not terminated prematurely. In the case of stubborn set methods for safety properties, implementation of the condition is usually based on recognizing the terminal strong components of the reduced state space and, if necessary, expanding the stubborn sets used in their roots. In an earlier study it was pointed out that if the system may execute a cycle consisting of only invisible actions and that cycle is concurrent with the rest of the system in a non-obvious way, then the method may be fooled to construct all states of the full parallel composition. This problem is solved in this study by a method tha…

Special Families of Curves, of Abelian Varieties, and of Certain Minimal Manifolds over Curves

2006

This survey article discusses some results on the structure of families f:V-->U of n-dimensional manifolds over quasi-projective curves U, with semistable reduction over a compactification Y of U. We improve the Arakelov inequality for the direct images of powers of the dualizing sheaf. For families of Abelian varieties we recall the characterization of Shimura curves by Arakelov equalities. For families of curves we recall the characterization of Teichmueller curves in terms of the existence of certain sub variation of Hodge structures. We sketch the proof that the moduli scheme of curves of genus g>1 can not contain compact Shimura curves, and that it only contains a non-compact Shimura c…

2-Brauer correspondent blocks with one simple module

2017

Abstract One of the main problems in representation theory is to understand the exact relationship between Brauer corresponding blocks of finite groups. The case where the local correspondent has a unique simple module seems key. We study this situation for 2-blocks.

Triply factorized groups

1990

On p-chief factors of finite groups

1985

(1985). On p-chief factors of finite groups. Communications in Algebra: Vol. 13, No. 11, pp. 2433-2447.

A characterization of a generalized C?-notion on nets

1986

Injectors with a normal complement in a finite solvable group

2011

Abstract Suppose G is a finite solvable group, and H is a subgroup with a normal complement in G. We shall find necessary and sufficient conditions (some of which are related to the properties of coprime actions) for H to be an injector in G. We shall also use these criteria to find characterizations of injectors which need not have a normal complement.

Pronormal subgroups of a direct product of groups

2009

[EN] We give criteria to characterize abnormal, pronormal and locally pronormal subgroups of a direct product of two finite groups A×B, under hypotheses of solvability for at least one of the factors, either A or B.