Source author record

Antoine Meyer

Antoine Meyer appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

2works
2topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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

Published work

2 published item(s)

preprint2020arXiv

Dielectrophoretic force-driven convection in annular geometry under Earth's gravity

Context: A radial temperature gradient together with an inhomogeneous radial electric field gradient is applied to a dielectric fluid confined in a vertical cylindrical annulus inducing thermal electro-hydrodynamic convection. Aims: Identification of the stability of the flow and hence of the line of marginal stability separating stable laminar free (natural) convection from thermal electro-hydrodynamic convection, its flow structures, pattern formation and critical parameters. Methods: Combination of different measurement techniques, namely the shadowgraph method and particle image velocimetry, as well as numerical simulation are used to qualify/quantify the flow. Results: We identify the transition from stable laminar free convection to thermal electro-hydrodynamic convective flow in a wide range of Rayleigh number and electric potential. The line of marginal stability found confirms results from linear stability analysis. The flow after first transition forms a structure of vertically aligned stationary columnar modes. We experimentally confirm critical parameters resulting from linear stability analysis and we show numerically an enhancement of heat transfer.

preprint2013arXiv

Counting CTL

This paper presents a range of quantitative extensions for the temporal logic CTL. We enhance temporal modalities with the ability to constrain the number of states satisfying certain sub-formulas along paths. By selecting the combinations of Boolean and arithmetic operations allowed in constraints, one obtains several distinct logics generalizing CTL. We provide a thorough analysis of their expressiveness and succinctness, and of the complexity of their model-checking and satisfiability problems (ranging from P-complete to undecidable). Finally, we present two alternative logics with similar features and provide a comparative study of the properties of both variants.