Výsledky vyhľadávania - "Contractor Programming"

Structural identification using a nonlinear constraint satisfaction processor with interval arithmetic and contractor programming

Autori: Timothy Kernicky Matthew Whelan Usman Rauf a ďalší

Zdroj: Computers & Structures. 188:1-16

Predmety: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 0201 civil engineering

Prístupová URL adresa: http://manuscript.elsevier.com/S0045794916308185/pdf/S0045794916308185.pdf
https://www.sciencedirect.com/science/article/pii/S0045794916308185
http://www.sciencedirect.com/science/article/pii/S0045794916308185

Proving Feasibility of a Docking Mission: A Contractor Programming Approach

Autori: Auguste Bourgois Simon Rohou Luc Jaulin a ďalší

Prispievatelia: Auguste Bourgois Simon Rohou Luc Jaulin a ďalší

Zdroj: Mathematics, Vol 10, Iss 7, p 1130 (2022)
Mathematics; Volume 10; Issue 7; Pages: 1130

Predmety: constraint programming, guaranteed integration, [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS], underwater robotics applications, tube arithmetic, interval analysis, [SPI.AUTO]Engineering Sciences [physics]/Automatic, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], QA1-939, [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO], [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA], Mathematics

Popis súboru: application/pdf

Prístupová URL adresa: https://doaj.org/article/c00cd1e7068347daa917f674b9ca0894

Global Optimization based on Contractor Programming

Autori: Ninin, Jordan Chabert, Gilles

Prispievatelia: Ninin, Jordan Chabert, Gilles

Predmety: Interval Arithmetic, Global Optimization, [MATH.MATH-OC] Mathematics [math]/Optimization and Control [math.OC], [INFO.INFO-RO] Computer Science [cs]/Operations Research [math.OC], Contractor Programming

Popis súboru: application/pdf

Prístupová URL adresa: https://hal.science/hal-01194742v1

Contractor programming

Autori: Chabert, Gilles Jaulin, Luc Laboratoire d'Informatique de Nantes Atlantique (LINA) a ďalší

Prispievatelia: Chabert, Gilles Jaulin, Luc Laboratoire d'Informatique de Nantes Atlantique (LINA) a ďalší

Zdroj: Artificial Intelligence. 173:1079-1100

Predmety: Constraint processing, 0209 industrial biotechnology, Artificial Intelligence, 0211 other engineering and technologies, Interval methods, 02 engineering and technology, Programming languages, Solver design, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

Prístupová URL adresa: http://dl.acm.org/citation.cfm?id=1550966.1551245

Global Optimization Based on Contractor Programming: An Overview of the IBEX Library

Autori: Jordan Ninin

Zdroj: Lecture Notes in Computer Science ISBN: 9783319328584

Predmety: 0209 industrial biotechnology, 0211 other engineering and technologies, 02 engineering and technology

Prístupová URL adresa: https://hal.archives-ouvertes.fr/hal-01236169/file/macis_paper_66.pdf
https://link.springer.com/chapter/10.1007%2F978-3-319-32859-1_47
https://rd.springer.com/chapter/10.1007/978-3-319-32859-1_47
https://www.ensta-bretagne.fr/ninin/conf/MACIS_2015_submission_66.pdf

Certified Calibration of a Cable-Driven Robot Using Interval Contractor Programming

Autori: Alexandre Dit Sandretto, Julien Trombettoni, Gilles Daney, David a ďalší

Prispievatelia: Alexandre Dit Sandretto, Julien Trombettoni, Gilles Daney, David a ďalší

Zdroj: Mechanisms and Machine Science ISBN: 9789400772137

Predmety: Cable-driven robots, Calibration, [INFO.INFO-RB] Computer Science [cs]/Robotics [cs.RO], [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO], Interval analysis

Popis súboru: application/pdf

Prístupová URL adresa: https://hal.inria.fr/hal-00907499/file/40.pdf
https://inria.hal.science/hal-00907499v1
https://doi.org/10.1007/978-94-007-7214-4_24
https://inria.hal.science/hal-00907499v1/document
https://rd.springer.com/chapter/10.1007/978-94-007-7214-4_24
https://link.springer.com/chapter/10.1007/978-94-007-7214-4_24/fulltext.html
https://hal.inria.fr/hal-00907499/document
https://hal.inria.fr/hal-00907499
https://link.springer.com/chapter/10.1007/978-94-007-7214-4_24

Global Optimization based on Contractor Programming: an Overview of the IBEX library

