نتائج البحث - "[info.info-cc]computer science [cs]/computational complexity [cs.cc]"

المساهمون: Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS), Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national polytechnique Clermont Auvergne (INP Clermont Auvergne), Université Clermont Auvergne (UCA)-Université Clermont Auvergne (UCA), Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Université Clermont Auvergne [2017-2020] (UCA [2017-2020])-Centre National de la Recherche Scientifique (CNRS), Department of Mathematical Sciences [Clemson], Clemson University, COLARES, RAFAEL

المصدر: European Journal of Operational Research. 310:552-565

مصطلحات موضوعية: [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], Combinatorial optimization, computational complexity, Information Systems and Management, [INFO.INFO-RO] Computer Science [cs]/Operations Research [cs.RO], General Computer Science, polyhedral study, [INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO], Management Science and Operations Research, Industrial and Manufacturing Engineering, [MATH.MATH-CO] Mathematics [math]/Combinatorics [math.CO], Computer Science::Robotics, Modeling and Simulation, [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO], [INFO.INFO-CC] Computer Science [cs]/Computational Complexity [cs.CC], autonomous vehicles, dial-a-ride

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d71f669bad55f919bef796f793ad3d9b
https://doi.org/10.1016/j.ejor.2023.03.018

View record from ScienceDirect

4

دورية أكاديمية

Freezing, Bounded-Change and Convergent Cellular Automata

المؤلفون: Nicolas Ollinger, Guillaume Theyssier

المصدر: Discrete Mathematics & Theoretical Computer Science, Vol vol. 24, no. 1, Iss Automata, Logic and Semantics (2022)

مصطلحات موضوعية: freezing cellular automata, convergent cellular automata, computability, complexity, [info.info-dm]computer science [cs]/discrete mathematics [cs.dm], [info.info-cc]computer science [cs]/computational complexity [cs.cc], [math.math-ds]mathematics [math]/dynamical systems [math.ds], Mathematics, QA1-939

وصف الملف: electronic resource

Relation: https://dmtcs.episciences.org/5734/pdf; https://doaj.org/toc/1365-8050

URL الوصول: https://doaj.org/article/9769546e799b46f98d5976bd46472489

Find this article in full text from ProQuest

Full Text Finder

5

Optimal self-stabilizing mobile byzantine-tolerant regular register with bounded timestamps

المؤلفون: Bonomi, Silvia, del Pozzo, Antonella, Potop-Butucaru, Maria, Tixeuil, Sébastien

المساهمون: Dipartimento di Ingegneria informatica automatica e gestionale [Roma] (DIAG UNIROMA), Università degli Studi di Roma 'La Sapienza' = Sapienza University [Rome] (UNIROMA), Département Ingénierie Logiciels et Systèmes (DILS), 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)-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)-Université Paris-Saclay, Networks and Performance Analysis (NPA), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Laboratory of Information, Network and Communication Sciences (LINCS), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut Mines-Télécom [Paris] (IMT)-Sorbonne Université (SU), 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.), ANR-16-CE25-0009,ESTATE,Auto-stabilisation et amélioration de la sûreté dans les environnements distribués évoluant dans le temps(2016)

المصدر: Theoretical Computer Science
Theoretical Computer Science, In press, ⟨10.1016/j.tcs.2022.11.028⟩

مصطلحات موضوعية: [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], Bounded timestamps, Mobile byzantine failure, Self stabilization, Shared register, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], General Computer Science, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Theoretical Computer Science

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2da82602b71a38ddc2cdaacc78c203e1
https://doi.org/10.1016/j.tcs.2022.11.028

View record from ScienceDirect

6

Trading performance for memory in sparse direct solvers using low-rank compression

المؤلفون: Grégoire PICHON, Thibault Marette, Loris Marchal, Frédéric Vivien

