-
1Report
Authors: Duboscq, Romain, Durand-Simonnet, Élio, Le Coz, Stefan
Contributors: Institut de Mathématiques de Toulouse UMR5219 (IMT), Université Toulouse Capitole (UT Capitole), Communauté d'universités et établissements de Toulouse (Comue de Toulouse)-Communauté d'universités et établissements de Toulouse (Comue de Toulouse)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Communauté d'universités et établissements de Toulouse (Comue de Toulouse)-Institut National des Sciences Appliquées (INSA)-Communauté d'universités et établissements de Toulouse (Comue de Toulouse)-Université Toulouse - Jean Jaurès (UT2J), Communauté d'universités et établissements de Toulouse (Comue de Toulouse)-Centre National de la Recherche Scientifique (CNRS)-Université de Toulouse (EPE UT), Communauté d'universités et établissements de Toulouse (Comue de Toulouse), Université de Toulouse (EPE UT), Institut Universitaire de Technologie - Paul Sabatier (IUT Toulouse Auch Castres), Communauté d'universités et établissements de Toulouse (Comue de Toulouse)-Communauté d'universités et établissements de Toulouse (Comue de Toulouse), ANR-11-LABX-0040,CIMI,Centre International de Mathématiques et d'Informatique (de Toulouse)(2011), ANR-23-CE40-0005,NQG,Graphes quantiques non linéaires(2023), ANR-18-EURE-0023,MINT,Mathematics and Interactions in Toulouse(2018)
Source: https://hal.science/hal-05053744 ; 2025.
Subject Terms: nonlinear Schrödinger equation, standing waves, action ground state, nonlinear quantum graphs, MSC: 35Q55, 35A15, 35R02, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.7: Ordinary Differential Equations, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.8: Partial Differential Equations, [MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2505.04250; ARXIV: 2505.04250
-
2Academic Journal
Authors: Agbo Bidi, Kala
Contributors: Laboratoire Jacques-Louis Lions (LJLL (UMR_7598)), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Sorbonne Université (SU), Université Paris Cité (UPCité), Control And GEometry (CaGE), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)-Centre Inria de Sorbonne Université, Centre Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
Source: ISSN: 1547-1063.
Subject Terms: vector-borne disease, mosquito population control, observer design, feedback control design, pest control, sterile insect technique, sterile insect technique pest control feedback control design observer design Lyapunov stability mosquito population control vector-borne disease, Lyapunov stability, JEL: C - Mathematical and Quantitative Methods, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.7: Ordinary Differential Equations, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2402.01221; ARXIV: 2402.01221
-
3Conference
Authors: Quadrat, Alban
Contributors: OUtils de Résolution Algébriques pour la Géométrie et ses ApplicatioNs (OURAGAN), Institut de Mathématiques de Jussieu - Paris Rive Gauche (IMJ-PRG (UMR_7586)), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)-Centre Inria de Sorbonne Université, Centre Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)
Source: SSSC 2022 - 8th IFAC Symposium on System Structure and Control ; https://inria.hal.science/hal-03908561 ; SSSC 2022 - 8th IFAC Symposium on System Structure and Control, Sep 2022, Montréal, Canada. ⟨10.1016/j.ifacol.2022.11.301⟩
Subject Terms: Linear systems, Systems with time-delays, Polynomial methods, Delay compensation, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.7: Ordinary Differential Equations, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.9: Integral Equations/G.1.9.0: Delay equations, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.9: Integral Equations/G.1.9.2: Integro-differential equations, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.1: Expressions and Their Representation, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms/I.1.2.0: Algebraic algorithms, [SPI.AUTO]Engineering Sciences [physics]/Automatic, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-RA]Mathematics [math]/Rings and Algebras [math.RA], [MATH.MATH-OA]Mathematics [math]/Operator Algebras [math.OA], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]
Subject Geographic: Montréal
Time: Montréal, Canada
-
4Book
Authors: Quadrat, Alban, Ushirobira, Rosane
Contributors: OUtils de Résolution Algébriques pour la Géométrie et ses ApplicatioNs (OURAGAN), Institut de Mathématiques de Jussieu - Paris Rive Gauche (IMJ-PRG (UMR_7586)), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)-Centre Inria de Sorbonne Université, Centre Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Finite-time control and estimation for distributed systems (VALSE), Centre Inria de l'Université de Lille, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)
Source: Accounting for Constraints in Delay Systems, Advances in Delays and Dynamics (ADD), volume 12, Springer, pp. 87-107 ; https://inria.hal.science/hal-03908643 ; Accounting for Constraints in Delay Systems, Advances in Delays and Dynamics (ADD), volume 12, Springer, pp. 87-107, ADD-2, Springer, pp. 87-107, 2022, Advances in Delays and Dynamics, 978-3-030-89014-8. ⟨10.1007/978-3-030-89014-8_5⟩
Subject Terms: ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.7: Ordinary Differential Equations, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.9: Integral Equations/G.1.9.0: Delay equations, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.1: Expressions and Their Representation, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms/I.1.2.0: Algebraic algorithms, [SPI.AUTO]Engineering Sciences [physics]/Automatic, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-RA]Mathematics [math]/Rings and Algebras [math.RA], [MATH.MATH-OA]Mathematics [math]/Operator Algebras [math.OA], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]
-
5Academic Journal
Authors: Banderier, Cyril, Marchal, Philippe, Wallner, Michael
Contributors: Cyril Banderier and Philippe Marchal and Michael Wallner, Laboratoire d'Informatique de Paris-Nord (LIPN), Université Paris 13 (UP13)-Institut Galilée-Université Sorbonne Paris Cité (USPC)-Centre National de la Recherche Scientifique (CNRS), Laboratoire Analyse, Géométrie et Applications (LAGA), Université Paris 8 Vincennes-Saint-Denis (UP8)-Université Paris 13 (UP13)-Institut Galilée-Centre National de la Recherche Scientifique (CNRS), Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS)
Source: arXiv: Discrete Mathematics.
Subject Terms: D-finite function, FOS: Computer and information sciences, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.1: Combinatorics, Discrete Mathematics (cs.DM), [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], generalized Gamma distribution, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.1: Combinatorics/G.2.1.2: Generating functions, hypergeometric function, [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], pumping moment, Pólya urn, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.8: Partial Differential Equations, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO], generating functions, analytic combinatorics, FOS: Mathematics, Mathematics - Combinatorics, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.1: Combinatorics/G.2.1.1: Counting problems, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.7: Ordinary Differential Equations, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], Probability (math.PR), ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.1: Combinatorics/G.2.1.4: Recurrences and difference equations, [MATH.MATH-CV]Mathematics [math]/Complex Variables [math.CV], 16. Peace & justice, [MATH.MATH-PR]Mathematics [math]/Probability [math.PR], Young tableau, Mittag-Leffler distribution, Combinatorics (math.CO), ddc:004, Mathematics - Probability, Computer Science - Discrete Mathematics
File Description: application/pdf
-
6Academic Journal
Contributors: Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques (HYCOMES), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Parallélisme de Kahn Synchrone (Parkas), Département d'informatique - ENS Paris (DI-ENS), École normale supérieure - Paris (ENS-PSL), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS-PSL), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria), Esterel Technologies / Ansys Toulouse, Université Paris Sciences et Lettres (PSL), Sorbonne Université (SU), This work has been partially funded by the Sys2Soft, Briques Génériques du Logiciel Embarqué, Investissements d’Avenir French national project
Source: ISSN: 1751-570X.
Subject Terms: Hybrid systems, Synchronous programming languages, Type systems, Numerical solver, Mathematical modelling language, HybridLang, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.2: Operational semantics, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.7: Ordinary Differential Equations, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering, [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS]
-
7Academic Journal
Contributors: Centre de Mathématiques et de Leurs Applications (CMLA), École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS), Laboratoire Spécification et Vérification Cachan (LSV), MATHematics for MatERIALS (MATHERIALS), Centre d'Enseignement et de Recherche en Mathématiques et Calcul Scientifique (CERMICS), École nationale des ponts et chaussées (ENPC)-École nationale des ponts et chaussées (ENPC)-Centre Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Laboratoire de Mécanique et Technologie (LMT), Institut FARMAN, projet SWITCHDESIGN, iCODE (Institut for Control and Decision - Idex Paris-Saclay), ANR-11-LABX-0045,DIGICOSME,Mondes numériques: Données, programmes et architectures distribués(2011), European Project: 601148,FP7-ICT-2011-9,FP7-ICT-2011-9,CASSTING(2013)
Source: ISSN: 0302-9743 ; Lecture Notes in Computer Science ; https://hal.science/hal-01295738 ; Lecture Notes in Computer Science, 2016, Reachability Problems (RP 2016), 9899, pp.119-133. ⟨10.1007/978-3-319-45994-3_9⟩.
Subject Terms: reachability, state-dependent control, compositional synthesis, distributed control, control synthesis, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.7: Ordinary Differential Equations, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, [INFO.INFO-SY]Computer Science [cs]/Systems and Control [cs.SY]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1604.01745; info:eu-repo/grantAgreement//601148/EU/Collective Adaptive System SynThesIs with Non-zero-sum Games/CASSTING; ARXIV: 1604.01745
-
8Book
Authors: Banos, Arnaud, Corson, Nathalie, Gaudou, Benoit, Laperrière, Vincent, Rey-Coyrehourcq, Sébastien
Contributors: Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - INPT (FRANCE), Université Nice Sophia Antipolis (FRANCE), Université de Paris Diderot - Paris 7 (FRANCE), Université Paris 1 Panthéon-Sorbonne (FRANCE), Université du Havre - ULH (FRANCE), Université de Rouen - UR (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Université d'Avignon et des Pays de Vaucluse (FRANCE), Laperrière, Vincent, Benoit Gaudou, Jaime Simão Sichman, Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Géographie-cités (GC (UMR_8504)), Université Paris 1 Panthéon-Sorbonne (UP1)-Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), Laboratoire de Mathématiques Appliquées du Havre (LMAH), Université Le Havre Normandie (ULH), Normandie Université (NU)-Normandie Université (NU), Systèmes Multi-Agents Coopératifs (IRIT-SMAC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Études des Structures, des Processus d’Adaptation et des Changements de l’Espace (ESPACE), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Avignon Université (AU)-Aix Marseille Université (AMU)-Centre National de la Recherche Scientifique (CNRS), Identité et Différenciation de l’Espace, de l’Environnement et des Sociétés (IDEES), Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Normandie Université (NU)-Université Le Havre Normandie (ULH), Normandie Université (NU)-Université de Rouen Normandie (UNIROUEN), Normandie Université (NU)-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche Interdisciplinaire Homme et Société (IRIHS), Université de Rouen Normandie (UNIROUEN), Normandie Université (NU)-Normandie Université (NU)-Université de Rouen Normandie (UNIROUEN), Normandie Université (NU), CNRS (PEPS HuMaIn 2013/2014)
Source: Lecture Notes in Computer Science ISBN: 9783319314464
Subject Terms: 0301 basic medicine, ODE, [SHS.GEO] Humanities and Social Sciences/Geography, [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS], [MATH.MATH-DS] Mathematics [math]/Dynamical Systems [math.DS], Network, [MATH] Mathematics [math], Disease spread, 03 medical and health sciences, Epidemics spread, Agent Based Model, H- INFORMATIQUE, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.7: Ordinary Differential Equations, 2. Zero hunger, 0303 health sciences, [SHS.GEO]Humanities and Social Sciences/Geography, Hybrid Approach, Intelligence artificielle, Modélisation et simulation, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING, Ordinary Differential Equations, [INFO.INFO-MA]Computer Science [cs]/Multiagent Systems [cs.MA], [SDV.SPEE] Life Sciences [q-bio]/Santé publique et épidémiologie, Modeling and Simulation, [SDV.SPEE]Life Sciences [q-bio]/Santé publique et épidémiologie, Metapopulation, [INFO.INFO-MA] Computer Science [cs]/Multiagent Systems [cs.MA], [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.11: Distributed Artificial Intelligence/I.2.11.3: Multiagent systems, Hybrid model
File Description: application/pdf; text
Access URL: http://publications.ut-capitole.fr/28865/1/assistant_12079563_2855039459_0.pdf
https://hal.archives-ouvertes.fr/hal-01301222
https://dblp.uni-trier.de/db/conf/mabs/mabs2015.html#BanosCGLR15
https://rd.springer.com/chapter/10.1007/978-3-319-31447-1_2
https://oatao.univ-toulouse.fr/17128/
https://tel.archives-ouvertes.fr/AO-GEOGRAPHIE/hal-01301222
https://hal-univ-tlse3.archives-ouvertes.fr/hal-01301222v1
https://oatao.univ-toulouse.fr/17128/
http://publications.ut-capitole.fr/28865/
https://hal.science/hal-01301222v1
https://doi.org/10.1007/978-3-319-31447-1_2
https://hal.science/hal-01140145v1 -
9Academic Journal
Authors: Revol, Nathalie, Yakoubsohn, Jean-Claude
Contributors: Revol, Nathalie, Computer arithmetic (ARENAIRE), Centre Inria de l'Université Grenoble Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Centre National de la Recherche Scientifique (CNRS), Institut de Mathématiques de Toulouse UMR5219 (IMT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)
Source: Reliable Computing. 6:193-205
Subject Terms: ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.7: Ordinary Differential Equations, Computation of special functions and constants, construction of tables, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, ACM: B.: Hardware/B.2: ARITHMETIC AND LOGIC STRUCTURES/B.2.4: High-Speed Arithmetic, shift-and-add algorithms, [INFO.INFO-AO] Computer Science [cs]/Computer Arithmetic, Other functions coming from differential, difference and integral equations, Numerical methods for initial value problems involving ordinary differential equations, Special ordinary differential equations (Mathieu, Hill, Bessel, etc.)
File Description: application/xml
-
10Academic Journal
Authors: Elias, Jan, Dimitrio, Luna, Clairambault, Jean, Natalini, Roberto
Contributors: Laboratoire Jacques-Louis Lions (LJLL), Université Pierre et Marie Curie - Paris 6 (UPMC)-Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), Modelling and Analysis for Medical and Biological Applications (MAMBA), Université Pierre et Marie Curie - Paris 6 (UPMC)-Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Dipartimento di Matematica Rome, Università degli Studi di Roma Tor Vergata Roma, Italia = University of Rome Tor Vergata Rome, Italy = Université de Rome Tor Vergata Rome, Italie, Istituto per le Applicazioni del Calcolo "Mauro Picone" (IAC), National Research Council of Italy
Source: ISSN: 1478-3967.
Subject Terms: Protein signalling, p53 network, oscillations, ODE, PDE, compartmentalisation, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.7: Ordinary Differential Equations, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.8: Partial Differential Equations/G.1.8.10: Parabolic equations, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
-
11Report
Authors: Foursov, Mikhail, V., Hespel, Christiane
Contributors: Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)
Source: https://inria.hal.science/inria-00001089 ; [Research Report] PI 1781, 2006, pp.17.
Subject Terms: Formal power series, dynamical systems, generating series, weighted Petri nets \\ Séries formelles, systèmes dynamiques, séries génératrices, réseaux de Petri pondérés, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.7: Ordinary Differential Equations, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]
Relation: Report N°: PI 1781
-
12Academic Journal
Authors: De Maesschalck, Peter, Desroches, Mathieu
Contributors: Department of Mathematics and Statistics Hasselt (Faculty of Sciences), Hasselt University (UHasselt), SIgnals and SYstems in PHysiology & Engineering (SISYPHE), Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
Source: ISSN: 1536-0040 ; SIAM Journal on Applied Dynamical Systems ; https://hal.inria.fr/hal-00844785 ; SIAM Journal on Applied Dynamical Systems, Society for Industrial and Applied Mathematics, 2013, 12 (3), pp.1159-1180. ⟨10.1137/120877386⟩ ; http://epubs.siam.org/doi/abs/10.1137/120877386.
Subject Terms: numerical continuation, singular perturbations, Liénard systems, canards, critical periods, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.7: Ordinary Differential Equations, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.7: Ordinary Differential Equations/G.1.7.0: Boundary value problems, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.7: Ordinary Differential Equations/G.1.7.9: Stiff equations, [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS]
Relation: hal-00844785; https://hal.inria.fr/hal-00844785
-
13Academic Journal
Contributors: System synthesis and supervision, scenarios (S4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria), Parallélisme de Kahn Synchrone (Parkas ), Département d'informatique - ENS Paris (DI-ENS), École normale supérieure - Paris (ENS-PSL), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS-PSL), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), This work was supported by the SYNCHRONICS large scale initiative of INRIA.
Source: ISSN: 0022-0000.
Subject Terms: Hybrid systems, Hybrid systems modelers, Non-standard analysis, Non-standard semantics, Constructive semantics, Kahn process networks, Compilation of hybrid systems, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.7: Ordinary Differential Equations, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]