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 ; Maurice Tchuenté ; Bruce Watson
  • 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

Les modèles LSAWfP non récursifs sont des workflows structurés

Les langages de workflow occupent une place importante dans la discipline du Business Process Management (BPM) : ils sont utilisés pour modéliser les processus opérationnels afin de faciliter leur gestion automatique à l'aide de systèmes BPM. Il existe de nombreux langages de workflow qui traitent de divers aspects (expressivité, analyse formelle, etc.). Au cours de la dernière décennie, certains langages de workflow basés sur des grammaires algébriques (ayant alors une sémantique formelle) et offrant de nouvelles perspectives à la modélisation des processus ont vu le jour : LSAWfP (a Language for the Specification of Administrative Workflow Processes) est l'un d'entre eux. LSAWfP présente de nombreux avantages par rapport aux langages existants, mais c'est son expressivité (qui a été très peu abordée dans les travaux antérieurs) qui est étudiée dans le présent document. En effet, les travaux présentés dans ce document visent à démontrer que tout modèle LSAWfP non récursif est un workflow structuré. Sachant que la majorité des systèmes BPM commerciaux ne gèrent que des workflows structurés, le résultat de cette étude montre que, bien que LSAWfP soit encore très théorique, il est un langage au potentiel économique certain.
Zekeng Ndadji, Milliam Maxime
05 juillet 2023
Lire l'article

Combiner Scrum et l'Architecture Dirigée par les modèles pour le développement d'un système de surveillance épidémiologique

Les systèmes de surveillance épidémiologiques évoluent avec le temps, en tenant compte du contexte et des données collectées. Ainsi, les logiciels utilisés doivent aussi évoluer pour pouvoir répondre aux besoins. Cependant, de nouvelles exigences des clients peuvent prendre du temps pour être implémentées, coûter plus cher (dans le cas où il faut recruter des programmeurs) et causer des problèmes comme le problème de régression logiciel. Ainsi, le logiciel peut devenir défaillant. Ceci est dû à un mauvais transfert des exigences des clients vers la mise en œuvre. Ce problème peut être évité si le système est développé en utilisant un framework et une architecture permettant le développement/la mise à jour rapide des logiciels de surveillance. La recherche empirique d'une part montre que l'Ingénierie Dirigée par les Modèles (par exemple, Architecture Dirigée par les Modèles ou Model-Driven Architecture - MDA) est plus efficace que les approches basées sur le code pour le développement et la maintenance de certains logiciels. D'autre part, les processus agiles tels que Scrum sont plus efficaces que les processus structurés lorsque les exigences sont sujettes aux changements fréquents. Il a été démontré que le développement des logiciels de santé comme les logiciels de surveillance épidémiologique en utilisant les processus structurés ou les approches de développement centrées sur le code n'est pas évident car ces logiciels sont sujettes aux changements fréquents. Dans ce travail, nous étudions la combinaison de Scrum avec MDA pour le développement du système de surveillance épidémiologique de la tuberculose. A son terme, nous avons trouvé la combinaison de Scrum et MDA simple, très utile lorsque l'outil sous-jacent peut générer tout le code source. La combinaison de Scrum et MDA a eu des effets positifs sur la productivité et la satisfaction des programmeurs et des clients. En plus, nous avons constaté que pour impliquer les non-informaticiens dans le développement ou la mise à jour, l'interface de modélisation doit être aussi simple que possible.
Azanzi, Jiomekong
04 juillet 2023
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

Maker-Breaker domination game on trees when Staller wins

