Search Results - POLYNOMIALS

1

Report

Some comments on my study of period-integrals

Contributors: Institut Élie Cartan de Lorraine (IECL), Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)

Superior Title: https://hal.science/hal-04510893 ; 2024.

Subject Terms: AMS classification. 32 S 25 32 S 40 34 E 05- Asymptotic Expansions- Period-integral -Convergent (a, b)-Module Hermitian Period Geometric (convergent) (a, b)-Modules (convergent) Fresco Bernstein Polynomial Higher Order Bernstein Polynomials, AMS classification. 32 S 25, 32 S 40, 34 E 05 Asymptotic Expansions, Period-integral, Convergent (a, b) Module, Hermitian Period, Geometric (convergent) (alb)-Module, (convergent) Fresco, Bernstein Polynomial, Higher Order Bernstein Polynomials, [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG], [MATH.MATH-CV]Mathematics [math]/Complex Variables [math.CV]

Relation: hal-04510893; https://hal.science/hal-04510893; https://hal.science/hal-04510893/document; https://hal.science/hal-04510893/file/Period-integrals%20and%20%28a,b%29-modules.pdf

Availability: https://hal.science/hal-04510893
https://hal.science/hal-04510893/document
https://hal.science/hal-04510893/file/Period-integrals%20and%20%28a,b%29-modules.pdf

2

Conference

A General Noninterference Policy for Polynomial Time

Authors: Hainry, Emmanuel, Péchoux, Romain

Contributors: Designing the Future of Computational Models (MOCQUA), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Inria associate team TC(Pro)3

Superior Title: POPL 23 ; https://inria.hal.science/hal-04190355 ; POPL 23, Jan 2023, Boston, United States. pp.806 - 832, ⟨10.1145/3571221⟩

Subject Terms: CCS Concepts: Theory of computation → Complexity theory and logic Type theory Logic and verification Polynomial time, Computational Complexity, Noninterference, Shape Analysis, CCS Concepts, Theory of computation → Complexity theory and logic, Type theory, Logic and verification Polynomial time, [INFO]Computer Science [cs]

Subject Geographic: Boston, United States

Time: Boston, United States

Relation: hal-04190355; https://inria.hal.science/hal-04190355; https://inria.hal.science/hal-04190355/document; https://inria.hal.science/hal-04190355/file/shapedTiering.pdf

Availability: https://doi.org/10.1145/3571221
https://inria.hal.science/hal-04190355
https://inria.hal.science/hal-04190355/document
https://inria.hal.science/hal-04190355/file/shapedTiering.pdf

Zugang prüfen (DOI)

3

Conference

Fast evaluation and root finding for polynomials with floating-point coefficients

Authors: Imbach, Rémi, Moroz, Guillaume

Contributors: Geometric Algorithms and Models Beyond the Linear and Euclidean realm (GAMBLE ), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Algorithms, Computation, Image and Geometry (LORIA - ALGO), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)

Superior Title: ISSAC '23: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation ; ISSAC 2023 ; https://inria.hal.science/hal-03980098 ; ISSAC 2023, Jul 2023, Tromsø, Norway

Subject Terms: Polynomial evaluation, Complex root finding, Condition number, Newton polygon, Floating-point arithmetic, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]

Subject Geographic: Tromsø, Norway

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2302.06244; hal-03980098; https://inria.hal.science/hal-03980098; https://inria.hal.science/hal-03980098/document; https://inria.hal.science/hal-03980098/file/preprint_pw.pdf; ARXIV: 2302.06244

Availability: https://inria.hal.science/hal-03980098
https://inria.hal.science/hal-03980098/document
https://inria.hal.science/hal-03980098/file/preprint_pw.pdf

4

Report

Higher Bernstein Polynomials and Multiple Poles of $1/ Γ(λ) \int_X |f|^2λ \bar f^{ −h} ρω ∧ \barω′$ version 2

Authors: Barlet, Daniel

Contributors: Institut Élie Cartan de Lorraine (IECL), Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Institut universitaire de France (IUF), Ministère de l'Education nationale, de l’Enseignement supérieur et de la Recherche (M.E.N.E.S.R.)

Superior Title: https://hal.science/hal-04316653 ; 2023.

