Nous rejoindre

Revues

Informatique et mathématiques appliquées

ARIMA

[Revue africaine de recherche en informatique et mathématiques appliquées]

ARIMA

Revue africaine de recherche en informatique et mathématiques appliquées

La Revue africaine de recherche en informatique et mathématiques appliquées (ARIMA) est née en 2002 d’une collaboration scientifique Nord/Sud menée dans le sillage des activités du Colloque africain pour la recherche en informatique et mathématiques appliquées (CARI). La revue publie au fil de l’eau, en français et en anglais, les résultats de recherche issus de ces coopérations.

  • Directeur de la publication : Maurice Tchuenté
  • Rédacteurs en chef : Nabil Gmati ; Mathieu Roche ; Tayou Djamegni Clémentin
  • Type de support : électronique
  • Périodicité : au fil de l’eau
  • Année de création : 2002
  • Date de mise en ligne sur Episciences : 2016
  • eISSN : 1638-5713
  • Disciplines : informatique et mathématiques appliquées
  • Langues de la publication : anglais, français
  • Procédure d’évaluation : évaluation en simple aveugle
  • Licence CC BY 4.0
  • Éditeur : African Society in Digital Science
    • Adresse postale : Department of Mathematics and Computer Science, Faculty of Science, University of Dschang, P.O. Box 96 Dschang
    • Pays : Cameroun
  • Contact : arima AT episciences.org
Voir le site

Derniers articles

Deux Schémas de Stéganographie Textuelles basés sur le codage des couleurs.

La stéganographie textuelle est un mécanisme permettant de cacher un message secret dans un texte. Dans ce papier, nous proposons un schéma stéganographique basé sur le codage de couleurs. Ce schéma comprend deux méthodes différentes : la première, basée sur les permutations et la seconde, basée sur les systèmes de numération. Etant donné un message secret et un texte de couverture, les méthodes proposées cachent le message secret dans le texte de couverture en le coloriant. Le stégo-texte est ensuite envoyé au destinataire par mail. Après expérimentations, les résultats obtenus montrent que nos modèles proposent un meilleure capacité d'embarquement par rapport au schéma d'Aruna Malik et al. sur laquelle repose notre idée.
Karnel Sadie, Juvet
28 octobre 2024
Lire l'article

Application du modèle de représentation acoustique multilingue XLSR pour la transcription de l'Ewondo

Les modèles auto-supervisés récemment popularisés apparaissent comme une solution au problème de la faible disponibilité des données grâce à un transfert d'apprentissage parcimonieux. Nous étudions l'efficacité de ces modèles acoustiques multilingues, en l'occurrence wav2vec 2.0 XLSR-53 et wav2vec 2.0 XLSR-128, pour la tâche de transcription de la langue Ewondo (parlée au Cameroun). Les expériences ont été menées sur 11 minutes de discours construits à partir de 103 phrases lues. Malgré une forte capacité de généralisation du modèle acoustique multilingue, les résultats préliminaires montrent que la distance entre les langues intégrées dans le XLSR (anglais, français, espagnol, allemand, mandarin, . . .) et l'ewondo a un impact important sur la performance du modèle de transcription. Les performances les plus élevées obtenues sont de l'ordre de 69% pour le WER et de 28.1% pour le CER. Une analyse de ces résultats préliminaires est effectuée et interprétée afin de proposer des pistes d'amélioration efficaces.
Yannick Yomie, Nzeuhang
28 octobre 2024
Lire l'article
Informatique et mathématiques appliquées

Compositionality

Compositionality

Créée en 2017, Compositionality accueille des articles de recherche en anglais dans le domaine des mathématiques de la composition, toutes disciplines confondues. La revue est éditée par le Compositionality Charitable Incorporated Organisation.

  • Directeur de la publication : John Baez
  • Rédacteurs en chef : Aleks Kissinger ; Joachim Kock
  • Type de support : électronique
  • Périodicité : au fil de l’eau
  • Année de création : 2017
  • Date de mise en ligne sur Episciences : 2024
  • eISSN : 2631-4444
  • Disciplines : mathématiques, calcul, logique, physique, chimie, ingénierie, linguistique, cognition
  • Langue de publication : anglais
  • Procédure d’évaluation : simple aveugle
  • Licence CC BY 4.0
  • Éditeur : Compositionality Charitable Incorporated Organisation
    • Adresse postale : 108 Kennington Road, Kennington, Oxford, OX1 5PE
    • Pays : Royaume-Uni
  • Contact : compositionality AT episciences.org
