On resolution with short clauses

We investigate properties ofk-resolution, a restricted version of resolution in which one parent clause must have length at mostk. Starting from a unit-preference strategy, we compare minimal proof lengths of unit-resolution and unrestricted resolution. In particular, we show that the speed-up by using resolution is bound by if the shortest unit-resolution refutation needst steps. Next we present an algorithm which decides whether the empty clause can be deduced by 2-resolution from a formula and has time complexity O(length()⁴). Finally we describe effects onk-resolution if a formula is transformed intot-CNF and show that extended 3-resolution is complete and sound.     

Die Veränderung der Pilzresistenz des Holzes durch Tränkung mit Kunstharzlösungen

Ohne Zusammenfassung     

Dezimalklassifikation für das Holzschutzgebiet

Ohne Zusammenfassung     

The Demeter System for Automated Harvesting

Automation of agricultural harvesting equipment in the near term appears both economically viable and technically feasible. This paper describes the Demeter system for automated harvesting. Demeter is a computer-controlled speedrowing machine, equipped with a pair of video cameras and a global positioning sensor for navigation. Demeter is capable of planning harvesting operations for an entire field, and then executing its plan by cutting crop rows, turning to cut successive rows, repositioning itself in the field, and detecting unexpected obstacles. In August of 1997, the Demeter system autonomously harvested 40 hectares (100 acres) of crop in a continuous run (excluding stops for refueling). During 1998, the Demeter system harvested in excess of 48.5 hectares (120 acres) of crop, cutting in a variety of fields.     

Schrifttumsberichte

Ohne Zusammenfassung     

Untersuchungen über die Durchlässigkeit von Kiefernholz

European Journal of Wood and Wood Products -     

东部公园攀爬游乐环

<正>建于1891年的东部公园是阿姆斯特丹19世纪扩张时期的产物,同时也是第一个由政府组织建造的大型公共公园。风景园林师莱昂纳多·施普林格(Leonard Springer)设计了一个有着高大树木、蜿蜒小径和开阔池塘的英式古典风格城市公园。和其他公共公园相似,东部公园周边分布有众多城市公共服务建筑,     

Schrifttumsberichte

Ohne Zusammenfassung     

Schrifttumsberichte

Ohne Zusammenfassung     

新阿姆斯特丹广场和展亭

新阿姆斯特丹广场和展亭，是为了纪念荷兰与纽约400多年的友谊，由荷兰电池保护协会委托的、来自荷兰的礼物。每年，广场和展亭预计将吸引超过600万人次，它将为游客、附近居民和整个纽约市提供数字信息以及荷兰的新闻。该展馆还出售食品和饮料，座位布置在周围广场。