Subject Terms: Asymptotic Expansions, Period-integral, Convergent (a b)-Module, Hermitian Period, Geometric (convergent) (a b)-modules, (convergent) Fresco, Bernstein Polynomial, Higher Order Bernstein Polynomials, AMS classification : 32S25, 32S40, 34E05, [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG]

Relation: hal-04316653; https://hal.science/hal-04316653; https://hal.science/hal-04316653v2/document; https://hal.science/hal-04316653v2/file/Convergent-%28a,b%29-modules--v2.pdf

Availability: https://hal.science/hal-04316653
https://hal.science/hal-04316653v2/document
https://hal.science/hal-04316653v2/file/Convergent-%28a,b%29-modules--v2.pdf

5

Report

Higher Bernstein Polynomials and Multiple Poles of $1/ Γ(λ) \int_X |f|^2λ \bar f^{ −h} ρω ∧ \barω′$ version 2

Authors: Barlet, Daniel

Contributors: Institut Élie Cartan de Lorraine (IECL), Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Institut Universitaire de France (IUF), Ministère de l'Education nationale, de l’Enseignement supérieur et de la Recherche (M.E.N.E.S.R.)

Superior Title: https://hal.science/hal-04316653 ; 2023.

Subject Terms: Asymptotic Expansions, Period-integral, Convergent (a b)-Module, Hermitian Period, Geometric (convergent) (a b)-modules, (convergent) Fresco, Bernstein Polynomial, Higher Order Bernstein Polynomials, AMS classification : 32S25, 32S40, 34E05, [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG]

Relation: hal-04316653; https://hal.science/hal-04316653; https://hal.science/hal-04316653/document; https://hal.science/hal-04316653/file/Convergent-%28a,b%29-modules--v2.pdf

Availability: https://hal.science/hal-04316653
https://hal.science/hal-04316653/document
https://hal.science/hal-04316653/file/Convergent-%28a,b%29-modules--v2.pdf

6

Report

Complement to Higher Bernstein Polynomials and Multiple Poles of 1 Γ(λ) X |f | 2λ f −h ρω ∧ ω′

Authors: Barlet, Daniel

Contributors: Institut Élie Cartan de Lorraine (IECL), Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Institut universitaire de France (IUF), Ministère de l'Education nationale, de l’Enseignement supérieur et de la Recherche (M.E.N.E.S.R.)

Superior Title: https://hal.science/hal-04299264 ; 2023.

Subject Terms: Asymptotic Expansions, Period-integral, Convergent (a,b)-Module, Hermitian Period, Geometric (convergent) (a,b)-modules, (convergent) Fresco, Bernstein Polynomial, Higher Order Bernstein Polynomials, AMS classification : 32S25, 32S40, 34E05, [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2311.13259; hal-04299264; https://hal.science/hal-04299264; https://hal.science/hal-04299264/document; https://hal.science/hal-04299264/file/Complement%20to%20Higher%20Bernstein.pdf; ARXIV: 2311.13259

Availability: https://hal.science/hal-04299264
https://hal.science/hal-04299264/document
https://hal.science/hal-04299264/file/Complement%20to%20Higher%20Bernstein.pdf

7

Report

Higher Bernstein Polynomials and Multiple Poles of 1 Γ(λ) X |f | 2λ f −h ρω ∧ ω′

Authors: Barlet, Daniel

Contributors: Institut Élie Cartan de Lorraine (IECL), Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Institut Universitaire de France (IUF), Ministère de l'Education nationale, de l’Enseignement supérieur et de la Recherche (M.E.N.E.S.R.)

Superior Title: https://hal.science/hal-04154879 ; 2023.

Subject Terms: Asymptotic Expansions, Period-integral, Convergent (a b)-Module, Hermitian Period, Geometric (convergent) (a b)-Modules, (convergent) Fresco, Bernstein Polynomial, Higher Order Bernstein Polynomials, AMS classification : 32S25, 32S40, 34E05, [MATH.MATH-CV]Mathematics [math]/Complex Variables [math.CV], [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2307.04395; hal-04154879; https://hal.science/hal-04154879; https://hal.science/hal-04154879/document; https://hal.science/hal-04154879/file/Convergent-%28a,b%29-modules---copie---copie.pdf; ARXIV: 2307.04395

Availability: https://hal.science/hal-04154879
https://hal.science/hal-04154879/document
https://hal.science/hal-04154879/file/Convergent-%28a,b%29-modules---copie---copie.pdf

8

Conference

New data structure for univariate polynomial approximation and applications to root isolation, numerical multipoint evaluation, and other problems

Authors: Moroz, Guillaume

Contributors: Geometric Algorithms and Models Beyond the Linear and Euclidean realm (GAMBLE ), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Algorithms, Computation, Image and Geometry (LORIA - ALGO), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)

Superior Title: 2021 IEEE 62nd Annual Symposimum on Foundations of Computer Science (FOCS)
FOCS 2021 - 62nd Annual IEEE Symposimum on Foundations of Computer Science
https://hal.science/hal-03249123
FOCS 2021 - 62nd Annual IEEE Symposimum on Foundations of Computer Science, Feb 2022, Denver, United States. ⟨10.1109/FOCS52979.2021.00108⟩

Subject Terms: Condition number, Complex root finding, Polynomial evaluation, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA]

