Stay-green: A consequence of the balance between supply and demand for nitrogen during grain filling?

Retention of green leaf area in grain sorghum under post-anthesis drought, known as stay-green, is associated with greater biomass production, lodging resistance and yield. The stay-green phenomenon can be examined at a cell, leaf, or whole plant level. At a cell level, the retention of chloroplast proteins such as LHCP2, OEC33 and Rubisco until late in senescence has been reported in sorghum containing the KS19 source of stay-green, indicating that photosynthesis may be maintained for longer during senescence in these genotypes. At a leaf level, longevity of photosynthetic apparatus is intimately related to nitrogen (N) status. At a whole plant level, stay-green can be viewed as a consequence of the balance between N demand by the grain and N supply during grain filling. To examine some of these concepts, nine hybrids varying in the B35 and KS19 sources of stay-green were grown under a postanthesis water deficit. Genotypic variation in delayed onset and reduced rate of leaf senescence were explained by differences in specific leaf nitrogen (SLN) and N uptake during grain filling. Matching N supply from age-related senescence and N uptake during grain tilling with grain N demand found that the shortfall in N supply for grain filling was greater in the senescent than stay-green hybrids, resulting in more accelerated leaf senescence in the former. We hypothesise that increased N uptake by stay-green hybrids is a result of greater biomass accumulation during grain filling in response to increased sink demand (higher grain numbers) which, in turn, is the result of increased radiation use efficiency and transpiration efficiency due to higher SLN. Delayed leaf senescence resulting from higher SLN should, in turn, allow snore carbon and nitrogen to be allocated to the roots of stay-green hybrids during grain filling, thereby maintaining a greater capacity to extract N from the soil compared with senescent hybrids.

Agents as multi-threaded logical objects

In this paper we describe a distributed object oriented logic programming language in which an object is a collection of threads deductively accessing and updating a shared logic program. The key features of the language, such as static and dynamic object methods and multiple inheritance, are illustrated through a series of small examples. We show how we can implement object servers, allowing remote spawning of objects, which we can use as staging posts for mobile agents. We give as an example an information gathering mobile agent that can be queried about the information it has so far gathered whilst it is gathering new information. Finally we define a class of co-operative reasoning agents that can do resource bounded inference for full first order predicate logic, handling multiple queries and information updates concurrently. We believe that the combination of the concurrent OO and the LP programming paradigms produces a powerful tool for quickly implementing rational multi-agent applications on the internet.

A Sensorless PMDC Motor Speed Controller with a Logical Overcurrent Protection

A method to control the speed or the torque of a permanent-magnet direct current motor is presented. The rotor speed and the external torque estimation are simultaneously provided by appropriate observers. The sensorless control scheme is based on current measurement and switching states of power devices. The observer’s performances are dependent on the accurate machine parameters knowledge. Sliding mode control approach was adopted for drive control, providing the suitable switching states to the chopper power devices. Despite the predictable chattering, a convenient first order switching function was considered enough to define the sliding surface and to correspond with the desired control specifications and drive performance. The experimental implementation was supported on a single dsPIC and the controller includes a logic overcurrent protection.

Timing analysis of a multiple logical ring wired/wireless PROFIBUS network

Recently, there have been a few research efforts towards extending the capabilities of fieldbus networks to encompass wireless support. In previous works we have proposed a hybrid wired/wireless PROFIBUS network solution where the interconnection between the heterogeneous communication media was accomplished through bridge-like interconnecting devices. The resulting networking architecture embraced a multiple logical ring (MLR) approach, thus with multiple independent tokens, to which a specific bridging protocol extension, the inter-domain protocol (IDP), was proposed. The IDP offers compatibility with standard PROFIBUS, and includes mechanisms to support inter-cell mobility of wireless nodes. We advance that work by proposing a worst-case response timing analysis of the IDP.

LNT: a logical neighbor tree secure group communication scheme for wireless sensor networks

Secure group communication is a paradigm that primarily designates one-to-many communication security. The proposed works relevant to secure group communication have predominantly considered the whole network as being a single group managed by a central powerful node capable of supporting heavy communication, computation and storage cost. However, a typical Wireless Sensor Network (WSN) may contain several groups, and each one is maintained by a sensor node (the group controller) with constrained resources. Moreover, the previously proposed schemes require a multicast routing support to deliver the rekeying messages. Nevertheless, multicast routing can incur heavy storage and communication overheads in the case of a wireless sensor network. Due to these two major limitations, we have reckoned it necessary to propose a new secure group communication with a lightweight rekeying process. Our proposal overcomes the two limitations mentioned above, and can be applied to a homogeneous WSN with resource-constrained nodes with no need for a multicast routing support. Actually, the analysis and simulation results have clearly demonstrated that our scheme outperforms the previous well-known solutions.

Information flow analysis using data-dependent logical propositions

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Developing Young Learners’ Logical/Deductive Thinking Skills and Second Language Skills through a CLIL approach

Trabalho de Projecto apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Teaching English as a Second / Foreign Language.

A logical foundation for session-based concurrent computation

