Výsledky vyhledávání - "ACM: F.: Theory of Computation"

The dark side of financial dynamics: a Schumpeterian destructive creation process

Autoři: Lyubov Klapkiv Faruk Ulgen Ciesla, Catherine a další

Přispěvatelé: Lyubov Klapkiv Faruk Ulgen Ciesla, Catherine a další

Zdroj: Bank i Kredyt. 55:661-682

Témata: financial crises, JEL: G - Financial Economics/G.G0 - General/G.G0.G01 - Financial Crises, JEL: O - Economic Development, ekonomia ewolucyjna, Methodology, and Heterodox Approaches/B.B5 - Current Heterodox Approaches/B.B5.B52 - Institutional • Evolutionary, JEL: G - Financial Economics/G.G1 - General Financial Markets/G.G1.G18 - Government Policy and Regulation, regulation, creative destruction, [SHS.ECO]Humanities and Social Sciences/Economics and Finance, Technological Change, ACM: F.: Theory of Computation, innovation, JEL: B - History of Economic Thought, regulacja, twórcza destrukcja, kryzysy finansowe, Słowa kluczowe: destrukcyjna twórczość, JEL: E - Macroeconomics and Monetary Economics/E.E1 - General Aggregative Models/E.E1.E14 - Austrian • Evolutionary • Institutional, evolutionary economics, and Growth/O.O3 - Innovation • Research and Development • Technological Change • Intellectual Property Rights/O.O3.O31 - Innovation and Invention: Processes and Incentives, destructive creation, [SHS.ECO] Humanities and Social Sciences/Economics and Finance, innowacje

Přístupová URL adresa: https://shs.hal.science/halshs-04746678v1

Autostabilizing Minimal Clique Decomposition with Byzantine Faults tolerance

Autoři: Cohen, Johanne Pilard, Laurence Sénizergues, Jonas a další

Přispěvatelé: Cohen, Johanne Pilard, Laurence Sénizergues, Jonas a další

Zdroj: https://hal.science/hal-04872001 ; 2025.

Témata: Clique decomposition, Auto-stabilization, Distributed systems, Graph Algorithms, Byzantine fault tolerance, ACM: F.: Theory of Computation, ACM: G.: Mathematics of Computing, [INFO]Computer Science [cs], [MATH]Mathematics [math]

Dostupnost: https://hal.science/hal-04872001
https://hal.science/hal-04872001v1/document
https://hal.science/hal-04872001v1/file/main.pdf

Knowledge Graph for NLG in the context of conversational agents ; Knowledge Graph pour NLG dans le contexte des agents conversationnels

Autoři: Ghanem, Hussam Atmani, Massinissa Cruz, Christophe a další

Přispěvatelé: Ghanem, Hussam Atmani, Massinissa Cruz, Christophe a další

Zdroj: French Regional Conference on Complex Systems (FRCCS 2023) ; https://hal.science/hal-04146881 ; French Regional Conference on Complex Systems (FRCCS 2023), May 2023, Le Havre, France

Témata: Conversational agents, Knowledge graphs, Natural Language Generation, ACM: F.: Theory of Computation, ACM: H.: Information Systems, ACM: I.: Computing Methodologies, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

Geografické téma: Le Havre, France

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2307.01548; ARXIV: 2307.01548

Dostupnost: https://hal.science/hal-04146881
https://hal.science/hal-04146881v1/document
https://hal.science/hal-04146881v1/file/KG_for_NLG_in_ConvAgents_GhanemAtmaniCruz.pdf

A Floyd-Warshall Approach to Value Computation in Markov Decision Processes (Extended Version) ; Une approche de type Floyd-Warshall pour le calcul de la valeur dans les Markov Decision Processes (Version Longue)

Autoři: Come, Aymeric Fabre, Éric Hélouët, Loïc a další

Přispěvatelé: Come, Aymeric Fabre, Éric Hélouët, Loïc a další

Zdroj: https://inria.hal.science/hal-04619555 ; 2024.

Témata: Markov Decision processes, Value Iteration, Policy Iteration, Floyd-Warshall, ACM: F.: Theory of Computation, [INFO]Computer Science [cs]

