Showing 1 - 20 results of 141 for search 'K-theory' Narrow Search
1
Conference

Contributors: SATIT, University Abbes Laghrour Khenchela, College of Engineering and Technology, American University of The Middle East Eqaila, Informatique, BioInformatique, Systèmes Complexes (IBISC), Université d'Évry-Val-d'Essonne (UEVE)-Université Paris-Saclay

Superior Title: 14th International Symposium on Intelligent Systems (INTELS 2020)
https://hal.science/hal-03324181
14th International Symposium on Intelligent Systems (INTELS 2020), Dec 2020, Moscow, Russia. pp.109--119, ⟨10.1016/j.procs.2021.04.129⟩

Subject Geographic: Moscow, Russia

3
Conference

Contributors: Université Paris Diderot - Paris 7 (UPD7), Institut de Mathématiques de Jussieu - Paris Rive Gauche (IMJ-PRG (UMR_7586)), Université Pierre et Marie Curie - Paris 6 (UPMC)-Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)

Superior Title: Colloquium of the Steklov Mathematical Institute of Russian Academy of Sciences ; https://hal.science/hal-02062497 ; Colloquium of the Steklov Mathematical Institute of Russian Academy of Sciences, Mar 2019, Moscow, Russia. ⟨10.13140/RG.2.2.14363.31528⟩

Subject Geographic: Moscow, Russia

4
Conference

Contributors: Finite-time control and estimation for distributed systems (VALSE), Inria Lille - Nord Europe, 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), Laboratoire des Sciences du Numérique de Nantes (LS2N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-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), Gallinette : vers une nouvelle génération d'assistant à la preuve (LS2N - équipe GALLINETTE), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST)

Superior Title: IWC 2019 - 8th International Workshop on Confluence ; https://hal.science/hal-02385139 ; IWC 2019 - 8th International Workshop on Confluence, Jun 2019, Dortmund, Germany. pp.1-5

Subject Geographic: Dortmund, Germany

5
Conference

Contributors: Centre de Gestion Scientifique i3 (CGS i3), Mines Paris - PSL (École nationale supérieure des mines de Paris), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut interdisciplinaire de l’innovation (I3), Centre National de la Recherche Scientifique (CNRS)-Centre National de la Recherche Scientifique (CNRS), SNCF : Innovation & Recherche, SNCF

Superior Title: R&D Management Conference 2018 “R&Designing Innovation: Transformational Challenges for Organizations and Society”June, 30th -July, 4th, 2018, Milan, Italy ; R&D Management Conference 2018, "R&Designing Innovation: Transformational Challenges for Organizations and Society" ; https://hal.science/hal-01900545 ; R&D Management Conference 2018, "R&Designing Innovation: Transformational Challenges for Organizations and Society", Jun 2018, Milan, Italy

Subject Geographic: Milan, Italy

6
Conference

Contributors: Modèles et simulations pour l'Architecture et le Patrimoine (MAP), Ministère de la Culture et de la Communication (MCC)-Centre National de la Recherche Scientifique (CNRS), Vinci Construction France

Superior Title: 34th International Symposium on Automation and Robotics in Construction (ISARC 2017)
https://hal.archives-ouvertes.fr/hal-02868754
34th International Symposium on Automation and Robotics in Construction (ISARC 2017), Jun 2017, Taipei, Taiwan

Subject Geographic: Taipei, Taiwan

7
Conference

Contributors: Algèbre, géométrie, logique (AGL), 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), Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX), École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS), ANR-13-BS02-0005,CATHRE,Catégories, Homotopie et Réécriture(2013)

Superior Title: LIPIcs. Leibniz Int. Proc. Inform. ; 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016) ; https://hal.science/hal-01678175 ; 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016), Jun 2016, Porto, Portugal. pp.27:1-27:17

Subject Geographic: Porto, Portugal

Time: Porto, Portugal

8
Conference

