Designing Conducting Polymers Using Bioinspired Ant Algorithms

Ant algorithms are inspired in real ants and the main idea is to create virtual ants that travel into the space of possible solution depositing virtual pheromone proportional to how good a specific solution is. This creates a autocatalytic (positive feedback) process that can be used to generate automatic solutions to very difficult problems. In the present work we show that these algorithms can be used coupled to tight-binding hamiltonians to design conducting polymers with pre-specified properties. The methodology is completely general and can be used for a large number of optimization problems in materials science

Evolution and environment of the eastern linear pottery culture: A case study in the site of Polgár-Piócási-Dűlő

A salvage excavation preceding a major investment project was conducted in 2006–2007, during which associated settlement features of a Middle Neolithic, Eastern Linear Pottery Culture (Alföld Linearbandkeramik – ALBK) were uncovered in an area called Piócási-dűlő on the eastern outskirts of Polgár. The features of the ALBK settlement date from two periods. The cluster of multi-functional pits yielding a rich assortment of finds, the handful of post-holes and an unusual ritual well found in the southern part of the investigated area formed one unit from the earliest phase of the Middle Neolithic (ALBK I). The settlement’s other occupation can be assigned to the late phase of the Middle Neolithic (ALBK IV). Five houseplans representing the remains of timber-framed buildings outlined a distinct area with three multi-functional pits. Associated with the above features were 8 burials. The preliminary archaeobotanical results from Polgár–Piócási-dűlő are based on the plant material found within the sediments of 11 archaeological structures, which mainly represent pits and a welI. It can be stated that the natural environment offered habitats in which oak trees dominated in the local vegetation, forming floodplain forests and wooded steppes. They also provided food in the form of fruits and formed an optimal habitat for domestic animals. Arable fields were probably also established in the vicinity of the settlements, suggested by findings of macroscopic plant remains that represented cultivated species. In both settlement phases lithic production activities are manifested both by the local on-site lithic production and – most importantly – by the presence of imported, mainly mesolocal, raw materials that point to contacts with deposit areas, or off-site preliminary working of obsidian and limnoquartzites. The kit of harvesting tools and a large number of grinding stones – especially in the younger phase – for the preparation of plant food suggest a major role of plant cultivation

Process Semantics of Petri Nets over Partial Algebra

"Petri nets are monoids" is the title and the central idea of the paper [7]. It provides an algebraic approach to define both nets and their processes as terms. A crucial assumption for this concept is that arbitrary concurrent composition of processes is defined, which holds true for place/transition Petri nets where places can hold arbitrarily many tokens. This paper defines a similar concept for elementary Petri nets, which are elementary net systems with arbitrary initial marking. Since markings of elementary nets cannot be added arbitrarily, some operators are only defined partially; hence we employ concepts of partial algebra. The main result of the paper states that the semantics based on process terms agrees with the classical partial-order process semantics for elementary net systems. More precisely, we provide a syntactic equivalence notion for process terms and a bijection from according equivalence classes of process terms to isomorphism classes of partially ordered proce..

Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs

Starting from the algebraic view of Petri nets as monoids (as advocated by Meseguer and Montanari in [MM90]) we present the marking graphs of place transition nets as free monoid graphs and the marking graphs of speci c elementary nets as powerset graphs. These are two important special cases of a general categorical version of Petri nets based on a functor M , called M-nets. These nets have a compositional marking graph semantics in terms of F-graphs, a generalization of free monoid and powerset graphs. Moreover we are able to characterize those F-graphs, called reexive F-graphs, which are realizable by corresponding M-nets. The main result shows that the behavior and realization constructions are adjoint functors leading to an equivalence of the categories MNet of M-nets and RFGraph of reexive F-graphs