Voir le site

Derniers articles

Homotopy Theoretic and Categorical Models of Neural Information Networks

In this paper we develop a novel mathematical formalism for the modeling of neural information networks endowed with additional structure in the form of assignments of resources, either computational or metabolic or informational. The starting point for this construction is the notion of summing functors and of Segal's Gamma-spaces in homotopy theory. The main results in this paper include functorial assignments of concurrent/distributed computing architectures and associated binary codes to networks and their subsystems, a categorical form of the Hopfield network dynamics, which recovers the usual Hopfield equations when applied to a suitable category of weighted codes, a functorial assignment to networks of corresponding information structures and information cohomology, and a cohomological version of integrated information.
Manin, Yuri
06 septembre 2024
Lire l'article

A Framework for Universality in Physics, Computer Science, and Beyond

Turing machines and spin models share a notion of universality according to which some simulate all others. Is there a theory of universality that captures this notion? We set up a categorical framework for universality which includes as instances universal Turing machines, universal spin models, NP completeness, top of a preorder, denseness of a subset, and more. By identifying necessary conditions for universality, we show that universal spin models cannot be finite. We also characterize when universality can be distinguished from a trivial one and use it to show that universal Turing machines are non-trivial in this sense. Our framework allows not only to compare universalities within each instance, but also instances themselves. We leverage a Fixed Point Theorem inspired by a result of Lawvere to establish that universality and negation give rise to unreachability (such as uncomputability). As such, this work sets the basis for a unified approach to universality and invites the study of further examples within the framework.
Gonda, Tomáš
29 août 2024
Lire l'article
Informatique et mathématiques appliquées

DMTCS

[Discrete Mathematics & Theoretical Computer Science]

DMTCS

Discrete Mathematics & Theoretical Computer Science

Discrete Mathematics & Theoretical Computer Science (DMTCS) est une revue à comité de lecture créée en 1997. Adossée à l’association DMTCS, elle publie au fil de l’eau des articles de recherche en anglais, dans les domaines des mathématiques discrètes et de l’informatique théorique, en particulier à l’intersection de ces deux disciplines.

  • Directeur de la publication : Jens Gustedt
  • Rédacteurs/trices en chef : Christoph Haase, Dieter Rautenbach, Sergi Elizalde et Hadas Shachnai
  • Type de support : électronique
  • Périodicité : au fil de l’eau
  • Année de création : 1997
  • Date de mise en ligne sur Episciences : 2016
  • eISSN : 1365-8050
  • Disciplines : mathématiques, informatique
  • Langues de publication : anglais
  • Procédure d’évaluation : simple aveugle
  • Licence CC BY 4.0
  • Éditeur : association DMTCS
    • Adresse postale : c/o Jens Gustedt, 67A avenue Jean-Jaurès, 67100 Strasbourg
    • Pays : France
  • Contact : dmtcs AT episciences.org
Voir le site

Derniers articles

Spanning trees for many different numbers of leaves

Let $G$ be a connected graph and $L(G)$ the set of all integers $k$ such that $G$ contains a spanning tree with exactly $k$ leaves. We show that for a connected graph $G$, the set $L(G)$ is contiguous. It follows from work of Chen, Ren, and Shan that every connected and locally connected $n$-vertex graph -- this includes triangulations -- has a spanning tree with at least $n/2 + 1$ leaves, so by a classic theorem of Whitney and our result, in any plane $4$-connected $n$-vertex triangulation one can find for any integer $k$ which is at least $2$ and at most $n/2 + 1$ a spanning tree with exactly $k$ leaves (and each of these trees can be constructed in polynomial time). We also prove that there exist infinitely many $n$ such that there is a plane $4$-connected $n$-vertex triangulation containing a spanning tree with $2n/3$ leaves, but no spanning tree with more than $2n/3$ leaves.
Noguchi, Kenta
18 novembre 2024
Lire l'article

Recognition of chordal graphs and cographs which are Cover-Incomparability graphs

