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

Jonas Schmidt

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

ResearcherUnclaimed source record
hep-thhep-phLogic in Computer ScienceComputational ComplexityData Structures and Algorithmshep-exNeural and Evolutionary Computing

Catalog footprint

What is connected

8works
7topics
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

8 published item(s)

preprint2022arXiv

Iltis: Learning Logic in the Web

The Iltis project provides an interactive, web-based system for teaching the foundations of formal methods. It is designed with the objective to allow for simple inclusion of new educational tasks; to pipeline such tasks into more complex exercises; and to allow simple inclusion and cascading of feedback mechanisms. Currently, exercises for many typical automated reasoning workflows for propositional logic, modal logic, and some parts of first-order logic are covered. Recently, Iltis has reached a level of maturity where large parts of introductory logic courses can be supplemented with interactive exercises. Sample interactive course material has been designed and used in courses over the last years, many of them with more than 300 students. We invite all readers to try out Iltis: https://iltis.cs.tu-dortmund.de

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Towards Explainable Real Estate Valuation via Evolutionary Algorithms

Human lives are increasingly influenced by algorithms, which therefore need to meet higher standards not only in accuracy but also with respect to explainability. This is especially true for high-stakes areas such as real estate valuation. Unfortunately, the methods applied there often exhibit a trade-off between accuracy and explainability. One explainable approach is case-based reasoning (CBR), where each decision is supported by specific previous cases. However, such methods can be wanting in accuracy. The unexplainable machine learning approaches are often observed to provide higher accuracy but are not scrutable in their decision-making. In this paper, we apply evolutionary algorithms (EAs) to CBR predictors in order to improve their performance. In particular, we deploy EAs to the similarity functions (used in CBR to find comparable cases), which are fitted to the data set at hand. As a consequence, we achieve higher accuracy than state-of-the-art deep neural networks (DNNs), while keeping interpretability and explainability. These results stem from our empirical evaluation on a large data set of real estate offers where we compare known similarity functions, their EA-improved counterparts, and DNNs. Surprisingly, DNNs are only on par with standard CBR techniques. However, using EA-learned similarity functions does yield an improved performance.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Work-sensitive Dynamic Complexity of Formal Languages

Which amount of parallel resources is needed for updating a query result after changing an input? In this work we study the amount of work required for dynamically answering membership and range queries for formal languages in parallel constant time with polynomially many processors. As a prerequisite, we propose a framework for specifying dynamic, parallel, constant-time programs that require small amounts of work. This framework is based on the dynamic descriptive complexity framework by Patnaik and Immerman.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Voisin-Borcea Manifolds and Heterotic Orbifold Models

We study the relation between a heterotic T^6/Z6 orbifold model and a compactification on a smooth Voisin-Borcea Calabi-Yau three-fold with non-trivial line bundles. This orbifold can be seen as a Z2 quotient of T^4/Z3 x T^2. We consider a two-step resolution, whose intermediate step is (K3 x T^2)/Z2. This allows us to identify the massless twisted states which correspond to the geometric Kaehler and complex structure moduli. We work out the match of the two models when non-zero expectation values are given to all twisted geometric moduli. We find that even though the orbifold gauge group contains an SO(10) factor, a possible GUT group, the subgroup after higgsing does not even include the standard model gauge group. Moreover, after higgsing, the massless spectrum is non-chiral under the surviving gauge group.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Broken R-Parity in the Sky and at the LHC

Supersymmetric extensions of the Standard Model with small R-parity and lepton number violating couplings are naturally consistent with primordial nucleosynthesis, thermal leptogenesis and gravitino dark matter. We consider supergravity models with universal boundary conditions at the grand unification scale, and scalar tau-lepton or bino-like neutralino as next-to-lightest superparticle (NLSP). Recent Fermi-LAT data on the isotropic diffuse gamma-ray flux yield a lower bound on the gravitino lifetime. Comparing two-body gravitino and neutralino decays we find a lower bound on a neutralino NLSP decay length, $c τ_{χ^0_1} \gsim 30 cm$. Together with gravitino and neutralino masses one obtains a microscopic determination of the Planck mass. For a stau-NLSP there exists no model-independent lower bound on the decay length. Here the strongest bound comes from the requirement that the cosmological baryon asymmetry is not washed out, which yields $c τ_{\tildeτ_1} \gsim 4 mm$. However, without fine-tuning of parameters, one finds much larger decay lengths. For typical masses, $m_{3/2} \sim 100 GeV$ and $m_{NLSP} \sim 150 GeV$, the discovery of a photon line with an intensity close to the Fermi-LAT limit would imply a decay length $cτ_{NLSP}$ of several hundred meters, which can be measured at the LHC.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Dynamical Matter-Parity Breaking and Gravitino Dark Matter

Scenarios where gravitinos with GeV masses make up dark matter are known to be in tension with high reheating temperatures, as required by e.g. thermal leptogenesis. This tension comes from the longevity of the NLSPs, which can destroy the successful predictions of the standard primordial nucleosynthesis. However, a small violation of matter parity can open new decay channels for the NLSP, avoiding the BBN problems, while being compatible with experimental cosmic-ray constraints. In this paper, we propose a model where matter parity, which we assume to be embedded in the U(1)_{B-L} gauge symmetry, is broken dynamically in a hidden sector at low scales. This can naturally explain the smallness of the matter parity breaking in the visible sector. We discuss the dynamics of the corresponding pseudo Nambu--Goldstone modes of B-L breaking in the hidden sector, and we comment on typical cosmic-ray and collider signatures in our model.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Local Grand Unification in the Heterotic Landscape

We consider the possibility that the unification of the electroweak interactions and the strong force arises from string theory, at energies significantly lower than the string scale. As a tool, an effective grand unified field theory in six dimensions is derived from an anisotropic orbifold compactification of the heterotic string. It is explicitly shown that all anomalies cancel in the model, though anomalous Abelian gauge symmetries are present locally at the boundary singularities. In the supersymmetric vacuum additional interactions arise from higher-dimensional operators. We develop methods that relate the couplings of the effective theory to the location of the vacuum, and find that unbroken discrete symmetries play an important role for the phenomenology of orbifold models. An efficient algorithm for the calculation of the superpotential to arbitrary order is developed, based on symmetry arguments. We furthermore present a correspondence between bulk fields of the orbifold model in six dimensions, and the moduli fields that arise from compactifying four internal dimensions on a manifold with non-trivial gauge background.

0 citations0 reviewsNo code linkedOpen access