Dostupnost: https://inria.hal.science/hal-04619555
https://inria.hal.science/hal-04619555v2/document
https://inria.hal.science/hal-04619555v2/file/main-long.pdf

Lindenmayer graph languages, first-order theories and expanders

Autoři: Knapik, Teodor Institut de sciences exactes et appliquées (ISEA) Université de la Nouvelle-Calédonie (UNC)

Přispěvatelé: Knapik, Teodor Institut de sciences exactes et appliquées (ISEA) Université de la Nouvelle-Calédonie (UNC)

Zdroj: https://hal.science/hal-04580653 ; 2024.

Témata: parallel graph grammars, 1st order model checking, automatic structures, expanders, ACM: F.: Theory of Computation, [INFO]Computer Science [cs]

Dostupnost: https://hal.science/hal-04580653
https://hal.science/hal-04580653v1/document
https://hal.science/hal-04580653v1/file/root.pdf

On Implementing Stabilizing Leader Election with Weak Assumptions on Network Dynamics

Autoři: Altisen, Karine Devismes, Stéphane Durand, Anaïs a další

Přispěvatelé: Altisen, Karine Devismes, Stéphane Durand, Anaïs a další

Zdroj: Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing. :21-31

Témata: pseudo-stabilization, sources, [INFO.INFO-DC]Computer Science [cs]/Distributed, sinks, speculation, leader election, dynamic graphs, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, 0102 computer and information sciences, ACM: F.: Theory of Computation, Parallel, 01 natural sciences, self-stabilization, and Cluster Computing [cs.DC], timely sinks, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], timely sources, [INFO]Computer Science [cs]

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.archives-ouvertes.fr/hal-02979166/file/evolvingSourceElection.pdf
https://hal.science/hal-03346225v1/document
https://doi.org/10.1145/3465084.3467917
https://hal.science/hal-03346225v1
https://hal.archives-ouvertes.fr/hal-02979166/document
https://dblp.uni-trier.de/db/conf/podc/podc2021.html#AltisenDDJP21
https://hal.archives-ouvertes.fr/hal-02979166
https://dl.acm.org/doi/pdf/10.1145/3465084.3467917
https://www.podc.org/podc2021/list-of-accepted-papers/#17

Unification of Drags and Confluence of Drag Rewriting

Autoři: Jouannaud, Jean-Pierre Orejas, Fernando Deduction modulo, interopérabilité et démonstration automatique (DEDUCTEAM) a další

Přispěvatelé: Jouannaud, Jean-Pierre Orejas, Fernando Deduction modulo, interopérabilité et démonstration automatique (DEDUCTEAM) a další

Zdroj: ISSN: 2352-2208 ; Journal of Logical and Algebraic Methods in Programming ; https://inria.hal.science/hal-02562152 ; Journal of Logical and Algebraic Methods in Programming, 2023, 131, pp.26. ⟨10.1016/j.jlamp.2022.100845⟩.

Témata: Drags, graphs, unification, confluence, ACM: D.: Software, ACM: F.: Theory of Computation, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Dostupnost: https://inria.hal.science/hal-02562152
https://inria.hal.science/hal-02562152v5/document
https://inria.hal.science/hal-02562152v5/file/PublishedVersion%20%281%29.pdf
https://doi.org/10.1016/j.jlamp.2022.100845

Indexes of individual repeatability and product discrimination in TDS and TCATA and their statistical inference

Autoři: Frascolla, Cindy Visalli, Michel Cardot, Hervé a další

Přispěvatelé: Frascolla, Cindy Visalli, Michel Cardot, Hervé a další

Zdroj: ISSN: 0950-3293 ; Food Quality and Preference ; https://hal.inrae.fr/hal-04169844 ; Food Quality and Preference, 2023, 110, pp.104929. ⟨10.1016/j.foodqual.2023.104929⟩ ; https://www.sciencedirect.com/science/article/pii/S0950329323001234.

Témata: Temporal Dominance of Sensations (TDS), Temporal Check-All-That-Apply (TCATA), Panelist repeatability, Product discrimination, Jaccard index, Permutation test, ACM: F.: Theory of Computation, [SDV.AEN]Life Sciences [q-bio]/Food and Nutrition, [STAT]Statistics [stat]

Relation: WOS: 001039246800001