In the Maker-Breaker domination game played on a graph $G$, Dominator's goal is to select a dominating set and Staller's goal is to claim a closed neighborhood of some vertex. We study the cases when Staller can win the game. If Dominator (resp., Staller) starts the game, then $\gamma_{\rm SMB}(G)$ (resp., $\gamma_{\rm SMB}'(G)$) denotes the minimum number of moves Staller needs to win. For every positive integer $k$, trees $T$ with $\gamma_{\rm SMB}'(T)=k$ are characterized and a general upper bound on $\gamma_{\rm SMB}'$ is proved. Let $S = S(n_1,\dots, n_\ell)$ be the subdivided star obtained from the star with $\ell$ edges by subdividing its edges $n_1-1, \ldots, n_\ell-1$ times, respectively. Then $\gamma_{\rm SMB}'(S)$ is determined in all the cases except when $\ell\ge 4$ and each $n_i$ is even. The simplest formula is obtained when there are at least two odd $n_i$s. If $n_1$ and $n_2$ are the two smallest such numbers, then $\gamma_{\rm SMB}'(S(n_1,\dots, n_\ell))=\lceil \log_2(n_1+n_2+1)\rceil$. For caterpillars, exact formulas for $\gamma_{\rm SMB}$ and for $\gamma_{\rm SMB}'$ are established.
Bujtás, Csilla
06 septembre 2023
Lire l'article

Antisquares and Critical Exponents

The (bitwise) complement $\overline{x}$ of a binary word $x$ is obtained by changing each $0$ in $x$ to $1$ and vice versa. An $\textit{antisquare}$ is a nonempty word of the form $x\, \overline{x}$. In this paper, we study infinite binary words that do not contain arbitrarily large antisquares. For example, we show that the repetition threshold for the language of infinite binary words containing exactly two distinct antisquares is $(5+\sqrt{5})/2$. We also study repetition thresholds for related classes, where "two" in the previous sentence is replaced by a larger number. We say a binary word is $\textit{good}$ if the only antisquares it contains are $01$ and $10$. We characterize the minimal antisquares, that is, those words that are antisquares but all proper factors are good. We determine the growth rate of the number of good words of length $n$ and determine the repetition threshold between polynomial and exponential growth for the number of good words.
Baranwal, Aseem
06 septembre 2023
Lire l'article
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

The sheaf representation of residuated lattices

The residuated lattices form one of the most important algebras of fuzzy logics and have been heavily studied by people from various different points of view. Sheaf presentations provide a topological approach to many algebraic structures. In this paper, we study the topological properties of prime spectrum of residuated lattices, and then construct a sheaf space to obtain a sheaf representation for each residuated lattice.
Zhang, Huarong
21 mars 2023
Lire l'article

A Hofmann-Mislove theorem for $c$-well-filtered spaces

The Hofmann-Mislove theorem states that in a sober space, the nonempty Scott open filters of its open set lattice correspond bijectively to its compacts saturated sets. In this paper, the concept of $c$-well-filtered spaces is introduced. We show that a retract of a $c$-well-filtered space is $c$-well-filtered and a locally Lindel\"{o}f and $c$-well-filtered $P$-space is countably sober. In particular, we obtain a Hofmann-Mislove theorem for $c$-well-filtered spaces.
Zhang, Liping
21 mars 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 : Damian Niwiński
  • Type de support : papier et électronique
  • Périodicité : 5 à 6 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

Diffuse and Localized Functional Dysconnectivity in Schizophrenia: a Bootstrapped Top-Down Approach

Schizophrenia (SZ) is a brain disorder leading to detached mind's normally integrated processes. Hence, the exploration of the symptoms in relation to functional connectivity (FC) had great relevance in the field. FC can be investigated on different levels, going from global features to single edges between regions, revealing diffuse and localized dysconnection patterns. In this context, SZ is characterized by a diverse global integration with reduced connectivity in specific areas of the Default Mode Network (DMN). However, the assessment of FC presents various sources of uncertainty. This study proposes a multi-level approach for more robust group-comparison. FC between 74 AAL brain areas of 15 healthy controls (HC) and 12 SZ subjects were used. Multi-level analyses and graph topological indexes evaluation were carried out by the previously published SPIDER-NET tool. Robustness was augmented by bootstrapped (BOOT) data and the stability was evaluated by removing one (RST1) or two subjects (RST2). The DMN subgraph was evaluated, toegether with overall local indexes and connection weights to enhance common activations/deactivations. At a global level, expected trends were found. The robustness assessment tests highlighted more stable results for BOOT compared to the direct data testing. Conversely, significant results were found in the analysis at lower levels. The DMN highlighted reduced connectivity and strength as well as increased deactivation in the SZ group. At local level, 13 areas were found to be significantly different ($p<0.05$), highlighting a greater divergence in the frontal lobe. These results were confirmed analyzing the negative edges, suggesting inverted connectivity between prefronto-temporal areas. In conclusion, multi-level analysis supported by BOOT is highly recommended, especially when diffuse and localized dysconnections must be investigated in limited samples.
Coluzzi, Davide
21 septembre 2023
Lire l'article

Error Correction for Discrete Tomography

Discrete tomography focuses on the reconstruction of functions $f: A \to \mathbb{R}$ from their line sums in a finite number $d$ of directions, where $A$ is a finite subset of $\mathbb{Z}^2$. Consequently, the techniques of discrete tomography often find application in areas where only a small number of projections are available. In 1978 M.B. Katz gave a necessary and sufficient condition for the uniqueness of the solution. Since then, several reconstruction methods have been introduced. Recently Pagani and Tijdeman developed a fast method to reconstruct $f$ if it is uniquely determined. Subsequently Ceko, Pagani and Tijdeman extended the method to the reconstruction of a function with the same line sums of $f$ in the general case. Up to here we assumed that the line sums are exact. In this paper we investigate the case where a small number of line sums are incorrect as may happen when discrete tomography is applied for data storage or transmission. We show how less than $d/2$ errors can be corrected and that this bound is the best possible.
Ceko, M.
21 septembre 2023
Lire l'article
Informatique et mathématiques appliquées

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

The Effects of Political Martyrdom on Election Results: The Assassination of Abe

In developed nations assassinations are rare and thus the impact of such acts on the electoral and political landscape is understudied. In this paper, we focus on Twitter data to examine the effects of Japan's former Primer Minister Abe's assassination on the Japanese House of Councillors elections in 2022. We utilize sentiment analysis and emotion detection together with topic modeling on over 2 million tweets and compare them against tweets during previous election cycles. Our findings indicate that Twitter sentiments were negatively impacted by the event in the short term and that social media attention span has shortened. We also discuss how "necropolitics" affected the outcome of the elections in favor of the deceased's party meaning that there seems to have been an effect of Abe's death on the election outcome though the findings warrant further investigation for conclusive results.
Takagi, Miu Nicole
22 septembre 2023
Lire l'article

Interactive Analysis and Visualisation of Annotated Collocations in Spanish (AVAnCES)

Phraseology studies have been enhanced by Corpus Linguistics, which has become an interdisciplinary field where current technologies play an important role in its development. Computational tools have been implemented in the last decades with positive results on the identification of phrases in different languages. One specific technology that has impacted these studies is social media. As researchers, we have turned our attention to collecting data from these platforms, which comes with great advantages and its own challenges. One of the challenges is the way we design and build corpora relevant to the questions emerging in this type of language expression. This has been approached from different angles, but one that has given invaluable outputs is the building of linguistic corpora with the use of online web applications. In this paper, we take a multidimensional approach to the collection, design, and deployment of a phraseology corpus for Latin American Spanish from Twitter data, extracting features using NLP techniques, and presenting it in an interactive online web application. We expect to contribute to the methodologies used for Corpus Linguistics in the current technological age. Finally, we make this tool publicly available to be used by any researcher interested in the data itself and also on the technological tools developed here.
Gonzalez, Simon
22 septembre 2023
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 : 2008
  • 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

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

Answer Counting under Guarded TGDs

We study the complexity of answer counting for ontology-mediated queries and for querying under constraints, considering conjunctive queries and unions thereof (UCQs) as the query language and guarded TGDs as the ontology and constraint language, respectively. Our main result is a classification according to whether answer counting is fixed-parameter tractable (FPT), W[1]-equivalent, #W[1]-equivalent, #W[2]-hard, or #A[2]-equivalent, lifting a recent classification for UCQs without ontologies and constraints due to Dell et al. The classification pertains to various structural measures, namely treewidth, contract treewidth, starsize, and linked matching number. Our results rest on the assumption that the arity of relation symbols is bounded by a constant and, in the case of ontology-mediated querying, that all symbols from the ontology and query can occur in the data (so-called full data schema). We also study the meta-problems for the mentioned structural measures, that is, to decide whether a given ontology-mediated query or constraint-query specification is equivalent to one for which the structural measure is bounded.
Feier, Cristina
14 septembre 2023
Lire l'article

Arboreal Categories: An Axiomatic Theory of Resources

Game comonads provide a categorical syntax-free approach to finite model theory, and their Eilenberg-Moore coalgebras typically encode important combinatorial parameters of structures. In this paper, we develop a framework whereby the essential properties of these categories of coalgebras are captured in a purely axiomatic fashion. To this end, we introduce arboreal categories, which have an intrinsic process structure, allowing dynamic notions such as bisimulation and back-and-forth games, and resource notions such as number of rounds of a game, to be defined. These are related to extensional or "static" structures via arboreal covers, which are resource-indexed comonadic adjunctions. These ideas are developed in a general, axiomatic setting, and applied to relational structures, where the comonadic constructions for pebbling, Ehrenfeucht-Fra\"iss\'e and modal bisimulation games recently introduced by Abramsky et al. are recovered, showing that many of the fundamental notions of finite model theory and descriptive complexity arise from instances of arboreal covers.
Abramsky, Samson
10 août 2023
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

Propagation of chaos in mean field networks of FitzHugh-Nagumo neurons

In this article, we are interested in the behavior of a fully connected network of $N$ neurons, where $N$ tends to infinity. We assume that the neurons follow the stochastic FitzHugh-Nagumo model, whose specificity is the non-linearity with a cubic term. We prove a result of uniform in time propagation of chaos of this model in a mean-field framework. We also exhibit explicit bounds. We use a coupling method initially suggested by A. Eberle (arXiv:1305.1233), and recently extended in (1805.11387), known as the reflection coupling. We simultaneously construct a solution of the $N$-particle system and $N$ independent copies of the non-linear McKean-Vlasov limit in such a way that, considering an appropriate semi-metric that takes into account the various possible behaviors of the processes, the two solutions tend to get closer together as $N$ increases, uniformly in time. The reflection coupling allows us to deal with the non-convexity of the underlying potential in the dynamics of the quantities defining our network, and show independence at the limit for the system in mean field interaction with sufficiently small Lipschitz continuous interactions.
Colombani, Laetitia
19 juin 2023
Lire l'article

Gabor frames from contact geometry in models of the primary visual cortex

We analyze the interplay between contact geometry and Gabor filters signal analysis in geometric models of the primary visual cortex. We show in particular that a specific framed lattice and an associated Gabor system is determined by the Legendrian circle bundle structure of the $3$-manifold of contact elements on a surface (which models the V1-cortex), together with the presence of an almost-complex structure on the tangent bundle of the surface (which models the retinal surface). We identify a scaling of the lattice, also dictated by the manifold geometry, that ensures the frame condition is satisfied. We then consider a $5$-dimensional model where receptor profiles also involve a dependence on frequency and scale variables, in addition to the dependence on position and orientation. In this case we show that a proposed profile window function does not give rise to frames (even in a distributional sense), while a natural modification of the same generates Gabor frames with respect to the appropriate lattice determined by the contact geometry.
Liontou, Vasiliki
06 juin 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

Brooks' Theorem in Graph Streams: A Single-Pass Semi-Streaming Algorithm for $\Delta$-Coloring

Every graph with maximum degree $\Delta$ can be colored with $(\Delta+1)$ colors using a simple greedy algorithm. Remarkably, recent work has shown that one can find such a coloring even in the semi-streaming model. But, in reality, one almost never needs $(\Delta+1)$ colors to properly color a graph. Indeed, the celebrated \Brooks' theorem states that every (connected) graph beside cliques and odd cycles can be colored with $\Delta$ colors. Can we find a $\Delta$-coloring in the semi-streaming model as well? We settle this key question in the affirmative by designing a randomized semi-streaming algorithm that given any graph, with high probability, either correctly declares that the graph is not $\Delta$-colorable or outputs a $\Delta$-coloring of the graph. The proof of this result starts with a detour. We first (provably) identify the extent to which the previous approaches for streaming coloring fail for $\Delta$-coloring: for instance, all these approaches can handle streams with repeated edges and they can run in $o(n^2)$ time -- we prove that neither of these tasks is possible for $\Delta$-coloring. These impossibility results however pinpoint exactly what is missing from prior approaches when it comes to $\Delta$-coloring. We then build on these insights to design a semi-streaming algorithm that uses $(i)$ a novel sparse-recovery approach based on sparse-dense decompositions to (partially) recover the "problematic" subgraphs of the input -- the ones that form the basis of our impossibility results -- and $(ii)$ a new coloring approach for these subgraphs that allows for recoloring of other vertices in a controlled way without relying on local explorations or finding "augmenting paths" that are generally impossible for semi-streaming algorithms. We believe both these techniques can be of independent interest.
Assadi, Sepehr
25 août 2023
Lire l'article

Boosting Simple Learners

Boosting is a celebrated machine learning approach which is based on the idea of combining weak and moderately inaccurate hypotheses to a strong and accurate one. We study boosting under the assumption that the weak hypotheses belong to a class of bounded capacity. This assumption is inspired by the common convention that weak hypotheses are "rules-of-thumbs" from an "easy-to-learn class". (Schapire and Freund~'12, Shalev-Shwartz and Ben-David '14.) Formally, we assume the class of weak hypotheses has a bounded VC dimension. We focus on two main questions: (i) Oracle Complexity: How many weak hypotheses are needed to produce an accurate hypothesis? We design a novel boosting algorithm and demonstrate that it circumvents a classical lower bound by Freund and Schapire ('95, '12). Whereas the lower bound shows that $\Omega({1}/{\gamma^2})$ weak hypotheses with $\gamma$-margin are sometimes necessary, our new method requires only $\tilde{O}({1}/{\gamma})$ weak hypothesis, provided that they belong to a class of bounded VC dimension. Unlike previous boosting algorithms which aggregate the weak hypotheses by majority votes, the new boosting algorithm uses more complex ("deeper") aggregation rules. We complement this result by showing that complex aggregation rules are in fact necessary to circumvent the aforementioned lower bound. (ii) Expressivity: Which tasks can be learned by boosting weak hypotheses from a bounded VC class? Can complex concepts that are "far away" from the class be learned? Towards answering the first question we {introduce combinatorial-geometric parameters which capture expressivity in boosting.} As a corollary we provide an affirmative answer to the second question for well-studied classes, including half-spaces and decision stumps. Along the way, we establish and exploit connections with Discrepancy Theory.
Alon, Noga
19 juin 2023
Lire l'article