BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Damien Regnault

Damien Regnault contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
Computational ComplexityComputational GeometryData Structures and AlgorithmsDiscrete MathematicsDistributed, Parallel, and Cluster ComputingFormal Languages and Automata Theorynlin.AOnlin.CG

Trust snapshot

Quick read

Trust 15 - UnverifiedVerification L1Unclaimed author
3works
0followers
8topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

3 published item(s)

preprint2022arXiv

A Bi-Criteria FPTAS for Scheduling with Memory Constraints on Graph with Bounded Tree-width

In this paper we study a scheduling problem arising from executing numerical simulations on HPC architectures. With a constant number of parallel machines, the objective is to minimize the makespan under memory constraints for the machines. Those constraints come from a neighborhood graph G for the jobs. Motivated by a previous result on graphs G with bounded path-width, our focus is on the case when the neighborhood graph G has bounded tree-width. Our result is a bi-criteria fully polynomial time approximation algorithm based on a dynamic programming algorithm. It allows to find a solution within a factor of 1 + epsilon of the optimal makespan, where the memory capacity of the machines may be exceeded by a factor at most 1 + epsilon. This result relies on the use of a nice tree decomposition of G and its traversal in a specific way which may be useful on its own. The case of unrelated machines is also tractable with minor modifications.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Boolean automata isolated cycles and tangential double-cycles dynamics

Our daily social and political life is more and more impacted by social networks. The functioning of our living bodies is deeply dependent on biological regulation networks such as neural, genetic, and protein networks. And the physical world in which we evolve, is also structured by systems of interacting particles. Interaction networks can be seen in all spheres of existence that concern us, and yet, our understanding of interaction networks remains severely limited by our present lack of both theoretical and applied insight into their clockworks. In the past, efforts at understanding interaction networks have mostly been directed towards applications. This has happened at the expense of developing understanding of the generic and fundamental aspects of interaction networks. Intrinsic properties of interaction networks (eg the ways in which they transmit information along entities, their ability to produce this or that kind of global dynamical behaviour depending on local interactions) are thus still not well understood. Lack of fundamental knowledge tends to limit the innovating power of applications. Without more theoretical fundamental knowledge, applications cannot evolve deeply and become more impacting. Hence, it is necessary to better apprehend and comprehend the intrinsic properties of interaction networks, notably the relations between their architecture and their dynamics and how they are affected by and set in time. In this chapter, we use the elementary mathematical model of Boolean automata networks as a formal archetype of interaction networks. We survey results concerning the role of feedback cycles and the role of intersections between feedback cycles, in shaping the asymptotic dynamical behaviours of interaction networks.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

The program-size complexity of self-assembled paths

We prove a Pumping Lemma for the noncooperative abstract Tile Assembly Model, a model central to the theory of algorithmic self-assembly since the beginning of the field. This theory suggests, and our result proves, that small differences in the nature of adhesive bindings between abstract square molecules gives rise to vastly different expressive capabilities. In the cooperative abstract Tile Assembly Model, square tiles attach to each other using multi-sided cooperation of one, two or more sides. This precise control of tile binding is directly exploited for algorithmic tasks including growth of specified shapes using very few tile types, as well as simulation of Turing machines and even self-simulation of self-assembly systems. But are cooperative bindings required for these computational tasks? The definitionally simpler noncooperative (or Temperature 1) model has poor control over local binding events: tiles stick if they bind on at least one side. This has led to the conjecture that it is impossible for it to exhibit precisely controlled growth of computationally-defined shapes. Here, we prove such an impossibility result. We show that any planar noncooperative system that attempts to grow large algorithmically-controlled tile-efficient assemblies must also grow infinite non-algorithmic (pumped) structures with a simple closed-form description, or else suffer blocking of intended algorithmic structures. Our result holds for both directed and nondirected systems, and gives an explicit upper bound of $(8|T|)^{4|T|+1}(5|σ| + 6)$, where $|T|$ is the size of the tileset and $|σ|$ is the size of the seed assembly, beyond which any path of tiles is pumpable or blockable.

0 citations0 reviewsNo code linkedOpen access