The thesis concentrates on two problems in discrete geometry, whose solutions are obtained by analytic, probabilistic and combinatoric tools. The first chapter deals with the strong polarization problem. This states that for any sequence u1, . . . , un of norm 1 vectors in a real Hilbert space H , there exists a unit vector v ∈ H , such that X 1 〈ui, v〉2 6 n . The 2-dimensional case is proved b...

We present a metagrammatical formalism, generic rules, to give a default interpretation to grammar rules. Our formalism introduces a process of dynamic binding interfacing the level of pure grammatical knowledge representation and the parsing level. We present an approach to non-constituent coordination within categorial grammars, and reformulate it as a generic rule. This reformulation is cont...

Follow this and additional works at: http://engagedscholarship.csuohio.edu/enece_facpub Part of the Computer Engineering Commons Publisher's Statement NOTICE: this is the author’s version of a work that was accepted for publication in Journal of Systems and Software. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other qualit...

W. Wu,1 J. B. Zhu2 and J. Zhao1 1Ecole Polytechnique Fédérale de Lausanne (EPFL), School of Architecture, Civil and Environmental Engineering, Laboratory of Rock Mechanics (LMR), CH-1015 Lausanne, Switzerland. E-mail: [email protected] 2 Graduate Aeronautical Laboratories and Department of Mechanical and Civil Engineering, Division of Engineering and Applied Sciences, California Institute of Techn...

As application semantics becomes more complex and dynamic in IT systems, it is necessary to engineer the application semantics in its own lifecycle of development parallel to system engineering. The application semiotics engineering process is under study as a methodology for engineering complex and dynamic business logic in intelligent applications. It stresses the informal specification, the ...

A common and frustrating problem in software engineering is the introduction of new faults as a side-e ect of software maintenance. An understanding of all of the relationships that exist between modi ed software and the rest of a system can limit the introduction of new faults. For large systems, these relationships can be numerous and subtle. The relationships can be especially complex in obj...