On the arithmetic of Krull monoids with infinite cyclic class group

Let $H$ be a Krull monoid with infinite cyclic class group $G$ and let $G_P \subset G$ denote the set of classes containing prime divisors. We study under which conditions on $G_P$ some of the main finiteness properties of factorization theory--such as local tameness, the finiteness and rationality of the elasticity, the structure theorem for sets of lengths, the finiteness of the catenary degree, and the existence of monotone and of near monotone chains of factorizations--hold in $H$. In many cases, we derive explicit characterizations

Integrability of graph combinatorics via random walks and heaps of dimers

We investigate the integrability of the discrete non-linear equation governing the dependence on geodesic distance of planar graphs with inner vertices of even valences. This equation follows from a bijection between graphs and blossom trees and is expressed in terms of generating functions for random walks. We construct explicitly an infinite set of conserved quantities for this equation, also involving suitable combinations of random walk generating functions. The proof of their conservation, i.e. their eventual independence on the geodesic distance, relies on the connection between random walks and heaps of dimers. The values of the conserved quantities are identified with generating functions for graphs with fixed numbers of external legs. Alternative equivalent choices for the set of conserved quantities are also discussed and some applications are presented.Comment: 38 pages, 15 figures, uses epsf, lanlmac and hyperbasic

Heterogeneidade física de um latossolo argiloso manejado sob sistema plantio direto.

bitstream/CNPT-2010/40741/1/p-bp70.pd

Corpus Callosal Microstructure Influences Intermanual Transfer in Chimpanzees

Learning a new motor skill with one hand typically results in performance improvements in the alternate hand. The neural substrates involved with this skill acquisition are poorly understood. We combined behavioral testing and non-invasive brain imaging to study how the organization of the corpus callosum was related to intermanual transfer performance in chimpanzees. Fifty-three chimpanzees were tested for intermanual transfer of learning using a bent-wire task. Magnetic resonance and diffusion tensor images were collected from 39 of these subjects. The dominant hand showed greater performance benefits than the nondominant hand. Further, performance was associated with structural integrity of the motor and sensory regions of the CC. Subjects with better intermanual transfer of learning had lower fractional anisotropy values. The results are consistent with the callosal access model of motor programming

Macro-FF: Improving AI Planning with Automatically Learned Macro-Operators

Despite recent progress in AI planning, many benchmarks remain challenging for current planners. In many domains, the performance of a planner can greatly be improved by discovering and exploiting information about the domain structure that is not explicitly encoded in the initial PDDL formulation. In this paper we present and compare two automated methods that learn relevant information from previous experience in a domain and use it to solve new problem instances. Our methods share a common four-step strategy. First, a domain is analyzed and structural information is extracted, then macro-operators are generated based on the previously discovered structure. A filtering and ranking procedure selects the most useful macro-operators. Finally, the selected macros are used to speed up future searches. We have successfully used such an approach in the fourth international planning competition IPC-4. Our system, Macro-FF, extends Hoffmanns state-of-the-art planner FF 2.3 with support for two kinds of macro-operators, and with engineering enhancements. We demonstrate the effectiveness of our ideas on benchmarks from international planning competitions. Our results indicate a large reduction in search effort in those complex domains where structural information can be inferred