Dostupnost: https://hal.inrae.fr/hal-04169844
https://hal.inrae.fr/hal-04169844v1/document
https://hal.inrae.fr/hal-04169844v1/file/S0950329323001234.pdf
https://doi.org/10.1016/j.foodqual.2023.104929

On an Extension of a Spare Regularization Model

Autoři: Moudafi, Abdellatif Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon) (LIS) Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS) a další

Přispěvatelé: Moudafi, Abdellatif Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon) (LIS) Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS) a další

Zdroj: ISSN: 2227-7390 ; Mathematics ; https://amu.hal.science/hal-04211389 ; Mathematics , 2023, 11 (20), pp.4285. ⟨10.3390/math11204285⟩.

Témata: proximity mapping, Minimization, feasibility, l0-norm, Moreau envelope, fixed-point algorithm, forward-backward iterations, ACM: F.: Theory of Computation, [MATH]Mathematics [math]

Dostupnost: https://amu.hal.science/hal-04211389
https://amu.hal.science/hal-04211389v1/document
https://amu.hal.science/hal-04211389v1/file/mathematics-11-04285.pdf
https://doi.org/10.3390/math11204285

Hilbert and Pólya conjecture, dynamical system, prime numbers, black Holes, quantum mechanics, and the Riemann hypothesis

Autoři: Sghiar, M. Chercheur indépendant

Přispěvatelé: Sghiar, M. Chercheur indépendant

Zdroj: ISSN: 2278-0661 ; IOSR Journal of Computer Engineering (IOSR - JCE) ; https://hal.science/hal-04054250 ; IOSR Journal of Computer Engineering (IOSR - JCE) , 2023, Volume 25 (5), pp.54-60. ⟨10.9790/0661-2505015460⟩.

Témata: Riemann hypothesis, Prime Number number theory distribution of prime numbers the law of prime numbers the Gamma function the Mertens function quantum mechanics black Holes holomorphic function the Riemann hypothesis, the Mertens function, quantum mechanics, black Holes, the Riemann hypothesis, Hilbert-Polya's conjecture, Prime Number number theory distribution of prime numbers the law of prime numbers the Gamma function, Prime Number, number theory, distribution of prime numbers, the law of prime numbers, the Gamma function, holomorphic function, MESH: number theory, JEL: C - Mathematical and Quantitative Methods/C.C0 - General/C.C0.C00 - General, JEL: C - Mathematical and Quantitative Methods/C.C0 - General/C.C0.C02 - Mathematical Methods, ACM: F.: Theory of Computation, [MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT]

Relation: hal-04054250; https://hal.science/hal-04054250; https://hal.science/hal-04054250v5/document; https://hal.science/hal-04054250v5/file/2DPBQRH.pdf

Dostupnost: https://hal.science/hal-04054250
https://hal.science/hal-04054250v5/document
https://hal.science/hal-04054250v5/file/2DPBQRH.pdf
https://doi.org/10.9790/0661-2505015460

Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets

Autoři: Karlo Aguirre-Samboní, Giann Haar, Stefan Paulevé, Loïc a další

Přispěvatelé: Karlo Aguirre-Samboní, Giann Haar, Stefan Paulevé, Loïc a další

Zdroj: GandALF 2022 - Games, Automata, Logics, and Formal Verification ; https://inria.hal.science/hal-03773855 ; GandALF 2022 - Games, Automata, Logics, and Formal Verification, Sep 2022, Madrid, Spain. ⟨10.4204/EPTCS.370.12⟩ ; https://gandalf2022.software.imdea.org/

Témata: ACM: G.: Mathematics of Computing, ACM: F.: Theory of Computation, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

Geografické téma: Spain

Time: Madrid, Spain

Dostupnost: https://inria.hal.science/hal-03773855
https://inria.hal.science/hal-03773855v1/document
https://inria.hal.science/hal-03773855v1/file/Gandalf2022%282%29.pdf
https://doi.org/10.4204/EPTCS.370.12

MyOPE: Malicious SecuritY for Oblivious Polynomial Evaluation

Autoři: Izabachène, Malika Nitulescu, Anca de Perthuis, Paola a další

Přispěvatelé: Izabachène, Malika Nitulescu, Anca de Perthuis, Paola a další