Subject Geographic: Denver, United States

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2106.02505; hal-03249123; https://hal.science/hal-03249123; https://hal.science/hal-03249123v2/document; https://hal.science/hal-03249123v2/file/preprint.pdf; ARXIV: 2106.02505

Availability: https://doi.org/10.1109/FOCS52979.2021.00108
https://hal.science/hal-03249123
https://hal.science/hal-03249123v2/document
https://hal.science/hal-03249123v2/file/preprint.pdf

Zugang prüfen (DOI)

9

Conference

Complete and tractable machine-independent characterizations of second-order polytime

Authors: Hainry, Emmanuel, Kapron, Bruce, M, Marion, Jean-Yves, Péchoux, Romain

Contributors: Designing the Future of Computational Models (MOCQUA), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), University of Victoria Canada (UVIC), Carbone (CARBONE), Department of Formal Methods (LORIA - FM), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), NSERC RGPIN-2021-02481

Superior Title: FoSSaCS 2022 - 25th International Conference on Foundations of Software Science and Computation Structures ; https://inria.hal.science/hal-03722245 ; FoSSaCS 2022 - 25th International Conference on Foundations of Software Science and Computation Structures, Apr 2022, Munich, Germany. pp.368-388, ⟨10.1007/978-3-030-99253-8_19⟩ ; https://etaps.org/2022/fossacs

