The aim of this article is to give a self-contained approach in module theoretic terms to two fundamental results in block theory, due to Puig 6, 14.6 : first, there is an embedding of the source algebra of the Brauer correspondent of a block of some finite group into a source algebra of that block, and second, the source algebras of the Brauer correspondence can be described explicitly. Our pr...

Definition: Let v, k, and λ be positive integers such that v > k ≥ 2. A (v, k, λ)-balanced incomplete block design (which we abbreviate to (v, k, λ)-BIBD) is a design (X,A) such that the following properties are satisfied: 1. |X| = v, 2. Each block contains exactly k points, and 3. Every pair of distinct points is contained in exactly λ blocks. Property 3 in the definition above is the “balance...

Our aim was to optimize a SOA control system by evolving the architecture of the service component that transforms system models into task trees, which are then executed by the runtime library called the Task Tree Executor, TTE. In the paper we present the two novel TTE architectures that evolved from the previous TTE architecture and introduced finer grained parallelism. The novel architecture...

Let G be a strongly connected directed graph. We consider the problem of computing the smallest strongly connected spanning subgraph of G that maintains the pairwise 2-vertex-connectivity of G, i.e., the 2-vertex-connected blocks of G (2VC-B). We provide linear-time approximation algorithms for this problem that achieve an approximation ratio of 6. Based on these algorithms, we show how to appr...

BACKGROUND Cervical therapeutic intraarticular facet joint injections, therapeutic medial branch blocks, and radiofrequency neurotomy have been applied in managing chronic neck pain of cervical facet joint origin. However, the effectiveness of these modalities continues to be debated. The purpose of this study was to determine the clinical effectiveness of therapeutic cervical medial branch blo...

We have developed TAIL, a textual programming language isomorphic to the blocks language of MIT App Inventor 2 (AI2), and have extended AI2 with code blocks, a novel mechanism that enables bidirectional isomorphic conversions between blocks and text program fragments. TAIL improves AI2’s usability by facilitating the reading, writing, and sharing of programs, and may also ease the transition fr...

Mainstream research in planning assumes that input information is complete and correct. There are branches of research into plan generation with incomplete planning problems and with incomplete domain models. Approaches include gaining knowledge aimed at making the input information complete or building robust planners that can generate plans despite the incompleteness of the input. This paper ...

This paper focuses on the development and validation of an optimal motion planning method for computer-assisted surgical training. The context of this work is the development of new-generation systems that combine artificial intelligence and computer vision techniques in order to adjust the learning process to specific needs of a trainee, while preventing a trainee from the memorization of part...