BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Thomas Meyer

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

ResearcherUnclaimed source record
Artificial IntelligenceLogic in Computer Sciencephysics.acc-phphysics.app-phcond-mat.mes-hallcond-mat.mtrl-scicond-mat.softmath-phmath.COmath.MPmath.PRMethodologyphysics.chem-phquant-ph

Catalog footprint

What is connected

13works
14topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

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

13 published item(s)

preprint2026arXiv

Defeasible Conditionals using Answer Set Programming

Defeasible entailment is concerned with drawing plausible conclusions from incomplete information. A foundational framework for modelling defeasible entailment is the KLM framework. Introduced by Kraus, Lehmann, and Magidor, the KLM framework outlines several key properties for defeasible entailment. One of the most prominent algorithms within this framework is Rational Closure (RC). This paper presents a declarative definition for computing RC using Answer Set Programming (ASP). Our approach enables the automatic construction of the minimal ranked model from a given knowledge base and supports entailment checking for specified queries. We formally prove the correctness of our ASP encoding and conduct empirical evaluations to compare the performance of our implementation with that of existing imperative implementations, specifically the InfOCF solver. The results demonstrate that our ASP-based approach adheres to RC's theoretical foundations and offers improved computational efficiency.

0 citations0 reviewsNo code linkedOpen access
preprint2026arXiv

Interplay of Structure and Dynamics in Solid Polymer Electrolytes: a Molecular Dynamics Study of LiPF6/polypropylene carbonate

Solid-state batteries (SSB) are emerging as next-generation electrochemical energy storage devices. Achieving high energy density in SSB relies on solid polymer electrolytes (SPE) that are electrochemically stable against both lithium metal and high-potential positive electrodes, two conditions that are difficult to satisfy without chemical degradation. In this work, molecular dynamics simulations are employed to investigate the relationship between structure and dynamics in carbonate-based SPE composed of polypropylene carbonate and lithium hexafluorophosphate (LiPF$_6$), at salt concentrations ranging from 0.32 to 1.21 mol$/$kg. Structural properties are analyzed under ambient pressure at the experimentally relevant temperature $T = 353$ K. Since the slow dynamical processes governing ion transport in these systems are inaccessible to direct molecular dynamics, transport properties are simulated at elevated temperatures up to 900 K and extrapolated to $T = 353$ K using Arrhenius behavior. The results reveal strong ionic correlations, a limited fraction of free ions, and a predominance of negatively charged clusters, especially at high salt concentration. At high temperature, the self-diffusion coefficient of Li$^+$ exceeds that of PF$_6^-$ due to weaker Li$^+$-carbonate and ion-ion interactions. However, at $T = 353$ K, Li$^+$ mobility becomes lower than that of the anion, consistent with typical experimental observations in SPE. As expected, the ionic conductivity $σ$ increases with temperature, while at $T = 353$ K it exhibits a maximum for salt concentrations between 1.0 and 1.1 mol$/$kg. Overall, the estimated physico-chemical parameters highlight the key role of ion correlations in SPE and suggest strategies to optimize electrolyte performance. The Arrhenius extrapolation approach used here provides valuable insight into ion transport mechanisms in solid polymer electrolytes.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Laplace and Dirac Operators on Graphs

Discrete versions of the Laplace and Dirac operators haven been studied in the context of combinatorial models of statistical mechanics and quantum field theory. In this paper we introduce several variations of the Laplace and Dirac operators on graphs, and we investigate graph-theoretic versions of the Schrödinger and Dirac equation. We provide a combinatorial interpretation for solutions of the equations and we prove gluing identities for the Dirac operator on lattice graphs, as well as for graph Clifford algebras.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

On Rational Entailment for Propositional Typicality Logic

Propositional Typicality Logic (PTL) is a recently proposed logic, obtained by enriching classical propositional logic with a typicality operator capturing the most typical (alias normal or conventional) situations in which a given sentence holds. The semantics of PTL is in terms of ranked models as studied in the well-known KLM approach to preferential reasoning and therefore KLM-style rational consequence relations can be embedded in PTL. In spite of the non-monotonic features introduced by the semantics adopted for the typicality operator, the obvious Tarskian definition of entailment for PTL remains monotonic and is therefore not appropriate in many contexts. Our first important result is an impossibility theorem showing that a set of proposed postulates that at first all seem appropriate for a notion of entailment with regard to typicality cannot be satisfied simultaneously. Closer inspection reveals that this result is best interpreted as an argument for advocating the development of more than one type of PTL entailment. In the spirit of this interpretation, we investigate three different (semantic) versions of entailment for PTL, each one based on the definition of rational closure as introduced by Lehmann and Magidor for KLM-style conditionals, and constructed using different notions of minimality.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Propagation of spin-waves packets in individual nano-sized yttrium iron garnet magnonic conduits

Modern-days CMOS-based computation technology is reaching its fundamental limitations. The emerging field of magnonics, which utilizes spin waves for data transport and processing, proposes a promising path to overcome these limitations. Different devices have been demonstrated recently on the macro- and microscale, but the feasibility of the magnonics approach essentially relies on the scalability of the structure feature size down to an extent of a few 10 nm, which are typical sizes for the established CMOS technology. Here, we present a study of propagating spin-wave packets in individual yttrium iron garnet (YIG) conduits with lateral dimensions down to 50 nm. Space and time resolved micro-focused Brillouin-Light-Scattering (BLS) spectroscopy is used to characterize the YIG nanostructures and measure the spin-wave decay length and group velocity directly. The revealed magnon transport at the scale comparable to the scale of CMOS proves the general feasibility of a magnon-based data processing.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Temperature dependence of spin pinning and spin-wave dispersion in nanoscopic ferromagnetic waveguides