Subject Terms: Basic feasible functionals, Type 2, Second-order, Polynomial time, Tiering, Safe recursion, [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Subject Geographic: Munich, Germany

Relation: hal-03722245; https://inria.hal.science/hal-03722245; https://inria.hal.science/hal-03722245/document; https://inria.hal.science/hal-03722245/file/ctcbff.pdf

Availability: https://doi.org/10.1007/978-3-030-99253-8_19
https://inria.hal.science/hal-03722245
https://inria.hal.science/hal-03722245/document
https://inria.hal.science/hal-03722245/file/ctcbff.pdf

Zugang prüfen (DOI)

10

Report

On factorization of rank-one auto-correlation matrix polynomials

Authors: Usevich, Konstantin, Flamant, Julien, Clausel, Marianne, Brie, David

Contributors: Centre de Recherche en Automatique de Nancy (CRAN), Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Institut Élie Cartan de Lorraine (IECL)

Superior Title: https://hal.science/hal-04062934 ; 2023.

Subject Terms: matrix polynomial, auto-correlation, rank-one factorization, uniqueness, greatest common divisors, 15A21,15A23,42A85,47A68,47N70, [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2308.15106; hal-04062934; https://hal.science/hal-04062934; https://hal.science/hal-04062934v2/document; https://hal.science/hal-04062934v2/file/main.pdf; ARXIV: 2308.15106

Availability: https://hal.science/hal-04062934
https://hal.science/hal-04062934v2/document
https://hal.science/hal-04062934v2/file/main.pdf

11

Report

Two-layer decoupling of multivariate polynomials with coupled ParaTuck and CP decompositions

Authors: Usevich, Konstantin, Zniyed, Yassine, Ishteva, Mariya, Dreesen, Philippe, de Almeida, André, L F

Contributors: Centre de Recherche en Automatique de Nancy (CRAN), Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon) (LIS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS), Department of Computer Science (KU Leuven - CS), Catholic University of Leuven = Katholieke Universiteit Leuven (KU Leuven), Maastricht University Maastricht, Universidade Federal do Ceará = Federal University of Ceará (UFC), ANR-19-CE23-0021,LeaFleT,Apprentissage des réseaux de neurones avec des fonctions d'activation flexibles par les méthodes tensorielles(2019)

Superior Title: https://hal.science/hal-03968630 ; 2023.

Subject Terms: paratuck decomposition, cp decomposition, polynomial decoupling, neural network, coupled/structured tensor decomposition, [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing

Relation: hal-03968630; https://hal.science/hal-03968630; https://hal.science/hal-03968630v2/document; https://hal.science/hal-03968630v2/file/paratuck-long-version.pdf

Availability: https://hal.science/hal-03968630
https://hal.science/hal-03968630v2/document
https://hal.science/hal-03968630v2/file/paratuck-long-version.pdf

12

Conference

Learning nonlinearities in the decoupling problem with structured CPD

Authors: Zniyed, Yassine, Usevich, Konstantin, Miron, Sebastian, Brie, David

Contributors: Centre de Recherche en Automatique de Nancy (CRAN), Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), ANR-19-CE23-0021,LeaFleT,Apprentissage des réseaux de neurones avec des fonctions d'activation flexibles par les méthodes tensorielles(2019)

Superior Title: 19th IFAC Symposium on System Identification, SYSID 2021
https://hal.science/hal-03223831
19th IFAC Symposium on System Identification, SYSID 2021, Jul 2021, Padova (virtual), Italy

Subject Terms: polynomial decoupling, tensor decomposition, canonical polyadic decomposition, structured tensors, [MATH]Mathematics [math], [SPI]Engineering Sciences [physics]

Subject Geographic: Italy

Time: Padova (virtual), Italy

Relation: hal-03223831; https://hal.science/hal-03223831; https://hal.science/hal-03223831/document; https://hal.science/hal-03223831/file/SYSID21_YZ.pdf

Availability: https://hal.science/hal-03223831
https://hal.science/hal-03223831/document
https://hal.science/hal-03223831/file/SYSID21_YZ.pdf

13

Conference

Polynomial fitting functions for visible light positioning based on RSS with tilted receiver

Authors: Carreño, Cristobal, Seguel, Fabián, Charpentier, Patrick, Krommenacker, Nicolas

Contributors: Centre de Recherche en Automatique de Nancy (CRAN), Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Department of Electrical Engineering, Universidad de Chile = University of Chile Santiago (UCHILE), Beca Doctorado en el Extranjero (Becas Chile) 2020 ANID (PFCHA) 72210523 and the project FONDECYT REGULAR 1211132 at the Universityof Santiago of Chile

Superior Title: 11th International Conference on Indoor Positioning and Indoor Navigation, IPIN 2021
https://hal.science/hal-03480757
11th International Conference on Indoor Positioning and Indoor Navigation, IPIN 2021, Nov 2021, Lloret de Mar, Spain
http://ipin-conference.org/2021/index.html

Subject Terms: Visible Light Positioning, Tilted Photodiode, Polynomial Fitting, Inertial Measurement Unit, Received Signal Strength, [SPI.SIGNAL]Engineering Sciences [physics]/Signal and Image processing, [SPI.OPTI]Engineering Sciences [physics]/Optics / Photonic

Subject Geographic: Lloret de Mar, Spain

Relation: hal-03480757; https://hal.science/hal-03480757; https://hal.science/hal-03480757/document; https://hal.science/hal-03480757/file/IPIN2021.pdf

Availability: https://hal.science/hal-03480757
https://hal.science/hal-03480757/document
https://hal.science/hal-03480757/file/IPIN2021.pdf

14

Report

Quasi-stationary distributions in reducible state spaces

Authors: Champagnat, Nicolas, Villemonais, Denis

Contributors: Biology, genetics and statistics (BIGS), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut Élie Cartan de Lorraine (IECL), Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Institut Élie Cartan de Lorraine (IECL), Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)

Superior Title: https://hal.science/hal-03541248 ; 2022.

Subject Terms: Markov chains with absorption, reducible Markov chains, quasistationary distribution, mixing property, quasi-limiting distributions, polynomial convergence, 2010 Mathematics Subject Classification. 37A25, 60B10, 60F99, 60J05, [MATH.MATH-PR]Mathematics [math]/Probability [math.PR]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2201.10151; hal-03541248; https://hal.science/hal-03541248; https://hal.science/hal-03541248/document; https://hal.science/hal-03541248/file/note-reducible_2021_01_24.pdf; ARXIV: 2201.10151

