Computing infinite plans for LTL goals using a classical planner

Classical planning has been notably successful in synthesizing finite plans to achieve states where propositional goals hold. In the last few years, classical planning has also been extended to incorporate temporally extended goals, expressed in temporal logics such as LTL, to impose restrictions on the state sequences generated by finite plans. In this work, we take the next step and consider the computation of infinite plans for achieving arbitrary LTL goals. We show that infinite plans can also be obtained efficiently by calling a classical planner once over a classical planning encoding that represents and extends the composition of the planningdomain and the B¨uchi automaton representingthe goal. This compilation scheme has been implemented and a number of experiments are reported.

Membrane and walls: who is master, who is servant?

Specialised plant cell types often locally modify their cell walls as part of a developmental program, as do cells that are challenged by particular environmental conditions. Modifications can include deposition of secondary cellulose, callose, cutin, suberin or lignin. Although the biosyntheses of cell wall components are more and more understood, little is known about the mechanisms that control localised deposition of wall materials. During metaxylem vessel differentiation, site-specific cell wall deposition is locally prevented by the microtubule depolymerising protein MIDD1, which disassembles the cytoskeleton and precludes the cellulose synthase complex from depositing cellulose. As a result, metaxylem vessel secondary cell wall appears pitted. How MIDD1 is tethered at the plasma membrane and how other cell wall polymers are locally deposited remain elusive. Casparian strips in the root endodermis represent a further example of local cell wall deposition. The recent discovery of the Casparian Strip membrane domain Proteins (CASPs), which are located at the plasma membrane and are important for the site-specific deposition of lignin during Casparian strip development, establishes the root endodermis as an attractive model system to study the mechanisms of localised cell wall modifications. How secondary modifications are modulated and monitored during development or in response to environmental changes is another question that still misses a complete picture.

Duplication and concerted evolution in a master sex determiner under balancing selection.

The transformer (tra) gene is a key regulator in the signalling hierarchy controlling all aspects of somatic sexual differentiation in Drosophila and other insects. Here, we show that six of the seven sequenced ants have two copies of tra. Surprisingly, the two paralogues are always more similar within species than among species. Comparative sequence analyses indicate that this pattern is owing to the ongoing concerted evolution after an ancestral duplication rather than independent duplications in each of the six species. In particular, there was strong support for inter-locus recombination between the paralogues of the ant Atta cephalotes. In the five species where the location of paralogues is known, they are adjacent to each other in four cases and separated by only few genes in the fifth case. Because there have been extensive genomic rearrangements in these lineages, this suggests selection acting to conserve their synteny. In three species, we also find a signature of positive selection in one of the paralogues. In three bee species where information is available, the tra gene is also duplicated, the copies are adjacent and in at least one species there was recombination between paralogues. These results suggest that concerted evolution plays an adaptive role in the evolution of this gene family.

Théâtre de la guerre en Afrique, comprenant les régences d'Alger, de Tunis, Tripoli et de l'empire du Maroc : Avec plans détaillés de la baie et des fortifications de la ville d'Alger et de ses environs, d'après les meilleurs matériaux qu'on a pu se procurer sur ce pays / drefsé par Frémin géographe

Échelle(s) : [ca 1:5 085 000], 30 myriamètres [= 5,9 cm]

Plan de la ville de Marseille : de ses faubourgs et bastides : Avec les plans détaillés de son lazaret, principaux monuments, édifices et endroits remarquables, donnant tous les changements qui ont eu lieu jusqu'à l'année 1839 / Vicq, grav. édit.

Échelle(s) : [ca 1:7 150], échelle de 600 mètres [= 8,4 cm]

Itinéraire de Bône à Constantine et marche de l'armée expéditionnaire en novembre 1836 : Sous les ordres de M. le Maréchal Clausel, avec les plans Drean, Nechmeya et Guelma / Dessiné par Ginoux ; Toulon, Lith[ographe] Imbert

Échelle(s) : [ca 1:226 000], 1 Lieue de poste [= 1,9 cm]

Illustrating Yoga: from the master to the book

In dieser Auseinandersetzung mit Visualität stellen die Autorinnen und Autoren des Bandes die faszinierende Welt des Bildes an der Schnittstelle zwischen Religion und Kultur vor. Zunächst werden hermeneutische Zugänge zu Visualität erkundet, dann folgen Studien zum Blick und dessen Regulierung innerhalb religiöser Traditionen, schliesslich werden die Vielfalt visueller Medien und deren spezifische Wechselwirkungen mit Religion untersucht. Das Buch gibt mit seiner breiten Palette internationaler und interdisziplinärer Beiträge Einblick in die visuelle Welt religiöser Traditionen und leistet einen Beitrag zu einer spezifisch religionswissenschaftlichen Visualitätsforschung.

Consumer Advisory Bulletin, How to Find Reputable In-Home Health Care and Service Plans, January 2008

The Attorney General’s Consumer Protection Division receives hundreds of calls and consumer complaints every year. Follow these tips to avoid unexpected expense and disappointments. This record is about: How to Find Reputable In-Home Health Care and Service Plans

Consumer Advisory Bulletin, "Credit Card Protection Plans" -- Paying for What You Can Do for Free?, January 2008

The Attorney General’s Consumer Protection Division receives hundreds of calls and consumer complaints every year. Follow these tips to avoid unexpected expense and disappointments. This record is about: "Credit Card Protection Plans" -- Paying for What You Can Do for Free?

Iowa 2008 Medicare Part D Stand-Alone Prescription Drug Plans, 2008

Medicare Deductible, co-insurance and premiuns form, and rescription drugs plans.