Autori: Ninin, Jordan Lab-STICC_ENSTAB_CID_IHSEV OSM a ďalší

Prispievatelia: Ninin, Jordan Lab-STICC_ENSTAB_CID_IHSEV OSM a ďalší

Zdroj: MACIS ; https://hal.science/hal-01236169 ; MACIS, Nov 2015, Berlin, Germany ; http://macis2015.zib.de/

Predmety: [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], [INFO.INFO-RO]Computer Science [cs]/Operations Research [math.OC]

Geografické téma: Berlin, Germany

Dostupnosť: https://hal.science/hal-01236169
https://hal.science/hal-01236169v1/document
https://hal.science/hal-01236169v1/file/macis_paper_66.pdf

Global Optimization based on Contractor Programming ; Global Optimization based on Contractor Programming: Application to $H_\infty$ synthesis

Autori: Ninin, Jordan Monnet, Dominique Clement, Benoit a ďalší

Prispievatelia: Ninin, Jordan Monnet, Dominique Clement, Benoit a ďalší

Zdroj: 8th Small Workshop on Interval Methods
https://hal.science/hal-01194756
8th Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
http://kam.mff.cuni.cz/conferences/swim2015/

Predmety: Contractor Programming, Global Optimization, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization/G.1.6.2: Global optimization, ACM: B.: Hardware/B.6: LOGIC DESIGN/B.6.3: Design Aids/B.6.3.0: Automatic synthesis, [INFO.INFO-RO]Computer Science [cs]/Operations Research [math.OC], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]

Geografické téma: Prague, Czech Republic

Dostupnosť: https://hal.science/hal-01194756

Robust TDOA passive location using interval analysis and contractor programming

Autori: Reynet, Olivier Jaulin, Luc Chabert, Gilles a ďalší

Prispievatelia: Reynet, Olivier Jaulin, Luc Chabert, Gilles a ďalší

Zdroj: Radar Conference - Surveillance for a Safer World, 2009. RADAR. International ; https://hal.science/hal-00911254 ; Radar Conference - Surveillance for a Safer World, 2009. RADAR. International, Oct 2009, France. pp.1 - 6

Predmety: [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO]

Dostupnosť: https://hal.science/hal-00911254
https://hal.science/hal-00911254v1/document
https://hal.science/hal-00911254v1/file/Reynet-Radar2009.pdf

Proving Feasibility of a Docking Mission: A Contractor Programming Approach.

Autori: Bourgois, Auguste Rohou, Simon Jaulin, Luc a ďalší

Zdroj: Mathematics (2227-7390); Apr2022, Vol. 10 Issue 7, p1130-1130, 20p

Predmety: CONSTRAINT programming, OPERATING costs, CONTRACTORS, ROBOTICS, TUBES

RISC-V Based Hardware Acceleration of Interval Contractor Primitives in the Context of Mobile Robotics

Autori: Pierre Filiol Bollengier, Theotime Jaulin, Luc a ďalší

Zdroj: Acta Cybernetica; Vol. 26 No. 4 (2024): Vol 26 No 4 (2024): Special Issue of SWIM 2022 and 2023; 889-912 ; 2676-993X ; 0324-721X

Predmety: intervals, contractor programming, RISC-V, IEEE-1788, mobile robotics, FPGA

Popis súboru: application/pdf

Relation: https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4444/4104

Dostupnosť: https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4444
https://doi.org/10.14232/actacyb.306636

Continuous Global Optimization based on Contractor Programming

Autori: Ninin, Jordan Lab-STICC_ENSTAB_CID_IHSEV OSM a ďalší

Prispievatelia: Ninin, Jordan Lab-STICC_ENSTAB_CID_IHSEV OSM a ďalší

Zdroj: 27th Europeen Conference on Operational Research
https://hal.science/hal-01194764
27th Europeen Conference on Operational Research, Jul 2015, Glasgow, United Kingdom
http://www.euro2015.org/

Predmety: [INFO.INFO-RO]Computer Science [cs]/Operations Research [math.OC], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]

Geografické téma: Glasgow, United Kingdom

Dostupnosť: https://hal.science/hal-01194764

Global Optimization Based on Contractor Programming: An Overview of the IBEX Library.

Autori: Ninin, Jordan

Zdroj: Mathematical Aspects of Computer & Information Sciences; 2016, p555-559, 5p

Optimisation globale basée sur les contracteurs : Application au contrôle aérien

