Modulo - Open Access .click

Results 141 to 150 of about 53,013 (201)

, 2013
This talk is about several experiments of automated deduction with deduction modulo. The theory of deduction modulo is an extension of predicate calculus, which allows us to rewrite terms as well as propositions, and which is well suited for proof search
Delahaye, David
core

Sundman‐Like Transformations and the NRT Nonlinear Schrödinger Equation

Mathematical Methods in the Applied Sciences, Volume 49, Issue 13, Page 14791-14810, 15 September 2026.
ABSTRACT We present a new generalization of the well‐known power‐type Sundman transformation, involving not only powers of the function but also of its derivative, along with its inverse. Our aim is to explore the use of such transformations in the derivation of solutions of ordinary differential equations and in the study of their properties.
P. R. Gordoa +3 more
wiley +1 more source

Topology-Evolving Image Encryption Algorithm Utilizing 2D Rosenbrock-Schwefel Hyperchaotic Map. [PDF]

Entropy (Basel)
Song W, Shen H, Zhang X, Zou C.
europepmc +1 more source

Modulo 3 - OOP

, 2009
Modulo 3a: introduzione alla programmazione a oggetti.
Roli, Andrea
core

Principles of a Non-orthogonal Optical Surface with Potential for Correction of Irregular Astigmatism. [PDF]

Ophthalmic Physiol Opt
Atchison DA, Ho A.
europepmc +1 more source

[Situation of essential conditions for the delivery of care for noncommunicable diseases in the Bolivian Chaco regionSituação das condições essenciais para a atenção a doenças não transmissíveis na região do Chaco boliviano]. [PDF]