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

Mee Seong Im

Mee Seong Im contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.RTmath.QAmath.GTmath.OCNeural and Evolutionary ComputingComputational ComplexityComputer VisionFormal Languages and Automata TheoryMachine Learningmath-phmath.AGmath.COmath.CTmath.MPphysics.comp-phphysics.data-an

Trust snapshot

Quick read

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

9 published item(s)

preprint2022arXiv

Computational complexity reduction of deep neural networks

Deep neural networks (DNN) have been widely used and play a major role in the field of computer vision and autonomous navigation. However, these DNNs are computationally complex and their deployment over resource-constrained platforms is difficult without additional optimizations and customization. In this manuscript, we describe an overview of DNN architecture and propose methods to reduce computational complexity in order to accelerate training and inference speeds to fit them on edge computing platforms with low computational resources.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Irreducible components of two-row Springer fibers for all classical types

We give an explicit description of the irreducible components of two-row Springer fibers for all classical types using cup diagrams. Cup diagrams can be used to label the irreducible components of two-row Springer fibers. Given a cup diagram, we explicitly write down all flags contained in the component associated to the cup diagram. This generalizes results by Stroppel--Webster and Fung to all classical types.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Topological theories and automata

The paper explains the connection between topological theories for one-manifolds with defects and values in the Boolean semiring and automata and their generalizations. Finite state automata are closely related to regular languages. To each pair of a regular language and a circular regular language we associate a topological theory for one-dimensional manifolds with zero-dimensional defects labelled by letters of the language. This theory takes values in the Boolean semiring. Universal construction of topological theories gives rise in this case to a monoidal category of Boolean semilinear combinations of one-dimensional cobordisms with defects modulo skein relations. The latter category can be interpreted as a semilinear rigid monoidal closure of standard structures associated to a regular language, including minimal deterministic and nondeterministic finite state automata for the language and the syntactic monoid. The circular language plays the role of a regularizer, allowing to define the rigid closure of these structures. When the state space of a single point for a regular language describes a distributive lattice, there is a unique associated circular language such that the resulting theory is a Boolean TQFT.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

A study of irreducible components of Springer fibers using quiver varieties

It is a remarkable theorem by Maffei--Nakajima that the Slodowy variety, which is a subvariety of the resolution of the nilpotent cone, can be realized as a Nakajima quiver variety of type A. However, the isomorphism is rather implicit as it takes to solve a system of equations in which the variables are linear maps. In this paper, we construct solutions to this system under certain assumptions. This establishes an explicit and efficient way to compute the image of a complete flag contained in the Slodowy variety under the Maffei--Nakajima isomorphism and describe these flags in terms of quiver representations. As Slodowy varieties contain Springer fibers naturally, we can use these results to provide an explicit description of the irreducible components of two-row Springer fibers in terms of a family of kernel relations via quiver representations.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Genetic optimization algorithms applied toward mission computability models

Genetic algorithms are modeled after the biological evolutionary processes that use natural selection to select the best species to survive. They are heuristics based and low cost to compute. Genetic algorithms use selection, crossover, and mutation to obtain a feasible solution to computational problems. In this paper, we describe our genetic optimization algorithms to a mission-critical and constraints-aware computation problem.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Towards the affine and geometric invariant theory quotients of the Borel moment map

We study the Borel moment map $μ_B:T^*(\mathfrak{b}\times \mathbb{C}^n)\rightarrow \mathfrak{b}^*$, given by $(r,s,i,j)\mapsto [r,s]+ij$, and describe our algorithm to construct the geometric invariant theory (GIT) quotients $μ_B^{-1}(0)/\!\!/_{\det}B$ and $μ_B^{-1}(0)/\!\!/_{\det^{-1}}B$, and the affine quotient $μ_B^{-1}(0)/\!\!/B$. We also provide an insight of the singular locus of $2^n$ irreducible components of $μ_B$. Finally, analogous to the Hilbert--Chow morphism, we discuss that the GIT quotient for the Borel setting is a resolution of singularities.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Monte Carlo methods on a fixed volume system of Silicon-Germanium atoms

Since the electrons of a silicon-germanium system are bounded, external quantum effects are negligible. In this manuscript, we hold the volume constant while varying all other parameters, such as pressure, temperature, germanium chemical potential (or germanium concentration), energy, mole number and atomic bond structure, resulting in an observation of hysteresis in the system.

0 citations0 reviewsNo code linkedOpen access