Contributors: School of Mathematics (UMN-MATH), University of Minnesota Twin Cities (UMN), University of Minnesota System-University of Minnesota System, James Haglund, Jiang Zeng

Superior Title: ISSN: 1462-7264.

Subject Geographic: Daejeon, South Korea

10
Conference

Contributors: Beijing Institute of Technology (BIT), SCI-STI-DK ME Group, Ecole Polytechnique Fédérale de Lausanne (EPFL), Alexandre Dolgui, Alain Bernard, David Lemoine, Gregor von Cieminski, David Romero, TC 5, WG 5.7

Superior Title: IFIP Advances in Information and Communication Technology ; IFIP International Conference on Advances in Production Management Systems (APMS) ; https://hal.inria.fr/hal-03806550 ; IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2021, Nantes, France. pp.208-217, ⟨10.1007/978-3-030-85910-7_22⟩

Subject Geographic: Nantes, France

11
Conference

Contributors: Branko Katalinic, Motyl, Barbara, Filippi, Stefano

File Description: ELETTRONICO

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000335859300173; ispartofbook:24th DAAAM International Symposium on Intelligent Manufacturing and Automation, 2013; 24th DAAAM International Symposium on Intelligent Manufacturing and Automation, 2013; volume:69; firstpage:1316; lastpage:1325; numberofpages:10; journal:PROCEDIA ENGINEERING; alleditors:Branko Katalinic; http://hdl.handle.net/11390/876201; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84899044999

12
Conference

Contributors: Mathematishes Institut, Westfälische Wilhelms-Universität Münster = University of Münster (WWU), Department of Mathematical Sciences Copenhagen, Faculty of Science Copenhagen, University of Copenhagen = Københavns Universitet (UCPH)-University of Copenhagen = Københavns Universitet (UCPH), Laboratoire de Mathématiques Blaise Pascal (LMBP), Université Blaise Pascal - Clermont-Ferrand 2 (UBP)-Centre National de la Recherche Scientifique (CNRS), Mathematical Society of Japan, European Project

Superior Title: Noncommutativity and singularities, Proceedings of French-Japanese symposia held at IHES in 2006 ; Noncommutativity ; https://hal.science/hal-00483074 ; Noncommutativity, Nov 2006, Bures-sur-Yvette, France. pp.209-221

Subject Geographic: Bures-sur-Yvette, France

13
Conference

Contributors: Preuves, Programmes et Systèmes (PPS), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), Design, study and implementation of languages for proofs and programs ( PI.R2 ), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-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), 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), Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA), Van Raamsdonk, Femke

Superior Title: RTA - 24th International Conference on Rewriting Techniques and Applications - 2013 ; https://inria.hal.science/hal-00818253 ; RTA - 24th International Conference on Rewriting Techniques and Applications - 2013, Jun 2013, Eindhoven, Netherlands. pp.223-238, ⟨10.4230/LIPIcs.RTA.2013.223⟩

Subject Geographic: Eindhoven, Netherlands

14
Conference

Contributors: Technion - Israel Institute of Technology Haifa, Centre de Gestion Scientifique i3 (CGS i3), Mines Paris - PSL (École nationale supérieure des mines de Paris), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut interdisciplinaire de l’innovation (I3), Centre National de la Recherche Scientifique (CNRS)-Centre National de la Recherche Scientifique (CNRS)

Superior Title: International Conference on Engineering Design ; https://minesparis-psl.hal.science/hal-01485086 ; International Conference on Engineering Design, 2013, Séoul, South Korea

Subject Geographic: Séoul, South Korea

15
Conference

Contributors: Centre de Gestion Scientifique i3 (CGS i3), Mines Paris - PSL (École nationale supérieure des mines de Paris), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut interdisciplinaire de l’innovation (I3), Centre National de la Recherche Scientifique (CNRS)-Centre National de la Recherche Scientifique (CNRS), Tel Aviv University (TAU)