Autori: Ninin, Jordan Lab-STICC_ENSTAB_CID_IHSEV OSM a ďalší

Prispievatelia: Ninin, Jordan Lab-STICC_ENSTAB_CID_IHSEV OSM a ďalší

Zdroj: ROADEF 2015 ; https://hal.science/hal-01137744 ; ROADEF 2015, société Française de Recherche Opérationnelle et Aide à la Décision, Feb 2015, Marseille, France

Predmety: contrôle aérien, arithmétique d’intervalles, contractor programming, optimisation globale, [SPI]Engineering Sciences [physics], [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], [SPI.AUTO]Engineering Sciences [physics]/Automatic

Geografické téma: Marseille, France

Dostupnosť: https://hal.science/hal-01137744
https://hal.science/hal-01137744v1/document
https://hal.science/hal-01137744v1/file/2015_ROADEF.pdf

Certified Calibration of a Cable-Driven Robot Using Interval Contractor Programming.

Autori: Sandretto, Julien Alexandre dit Trombettoni, Gilles Daney, David a ďalší

Zdroj: Computational Kinematics (9789400772137); 2014, p209-217, 9p

Contraction, propagation and bisection on a validated simulation of ODE

Autori: Alexandre Dit Sandretto, Julien Chapoutot, Alexandre Sûreté et Fiabilité des Logiciels (SFL) a ďalší

Prispievatelia: Alexandre Dit Sandretto, Julien Chapoutot, Alexandre Sûreté et Fiabilité des Logiciels (SFL) a ďalší

Zdroj: Summer Workshop on Interval Methods ; https://hal.science/hal-01325068 ; Summer Workshop on Interval Methods, Jun 2016, Lyon, France

Predmety: guaranteed numerical integration, ordinary differential equations, contractor programming, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Geografické téma: Lyon, France

Dostupnosť: https://hal.science/hal-01325068
https://hal.science/hal-01325068v1/document
https://hal.science/hal-01325068v1/file/ctc.pdf

Contractor programming

Autori: Gilles Chabert Luc Jaulin The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Gilles Chabert Luc Jaulin The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.ensta-bretagne.fr/jaulin/paper_chabert_quimper.pdf.

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.408.2976

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.408.2976
http://www.ensta-bretagne.fr/jaulin/paper_chabert_quimper.pdf

Contractor Programming

Autori: Gilles Chabert Luc Jaulin The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Gilles Chabert Luc Jaulin The Pennsylvania State University CiteSeerX Archives

Zdroj: http://hal.archives-ouvertes.fr/docs/00/42/89/57/PDF/quimper.pdf.

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.366.8187

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.366.8187
http://hal.archives-ouvertes.fr/docs/00/42/89/57/PDF/quimper.pdf

Robust TDOA passive location using interval analysis and contractor programming.

Autori: Reynet, O. Jaulin, L. Chabert, G.

Zdroj: International Radar Conference - Surveillance for a Safer World, 2009 (RADAR); 2009, p1-6, 6p

Contractors and Linear Matrix Inequalities

Autori: Nicola, Jeremy Jaulin, Luc Lab-STICC_ENSTAB_CID_IHSEV a ďalší

Prispievatelia: Nicola, Jeremy Jaulin, Luc Lab-STICC_ENSTAB_CID_IHSEV a ďalší

Zdroj: ASCE-ASME Journal of Risk and Uncertainty in Engineering Systems Part B: Mechanical Engineering. 1

Predmety: contractor programming, 0209 industrial biotechnology, convex optimization, 13. Climate action, constraint propagation, 0211 other engineering and technologies, 02 engineering and technology, interval analysis, 16. Peace & justice, linear matrix inequality, robotics Read More: http://ascelibrary.org/doi/abs/10.1115/1.4030781, [SPI.AUTO]Engineering Sciences [physics]/Automatic

Prístupová URL adresa: https://www.ensta-bretagne.fr/jaulin/paper_nicola_lmi.pdf
https://asmedigitalcollection.asme.org/risk/article/1/3/031004/475922/Contractors-and-Linear-Matrix-Inequalities
https://www.ensta-bretagne.fr/jaulin/paper_nicola_lmi.pdf
http://proceedings.asmedigitalcollection.asme.org/article.aspx?articleid=2322854
https://fluidsengineering.asmedigitalcollection.asme.org/article.aspx?articleid=2322854
https://hal.archives-ouvertes.fr/hal-01277583
https://proceedings.asmedigitalcollection.asme.org/article.aspx?articleid=2322854