Runtime environment of software are becoming more and more dynamic and changeful, while pervasive computing and web services further this situation. Software systems are not only becoming larger, more complex, and also more rigid, which make it difficult to evolve software. This paper focuses on online evolution, more exactly, how to make online evolution process convenient and smart, with help...

Since Kunihiro Nagahara’s original presentation at the 1993 ASCRS meeting, several different variations of chopping have evolved. Conceptually these can be divided into two main categories. I call the classic Nagahara technique horizontal chopping, because the instrument tips move toward each other in the horizontal plane during the chop. In vertical chopping, the two instrument tips move towar...

The ICDAR Robust Reading Competition (RRC), initiated in 2003 and re-established in 2011, has become the defacto evaluation standard for the international community. Concurrent with its second incarnation in 2011, a continuous effort started to develop an online framework to facilitate the hosting and management of competitions. This short paper briefly outlines the Robust Reading Competition A...

The release of OWL2, the latest incarnation of the Web Ontology Language, in the fall of 2009 delivered a new set of features drawn from user communities, researchers, and developers. These features build on and extend the original version in a way that is not only more expressive, but also addresses the burden of implementing the full language through tractable subsets for more efficient reaso...

In recent times, plagiarism detection software has become popular in universities and colleges, in an attempt to stem the tide of plagiarized student coursework. Such software attempts to detect any copied material and identify its source. The most popular such software is Turnitin, a commercial system used by thousands of institutions in more than one hundred countries. Here we show how to fix...

We study the full moduli space of vacua 6d worldvolume SCFTs on M5 branes probing an $A$-type singularity, focusing geometric incarnation discrete gauging mechanism which acts as a quotient Higgs branch fibered over tensor branch. combine insights from brane constructions and magnetic quiver techniques, in is implemented through concept decoration introduced [arXiv:2202.01218]. discover charact...

The paper introduces FlexDAGs as an interactive-diagram presentation of Directed Acyclic Graphs (DAGs). It also describes the design of a FlexDAG navigator for such DAG presentations. Each sharing of a subDAG by N parents is disentangled via N copies (incarnations) of its atomic root, the Ith occurrence of which being labeled by a number pair “I/N” (“I of N”, where 1 ≤ I ≤ N). While the Ith inc...

We construct a sheaf-theoretic analogue of the wrapped Fukaya category in Lagrangian Floer theory, by localizing sheaves microsupported away from some given Λ⊂S⁎M along continuation maps constructed using Guillermou-Kashiwara-Schapira sheaf quantization. When Λ is subanalytic singular isotropic, we also comparison map to compact objects unbounded Λ, and show that it an equivalence. The last sta...

Lorsqu’il est peint à une telle extrémité du décor qu’il en excède les bords, le protagoniste liminaire tend se confondre avec cadre, dont il partage fonctions, notamment de monstration. Telle incarnation anthropomorphe cadre lequel fait corps, ce puissant admoniteur constitue lieu l’échange par excellence entre l’univers et monde spectateur. Investiguant sens ces « figures » dans fresques la R...