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

Fabian Meyer

Fabian Meyer contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
Logic in Computer Sciencephysics.opticscond-mat.mes-halleess.SYmath.NARoboticsSystems and Control

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
6works
0followers
7topics
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

6 published item(s)

preprint2022arXiv

Improving Automatic Complexity Analysis of Integer Programs

In earlier work, we developed an approach for automatic complexity analysis of integer programs, based on an alternating modular inference of upper runtime and size bounds for program parts. In this paper, we show how recent techniques to improve automated termination analysis of integer programs (like the generation of multiphase-linear ranking functions and control-flow refinement) can be integrated into our approach for the inference of runtime bounds. The power of the resulting approach is demonstrated by an extensive experimental evaluation with our new re-implementation of the corresponding tool KoAT.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

All-dielectric silicon metalens for two-dimensional particle manipulation in optical tweezers

Dynamic control of compact chip-scale contactless manipulation of particles for bioscience applications remains a challenging endeavor, which is restrained by the balance between trapping efficiency and scalable apparatus. Metasurfaces offer the implementation of feasible optical tweezers on a planar platform for shaping the exerted optical force by a microscale-integrated device. Here, we design and experimentally demonstrate a highly efficient silicon-based metalens for two-dimensional optical trapping in the near-infrared. Our metalens concept is based on the Pancharatnam-Berry phase, which enables the device for polarization-sensitive particle manipulation. Our optical trapping setup is capable of adjusting the position of both the metasurface lens and the particle chamber freely in three directions, which offers great freedom for optical trap adjustment and alignment. Two-dimensional (2D) particle manipulation is done with a relatively low numerical aperture metalens ($NA_{ML}=0.6$). We experimentally demonstrate both 2D polarization sensitive drag and drop manipulation of polystyrene particles suspended in water and transfer of angular orbital momentum to these particles with a single tailored beam. Our work may open new possibilities for lab-on-a-chip optical trapping for bioscience applications and micro to nanoscale optical tweezers.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Miniaturized Metalens Based Optical Tweezers on Liquid Crystal Droplets for Lab-on-a-Chip Optical Motors

Surfaces covered with layers of ultrathin nanoantenna structures, so-called metasurfaces, have recently been proven capable of completely controlling phase of light. Metalenses have emerged from the advance in the development of metasurfaces providing a new basis for recasting traditional lenses into thin, planar optical components capable of focusing light. The lens made of arrays of plasmonic gold nanorods were fabricated on a glass substrate by using electron beam lithography. A 1064 nm laser was used to create a high intensity circularly polarized light focal spot through metalens of focal length 800 $μ$m, $N.A. = 0.6$ fabricated based on Pancharatnam-Berry phase principle. We demonstrated that optical rotation of birefringent nematic liquid crystal droplets trapped in the laser beam was possible through this metalens. The rotation of birefringent droplets convinced that the optical trap possesses strong enough angular momentum of light from radiation of each nanostructure acting like a local half waveplate and introducing an orientation-dependent phase to light. Here, we show the success in creating a miniaturized and robust metalens based optical tweezers system capable of rotating liquid crystals droplets to imitate an optical motor for future lab-on-a-chip applications.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Multi-Robot Task Allocation and Scheduling Considering Cooperative Tasks and Precedence Constraints

In order to fully exploit the advantages inherent to cooperating heterogeneous multi-robot teams, sophisticated coordination algorithms are essential. Time-extended multi-robot task allocation approaches assign and schedule a set of tasks to a group of robots such that certain objectives are optimized and operational constraints are met. This is particularly challenging if cooperative tasks, i.e. tasks that require two or more robots to work directly together, are considered. In this paper, we present an easy-to-implement criterion to validate the feasibility, i.e. executability, of solutions to time-extended multi-robot task allocation problems with cross schedule dependencies arising from the consideration of cooperative tasks and precedence constraints. Using the introduced feasibility criterion, we propose a local improvement heuristic based on a neighborhood operator for the problem class under consideration. The initial solution is obtained by a greedy constructive heuristic. Both methods use a generalized cost structure and are therefore able to handle various objective function instances. We evaluate the proposed approach using test scenarios of different problem sizes, all comprising the complexity aspects of the regarded problem. The simulation results illustrate the improvement potential arising from the application of the local improvement heuristic.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

A posteriori error analysis and adaptive non-intrusive numerical schemes for systems of random conservation laws

In this article we consider one-dimensional random systems of hyperbolic conservation laws. We first establish existence and uniqueness of random entropy admissible solutions for initial value problems of conservation laws which involve random initial data and random flux functions. Based on these results we present an a posteriori error analysis for a numerical approximation of the random entropy admissible solution. For the stochastic discretization, we consider a non-intrusive approach, the Stochastic Collocation method. The spatio-temporal discretization relies on the Runge--Kutta Discontinuous Galerkin method. We derive the a posteriori estimator using continuous reconstructions of the discrete solution. Combined with the relative entropy stability framework this yields computable error bounds for the entire space-stochastic discretization error. The estimator admits a splitting into a stochastic and a deterministic (space-time) part, allowing for a novel residual-based space-stochastic adaptive mesh refinement algorithm. We conclude with various numerical examples investigating the scaling properties of the residuals and illustrating the efficiency of the proposed adaptive algorithm.

0 citations0 reviewsNo code linkedOpen access