Availability: https://hal.science/hal-03541248
https://hal.science/hal-03541248/document
https://hal.science/hal-03541248/file/note-reducible_2021_01_24.pdf

15

Report

Improvements to the number field sieve for non-prime finite fields

Authors: Barbulescu, Razvan, Gaudry, Pierrick, Guillevic, Aurore, Morain, François

Contributors: Cryptology, Arithmetic: Hardware and Software (CARAMEL), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Algorithms, Computation, Image and Geometry (LORIA - ALGO), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Geometry, arithmetic, algorithms, codes and encryption (GRACE), Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX), École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)

Superior Title: https://inria.hal.science/hal-01052449 ; 2022.

Subject Terms: discrete logarithms over finite fields, number field sieve, polynomial selection, computational algebraic number theory, [MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1408.0718; hal-01052449; https://inria.hal.science/hal-01052449; https://inria.hal.science/hal-01052449v5/document; https://inria.hal.science/hal-01052449v5/file/gfpndl.pdf; ARXIV: 1408.0718

Availability: https://inria.hal.science/hal-01052449
https://inria.hal.science/hal-01052449v5/document
https://inria.hal.science/hal-01052449v5/file/gfpndl.pdf

16

Report

A programming language characterizing quantum polynomial time

Authors: Hainry, Emmanuel, Péchoux, Romain, Silva, Mário

Contributors: Designing the Future of Computational Models (MOCQUA), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)

Superior Title: https://inria.hal.science/hal-03895081 ; 2022.

Subject Terms: quantum programming language, polynomial time, quantum circuit, complexity, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2212.06656; hal-03895081; https://inria.hal.science/hal-03895081; https://inria.hal.science/hal-03895081/document; https://inria.hal.science/hal-03895081/file/FBQP_Implicit.pdf; ARXIV: 2212.06656

Availability: https://inria.hal.science/hal-03895081
https://inria.hal.science/hal-03895081/document
https://inria.hal.science/hal-03895081/file/FBQP_Implicit.pdf

17

Academic Journal

On the distribution of the Rudin-Shapiro function for finite fields

Authors: Dartyge, Cécile, Mérai, László, Winterhof, Arne

Contributors: Institut Élie Cartan de Lorraine (IECL), Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Johann Radon Institute for Computational and Applied Mathematics (RICAM), Austrian Academy of Sciences (OeAW), The second and third author are partially supported by the Austrian Science Fund FWF, Projects P 31762 and P 30405, respectively.

Superior Title: ISSN: 0002-9939.

Subject Terms: finite fields, Hooley-Katz Theorem, digit sums, polynomial equations, Rudin-Shapiro function, MSC 2020 11A63,11T23, 11T30, [MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT]

Relation: hal-03090416; https://hal.science/hal-03090416; https://hal.science/hal-03090416v2/document; https://hal.science/hal-03090416v2/file/2006.02791.pdf

Availability: https://doi.org/10.1090/proc/15668
https://hal.science/hal-03090416
https://hal.science/hal-03090416v2/document
https://hal.science/hal-03090416v2/file/2006.02791.pdf

Zugang prüfen (DOI)

18

Academic Journal

Algorithmic Reduction of Biological Networks with Multiple Time Scales

Authors: Kruff, Niclas, Lüders, Christoph, Radulescu, Ovidiu, Sturm, Thomas, Walcher, Sebastian

Contributors: Rheinisch-Westfälische Technische Hochschule Aachen University (RWTH), Rheinische Friedrich-Wilhelms-Universität Bonn, Dynamique des interactions membranaires normales et pathologiques (DIMNP), Université Montpellier 1 (UM1)-Université Montpellier 2 - Sciences et Techniques (UM2)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS), Université de Montpellier (UM), Centre National de la Recherche Scientifique (CNRS), Modeling and Verification of Distributed Algorithms and Systems (VERIDIS), Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft-Max-Planck-Gesellschaft-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Proof-oriented development of computer-based systems (MOSEL), Department of Formal Methods (LORIA - FM), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Max-Planck-Gesellschaft, Saarland University Saarbrücken, ANR-17-CE40-0036,SYMBIONT,Méthodes symboliques pour les réseaux biologiques(2017)

