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

Robert Myers

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

ResearcherUnclaimed source record
math.GTFormal Languages and Automata TheoryLogic in Computer Sciencemath.CTComputer Visioncs.CYeess.IVhep-thMachine LearningRoboticsSoftware Engineering

Catalog footprint

What is connected

13works
11topics
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)

preprint2022arXiv

Multi stain graph fusion for multimodal integration in pathology

In pathology, tissue samples are assessed using multiple staining techniques to enhance contrast in unique histologic features. In this paper, we introduce a multimodal CNN-GNN based graph fusion approach that leverages complementary information from multiple non-registered histopathology images to predict pathologic scores. We demonstrate this approach in nonalcoholic steatohepatitis (NASH) by predicting CRN fibrosis stage and NAFLD Activity Score (NAS). Primary assessment of NASH typically requires liver biopsy evaluation on two histological stains: Trichrome (TC) and hematoxylin and eosin (H&E). Our multimodal approach learns to extract complementary information from TC and H&E graphs corresponding to each stain while simultaneously learning an optimal policy to combine this information. We report up to 20% improvement in predicting fibrosis stage and NAS component grades over single-stain modeling approaches, measured by computing linearly weighted Cohen's kappa between machine-derived vs. pathologist consensus scores. Broadly, this paper demonstrates the value of leveraging diverse pathology images for improved ML-powered histologic assessment.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Nondeterministic Syntactic Complexity