Zdroj: Lecture Notes in Computer Science ; SCN 2022 - 13th Conference on Cryptography and Security for Networks ; https://hal.science/hal-03820565 ; SCN 2022 - 13th Conference on Cryptography and Security for Networks, Sep 2022, Amalfi, Italy. pp.663-686, ⟨10.1007/978-3-031-14791-3_29⟩

Témata: ACM: F.: Theory of Computation, ACM: G.: Mathematics of Computing, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

Geografické téma: Amalfi, Italy

Relation: info:eu-repo/grantAgreement//966570/EU/ERC PoC CryptAnalytics: Secure Analytics as Business Services/CryptAnalytics; hal-03820565; https://hal.science/hal-03820565; https://hal.science/hal-03820565/document; https://hal.science/hal-03820565/file/main.pdf

Dostupnost: https://hal.science/hal-03820565
https://hal.science/hal-03820565/document
https://hal.science/hal-03820565/file/main.pdf
https://doi.org/10.1007/978-3-031-14791-3_29

Two-Client Inner-Product Functional Encryption with an Application to Money-Laundering Detection

Autoři: de Perthuis, Paola Pointcheval, David Cosmian a další

Přispěvatelé: de Perthuis, Paola Pointcheval, David Cosmian a další

Zdroj: ACM CCS- Computer and Communications Security 2022 ; https://hal.science/hal-03830846 ; ACM CCS- Computer and Communications Security 2022, Nov 2022, Los Angeles, United States

Témata: ACM: F.: Theory of Computation, ACM: G.: Mathematics of Computing, [INFO]Computer Science [cs]

Geografické téma: Los Angeles, United States

Relation: info:eu-repo/grantAgreement//966570/EU/ERC PoC CryptAnalytics: Secure Analytics as Business Services/CryptAnalytics; hal-03830846; https://hal.science/hal-03830846; https://hal.science/hal-03830846/document; https://hal.science/hal-03830846/file/main.pdf

Dostupnost: https://hal.science/hal-03830846
https://hal.science/hal-03830846/document
https://hal.science/hal-03830846/file/main.pdf

Relationship between superstring and compression measures: New insights on the greedy conjecture

Autoři: Cazaux, Bastien Rivals, Eric Méthodes et Algorithmes pour la Bioinformatique (MAB) a další

Přispěvatelé: Cazaux, Bastien Rivals, Eric Méthodes et Algorithmes pour la Bioinformatique (MAB) a další

Zdroj: Discrete Applied Mathematics. 245:59-64

Témata: 2. Zero hunger, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], Assembly, Greedy conjecture, [INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS], 0102 computer and information sciences, 02 engineering and technology, [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], ACM: F.: Theory of Computation, Approximation algorithm, 01 natural sciences, 7. Clean energy, 12. Responsible consumption, [INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM], ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS, Shortest Common Superstring Problem, Data compression, 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], Stringology, [INFO.INFO-BI] Computer Science [cs]/Bioinformatics [q-bio.QM]

Popis souboru: application/pdf

Přístupová URL adresa: https://hal-lirmm.ccsd.cnrs.fr/lirmm-01800340
https://www.sciencedirect.com/science/article/pii/S0166218X1730183X
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01800340/document
https://www.sciencedirect.com/science/article/abs/pii/S0166218X1730183X

Une approche basée sur l'ASP pour détecter des attracteurs dans les réseaux booléens circulaires

Autoři: Khaled, Tarek Benhamou, Belaïd Logique, Interaction, Raisonnement et Inférence, Complexité, Algèbre (LIRICA) a další

Přispěvatelé: Khaled, Tarek Benhamou, Belaïd Logique, Interaction, Raisonnement et Inférence, Complexité, Algèbre (LIRICA) a další

Zdroj: 14eme Journées Francophones de Programmation par Contraintes, JFPC
https://amu.hal.science/hal-03616262
14eme Journées Francophones de Programmation par Contraintes, JFPC, Jun 2021, Nice, France

Témata: ACM: F.: Theory of Computation, [INFO]Computer Science [cs], [SDV]Life Sciences [q-bio]

Geografické téma: Nice, France

Time: Nice, France

Dostupnost: https://amu.hal.science/hal-03616262
https://amu.hal.science/hal-03616262v1/document
https://amu.hal.science/hal-03616262v1/file/JFPC_2021_E4.pdf

