المؤلفون: Xu, Cheng-Zhong, Xu, Gen, Qi

المساهمون: Laboratoire d'automatique et de génie des procédés (LAGEP), Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-École Supérieure de Chimie Physique Électronique de Lyon (CPE)-Centre National de la Recherche Scientifique (CNRS)

المصدر: ISSN: 0363-0129.

مصطلحات موضوعية: asymptotic stability, wave equation, saturated nonlinear feedback stabilization, boundary disturbance, sliding mode control, periodic trajectories, AMS subject classifications. 93C10, 93C20, 93D15, 93D30, [SPI.AUTO]Engineering Sciences [physics]/Automatic, [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering, [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS]

العلاقة: hal-02051505; https://hal.science/hal-02051505Test; https://hal.science/hal-02051505/documentTest; https://hal.science/hal-02051505/file/SaturatedFeedbackStabilization2019.pdfTest

الإتاحة: https://doi.org/10.1137/15M1034350Test
https://hal.science/hal-02051505Test
https://hal.science/hal-02051505/documentTest
https://hal.science/hal-02051505/file/SaturatedFeedbackStabilization2019.pdfTest

المؤلفون: Yu, Yang, Pei, Hai-Long, Xu, Cheng-Zhong

المساهمون: Shanghai Jiao Tong University Shanghai, South China University of Technology Guangzhou (SCUT), Laboratoire d'automatique et de génie des procédés (LAGEP), Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-École Supérieure de Chimie Physique Électronique de Lyon (CPE)-Centre National de la Recherche Scientifique (CNRS)

المصدر: ISSN: 0167-6911.

مصطلحات موضوعية: infinite dimensional system, Water wave equation, water depth, velocity potential, gradient descent method, parametric identification, [SPI.AUTO]Engineering Sciences [physics]/Automatic, [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering, [SPI.MECA.VIBR]Engineering Sciences [physics]/Mechanics [physics.med-ph]/Vibrations [physics.class-ph], [INFO.INFO-SY]Computer Science [cs]/Systems and Control [cs.SY]

العلاقة: hal-02056751; https://hal.science/hal-02056751Test; https://hal.science/hal-02056751/documentTest; https://hal.science/hal-02056751/file/Sample_HAL2019.pdfTest

الإتاحة: https://doi.org/10.1016/j.sysconle.2018.12.010Test
https://hal.science/hal-02056751Test
https://hal.science/hal-02056751/documentTest
https://hal.science/hal-02056751/file/Sample_HAL2019.pdfTest

المؤلفون: Bergounioux, Maïtine, Maïtine, Bretin, Elie, Privat, Yannick

المساهمون: Mathématiques - Analyse, Probabilités, Modélisation - Orléans (MAPMO), Université d'Orléans (UO)-Centre National de la Recherche Scientifique (CNRS), Modélisation mathématique, calcul scientifique (MMCS), Institut Camille Jordan (ICJ), École Centrale de Lyon (ECL), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet - Saint-Étienne (UJM)-Centre National de la Recherche Scientifique (CNRS)-École Centrale de Lyon (ECL), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet - Saint-Étienne (UJM)-Centre National de la Recherche Scientifique (CNRS), Institut de Recherche Mathématique Avancée (IRMA), Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS), Y. Privat was partially supported by the Project ``Analysis and simulation of optimal shapes - application to lifesciences'' of the Paris City Hall.

المصدر: ISSN: 0266-5611.

مصطلحات موضوعية: wave equation, calculus of variation, primal-dual algorithm, shape optimization, min-imax problem, observability, [MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]

العلاقة: info:eu-repo/semantics/altIdentifier/arxiv/1809.07060; hal-01874889; https://hal.science/hal-01874889Test; https://hal.science/hal-01874889v2/documentTest; https://hal.science/hal-01874889v2/file/Sensors_BBP-rev2.pdfTest; ARXIV: 1809.07060

الإتاحة: https://doi.org/10.1088/1361-6420/ab0e4dTest
https://hal.science/hal-01874889Test
https://hal.science/hal-01874889v2/documentTest
https://hal.science/hal-01874889v2/file/Sensors_BBP-rev2.pdfTest

المؤلفون: Heibig, Arnaud

المساهمون: Modélisation mathématique, calcul scientifique (MMCS), Institut Camille Jordan (ICJ), École Centrale de Lyon (ECL), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet - Saint-Étienne (UJM)-Centre National de la Recherche Scientifique (CNRS)-École Centrale de Lyon (ECL), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet - Saint-Étienne (UJM)-Centre National de la Recherche Scientifique (CNRS)

المصدر: ISSN: 0893-9659 ; Applied Mathematics Letters ; https://hal.science/hal-01840160Test ; Applied Mathematics Letters, 2018, 81, pp.27-34. ⟨10.1016/j.aml.2018.01.015⟩.

مصطلحات موضوعية: Transport-diffusion equation, wave equation, Debye system, Chemin-Lerner spaces, Gagliardo-Nirenberg inequalities, [MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP]

العلاقة: hal-01840160; https://hal.science/hal-01840160Test; https://hal.science/hal-01840160/documentTest; https://hal.science/hal-01840160/file/DebyeWaveHal.pdfTest

الإتاحة: https://doi.org/10.1016/j.aml.2018.01.015Test
https://hal.science/hal-01840160Test
https://hal.science/hal-01840160/documentTest
https://hal.science/hal-01840160/file/DebyeWaveHal.pdfTest

المؤلفون: Déchard, J, Nguyen, A, González de Alaiza Martínez, P, Thiele, I, Skupin, Stefan, Bergé, L

المساهمون: Commissariat à l'énergie atomique et aux énergies alternatives (CEA), Centre d'Etudes Lasers Intenses et Applications (CELIA), Université de Bordeaux (UB)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Centre National de la Recherche Scientifique (CNRS), Institut Lumière Matière Villeurbanne (ILM), Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Centre National de la Recherche Scientifique (CNRS)

المصدر: ISSN: 2399-6528 ; Journal of Physics Communications ; https://hal.science/hal-01671235Test ; Journal of Physics Communications, 2017, 1 (5), pp.55009 - 55009. ⟨10.1088/2399-6528/aa8cfe⟩.

مصطلحات موضوعية: unidirectional pulse propagation equation, terahertz pulse generation, wave equation, Maxwell-fluid model, [PHYS.PHYS.PHYS-OPTICS]Physics [physics]/Physics [physics]/Optics [physics.optics], [PHYS.PHYS.PHYS-ATOM-PH]Physics [physics]/Physics [physics]/Atomic Physics [physics.atom-ph], [PHYS.PHYS.PHYS-PLASM-PH]Physics [physics]/Physics [physics]/Plasma Physics [physics.plasm-ph]

العلاقة: hal-01671235; https://hal.science/hal-01671235Test; https://hal.science/hal-01671235/documentTest; https://hal.science/hal-01671235/file/D%C3%A9chard%20et%20al.%20-%20Journal%20of%20Physics%20Communications%20-%202017%20-%20Validity%20of%20the%20unidirectional%20propagation%20model%20application%20to%20laser-drive.pdfTest

الإتاحة: https://doi.org/10.1088/2399-6528/aa8cfeTest
https://hal.science/hal-01671235Test
https://hal.science/hal-01671235/documentTest
https://hal.science/hal-01671235/file/D%C3%A9chard%20et%20al.%20-%20Journal%20of%20Physics%20Communications%20-%202017%20-%20Validity%20of%20the%20unidirectional%20propagation%20model%20application%20to%20laser-drive.pdfTest

المؤلفون: Yu, Yang, Xu, Cheng-Zhong

المساهمون: Memorial Sloane Kettering Cancer Center New York, Laboratoire d'automatique et de génie des procédés (LAGEP), Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-École Supérieure de Chimie Physique Électronique de Lyon (CPE)-Centre National de la Recherche Scientifique (CNRS)

المصدر: The 27th Chinese Control and Decision Conference (2015 CCDC) ; 2015 27th Chinese Control and Decision Conference (CCDC) ; https://hal.science/hal-02387497Test ; 2015 27th Chinese Control and Decision Conference (CCDC), May 2015, Qingdao, China. pp.2067-2070, ⟨10.1109/CCDC.2015.7162261⟩

مصطلحات موضوعية: wave equation, observer, convergence, finite element method, [SPI.AUTO]Engineering Sciences [physics]/Automatic, [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering, [SPI.MECA.VIBR]Engineering Sciences [physics]/Mechanics [physics.med-ph]/Vibrations [physics.class-ph]

جغرافية الموضوع: Qingdao, China

العلاقة: hal-02387497; https://hal.science/hal-02387497Test; https://hal.science/hal-02387497/documentTest; https://hal.science/hal-02387497/file/ObserverCCC2015_YU2015.pdfTest

الإتاحة: https://doi.org/10.1109/CCDC.2015.7162261Test
https://hal.science/hal-02387497Test
https://hal.science/hal-02387497/documentTest
https://hal.science/hal-02387497/file/ObserverCCC2015_YU2015.pdfTest

المؤلفون: Alguacil, Antonio, Pinto, Wagner Gonçalves, Bauerheim, Michael, Jacob, Marc C., Moreau, Stéphane

المساهمون: Département Aérodynamique Energétique et Propulsion (DAEP), Institut Supérieur de l'Aéronautique et de l'Espace (ISAE-SUPAERO), Université de Sherbrooke (UdeS), Laboratoire de Mecanique des Fluides et d'Acoustique (LMFA), École Centrale de Lyon (ECL), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Centre National de la Recherche Scientifique (CNRS), Université de Lyon, ANR-17-EURE-0005,TSAE,Ecole diplômante en aéronautique et astronautique(2017)

المصدر: Machine Learning and Knowledge Discovery in Databases. Applied Data Science Track ; https://hal.science/hal-03334697Test ; Machine Learning and Knowledge Discovery in Databases. Applied Data Science Track, 12979, Springer International Publishing, pp.102-117, 2021, Lecture Notes in Computer Science, 978-3-030-86517-7. ⟨10.1007/978-3-030-86517-7_7⟩

مصطلحات موضوعية: Boudndary conditions, Fully convolutional neural network, padding, heat equation, wave equation, [INFO.INFO-NE]Computer Science [cs]/Neural and Evolutionary Computing [cs.NE], [SPI.ACOU]Engineering Sciences [physics]/Acoustics [physics.class-ph], [SPI.MECA.MEFL]Engineering Sciences [physics]/Mechanics [physics.med-ph]/Fluids mechanics [physics.class-ph], [SPI.SIGNAL]Engineering Sciences [physics]/Signal and Image processing, [PHYS.PHYS.PHYS-FLU-DYN]Physics [physics]/Physics [physics]/Fluid Dynamics [physics.flu-dyn]

العلاقة: info:eu-repo/semantics/altIdentifier/arxiv/2106.11160; hal-03334697; https://hal.science/hal-03334697Test; ARXIV: 2106.11160

الإتاحة: https://doi.org/10.1007/978-3-030-86517-7_7Test
https://hal.science/hal-03334697Test

المؤلفون: Boldo, Sylvie, Clément, François, Filliâtre, Jean-Christophe, Mayero, Micaela, Melquiond, Guillaume, Weis, Pierre

المساهمون: Proof of Programs (PROVAL), Université Paris-Sud - Paris 11 (UP11)-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)-Centre National de la Recherche Scientifique (CNRS), Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Parameter estimation and modeling in heterogeneous media (ESTIME), Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), 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), Computer arithmetic (ARENAIRE), Inria Grenoble - Rhône-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é Claude Bernard Lyon 1 (UCBL), Université de Lyon-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é Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Centre National de la Recherche Scientifique (CNRS), Matt Kaufmann and Lawrence C. Paulson

