In this paper, we show how to create plain-weaving over an arbitrary surface. To create a plain-weaving on a surface, we need to create cycles that cross other cycles (or themselves) by alternatingly going over and under. We prove that it is possible to create such cycles, starting from any given manifold-mesh surface, by simply twisting every edge of the manifold mesh. Our proof is based on ou...

There is an increasing need for dynamic and context-sensitive adaptation of distributed applications in order to dynamically cope with evolving requirements of the usage context. To support dynamic and context-sensitive adaptation, we propose an aspect-oriente architecture that weaves and unweaves aspects at run-time on demand of the usage context. The goal of this report is to explore and solv...

Long hours of static work with awkward posture at traditionally designed looms can cause high prevalence of musculoskeletal disorders (MSDs) among carpet weavers. A comprehensive study was conducted in this industry with the objectives of determination of MSDs symptoms prevalence; identification of major factors associated with MSDs symptoms in carpet weaving occupation; and development of guid...

An Aspect-oriented Programming (AOP) based approach is proposed to perform context-aware service composition on the fly. It realises context-aware composition by semantically weaving context into static Web service composition. A context weaver is implemented based on the proposed approach. The proposed semantic weaving allows services to be composed in a systematic way with changing context.

Weaving knots are alternating knots with the same projection as torus knots, and were conjectured by X.-S. Lin to be among the maximum volume knots for fixed crossing number. We provide the first asymptotically correct volume bounds for weaving knots, and we prove that the infinite weave is their geometric limit.

Zinacantec Maya weaving tools and apprenticeship practices contain an implicit theory of cognitive development that corresponds to Piaget and Inhelder’s explicit theory of cognitive development [The Child’s Conception of Space, London, Routledge and Kegan Paul, 1956]. A set of preoperational and concrete operational spatial problems from the weaving domain provided empirical support for the eth...

purpose : to determine the effect of carpet weaving on refractive errors methods : in this cross sectional study, carpet weavers and non-weavers in the normal population of mashhad were regarded as exposed and non-exposed groups, respectively. a carpet weaver was a person who wove carpets 7 hours a day for at least 2 years. the non-weavers group was selected from the population of mashhad throu...

Mulhern Automated proof assistants provide few facilities for incremental development. Generally, if the underlying structures on which a proof is based are modified, the developer must redo much of the proof. Yet incremental development is really the most natural approach for proofs of programming language properties [5, 12]. We propose " proof weaving " , a technique that allows a proof devel...