Cover-Incomparability graphs (C-I graphs) are an interesting class of graphs from posets. A C-I graph is a graph from a poset $P=(V,\le)$ with vertex set $V$, and the edge-set is the union of edge sets of the cover graph and the incomparability graph of the poset. The recognition of the C-I graphs is known to be NP-complete (Maxov\'{a} et al., Order 26(3), 229--236(2009)). In this paper, we prove that chordal graphs having at most two independent simplicial vertices are exactly the chordal graphs which are also C-I graphs. A similar result is obtained for cographs as well. Using the structural results of these graphs, we derive linear time recognition algorithms for chordal graphs and cographs which are C-I graphs.
Anil, Arun
15 novembre 2024
Lire l'article
Actes de conférences
Informatique et mathématiques appliquées

ENTICS

[Electronic Notes in Theoretical Informatics and Computer Science]

ENTICS

Electronic Notes in Theoretical Informatics and Computer Science

ENTICS, Electronic Notes in Theoretical Informatics and Computer Science, créée en 2022, publie, au fil de l’eau en anglais, des actes de conférences et de workshops en informatique théorique.

  • Directeur de la publication : Bruno Sportisse
  • Rédacteur en chef : Michael Mislove
  • Type de support : électronique
  • Périodicité : au fil de l’eau
  • Année de création : 2022
  • Date de mise en ligne sur Episciences : 2023
  • eISSN : 2969-2431
  • Disciplines : informatique théorique
  • Langue de publication : anglais
  • Procédure d’évaluation : simple aveugle
  • Licence CC BY 4.0
  • Éditeur : Inria
    • Adresse postale : Domaine de Voluceau Rocquencourt – B.P. 105 78153 Le Chesnay Cedex
    • Pays : France
  • Contact : entics AT episciences.org
Voir le site

Derniers articles

Profinite lambda-terms and parametricity

Combining ideas coming from Stone duality and Reynolds parametricity, we formulate in a clean and principled way a notion of profinite lambda-term which, we show, generalizes at every type the traditional notion of profinite word coming from automata theory. We start by defining the Stone space of profinite lambda-terms as a projective limit of finite sets of usual lambda-terms, considered modulo a notion of equivalence based on the finite standard model. One main contribution of the paper is to establish that, somewhat surprisingly, the resulting notion of profinite lambda-term coming from Stone duality lives in perfect harmony with the principles of Reynolds parametricity. In addition, we show that the notion of profinite lambda-term is compositional by constructing a cartesian closed category of profinite lambda-terms, and we establish that the embedding from lambda-terms modulo beta-eta-conversion to profinite lambda-terms is faithful using Statman's finite completeness theorem. Finally, we prove that the traditional Church encoding of finite words into lambda-terms can be extended to profinite words, and leads to a homeomorphism between the space of profinite words and the space of profinite lambda-terms of the corresponding Church type.
van Gool, Sam
23 novembre 2023
Lire l'article

Dependent Type Refinements for Futures

Type refinements combine the compositionality of typechecking with the expressivity of program logics, offering a synergistic approach to program verification. In this paper we apply dependent type refinements to SAX, a futures-based process calculus that arises from the Curry-Howard interpretation of the intuitionistic semi-axiomatic sequent calculus and includes unrestricted recursion both at the level of types and processes. With our type refinement system, we can reason about the partial correctness of SAX programs, complementing prior work on sized type refinements that supports reasoning about termination. Our design regime synthesizes the infinitary proof theory of SAX with that of bidirectional typing and Hoare logic, deriving some standard reasoning principles for data and (co)recursion while enabling information hiding for codata. We prove syntactic type soundness, which entails a notion of partial correctness that respects codata encapsulation. We illustrate our language through a few simple examples.
Somayyajula, Siva
23 novembre 2023
Lire l'article
Informatique et mathématiques appliquées

FI

[Fundamenta Informaticae]

FI

Fundamenta Informaticae

Fondée en 1977, Fundamenta Informaticae est une revue scientifique à comité de lecture couvrant tous les domaines de l’informatique, avec un accent particulier sur les fondements théoriques. La revue est publiée dans la série IV des Annales Societatis Mathematicae Polonae, par la Société mathématique polonaise.

  • Directeur de la publication : Prof. Jacek Miękisz
  • Rédacteur en chef : Bartek Klin
  • Type de support : papier et électronique
  • Périodicité : 3 à 4 volumes par an
  • Année de création : 1977
  • Date de mise en ligne sur Episciences : 2020
  • eISSN : 1875-8681
  • Disciplines : informatique
  • Langues de publication : anglais
  • Procédure d’évaluation : simple aveugle
  • Licence CC BY 4.0
  • Éditeur : Polish Mathematical Society
    • Adresse postale : ul. Śniadeckich 8, 00-656 Warszawa
    • Pays : Pologne
  • Contact : fi AT episciences.org
Voir le site

Derniers articles

Proving Confluence in the Confluence Framework with CONFident

This article describes the *Confluence Framework*, a novel framework for proving and disproving confluence using a divide-and-conquer modular strategy, and its implementation in CONFident. Using this approach, we are able to automatically prove and disprove confluence of *Generalized Term Rewriting Systems*, where (i) only selected arguments of function symbols can be rewritten and (ii) a rather general class of conditional rules can be used. This includes, as particular cases, several variants of rewrite systems such as (context-sensitive) *term rewriting systems*, *string rewriting systems*, and (context-sensitive) *conditional term rewriting systems*. The divide-and-conquer modular strategy allows us to combine in a proof tree different techniques for proving confluence, including modular decompositions, checking joinability of (conditional) critical and variable pairs, transformations, etc., and auxiliary tasks required by them, e.g., joinability of terms, joinability of conditional pairs, etc.
Gutiérrez, Raúl
10 novembre 2024
Lire l'article

On Complexity Bounds and Confluence of Parallel Term Rewriting

We revisit parallel-innermost term rewriting as a model of parallel computation on inductive data structures and provide a corresponding notion of runtime complexity parametric in the size of the start term. We propose automatic techniques to derive both upper and lower bounds on parallel complexity of rewriting that enable a direct reuse of existing techniques for sequential complexity. Our approach to find lower bounds requires confluence of the parallel-innermost rewrite relation, thus we also provide effective sufficient criteria for proving confluence. The applicability and the precision of the method are demonstrated by the relatively light effort in extending the program analysis tool AProVE and by experiments on numerous benchmarks from the literature.
Baudon, Thaïs
10 novembre 2024
Lire l'article
Informatique et mathématiques appliquées
Sciences humaines et sociales

JDMDH

[Journal of Data Mining and Digital Humanities]

JDMDH

Journal of Data Mining and Digital Humanities

Créé en 2014, le Journal of Data Mining and Digital Humanities (JDMDH) se situe à l’intersection de la fouille des données et des humanités numériques. Les articles publiés, en anglais ou en français, concernent aussi bien l’extraction et la gestion des connaissances (analyse des réseaux, extraction d’information, web sémantique, analyse des préférences, apprentissage automatique) que les sciences humaines et sociales (historiques, politiques, linguistiques, sociologiques, géographiques, de la communication et de l’archivage) à l’ère du numérique.

  • Directeur de la publication : Bruno Sportisse
  • Rédacteurs en chef : Richi Nayak ; Laurent Romary ; Nicolas Turenne
  • Type de support : électronique
  • Périodicité : au fil de l’eau
  • Année de création : 2014
  • Date de mise en ligne sur Episciences : 2014
  • eISSN : 2416-5999
  • Disciplines : sciences humaines et sociales, humanités numériques, text mining
  • Langues de publication : anglais, français
  • Procédure d’évaluation : simple aveugle
  • Licence CC BY 4.0
  • Éditeur : Inria
    • Adresse postale : Domaine de Voluceau Rocquencourt – B.P. 105 78153 Le Chesnay Cedex
    • Pays : France
  • Contact : jdmdh AT episciences.org
Voir le site

Derniers articles

Reliable Part-of-Speech Tagging of Historical Corpora through Set-Valued Prediction

Syntactic annotation of corpora in the form of part-of-speech (POS) tags is a key requirement for both linguistic research and subsequent automated natural language processing (NLP) tasks. This problem is commonly tackled using machine learning methods, i.e., by training a POS tagger on a sufficiently large corpus of labeled data. While the problem of POS tagging can essentially be considered as solved for modern languages, historical corpora turn out to be much more difficult, especially due to the lack of native speakers and sparsity of training data. Moreover, most texts have no sentences as we know them today, nor a common orthography. These irregularities render the task of automated POS tagging more difficult and error-prone. Under these circumstances, instead of forcing the POS tagger to predict and commit to a single tag, it should be enabled to express its uncertainty. In this paper, we consider POS tagging within the framework of set-valued prediction, which allows the POS tagger to express its uncertainty via predicting a set of candidate POS tags instead of guessing a single one. The goal is to guarantee a high confidence that the correct POS tag is included while keeping the number of candidates small. In our experimental study, we find that extending state-of-the-art POS taggers to set-valued prediction yields more precise and robust taggings, especially for unknown words, i.e., words not occurring in the training data.
Heid, Stefan
21 octobre 2024
Lire l'article

Temporal Sequencing of Documents

We outline an unsupervised method for temporal rank ordering of sets of historical documents, namely American State of the Union Addresses and DEEDS, a corpus of medieval English property transfer documents. Our method relies upon effectively capturing the gradual change in word usage via a bandwidth estimate for the non-parametric Generalized Linear Models (Fan, Heckman, and Wand, 1995). The number of possible rank orders needed to search through for cost functions related to the bandwidth can be quite large, even for a small set of documents. We tackle this problem of combinatorial optimization using the Simulated Annealing algorithm, which allows us to obtain the optimal document temporal orders. Our rank ordering method significantly improved the temporal sequencing of both corpora compared to a randomly sequenced baseline. This unsupervised approach should enable the temporal ordering of undated document sets.
Gervers, Michael
24 septembre 2024
Lire l'article
Informatique et mathématiques appliquées

JIPS

[Journal d’Interaction Personne-Système]

JIPS

Journal d’Interaction Personne-Système

Créé en 2008 par l’Association francophone d’interaction humain-machine, le Journal d’Interaction Personne-Système (JIPS) succéda à la Revue d’Interaction Homme-Machine (RIHM) elle-même fondée en 1997 et active jusqu’en 2007 (devenant ensuite la Revue des Interactions Humaines Médiatisées).
JIPS a cessé de paraître en avril 2022 ; les articles publiés restent accessibles sur le site de la revue.

  • Directrice de la publication : Sophie Dupuy-Chessa
  • Type de support : électronique
  • État de la collection : 2010-2020
  • Année de création : 2008
  • Date de mise en ligne sur Episciences : 2014
  • eISSN : 2418-1838
  • Disciplines : informatique, ingénierie, technologies, sciences cognitives
  • Langues de publication : anglais, français
  • Licence CC BY 4.0
  • Éditeur : Association Francophone d’Interaction Homme-Machine (AFIHM)
    • Adresse postale : 385 rue de la Bibliothèque, 38041 Grenoble Cedex
    • Pays : France
  • Contact : presidence AT afihm.org
Voir le site

Derniers articles

Processus de changement de comportement : états, transitions et déterminants du comportement

Si le but et les garde-fous éthiques de la persuasion sont aujourd’hui bien compris, la littérature est abondante et les analyses critiques multiples, sans qu’un langage de comparaison n’ait été défini. Cet article propose les concepts d’états, de transitions et de déterminants pour caractériser les travaux de la littérature et ainsi en faciliter la compréhension et la comparaison. L’opérationnalisation de ce cadre ouvre des perspectives intéressantes au domaine.
Fenicio, Alessandro
08 février 2021
Lire l'article

L’adaptation pour une persuasion durable

Persuader est difficile ; persuader sur la durée l’est encore plus. Nous explorons l’adaptation pour apporter de la variété et de la pertinence à la persuasion et ainsi pallier l’usure de l’efficacité des messages persuasifs. Le cas d’étude est TILT, un dispositif persuasif pour la régulation du temps d’usage du smartphone. La persuasion de TILT s’appuie sur le principe d’auto-surveillance. L’expérimentation démontre la pertinence de l’adaptation du message persuasif comme renfort de l’efficacité du principe d’auto-surveillance dans le temps.
Foulonneau, Anthony
22 janvier 2021
Lire l'article
Informatique et mathématiques appliquées

JoDaKISS

[Journal of Data- and Knowledge-integrated Simulation Science]

JoDaKISS

Journal of Data- and Knowledge-integrated Simulation Science

Prochainement en ligne

Journal of Data- and Knowledge-integrated Simulation Science (JoDaKISS) est une revue pluridisciplinaire de langue anglaise dans le domaine de la science de la simulation. Elle se consacre à la publication de données et de logiciels pour les simulations informatiques scientifiques. Elle est éditée par le Stuttgart Center of Simulation Science (SC SimTech, Université de Stuttgart, Allemagne).

  • Directeur de la publication : Holger Steeb
  • Comité éditorial : Bernd Flemisch, Dominik Göddeke, Jeroen Hanselman, Jan Heiland, Sibylle Hermann, Melanie Herschel, Timo Koch, Holger Steeb
  • Type de support : électronique
  • Périodicité : au fil de l’eau
  • Année de création : 2024
  • Discipline : science de la simulation
  • Langue de publication : anglais
  • Procédure d’évaluation : simple aveugle
  • Licence CC BY 4.0
  • Éditeur : Stuttgart Center of Simulation Science (SC SimTech)
    • Adresse postale : Pfaffenwaldring 5a, 70569 Stuttgart
    • Pays : Allemagne
  • Contact : jodakiss AT episciences.org
Voir le site
Informatique et mathématiques appliquées

LMCS

[Logical Methods in Computer Science]

LMCS

Logical Methods in Computer Science

Logical Methods in Computer Science (LMCS) publie au fil de l’eau des articles de recherche en anglais sur des domaines théoriques et pratiques de l’informatique impliquant des méthodes logiques, prises dans un sens large. Créée en 2014, la revue est éditée par Logical Methods in Computer Science e.V., une organisation à but non lucratif dont le but est de faciliter la diffusion des résultats scientifiques relatifs à la logique en informatique.

  • Directeur de la publication : Lars Birkedal
  • Rédacteur en chef : Stefan Milius
  • Type de support : électronique
  • Périodicité : au fil de l’eau
  • Année de création : 2014
  • Date de mise en ligne sur Episciences : 2015
  • eISSN : 1860-5974
  • Disciplines : informatique, méthodes logiques
  • Langues de publication : anglais
  • Procédure d’évaluation : simple aveugle
  • Licence CC BY 4.0
  • Éditeur : Logical Methods in Computer Science e.V.
    • Pays : Allemagne
  • Contact : lmcs AT episciences.org
Voir le site

Derniers articles

On the Semantic Expressiveness of Iso- and Equi-Recursive Types

Recursive types extend the simply-typed lambda calculus (STLC) with the additional expressive power to enable diverging computation and to encode recursive data-types (e.g., lists). Two formulations of recursive types exist: iso-recursive and equi-recursive. The relative advantages of iso- and equi-recursion are well-studied when it comes to their impact on type-inference. However, the relative semantic expressiveness of the two formulations remains unclear so far. This paper studies the semantic expressiveness of STLC with iso- and equi-recursive types, proving that these formulations are equally expressive. In fact, we prove that they are both as expressive as STLC with only term-level recursion. We phrase these equi-expressiveness results in terms of full abstraction of three canonical compilers between these three languages (STLC with iso-, with equi-recursive types and with term-level recursion). Our choice of languages allows us to study expressiveness when interacting over both a simply-typed and a recursively-typed interface. The three proofs all rely on a typed version of a proof technique called approximate backtranslation. Together, our results show that there is no difference in semantic expressiveness between STLCs with iso- and equi-recursive types. In this paper, we focus on a simply-typed setting but we believe our results scale to more powerful type systems like System F.
Devriese, Dominique
13 novembre 2024
Lire l'article

Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks

We tackle the challenge of ensuring the deadlock-freedom property for message-passing processes that communicate asynchronously in cyclic process networks. Our contributions are twofold. First, we present Asynchronous Priority-based Classical Processes (APCP), a session-typed process framework that supports asynchronous communication, delegation, and recursion in cyclic process networks. Building upon the Curry-Howard correspondences between linear logic and session types, we establish essential meta-theoretical results for APCP, most notably deadlock freedom. Second, we present a new concurrent $\lambda$-calculus with asynchronous session types, dubbed LASTn. We illustrate LASTn by example and establish its meta-theoretical results; in particular, we show how to soundly transfer the deadlock-freedom guarantee from APCP. To this end, we develop a translation of terms in LASTn into processes in APCP that satisfies a strong formulation of operational correspondence.
Heuvel, Bas van den
12 novembre 2024
Lire l'article
Informatique et mathématiques appliquées

MNA

[Mathematical Neuroscience and Applications]

MNA

Mathematical Neuroscience and Applications

Créée en 2021, la revue Mathematical Neuroscience and Applications (MNA) s’intéresse à la modélisation et à l’analyse mathématique dans tous les domaines des neurosciences, c’est-à-dire l’étude du système nerveux et de ses dysfonctionnements. Elle est la continuité du Journal of Mathematical Neuroscience (2011-2021), précédemment publié chez Springer. La revue accueille des articles en langue anglaise.

  • Directeur de la publication : Bruno Sportisse
  • Rédacteur en chef : Olivier Faugeras
  • Type de support : électronique
  • Périodicité : annuelle
  • Année de création : 2021
  • Date de mise en ligne sur Episciences : 2021
  • eISSN : 2801-0159
  • Disciplines : mathématiques, neurosciences
  • Langues de publication : anglais
  • Procédure d’évaluation : simple aveugle
  • Licence CC BY 4.0
  • Éditeur : Inria
    • Adresse postale : Domaine de Voluceau Rocquencourt – B.P. 105 78153 Le Chesnay Cedex
    • Pays : France
  • Contact : mna AT episciences.org
Voir le site

Derniers articles

A mean-field model of Integrate-and-Fire neurons: non-linear stability of the stationary solutions

We investigate a stochastic network composed of Integrate-and-Fire spiking neurons, focusing on its mean-field asymptotics. We consider an invariant probability measure of the McKean-Vlasov equation and establish an explicit sufficient condition to ensure the local stability of this invariant distribution. Furthermore, we prove a conjecture proposed initially by J. Touboul and P. Robert regarding the bistable nature of a specific instance of this neuronal model.
Cormier, Quentin
27 septembre 2024
Lire l'article

Neural Coding as a Statistical Testing Problem

We take the testing perspective to understand what the minimal discrimination time between two stimuli is for different types of rate coding neurons. Our main goal is to describe the testing abilities of two different encoding systems: place cells and grid cells. In particular, we show, through the notion of adaptation, that a fixed place cell system can have a minimum discrimination time that decreases when the stimuli are further away. This could be a considerable advantage for the place cell system that could complement the grid cell system, which is able to discriminate stimuli that are much closer than place cells.
Ost, Guilherme
29 décembre 2023
Lire l'article
Informatique et mathématiques appliquées

TheoretiCS

TheoretiCS

Créée en 2021, TheoretiCS couvre tous les domaines de l’informatique théorique (Theoretical Computer Science, TCS). Effort conjoint de la communauté TCS, la revue est publiée par la Fondation TheoretiCS, une organisation à but non lucratif située en Allemagne. La revue publie au fil de l’eau des travaux de recherche en anglais incluant des versions révisées et étendues d’articles de conférences.

  • Directeur de la publication : Thomas Schwentick
  • Rédacteurs en chef : Javier Esparza ; Uri Zwick
  • Type de support : électronique
  • Périodicité : au fil de l’eau
  • Année de création : 2021
  • Date de mise en ligne sur Episciences : 2021
  • eISSN : 2751-4838
  • Disciplines : informatique théorique
  • Langue de publication : anglais
  • Procédure d’évaluation : simple aveugle
  • Licence CC BY 4.0
  • Éditeur : TheoretiCS Foundation e.V.
    • Adresse postale : c/o Thomas Schwentick – Schillingstr. 23, D-44139 Dortmund
    • Pays : Allemagne
  • Contact : theoretics AT episciences.org
Voir le site

Derniers articles

On complete classes of valuated matroids

We characterize a rich class of valuated matroids, called R-minor valuated matroids that includes the indicator functions of matroids, and is closed under operations such as taking minors, duality, and induction by network. We exhibit a family of valuated matroids that are not R-minor based on sparse paving matroids. Valuated matroids are inherently related to gross substitute valuations in mathematical economics. By the same token we refute the Matroid Based Valuation Conjecture by Ostrovsky and Paes Leme (Theoretical Economics 2015) asserting that every gross substitute valuation arises from weighted matroid rank functions by repeated applications of merge and endowment operations. Our result also has implications in the context of Lorentzian polynomials: it reveals the limitations of known construction operations.
Husić, Edin
18 novembre 2024
Lire l'article

Optimal Algorithm for the Planar Two-Center Problem

We study a fundamental problem in Computational Geometry, the planar two-center problem. In this problem, the input is a set $S$ of $n$ points in the plane and the goal is to find two smallest congruent disks whose union contains all points of $S$. A longstanding open problem has been to obtain an $O(n\log n)$-time algorithm for planar two-center, matching the $\Omega(n\log n)$ lower bound given by Eppstein [SODA'97]. Towards this, researchers have made a lot of efforts over decades. The previous best algorithm, given by Wang [SoCG'20], solves the problem in $O(n\log^2 n)$ time. In this paper, we present an $O(n\log n)$-time (deterministic) algorithm for planar two-center, which completely resolves this open problem.
Cho, Kyungjin
05 novembre 2024
Lire l'article