The field of magnonics attracts significant attention due to the possibility of utilizing information coded into the spin-wave phase or amplitude to perform computation operations on the nanoscale. Recently, spin waves were investigated in Yttrium Iron Garnet (YIG) waveguides with widths ranging down to 50 nm and aspect ratios thickness over width approaching unity. A critical width was found, below which the exchange interaction suppresses the dipolar pinning phenomenon and the system becomes unpinned. Here we continue these investigations and analyse the pinning phenomenon and spin-wave dispersions as a function of temperature, thickness and material of choice. Higher order modes, the influence of a finite wavevector along the waveguide and the impact of the pinning phenomenon on the spin-wave lifetime are discussed as well as the influence of a trapezoidal cross section and edge roughness of the waveguides. The presented results are of particular interest for potential applications in magnonic devices and the incipient field of quantum magnonics at cryogenic temperatures.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

On estimation for Brownian motion governed by telegraph process with multiple off states

Brownian motion whose infinitesimal variance changes according to a three-state continuous time Markov Chain is studied. This Markov Chain can be viewed as a telegraph process with one on state and two off states. We first derive the distribution of occupation time of the on state. Then the result is used to develop a likelihood estimation procedure when the stochastic process at hand is observed at discrete, possibly irregularly spaced time points. The likelihood function is evaluated with the forward algorithm in the general framework of hidden Markov models. The analytic results are confirmed with simulation studies. The estimation procedure is applied to analyze the position data from a mountain lion.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Revising Incompletely Specified Convex Probabilistic Belief Bases

We propose a method for an agent to revise its incomplete probabilistic beliefs when a new piece of propositional information is observed. In this work, an agent's beliefs are represented by a set of probabilistic formulae -- a belief base. The method involves determining a representative set of 'boundary' probability distributions consistent with the current belief base, revising each of these probability distributions and then translating the revised information into a new belief base. We use a version of Lewis Imaging as the revision operation. The correctness of the approach is proved. The expressivity of the belief bases under consideration are rather restricted, but has some applications. We also discuss methods of belief base revision employing the notion of optimum entropy, and point out some of the benefits and difficulties in those methods. Both the boundary distribution method and the optimum entropy method are reasonable, yet yield different results.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic

Standard belief change assumes an underlying logic containing full classical propositional logic. However, there are good reasons for considering belief change in less expressive logics as well. In this paper we build on recent investigations by Delgrande on contraction for Horn logic. We show that the standard basic form of contraction, partial meet, is too strong in the Horn case. This result stands in contrast to Delgrande's conjecture that orderly maxichoice is the appropriate form of contraction for Horn logic. We then define a more appropriate notion of basic contraction for the Horn case, influenced by the convexity property holding for full propositional logic and which we refer to as infra contraction. The main contribution of this work is a result which shows that the construction method for Horn contraction for belief sets based on our infra remainder sets corresponds exactly to Hansson's classical kernel contraction for belief sets, when restricted to Horn logic. This result is obtained via a detour through contraction for belief bases. We prove that kernel contraction for belief bases produces precisely the same results as the belief base version of infra contraction. The use of belief bases to obtain this result provides evidence for the conjecture that Horn belief change is best viewed as a hybrid version of belief set change and belief base change. One of the consequences of the link with base contraction is the provision of a representation result for Horn contraction for belief sets in which a version of the Core-retainment postulate features.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Instrument Front-Ends at Fermilab During Run II

The optimization of an accelerator relies on the ability to monitor the behavior of the beam in an intelligent and timely fashion. The use of processor-driven front-ends allowed for the deployment of smart systems in the field for improved data collection and analysis during Run II. This paper describes the implementation of the two main systems used: National Instruments LabVIEW running on PCs, and WindRiver's VxWorks real-time operating system running in a VME crate processor.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Microscopic magnetic structuring of a spin-wave waveguide by ion implantation in a Ni(81)Fe(19) layer

We investigate the spin-wave excitation in microscopic waveguides fabricated by localized Cr+ ion implantation in a ferromagnetic Ni(81)Fe(19) film. We demonstrate that spin-wave waveguides can be conveniently made by this technique. The magnetic patterning technique yields an increased damping and a reduction in saturation magnetization in the implanted regions that can be extracted from Brillouin light scattering measurements of the spin-wave excitation spectra. Furthermore, the waveguide performance as well as the internal field of the waveguide depend on the doping fluence. The results prove that localized ion implantation is a powerful tool for the patterning of magnon spintronic devices.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Operational use of ionization profile monitors in the Fermilab Main Injector

Ionization profile monitors (IPMs) are used in the Fermilab Main Injector (MI) to monitor injection lattice matching by measuring turn-by-turn sigmas at injection and to measure transverse emittance of the beam during the acceleration cycle. The IPMs provide a periodic, non-destructive means of performing turn-by-turn emittance measurements where other techniques are not applicable. As Fermilab is refocusing its attention on the intensity frontier, non-intercepting diagnostics such as IPMs are expected to become even more important. This paper gives an overview of the operational use of IPMs for emittance measurements and injection lattice matching measurements at Fermilab, and summarizes the future plans.

0 citations0 reviewsNo code linkedOpen access