المصدر: ITP'10 - Interactive Theorem Proving ; https://inria.hal.science/inria-00450789Test ; ITP'10 - Interactive Theorem Proving, Jul 2010, Edinburgh, United Kingdom. pp.147-162, ⟨10.1007/978-3-642-14052-5_12⟩

مصطلحات موضوعية: partial differential equation, acoustic wave equation, numerical scheme, Coq formal proofs, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.8: Partial Differential Equations/G.1.8.2: Finite difference methods, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA]

جغرافية الموضوع: Edinburgh, United Kingdom

العلاقة: info:eu-repo/semantics/altIdentifier/arxiv/1005.0824; inria-00450789; https://inria.hal.science/inria-00450789Test; https://inria.hal.science/inria-00450789v3/documentTest; https://inria.hal.science/inria-00450789v3/file/RR-7181.pdfTest; ARXIV: 1005.0824

الإتاحة: https://doi.org/10.1007/978-3-642-14052-5_12Test
https://inria.hal.science/inria-00450789Test
https://inria.hal.science/inria-00450789v3/documentTest
https://inria.hal.science/inria-00450789v3/file/RR-7181.pdfTest

المؤلفون: Boldo, Sylvie, Clément, François, Filliâtre, Jean-Christophe, Mayero, Micaela, Melquiond, Guillaume, Weis, Pierre