We introduce a new measure on regular languages: their nondeterministic syntactic complexity. It is the least degree of any extension of the `canonical boolean representation' of the syntactic monoid. Equivalently, it is the least number of states of any subatomic nondeterministic acceptor. It turns out that essentially all previous structural work on nondeterministic state-minimality computes this measure. Our approach rests on an algebraic interpretation of nondeterministic finite automata as deterministic finite automata endowed with semilattice structure. Crucially, the latter form a self-dual category.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Pass-Fail Criteria for Scenario-Based Testing of Automated Driving Systems

The MUSICC project has created a proof-of-concept scenario database to be used as part of a type approval process for the verification of automated driving systems (ADS). This process must include a highly automated means of evaluating test results, as manual review at the scale required is impractical. This paper sets out a framework for assessing an ADS's behavioural safety in normal operation (i.e. performance of the dynamic driving task without component failures or malicious actions). Five top-level evaluation criteria for ADS performance are identified. Implementing these requires two types of outcome scoring rule: prescriptive (measurable rules which must always be followed) and risk-based (undesirable outcomes which must not occur too often). Scoring rules are defined in a programming language and will be stored as part of the scenario description. Risk-based rules cannot give a pass/fail decision from a single test case. Instead, a framework is defined to reach a decision for each functional scenario (set of test cases with common features). This considers statistical performance across many individual tests. Implications of this framework for hypothesis testing and scenario selection are identified.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Generalized Eilenberg Theorem I: Local Varieties of Languages

We investigate the duality between algebraic and coalgebraic recognition of languages to derive a generalization of the local version of Eilenberg's theorem. This theorem states that the lattice of all boolean algebras of regular languages over an alphabet Σ closed under derivatives is isomorphic to the lattice of all pseudovarieties of Σ-generated monoids. By applying our method to different categories, we obtain three related results: one, due to Gehrke, Grigorieff and Pin, weakens boolean algebras to distributive lattices, one weakens them to join-semilattices, and the last one considers vector spaces over the binary field.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Varieties of Languages in a Category

Eilenberg's variety theorem, a centerpiece of algebraic automata theory, establishes a bijective correspondence between varieties of languages and pseudovarieties of monoids. In the present paper this result is generalized to an abstract pair of algebraic categories: we introduce varieties of languages in a category C, and prove that they correspond to pseudovarieties of monoids in a closed monoidal category D, provided that C and D are dual on the level of finite objects. By suitable choices of these categories our result uniformly covers Eilenberg's theorem and three variants due to Pin, Polak and Reutenauer, respectively, and yields new Eilenberg-type correspondences.

0 citations0 reviewsNo code linkedOpen access
preprint2005arXiv

End reductions, fundamental groups, and covering spaces of irreducible open 3-manifolds

Suppose M is a connected, open, orientable, irreducible 3-manifold which is not homeomorphic to R^3. Given a compact 3-manifold J in M which satisfies certain conditions, Brin and Thickstun have associated to it an open neighborhood V$ called an end reduction of M at J. It has some useful properties which allow one to extend to M various results known to hold for the more restrictive class of eventually end irreducible open 3-manifolds. In this paper we explore the relationship of V and M with regard to their fundamental groups and their covering spaces. In particular we give conditions under which the inclusion induced homomorphism on fundamental groups is an isomorphism. We also show that if M has universal covering space homeomorphic to R^3, then so does V. This work was motivated by a conjecture of Freedman (later disproved by Freedman and Gabai) on knots in M which are covered by a standard set of lines in R^3.

0 citations0 reviewsNo code linkedOpen access
preprint1997arXiv

Compactifying sufficiently regular covering spaces of compact 3-manifolds

In this paper it is proven that if the group of covering translations of the covering space of a compact, connected, $P^2$-irreducible 3-manifold corresponding to a non-trivial, finitely-generated subgroup of its fundamental group is infinite, then either the covering space is almost compact or the subgroup is infinite cyclic and has normalizer a non-finitely-generated subgroup of the rational numbers. In the first case additional information is obtained which is then used to relate Thurston's hyperbolization and virtual bundle conjectures to some algebraic conjectures about certain 3-manifold groups.

0 citations0 reviewsNo code linkedOpen access
preprint1996arXiv

Attaching boundary planes to irreducible open 3-manifolds

Given any connected, open 3-manifold $U$ having finitely many ends, a non-compact 3-manifold $M$ is constructed having the following properties: the interior of $M$ is homeomorphic to $U$; the boundary of $M$ is the disjoint union of finitely many planes; $M$ is not almost compact; $M$ is eventually end-irreducible; there are no proper, incompressible embeddings of $S^1 \times \bold R$ in $M$; every compact subset of $M$ is contained in a larger compact subset whose complement is anannular; there is a compact subset of $M$ whose complement is $\bold P^2$-irreducible. If $U$ is irreducible it also has the following two properties: every proper, non-trivial plane in $M$ is boundary-parallel; every proper surface in $M$ each component of which has non-empty boundary and is non-compact and simply connected lies in a collar on $\partial M$. This construction can be chosen so that $M$ admits no homeomorphisms which take one boundary plane to another or reverse orientation. For the given $U$ there are uncountably many non-homeomorphic such $M$. Two auxiliary results may be of independent interest. First, general conditions are given under which infinitely many ``trivial'' compact components of the intersection of two proper, non-compact surfaces in an irreducible 3-manifold can be removed by an ambient isotopy. Second, $n$ component tangles in a 3-ball are constructed such that every non-empty union of components of the tangle has hyperbolic exterior.

0 citations0 reviewsNo code linkedOpen access
preprint1996arXiv

Contractible open 3-manifolds which non-trivially cover only non-compact 3-manifolds

Suppose $M$ is a closed, connected, orientable, \irr\ \3m\ such that $G=π_1(M)$ is infinite. One consequence of Thurston's geometrization conjecture is that the universal covering space $\widetilde{M}$ of $M$ must be \homeo\ to $\RRR$. This has been verified directly under several different additional assumptions on $G$. (See, for example, \cite{2}, \cite{3}, \cite{6}, \cite{19}.)

0 citations0 reviewsNo code linkedOpen access
preprint1996arXiv

Contractible open 3-manifolds with free covering translation groups

This paper concerns the class of contractible open 3-manifolds which are ``locally finite strong end sums'' of eventually end-irreducible Whitehead manifolds. It is shown that whenever a 3-manifold in this class is a covering space of another 3-manifold the group of covering translations must be a free group. It follows that such a 3-manifold cannot cover a closed 3-manifold. For each countable free group a specific uncountable family of irreducible open 3-manifolds is constructed whose fundamental groups are isomorphic to the given group and whose universal covering spaces are in this class and are pairwise non-homeomorphic.

0 citations0 reviewsNo code linkedOpen access
preprint1996arXiv

End sums of irreducible open 3-manifolds

An end sum is a non-compact analogue of a connected sum. Suppose we are given two connected, oriented $n$-manifolds $M_1$ and $M_2$. Recall that to form their connected sum one chooses an $n$-ball in each $M_i$, removes its interior, and then glues together the two $S^{n-1}$ boundary components thus created by an orientation reversing homeomorphism. Now suppose that $M_1$ and $M_2$ are also open, i.e. non-compact with empty boundary. To form an end sum of $M_1$ and $M_2$ one chooses a halfspace $H_i$ (a manifold \homeo\ to ${\bold R}^{n-1} \times [0, \infty)$) embedded in $M_i$, removes its interior, and then glues together the two resulting ${\bold R}^{n-1}$ boundary components by an orientation reversing homeomorphism. In order for this space $M$ to be an $n$-manifold one requires that each $H_i$ be {\bf end-proper} in $M_i$ in the sense that its intersection with each compact subset of $M_i$ is compact. Note that one can regard $H_i$ as a regular neighborhood of an end-proper ray (a 1-manifold \homeo\ to $[0,\infty)$) $\ga_i$ in $M_i$.

0 citations0 reviewsNo code linkedOpen access
preprint1996arXiv

R^2-irreducible universal covering spaces of P^2-irreducible open 3-manifolds

An irreducible open 3-manifold $W$ is {\bf R}$^2$-irreducible if every proper plane in $W$ splits off a halfspace. In this paper it is shown that if such a $W$ is the universal cover of a connected, {\bf P}$^2$-irreducible open 3-manifold $M$ with finitely generated fundamental group, then either $W$ is homeomorphic to {\bf R}$^3$ or the group is a free product of infinite cyclic groups and infinite closed surface groups. Given any such finitely generated group uncountably many $M$ are constructed with that fundamental group such that their universal covers are {\bf R}$^2$-irreducible, are not homeomorphic to {\bf R}$^3$, and are pairwise non-homeomorphic. These results are related to the conjecture that closed, orientable, irreducible, aspherical 3-manifolds are covered by {\bf R}$^3$.

0 citations0 reviewsNo code linkedOpen access
preprint1992arXiv

What unitary matrix models are not?

We report results of two investigations of the double-scaling equations for the unitary matrix models. First, the fixed area partition functions have all positive coefficients only for the first four critical points. This implies that the critical points at $k\ge5$ describe non-unitary continuum theories. Secondly, we examine a conjectured connection to branched polymers, but find that the scaling solutions of the unitary models do not agree with those of a particular model describing branched polymers.

0 citations0 reviewsNo code linkedOpen access