A systematic method of designing TSC checker for Q class (even code length) of Borden’s code [l] is proposed, where a modular approach is used. In a comparative study, it is found that the proposed method is much better than [2,3] and it has a larger capability than [4,5] in designing the checker. For instance, the 3/12 code in C(12,2) can be identified in one of four ways, corresponding to PT’...

The Tekkotsu “crew” is a collection of interacting software components designed to relieve a programmer of much of the burden of specifying low-level robot behaviors. Using this abstract approach to robot programming we can teach beginning roboticists to develop interesting robot applications with relatively little effort.

Let $n>m$, and let $A$ be an $(m\times n)$-matrix of full rank. Then obviously the estimate $\|Ax\|\leq\|A\|\|x\|$ holds for euclidean norm $x$ $Ax$ spectral as assigned matrix norm. We study sets all which, fixed $\delta<1$, conversely $\|Ax\|\geq\delta\,\|A\|\|x\|$ holds. It turns out that these fill, in high-dimensional case, almost complete space once $\delta$ falls below a bound depends on...

We study visibility of Shafarevich–Tate groups of modular abelian varieties in Jacobians of modular curves of higher level. We prove a theorem about the existence of visible elements at a specific higher level under certain hypothesis which can be verified explicitly. We also provide a table of examples of visible subgroups at higher level and state a conjecture inspired by our data. 2000 Mathe...

According  to  a  basic  prediction  made  by  the  Revised  Hierarchical  Model  (RHM),  at  early  stages  of language  acquisition,  strong  L2-L1  lexical  links  are  formed.  RHM  predicts  that  these  links  weaken with  increasing  proficiency,  although  they  do  not  disappear  even  at  higher  levels  of  language development. To test this prediction, two groups of highly proficie...