Superior Title: ISSN: 1661-8270.

Subject Terms: Chemical reaction network, Compartmental model, Dimension reduction, Invariant set, Logic computation, Multiple time scales, Polynomial differential equations, Real algebraic computation, Satisfiability modulo theories, Singular perturbation, Symbolic computation, Tropical geometry Mathematics Subject Classification Primary 68W30, Secondary 14P10, 34E15, 37D10, 92C45, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [SDV.BBM.MN]Life Sciences [q-bio]/Biochemistry, Molecular Biology/Molecular Networks [q-bio.MN], [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG], [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS]

Relation: hal-03438176; https://hal.science/hal-03438176; https://hal.science/hal-03438176/document; https://hal.science/hal-03438176/file/Kruff2021_Article_AlgorithmicReductionOfBiologic.pdf

Availability: https://doi.org/10.1007/s11786-021-00515-2
https://hal.science/hal-03438176
https://hal.science/hal-03438176/document
https://hal.science/hal-03438176/file/Kruff2021_Article_AlgorithmicReductionOfBiologic.pdf

Zugang prüfen (DOI)

19

Academic Journal

Inverse ARX (IARX) method for boundary specification in heat conduction problems

Authors: Oliveira, A. v. s., Zacharie, C., Remy, Benjamin, Schick, Vincent, Maréchal, D., da Costa Teixeira, Julien, Denis, S., Gradeck, Michel

Contributors: Institut de recherche technologique Matériaux Métallurgie et Procédés (IRT M2P), Laboratoire d'Energétique et Mécanique Théorique et Appliquée (LEMTA ), Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Institut Jean Lamour (IJL), Institut de Chimie - CNRS Chimie (INC-CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Labex DAMAS, Université de Lorraine (UL), French program Plan d’Investissement d’Avenir (PIA)

Superior Title: ISSN: 0017-9310 ; International Journal of Heat and Mass Transfer ; https://hal.univ-lorraine.fr/hal-03444243 ; International Journal of Heat and Mass Transfer, 2021, 180, pp.121783. ⟨10.1016/j.ijheatmasstransfer.2021.121783⟩.

Subject Terms: Inverse method, Parametric models, Polynomial models, System identification, Exogenous, Autoregressive, Future time steps, [SPI.MAT]Engineering Sciences [physics]/Materials

Relation: hal-03444243; https://hal.univ-lorraine.fr/hal-03444243; https://hal.univ-lorraine.fr/hal-03444243/document; https://hal.univ-lorraine.fr/hal-03444243/file/Article_ARXInverse_v4.pdf

Availability: https://doi.org/10.1016/j.ijheatmasstransfer.2021.121783
https://hal.univ-lorraine.fr/hal-03444243
https://hal.univ-lorraine.fr/hal-03444243/document
https://hal.univ-lorraine.fr/hal-03444243/file/Article_ARXInverse_v4.pdf

Zugang prüfen (DOI)

20

Conference

Evaluation of Chebyshev polynomials on intervals and application to root finding

Authors: Ledoux, Viviane, Moroz, Guillaume

Contributors: Geometric Algorithms and Models Beyond the Linear and Euclidean realm (GAMBLE ), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Algorithms, Computation, Image and Geometry (LORIA - ALGO), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), École normale supérieure - Paris (ENS-PSL), Université Paris Sciences et Lettres (PSL)

Superior Title: Mathematical Aspects of Computer and Information Sciences 2019 ; https://inria.hal.science/hal-02405752 ; Mathematical Aspects of Computer and Information Sciences 2019, Nov 2019, Gebze, Turkey

Subject Terms: Chebyshev polynomials, Clenshaw algorithm, Root finding, Ball arithmetic, Interval arithmetic, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]

Subject Geographic: Gebze, Turkey

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1912.05843; hal-02405752; https://inria.hal.science/hal-02405752; https://inria.hal.science/hal-02405752/document; https://inria.hal.science/hal-02405752/file/macis2019_chebyshev.pdf; ARXIV: 1912.05843

Availability: https://inria.hal.science/hal-02405752
https://inria.hal.science/hal-02405752/document
https://inria.hal.science/hal-02405752/file/macis2019_chebyshev.pdf

Narrow Search