We study the unit group of the modular group algebra KG, where G is a 2-group of maximal class. We prove that the unit group of KG possesses a section isomorphic to the wreath product of a group of order two with the commutator subgroup of the group G. MSC2000: Primary 16S34, 20C05; Secondary 16U60

This paper tells about the CFD analysis of 2D Canard arrangement in supersonic cruise missiles. High heat dissipation rate causes the Canards to reduce its primary work of providing rotational stability to missile. This paper discusses about the criteria of choosing notched canard model against the present model. The models were designed in GAMBIT and analysed using FLUENT. Various pressure, te...

A series of 43 traumatic head impact experiments on non-human primates carried out in the past were simulated with a validated finite element model of the specimens. From these simulations, brain tissue response and head accelerations were extracted. Based on these accelerations, existing global head injury criteria (HIC, BRIC, GAMBIT and RIC) were calculated. Correlation between the local brai...

The future annotations of MultiLisp provide a simple method for taming the implicit par allelism of functional programs but require touch operations within all placeholder strict prim itives to ensure proper synchronization between threads These touch operations contribute substantially to program execution times We use an operational semantics of future devel oped in a previous paper to derive...

This paper considers the consequences of endowing an intelligent agent with the ability to modify its own code. The intelligent agent is patterned closely after AIXI [1], but the environment has read-only access to the agent’s description. On the basis of some simple modifications to the utility and horizon functions, we are able to discuss and compare some very different kinds of agents, speci...

We show that every infinite-dimensional commutative unital C∗-algebra has a Hilbert C∗-module admitting no frames. In particular, this shows that Kasparov’s stabilization theorem for countably generated Hilbert C∗-modules can not be extended to arbitrary Hilbert C∗-modules.

Let G be a finite group and A be a normal subgroup of G. We denote by ncc(A) the number of G-conjugacy classes of A and A is called n-decomposable, if ncc(A) = n. Set KG = {ncc(A)|A⊳ G}. Let X be a non-empty subset of positive integers. A group G is called X-decomposable, if KG = X . Ashrafi and his co-authors [1,2,3,4,5] have characterized the X-decomposable nonperfect finite groups for X = {1...

The concept of burden of proof is used in a wide range of discourses, from philosophy to law, science, skepticism, and even in everyday reasoning. This paper provides an analysis of the proper deployment of burden of proof, focusing in particular on skeptical discussions of pseudoscience and the paranormal, where burden of proof assignments are most poignant and relatively clear-cut. We argue t...

It is shown that for every k ∈ N there exists a Borel probability measure μ on {−1, 1}Rk × {−1, 1}Rk such that for every m,n ∈ N and x1, . . . , xm, y1, . . . , yn ∈ Sm+n−1 there exist x1, . . . , x ′ m, y ′ 1, . . . , y ′ n ∈ Sm+n−1 such that if G : R → R is a random k× (m+ n) matrix whose entries are i.i.d. standard Gaussian random variables then for all (i, j) ∈ {1, . . . ,m} × {1, . . . , n...