In the fuzzy theory of sets and groups, use α-levels is a standard to translate problems from crisp framework. Using strong α-levels, it possible establish one correspondence which makes doubly, gradual functorial treatment theory. The main result this paper identify class sets, respectively, with subcategories categories Set (0, 1], resp., Gr 1]. line, algebraic potential will be reached, in f...

Swarm intelligence is a discipline that studies the collective behavior produced by local interactions of group individuals with each other and their environment. In Computer Science domain, numerous swarm techniques are applied to optimization problems seek efficiently find best solutions within search space. Gradual pattern mining another field could benefit from efficiency based in task find...

Deep neural networks (DNNs) have achieved the state of art performance in numerous fields. However, DNNs need high computation times, and people always expect better a lower computation. Therefore, we study human somatosensory system design network (SpinalNet) to achieve higher accuracy with fewer computations. Hidden layers traditional NNs receive inputs previous layer, apply activation functi...

Gradual dependent types can help with the incremental adoption of dependently typed code by providing a principled semantics for imprecise and proofs, where some parts have been omitted. Current theories gradual types, though, lack central feature type theory: propositional equality. Lennon-Bertrand et al. show that, when reflexive proof refl is only closed value an equality type, extension Cal...

Standard higher-order contract monitoring breaks tail recursion and leads to space leaks that can change a program’s asymptotic complexity; space-efficiency restores tail recursion and bounds the amount of space used by contracts. Space-efficient contract monitoring for contracts enforcing simple type disciplines (a/k/a gradual typing) is well studied. Prior work establishes a space-efficient s...