المساهمون: Optimisation des ressources : modèles, algorithmes et ordonnancement (ROMA), 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-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Lyon, Institut National de Recherche en Informatique et en Automatique (Inria), 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), ANR-19-CE46-0009,SOLHARIS,Solveurs pour architectures hétérogènes utilisant des supports d'exécution, objectif scalabilité(2019), 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), Université de Lyon-Université de Lyon-Centre National de la Recherche Scientifique (CNRS), This work is part of the SOLHARIS project, supported by the Agence Nationale de la Recherche, under grant ANR-19-CE46-0009., INRIA, ANR-18-CE46-0006,SaSHiMi,Solveur linéaire creux exploitant des matrices hierarchiques(2018), Roma, Equipe, Solveurs pour architectures hétérogènes utilisant des supports d'exécution, objectif scalabilité - - SOLHARIS2019 - ANR-19-CE46-0009 - AAPG2019 - VALID, APPEL À PROJETS GÉNÉRIQUE 2018 - Solveur linéaire creux exploitant des matrices hierarchiques - - SaSHiMi2018 - ANR-18-CE46-0006 - AAPG2018 - VALID, École normale supérieure - Lyon (ENS 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 - Lyon (ENS Lyon)-Université Claude Bernard Lyon 1 (UCBL), École normale supérieure - Lyon (ENS Lyon), Centre National de la Recherche Scientifique (CNRS)-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-École normale supérieure - Lyon (ENS Lyon)-Centre National de la Recherche Scientifique (CNRS)-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-École normale supérieure - Lyon (ENS Lyon)

المصدر: Future Generation Computer Systems
Future Generation Computer Systems, 2022, 130, pp.307-320. ⟨10.1016/j.future.2021.12.018⟩
[Research Report] RR-9368, INRIA. 2020
Future Generation Computer Systems, Elsevier, In press

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f63db4c7540f15de729501627227b184
https://doi.org/10.1016/j.future.2021.12.018

View record from ScienceDirect

7

An in-place truncated Fourier transform

المؤلفون: Nicholas Coxon

المساهمون: Coxon, Nicholas, Chercheur indépendant

المصدر: Journal of Symbolic Computation. 110:66-80

مصطلحات موضوعية: FOS: Computer and information sciences, [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], Inverse, [INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS], Computational Complexity (cs.CC), symbols.namesake, Simple (abstract algebra), truncated Fourier transform, Computer Science - Data Structures and Algorithms, Overhead (computing), Data Structures and Algorithms (cs.DS), Computer Science::Symbolic Computation, 0601 history and archaeology, Mathematics, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], Algebra and Number Theory, 060102 archaeology, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], in-place algorithms, 06 humanities and the arts, fast Fourier transform, Computer Science - Computational Complexity, Computational Mathematics, Fourier transform, 060105 history of science, technology & medicine, symbols, [INFO.INFO-CC] Computer Science [cs]/Computational Complexity [cs.CC], Algorithm

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9bc9d6711e0a8e6ab678009177054191
https://doi.org/10.1016/j.jsc.2021.10.002

View record from ScienceDirect

8

دورية أكاديمية

A Type System Describing Unboundedness

المؤلفون: Paweł Parys

المصدر: Discrete Mathematics & Theoretical Computer Science, Vol vol. 22 no. 4, Iss Automata, Logic and Semantics (2020)

مصطلحات موضوعية: simultaneous-unboundedness problem, higher-order recursion schemes, intersection types, reflection, [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl], [info.info-lo]computer science [cs]/logic in computer science [cs.lo], [info.info-cc]computer science [cs]/computational complexity [cs.cc], Mathematics, QA1-939

وصف الملف: electronic resource

Relation: https://dmtcs.episciences.org/4748/pdf; https://doaj.org/toc/1365-8050

URL الوصول: https://doaj.org/article/80aec6a61b1b432695b73a279022ee67

Find this article in full text from ProQuest

Full Text Finder

9

Quantum Query Complexity of Boolean Functions under Indefinite Causal Order

المؤلفون: Abbott, Alastair A., Mhalla, Mehdi, Pocreau, Pierre

المساهمون: Traitement optimal de l'information avec des dispositifs quantiques (QINFO), 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)-École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Université Grenoble Alpes (UGA)-Inria Lyon, Institut National de Recherche en Informatique et en Automatique (Inria), Calculs algorithmes programmes et preuves (CAPP), Laboratoire d'Informatique de Grenoble (LIG), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA), ANR-15-IDEX-0002,UGA,IDEX UGA(2015), ANR-22-CE47-0012,TaQC,Dompter la causalité quantique(2022), ANR-22-CMAS-0001,QuanTEdu-France,Quantum technologies: Education and training to fulfill the strategic skill needs of research and industry in France(2022), ANR-22-PETQ-0007,EPiQ,Etude de la pile quantique : Algorithmes, modèles de calcul et simulation pour l'informatique quantique(2022)

مصطلحات موضوعية: [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], Quantum Physics, [PHYS.QPHY]Physics [physics]/Quantum Physics [quant-ph], FOS: Physical sciences, Quantum Physics (quant-ph)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2fe9db0a4da6c91d865e398561298788
https://inria.hal.science/hal-04169582

10

Holonomic equations and efficient random generation of binary trees

المؤلفون: Lescanne, Pierre

المساهمون: 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 - Lyon (ENS Lyon)-Université Claude Bernard Lyon 1 (UCBL)

مصطلحات موضوعية: FOS: Computer and information sciences, [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], binary tree, Mathematics::Combinatorics, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], random generation, Computational Complexity (cs.CC), Computer Science - Computational Complexity, Catalan number, Motzkin number, Schroeder number, combinatorics, Computer Science - Data Structures and Algorithms, Data Structures and Algorithms (cs.DS), combinatorics random generation Motzkin number Catalan number binary tree unary-binary tree, unary-binary tree

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b4d5c194067408db689f5e87ccaaae7c
https://hal.science/hal-03674690

تنقيح النتائج