Item request has been placed!

Item request cannot be made.

Processing Request

Search Results

Display Settings

Results per page: 10

Sort By: Relevance

Your Filters

Collection : Universite Toulouse Iii - Paul Sabatier Language : abkhazian Language : english Language : french Language : hindi Language : kazakh Language : marshallese Language : swedish

Item request has been placed!

Item request cannot be made.

Processing Request

Report

Chair in applied mathematics OQUAIDO Activity report

Authors : Roustant, Olivier; Le Riche, Rodolphe; Garnier, Josselin ...

Subjects: Statistical modeling; Gaussian processes regression; Model identification/reduction

Source: https://hal.science/hal-03217277 ; [Research Report] Mines Saint-Etienne; Ecole Centrale Lyon; BRGM (Bureau de recherches géologiques et minières); CEA; IFP Energies Nouvelles; Institut de

Read More Add to Saved list

The tetravalent logic in Mathematics & Physics

Authors : Lablanche, Sébastien; Lablanche, Gérard;

Subjects: mathematics number theory logic space-time general relativity theory image interpolation geometry; mathematics; number theory

Source: https://hal.science/hal-04124583 ; Doctoral. France. 2023.

Read More Add to Saved list

Academic Journal

An Eco-System Architectural Model for Delivering Educational Services to Children with Learning Problems in Basic Mathematics

Authors : Ortiz Esparza, Miguel Angel; Muñoz Arteaga, Jaime; Mendoza, José Eder Guzmán ...

Subjects: Learning problems; Basic mathematics; Children

Source: ISSN: 1935-570X ; International Journal of Information Technologies and Systems Approach ; https://hal.science/hal-02938633 ; International Journal of Information Technologies and Systems Approach,

Read More Add to Saved list

Academic Journal

A Viro–Zvonilov-type inequality for Q-flexible curves of odd degree

Authors : Saint-Criq, Anthony;

Subjects: primary 14P25 57M12; primary 14P25; 57M12

Source: ISSN: 0030-8730 ; Pacific Journal of Mathematics ; https://hal.science/hal-04550270 ; Pacific Journal of Mathematics, 2024, 328 (1),

Read More Add to Saved list

Book

Homotopy Type Theory: Univalent Foundations of Mathematics

Authors : Aczel, Peter; Ahrens, Benedikt; Altenkirch, Thorsten ...

Subjects: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics; ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic; [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Source: https://inria.hal.science/hal-00935057 ; The Univalent Foundations Program Institute for Advanced Study, pp.1--587, 2013 ; https://hott.github.io/book/hott-ebook-7-g6913a1a.pdf.

Read More Add to Saved list

Academic Journal

TouIST, a Teacher-and Student-Friendly Language for Propositional Logic and Discrete Mathematics

Authors : Gasquet, Olivier; Longin, Dominique; Lorini, Emiliano ...

Subjects: TouIST; SAT Solver; Propositional logic

Source: ISSN: 2071-2340 ; Computer Tools in Education journal (“Kompjuternye instrumenty v obrazovanii”) ; https://ut3-toulouseinp.hal.science/hal-03477306 ; Computer Tools in Education journal

Read More Add to Saved list

Academic Journal

Hyperbolicity and non-conservativity of a hydrodynamic model of swarming rigid bodies

Authors : Degond, P; Frouvelle, A; Merino-Aceituno, S ...

Subjects: Self-organized hydrodynamics; Vicsek model; relaxation approximation

Source: ISSN: 0033-569X ; Quarterly of Applied Mathematics ; https://hal.science/hal-03833710 ; Quarterly of Applied Mathematics, 2024, 82 (1),

Read More Add to Saved list

Academic Journal

Conditions for uniform ensemble output controllability, and obstruction to uniform ensemble controllability

Authors : Danhane, Baparou; Lohéac, Jérôme; Jungers, Marc ...

Subjects: Control of parameter dependent systems; ensemble controllability; output controllability

Source: ISSN: 2156-8472.

Read More Add to Saved list

Academic Journal

Sobolev regularity of Gaussian random fields

Authors : Henderson, Iain;

Subjects: Gaussian processes; Sobolev spaces; Integral operators

Source: ISSN: 0022-1236.

Read More Add to Saved list

Academic Journal

Strong stabilization of damped nonlinear Schrödinger equation with saturation on unbounded domains

Authors : Bégout, Pascal; Díaz, Jesús Ildefonso;

Subjects: Damped Schrödinger equation; Saturated section; Stabilization

Source: ISSN: 0022-247X.

Read More Add to Saved list