Proving Termination With CPO --Full Version

Autoři: Díaz-Caro, Alejandro Dowek, Gilles Jouannaud, Jean-Pierre a další

Přispěvatelé: Díaz-Caro, Alejandro Dowek, Gilles Jouannaud, Jean-Pierre a další

Zdroj: https://inria.hal.science/hal-05146299 ; 2025.

Témata: Quantum calculi, Computability path ordering, Path orderings, Termination proof, Higher-order rewrite rules, Typed lambda calculus, ACM: F.: Theory of Computation, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Dostupnost: https://inria.hal.science/hal-05146299
https://inria.hal.science/hal-05146299v2/document
https://inria.hal.science/hal-05146299v2/file/ProvingTerminationWithCPO--FullVersion.pdf

A Static Checker for Reference Tracking Systems via Laplace Transform and Transfer Functions

Autoři: Cheng, Zheng Méry, Dominique Proof-oriented development of computer-based systems (MOSEL) a další

Přispěvatelé: Cheng, Zheng Méry, Dominique Proof-oriented development of computer-based systems (MOSEL) a další

Zdroj: https://hal.science/hal-04152829 ; 2023.

Témata: control theory, verification, Laplace transform, formal method, ACM: D.: Software, ACM: F.: Theory of Computation, ACM: G.: Mathematics of Computing, [INFO]Computer Science [cs]

Dostupnost: https://hal.science/hal-04152829
https://hal.science/hal-04152829v1/document
https://hal.science/hal-04152829v1/file/main.pdf

Chromatic Community Structure Detection ; Détection de Structures Communautaires Chromatiques

Autoři: Delaplace, Franck Informatique, BioInformatique, Systèmes Complexes (IBISC) Université d'Évry-Val-d'Essonne (UEVE)-Université Paris-Saclay

Přispěvatelé: Delaplace, Franck Informatique, BioInformatique, Systèmes Complexes (IBISC) Université d'Évry-Val-d'Essonne (UEVE)-Université Paris-Saclay

Zdroj: https://hal.science/hal-04048197 ; 2023.

Témata: Community structures, Color, Detection Methods, ACM: D.: Software, ACM: F.: Theory of Computation, [INFO]Computer Science [cs], [SHS]Humanities and Social Sciences

Dostupnost: https://hal.science/hal-04048197
https://hal.science/hal-04048197v1/document
https://hal.science/hal-04048197v1/file/chrocode.pdf

Algebraic Monograph Transformations

Autoři: Boy de la Tour, Thierry Laboratoire d'Informatique de Grenoble (LIG) Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP) a další

Přispěvatelé: Boy de la Tour, Thierry Laboratoire d'Informatique de Grenoble (LIG) Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP) a další

Zdroj: https://hal.univ-grenoble-alpes.fr/hal-03969945 ; 2023.

Témata: Algebraic Graph Transformation, Graph Structures, Typed Graphs, ACM: F.: Theory of Computation, [INFO]Computer Science [cs]

Dostupnost: https://hal.univ-grenoble-alpes.fr/hal-03969945
https://hal.univ-grenoble-alpes.fr/hal-03969945v1/document
https://hal.univ-grenoble-alpes.fr/hal-03969945v1/file/version-hal.pdf

Drag Rewriting

Autoři: Dershowitz, Nachum Jouannaud, Jean-Pierre Orejas, Fernando a další

Přispěvatelé: Dershowitz, Nachum Jouannaud, Jean-Pierre Orejas, Fernando a další

Zdroj: https://inria.hal.science/hal-04143346 ; 2023.

Témata: Graph rewriting, drags, cyclic composition, rewriting, drag morphisms, ACM: F.: Theory of Computation, [INFO]Computer Science [cs], [MATH]Mathematics [math]

Relation: hal-04143346; https://inria.hal.science/hal-04143346; https://inria.hal.science/hal-04143346v3/document; https://inria.hal.science/hal-04143346v3/file/Drag_Rewriting.pdf

Dostupnost: https://inria.hal.science/hal-04143346
https://inria.hal.science/hal-04143346v3/document
https://inria.hal.science/hal-04143346v3/file/Drag_Rewriting.pdf