Clementina, hoc est, B. Clementis romani, divorum Petri et Pauli... discipuli et in rom. sede successoris... Opera quae quidem in hunc usque diem a variis auctoribus collecta... [Texto impreso] : cum nova praefatione...

Colofón

Petri Lombardi episcopi parisien. sententiarum libri IIII: [Texto impreso]

Marca tip. en port

Distributed, layered and reliable computing nets to represent neuronal receptive fields

Abstract. Receptive fields of retinal and other sensory neurons show a large variety of spatiotemporal linear and non linear types of responses to local stimuli. In visual neurons, these responses present either asymmetric sensitive zones or center-surround organization. In most cases, the nature of the responses suggests the existence of a kind of distributed computation prior to the integration by the final cell which is evidently supported by the anatomy. We describe a new kind of discrete and continuous filters to model the kind of computations taking place in the receptive fields of retinal cells. To show their performance in the analysis of diferent non-trivial neuron-like structures, we use a computer tool specifically programmed by the authors to that efect. This tool is also extended to study the efect of lesions on the whole performance of our model nets.

Control of insect vectors and plant viruses in protected crops by novel pyrethroid-treated nets

Long-lasting insecticide-treated nets (LLITNs) constitute a novel alternative that combines physical and chemical tactics to prevent insect access and the spread of insect-transmitted plant viruses in protected enclosures. This approach is based on a slow-release insecticide-treated net with large hole sizes that allow improved ventilation of greenhouses. The efficacy of a wide range of LLITNs was tested under laboratory conditions against Myzus persicae, Aphis gossypii and Bemisia tabaci. Two nets were selected for field tests under a high insect infestation pressure in the presence of plants infected with Cucumber mosaic virus and Cucurbit aphid-borne yellows virus. The efficacy of Aphidius colemani, a parasitoid commonly used for biological control of aphids, was studied in parallel field experiments.

Modelagem e análise das cadeias de suprimentos globais e resilientes baseadas em rede de Petri.

Em um cenário de aumento de competitividade, crescente expectativa por inovações do produto e necessidade de atender diferentes perfis de consumidores, o conceito de gerenciamento de cadeias de suprimentos globais (GSCM) surge como uma estratégia para coordenar mais eficazmente as atividades dispersas geograficamente dos sistemas produtivos. Na adoção do GSCM, as organizações devem lidar com rupturas que impactam no gerenciamento das suas atividades, tais como a interrupção de vias de transporte, pane no fornecimento de energia, desastres naturais e até ataques terroristas. Nesse contexto, o trabalho introduz um procedimento sistematizado para modelagem das cadeias de suprimentos visto como um sistema a eventos discretos e sua análise por simulação das atividades do GSCM baseada em técnicas formais como a rede de Petri (PN) e o Production Flow Schema (PFS). Um exemplo é também apresentado para ilustrar e comprovar as vantagens do método proposto na análise do GSCM.

Verificación de extensiones de Redes de Petri con precios, tiempo y múltiples instancias

Las redes de Petri son un lenguaje formal muy adecuado para la modelizacíon, ańalisis y verificacíon de sistemas concurrentes con infinitos estados. En particular, son muy apropiadas para estudiar las propiedades de seguridad de dichos sistemas, dadas sus buenas propiedades de decidibilidad. Sin embargo, en muchas ocasiones las redes de Petri carecen de la expresividad necesaria para representar algunas caracteŕısticas fundamentales de los sistemas que se manejan hoy en d́ıa, como el manejo de tiempo real, costes reales, o la presencia de varios procesos con un ńumero no acotado de estados ejecut́andose en paralelo. En la literatura se han definido y estudiado algunas extensiones de las redes de Petri para la representaci ́on de las caracteŕısticas anteriores. Por ejemplo, las “Redes de Petri Temporizadas” [83, 10](TPN) incluyen el manejo de tiempo real y las ν-redes de Petri [78](ν-PN) son capaces de representar un ńumero no acotado de procesos con infinitos estados ejecut́andose concurrentemente. En esta tesis definimos varias extensiones que réunen estas dos caracteŕısticas y estudiamos sus propiedades de decidibilidad. En primer lugar definimos las “ν-Redes de Petri Temporizadas”, que réunen las caracteŕısticas expresivas de las TPN y las ν-PN. Este nuevo modelo es capaz de representar sistemas con un ńumero no acotado de procesos o instancias, donde cada proceso es representado por un nombre diferente, y tiene un ńumero no acotado de relojes reales. En este modelo un reloj de una instancia debe satisfacer ciertas condiciones (pertenecer a un intervalo dado) para formar parte en el disparo de una transicíon. Desafortunadamente, demostramos que la verificacíon de propiedades de seguridad es indecidible para este modelo...

Mechanical, thermal and colorimetric properties of LLDPE coloured with a blue nanopigment and conventional blue pigments

Purpose – This research deals with a new kind of nanopigment, obtained from the combination of organic dyes and layered nanoclays, that the authors call nanoclay-colorant pigment (NCP). Whilst they have already been employed in inks and coatings, to date these nanopigments have not been used as pigments for polymers. The existing lack of knowledge surrounding them must be redressed in order to bridge the gap between current academic studies and commercial exploitation. Therefore, the main purpose of this paper is to examine the hitherto unknown aspects of the NCP, which relate specifically to their applicability as a new type of colorant for polymers. Design/methodology/approach – A blue NCP has been prepared at the laboratory according to the patented method of synthesis (patent WO0104216), using methylene blue and montmorillonite nanoclay. It has then been applied to a thermoplastic polymer (linear low-density polyethylene – LLDPE) to obtain a coloured sample. Furthermore, samples with the same polymer but using conventional blue colorants have been prepared under the same processing conditions. The mechanical, thermal and colorimetric properties of these materials have been compared. Findings – The thermal stability of the sample coloured with NCP is reduced to some extent, while the mechanical strength is slightly increased. Moreover, this sample has better colour performance than the conventionally pigmented samples. Originality/value – In this paper, a blue NCP has been synthesised and successfully employed with polyethylene and the obtained sample shows better colour performance than polyethylene with conventional pigments.

Petri Artedi renovati pars I. et II. [III-V] : i.e. bibliotheca et philosophia ichthyologica / cura Iohannis Iulii Walbaumii.

v.1-2