المساهمون: Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Formally Verified Programs, Certified Tools and Numerical Computations (TOCCATA), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-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), Environmental Modeling, Optimization and Programming Models (POMDAPI), Inria Paris-Rocquencourt, 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), Computer arithmetic (ARENAIRE), Inria Grenoble - Rhône-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é Claude Bernard Lyon 1 (UCBL), Université de Lyon-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é Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Centre National de la Recherche Scientifique (CNRS)

المصدر: ISSN: 0168-7433.

مصطلحات موضوعية: Formal proof of numerical program, Convergence of numerical scheme, Proof of C program, Coq formal proof, Acoustic wave equation, Partial differential equation, Rounding error analysis, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.8: Partial Differential Equations/G.1.8.2: Finite difference methods, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA], [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic

العلاقة: info:eu-repo/semantics/altIdentifier/arxiv/1112.1795; hal-00649240; https://inria.hal.science/hal-00649240Test; https://inria.hal.science/hal-00649240v3/documentTest; https://inria.hal.science/hal-00649240v3/file/RR-7826.pdfTest; ARXIV: 1112.1795

الإتاحة: https://doi.org/10.1007/s10817-012-9255-4Test
https://inria.hal.science/hal-00649240Test
https://inria.hal.science/hal-00649240v3/documentTest
https://inria.hal.science/hal-00649240v3/file/RR-7826.pdfTest

المؤلفون: Brandolese, Lorenzo

المساهمون: Institut Camille Jordan (ICJ), École Centrale de Lyon (ECL), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet - Saint-Étienne (UJM)-Centre National de la Recherche Scientifique (CNRS)

المصدر: ISSN: 1073-7928.

مصطلحات موضوعية: Moderate weight, Unique continuation, Blowup, Persistence, Water wave equation, Shallow water, 35Q35, 74J35, 74H35, [MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP]

العلاقة: info:eu-repo/semantics/altIdentifier/arxiv/1202.0718; hal-00666127; https://hal.science/hal-00666127Test; https://hal.science/hal-00666127/documentTest; https://hal.science/hal-00666127/file/breakdown.pdfTest; ARXIV: 1202.0718

الإتاحة: https://doi.org/10.1093/imrn/rnr218Test
https://hal.science/hal-00666127Test
https://hal.science/hal-00666127/documentTest
https://hal.science/hal-00666127/file/breakdown.pdfTest