Let E be a real 2-uniformly convex Banach space with topological dual E∗. We established strong convergence for the class of variational inclusion for the sum of three monotone operators. More over, we give a variant of ...

Let E be a uniformly convex and uniformly smooth real Banach space and E ∗ be its dual. Let A : E → 2 E be a bounded maximal monotone map. Assume that A −1 (0) 6 = ∅. A new iterative sequence is constructed which converges ...

Recent work indicates that the strong cosmic censorship hypothesis is violated by nearly extremal Reissner-Nordstrom-de Sitter black holes. It was argued that perturbations of such a black hole decay sufficiently rapidly ...

In this paper embedded strong discontinuities are used to model discrete cracking in materials like concrete. In the approach followed a discontinuous displacement field is considered and the deformation is localized at a ...

Despite the excellent properties of graphene, graphene based electronic devices are yet to be realized, one of the reason for such is the absence of band gap in graphene. Due to its large band gap, hexagonal boron nitride ...

Materials selection is done regarding to the availability, cost and performance of the candidates. In buildings, cement is the material that is widely used, even though it is releases co2 (estimated about 7% of the worldwide ...

There are multiple sorts of reasoning by analogy between two domains; the one with which we are concerned is a type of contextual analogy. The purpose of this paper is to see whether two domains that look analogous ...

Methods are developed for predicting vibration response characteristics of systems which change configuration during operation. A cartesian robot, an example of such a position-dependent system, served as a test case ...

Certain salient structures in images attract our immediate attention without requiring a systematic scan. We present a method for computing saliency by a simple iterative scheme, using a uniform network of locally ...

The development of inexpensive, non-toxic, high efficiency and earth-abundant solar absorbers is critical for terawatt scale implementation of photovoltaics. Cu 2 SnS 3 is a promising earth abundant absorber material that ...

"The Structure and Interpretation of Computer Programs" is the entry-level subject in Computer Science at the Massachusetts Institute of Technology. It is required of all students at MIT who major in Electrical ...

Pressure and contacts in materials and systems play crucial roles in their performance and also their eventual failures. Pressure application closes voids, bridges gaps and improves transport across interfaces. In thin ...

Stereopsis and motion parallax are two methods for recovering three dimensional shape. Theoretical analyses of each method show that neither alone can recover rigid 3D shapes correctly unless other information, such ...

This report develops a conceptual framework in which to talk about mathematical knowledge. There are several broad categories of mathematical knowledge: results which contain the traditional logical aspects of ...

The implementation of network security protocols has not received the same level of attention in the literature as their analysis. Security protocol analysis has successfully used inference logics, like GNY and BAN, and ...

A descriptive formalism along with a philosophy for its use and expansion are presented wherein descriptions are of a highly structured nature. This descriptive system and the method of recognition are extended to the ...

Microorganisms move in challenging environments by periodic changes in body shape. In contrast, current artificial microrobots cannot actively deform, exhibiting at best passive bending under external fields. Here, by ...

A structured approach to planning and debugging is obtained by using an Augmented Transition Network (ATN) to model the problem solving process. This proves to be a perspicuous representation for planning concepts including ...

A unified theory of planning an debugging is explored by designing a problem solving program called PATN. PATN uses an augmented transition network (ATN) to represent a broad range of planning techniques, including ...

This note descends from a talk I gave at the AI Lab's Revolving Seminar series in November 1984. I offer it as an informal introduction to some work I've been doing over the last year on common sense reasoning. Four themes ...