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...

On-ramp merging areas are essential parts of freeways. The behavior vehicles is the main factor affecting continuity freeway traffic flow, which determines capacity line. With development innovative car technology, ACC technology has been widely used in actual vehicles. At same time, public’s demand for freeway-speed improvement increasing. However, evaluative research on freeway-speed-improvem...