Linear logic has long been heralded for its potential of providing a logical basis for concurrency. While over the years many research attempts were made in this regard, a Curry-Howard correspondence between linear logic and concurrent computation was only found recently, bridging the proof theory of linear logic and session-typed process calculus. Building upon this work, we have developed a theory of intuitionistic linear logic as a logical foundation for session-based concurrent computation, exploring several concurrency related phenomena such as value-dependent session types and polymorphic sessions within our logical framework in an arguably clean and elegant way, establishing with relative ease strong typing guarantees due to the logical basis, which ensure the fundamental properties of type preservation and global progress, entailing the absence of deadlocks in communication. We develop a general purpose concurrent programming language based on the logical interpretation, combining functional programming with a concurrent, session-based process layer through the form of a contextual monad, preserving our strong typing guarantees of type preservation and deadlock-freedom in the presence of general recursion and higher-order process communication. We introduce a notion of linear logical relations for session typed concurrent processes, developing an arguably uniform technique for reasoning about sophisticated properties of session-based concurrent computation such as termination or equivalence based on our logical approach, further supporting our goal of establishing intuitionistic linear logic as a logical foundation for sessionbased concurrency.

Post-splenectomy infections in chronic schistosomiasis as a consequence of bacterial translocation

INTRODUCTION : Bacterial translocation is the invasion of indigenous intestinal bacteria through the gut mucosa to normally sterile tissues and internal organs. Schistosomiasis may cause alterations in the immune system and damage to the intestines, portal system and mesenteric lymph nodes. This study investigated bacterial translocation and alterations in the intestinal microbiota and mucosa in schistosomiasis and splenectomized mice. METHODS : Forty female 35-day-old Swiss Webster mice were divided into the following four groups with 10 animals each: schistosomotic (ESF), splenectomized schistosomotic (ESEF), splenectomized (EF) and control (CF). Infection was achieved by introduction of 50 Schistosoma mansoni (SLM) cercariae through the skin. At 125 days after birth, half of the parasitized and unparasitized mice were subjected to splenectomy. Body weights were recorded for one week after splenectomy; then, the mice were euthanized to study bacterial translocation, microbiota composition and intestinal morphometry. RESULTS : We observed significant reductions in the weight increases in the EF, ESF and ESEF groups. There were increases of at least 1,000 CFU of intestinal microbiota bacteria in these groups compared with the CF. The EF, ESF and ESEF mice showed decreases in the heights and areas of villi and the total villus areas (perimeter). We observed frequent co-infections with various bacterial genera. CONCLUSIONS : The ESEF mice showed a higher degree of sepsis. This finding may be associated with a reduction in the immune response associated with the absence of the spleen and a reduction in nutritional absorption strengthened by both of these factors (Schistosoma infection and splenectomy).

O ensino de canto nos ramos genérico e vocacional no 1º ciclo do ensino básico: um estudo de caso múltiplo

Tese de Doutoramento em Estudos da Criança (área de especialização em Educação Musical).

A demonstration case on the derivation of process-level logical architectures for ambient assisted living ecosystems

When representing the requirements for an intended software solution during the development process, a logical architecture is a model that provides an organized vision of how functionalities behave regardless of the technologies to be implemented. If the logical architecture represents an ambient assisted living (AAL) ecosystem, such representation is a complex task due to the existence of interrelated multidomains, which, most of the time, results in incomplete and incoherent user requirements. In this chap- ter, we present the results obtained when applying process-level modeling techniques to the derivation of the logical architecture for a real industrial AAL project. We adopt a V-Model–based approach that expresses the AAL requirements in a process-level perspec- tive, instead of the traditional product-level view. Additionally, we ensure compliance of the derived logical architecture with the National Institute of Standards and Technology (NIST) reference architecture as nonfunctional requirements to support the implementa- tion of the AAL architecture in cloud contexts.

Bimodal magmatism as a consequence of the post-collisional readjustment of the thickened Variscan continental lithosphere (Aiguilles Rouges - Mont Blanc Massifs, Western Alps)

High Precision U-Pb zircon and monazite dating in the Aiguilles Rouges-Mont Blanc area allowed discrimination of three short-lived bimodal magmatic pulses: the early 332 Ma Mg-K Pormenaz monzonite and associated 331 Ma peraluminous Montees Pelissier monzogranite; the 307 Ma cordierite-bearing peraluminous Vallorcine and Fully intrusions; and the 303 Fe-K Mont Blanc syenogranite. All intruded syntectonically along major-scale transcurrent faults at a time when the substratum was experiencing tectonic exhumation, active erosion recorded in detrital basins and isothermal decompression melting dated at 327-320 Ma. Mantle activity and magma mixing are evidenced in all plutons by coeval mafic enclaves, stocks and synplutonic dykes. Both crustal and mantle sources evolve through time, pointing to an increasingly warm continental crust and juvenile asthenospheric mantle sources. This overall tectono-magmatic evolution is interpreted in a scenario of post-collisional restoration to normal size of a thickened continental lithosphere. The latter re-equilibrates through delamination and/or erosion of its mantle root and tectonic exhumation/erosion in an overall extensional regime. Extension is related to either gravitational collapse or back-are extension of a distant subduction zone.

Magnetostratigraphy of the Kavaalani section (southwestern Turkey): Consequence for the origin of the Antalya Calcareous Nappes (Turkey) and for the Norian (Late Triassic) magnetic polarity timescale

A magnetostratigraphic study of the Kavaalani section of uppermost Carnian to Upper Norian age, located in the Antalya Calcareous Nappes (southwestern Turkey), reveals nineteen polarity intervals. This pattern correlates very well with two other polarity sequences obtained from the same nappe system (Bolucektasi Tepe and Kavur Tepe) if these sections were deposited in the same (northern) hemisphere. This new interpretation changes our previous conclusions regarding the southern hemisphere origin of the magnetic remanence of the Kavur Tepe section. The paleomagnetic data obtained from the Kavur Tepe and the Kavaalani sections therefore reflect large (similar to 180 degrees) internal rotations within the Antalya nappes. These nappes were likely formed close to the northern tip of the Arabian promontory. We propose a revised yet still preliminary version of the Norian magnetic polarity sequence.