Superior Title: International Conference on Engineering Design ; https://minesparis-psl.hal.science/hal-01485144 ; International Conference on Engineering Design , 2013, Séoul, South Korea

Subject Geographic: Séoul, South Korea

16
Conference

Contributors: Laboratoire Angevin de Mécanique, Procédés et InnovAtion (LAMPA), Université de Bordeaux (UB)-Institut Polytechnique de Bordeaux-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)-Arts et Métiers Sciences et Technologies, HESAM Université - Communauté d'universités et d'établissements Hautes écoles Sorbonne Arts et métiers université (HESAM)-HESAM Université - Communauté d'universités et d'établissements Hautes écoles Sorbonne Arts et métiers université (HESAM)

Superior Title: International Workshop on The Future of Trans-Disciplinary Design (TFTD) ; https://hal.science/hal-01197480 ; International Workshop on The Future of Trans-Disciplinary Design (TFTD), Jun 2013, Luxembourg, Luxembourg. 11p

Subject Geographic: Luxembourg

17
Conference

Contributors: École de design Nantes Atlantique, Laboratoire Angevin de Mécanique, Procédés et InnovAtion (LAMPA), Université de Bordeaux (UB)-Institut Polytechnique de Bordeaux-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)-Arts et Métiers Sciences et Technologies, HESAM Université - Communauté d'universités et d'établissements Hautes écoles Sorbonne Arts et métiers université (HESAM)-HESAM Université - Communauté d'universités et d'établissements Hautes écoles Sorbonne Arts et métiers université (HESAM)

Superior Title: 19th International Engineering Design Conference “Design for Harmonies” (ICED)
https://hal.science/hal-01206689
19th International Engineering Design Conference “Design for Harmonies” (ICED), Aug 2013, Séoul, South Korea. 1 p.0

Subject Geographic: Séoul, South Korea

18
Conference

Contributors: Laboratoire Mécatronique 3M - Méthodes, Modèles , Métiers (M3M), Université de Technologie de Belfort-Montbeliard (UTBM), Department of Engineering Design and Production, Department of Engineering design and Production, TKK Helsinki University of Technology (TKK)-TKK Helsinki University of Technology (TKK), Environnement, Ville, Société (EVS), École normale supérieure de Lyon (ENS de Lyon)-École des Mines de Saint-Étienne (Mines Saint-Étienne MSE), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université Lumière - Lyon 2 (UL2)-Université Jean Moulin - Lyon 3 (UJML), Université de Lyon-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)-École Nationale des Travaux Publics de l'État (ENTPE)-École nationale supérieure d'architecture de Lyon (ENSAL)-Centre National de la Recherche Scientifique (CNRS), Culley, S.J., Hicks, B.J., McAloone, T.C., Howard, T.J. & Reich, Y.

Superior Title: Proceedings of the 18th International Conference on Engineering Design (ICED 11) ; International Conference on Engineering Design ICED 2011 ; https://shs.hal.science/halshs-00705387 ; International Conference on Engineering Design ICED 2011, Aug 2011, Copenhague, Denmark. pp.323-333

Subject Geographic: Copenhague, Denmark

19
Conference

Contributors: North Carolina State University Raleigh (NC State), University of North Carolina System (UNC), University of Michigan Ann Arbor, University of Michigan System, Bousquet-Mélou, Mireille and Wachs, Michelle and Hultman, Axel

Superior Title: ISSN: 1462-7264.

Subject Geographic: Reykjavik

Time: Reykjavik, Iceland

20
Conference

Contributors: Okayama University of Science, Okayama University, Department of Mathematical Informatics (University of Tokyo), The University of Tokyo (UTokyo), Japan Science and Technology Agency (JST), Bousquet-Mélou, Mireille and Wachs, Michelle and Hultman, Axel

Superior Title: ISSN: 1462-7264.

Subject Geographic: Reykjavik

Time: Reykjavik, Iceland