Cognitive neuroscience and (very) high level vision

THE PURPOSE OF THIS ARTICLE is two-fold, first to provide a general overview of two of the main cognitive neuroscientific techniques available, specifically functional magnetic resonance imaging (fMRI) and transcranial magnetic stimulation (TMS); and secondly to apply these techniques to elaborate a discussion of an aspect of higher level vision, namely implied motion, that is the perception of movement from a static image.

TiN-based coatings on fuel cladding tubes for advanced nuclear reactors

Titanium nitride (TiN) thin films are coated on HT-9 and MA957 fuel cladding tubes and bars to explore their mechanical strength, thermal stability, diffusion barrier properties, and thermal conductivity properties. The ultimate goal is to implement TiN as an effective diffusion barrier to prevent the inter-diffusion between the nuclear fuel and the cladding material, and thus lead to a longer lifetime of the cladding tubes. Mechanical tests including hardness and scratch tests for the samples before and after thermal cycle tests show that the films have a high hardness of 28GPa and excellent adhesion properties despite the thermal treatment. Thermal conductivity measurements demonstrate that the thin TiN films have very minimal impact on the overall thermal conductivity of the MA957 and HT-9 substrates, i.e., the thermal conductivity of the uncoated HT-9 and MA957 substrates was 26.25 and 28.44 W m-1 K-1, and that of the coated ones was 26.21 and 28.38W m-1 K-1, respectively. A preliminary Ce diffusion test on the couple of Ce/TiN/HT-9 suggests that TiN has excellent material compatibility and good diffusion barrier properties.

Formal modeling and analysis techniques for high level Petri nets

Petri Nets are a formal, graphical and executable modeling technique for the specification and analysis of concurrent and distributed systems and have been widely applied in computer science and many other engineering disciplines. Low level Petri nets are simple and useful for modeling control flows but not powerful enough to define data and system functionality. High level Petri nets (HLPNs) have been developed to support data and functionality definitions, such as using complex structured data as tokens and algebraic expressions as transition formulas. Compared to low level Petri nets, HLPNs result in compact system models that are easier to be understood. Therefore, HLPNs are more useful in modeling complex systems. ^ There are two issues in using HLPNs—modeling and analysis. Modeling concerns the abstracting and representing the systems under consideration using HLPNs, and analysis deals with effective ways study the behaviors and properties of the resulting HLPN models. In this dissertation, several modeling and analysis techniques for HLPNs are studied, which are integrated into a framework that is supported by a tool. ^ For modeling, this framework integrates two formal languages: a type of HLPNs called Predicate Transition Net (PrT Net) is used to model a system's behavior and a first-order linear time temporal logic (FOLTL) to specify the system's properties. The main contribution of this dissertation with regard to modeling is to develop a software tool to support the formal modeling capabilities in this framework. ^ For analysis, this framework combines three complementary techniques, simulation, explicit state model checking and bounded model checking (BMC). Simulation is a straightforward and speedy method, but only covers some execution paths in a HLPN model. Explicit state model checking covers all the execution paths but suffers from the state explosion problem. BMC is a tradeoff as it provides a certain level of coverage while more efficient than explicit state model checking. The main contribution of this dissertation with regard to analysis is adapting BMC to analyze HLPN models and integrating the three complementary analysis techniques in a software tool to support the formal analysis capabilities in this framework. ^ The SAMTools developed for this framework in this dissertation integrates three tools: PIPE+ for HLPNs behavioral modeling and simulation, SAMAT for hierarchical structural modeling and property specification, and PIPE+Verifier for behavioral verification.^

Formal Modeling and Analysis Techniques for High Level Petri Nets

Petri Nets are a formal, graphical and executable modeling technique for the specification and analysis of concurrent and distributed systems and have been widely applied in computer science and many other engineering disciplines. Low level Petri nets are simple and useful for modeling control flows but not powerful enough to define data and system functionality. High level Petri nets (HLPNs) have been developed to support data and functionality definitions, such as using complex structured data as tokens and algebraic expressions as transition formulas. Compared to low level Petri nets, HLPNs result in compact system models that are easier to be understood. Therefore, HLPNs are more useful in modeling complex systems. There are two issues in using HLPNs - modeling and analysis. Modeling concerns the abstracting and representing the systems under consideration using HLPNs, and analysis deals with effective ways study the behaviors and properties of the resulting HLPN models. In this dissertation, several modeling and analysis techniques for HLPNs are studied, which are integrated into a framework that is supported by a tool. For modeling, this framework integrates two formal languages: a type of HLPNs called Predicate Transition Net (PrT Net) is used to model a system's behavior and a first-order linear time temporal logic (FOLTL) to specify the system's properties. The main contribution of this dissertation with regard to modeling is to develop a software tool to support the formal modeling capabilities in this framework. For analysis, this framework combines three complementary techniques, simulation, explicit state model checking and bounded model checking (BMC). Simulation is a straightforward and speedy method, but only covers some execution paths in a HLPN model. Explicit state model checking covers all the execution paths but suffers from the state explosion problem. BMC is a tradeoff as it provides a certain level of coverage while more efficient than explicit state model checking. The main contribution of this dissertation with regard to analysis is adapting BMC to analyze HLPN models and integrating the three complementary analysis techniques in a software tool to support the formal analysis capabilities in this framework. The SAMTools developed for this framework in this dissertation integrates three tools: PIPE+ for HLPNs behavioral modeling and simulation, SAMAT for hierarchical structural modeling and property specification, and PIPE+Verifier for behavioral verification.

Ultrasonic Spectral Analysis for Nuclear Fuel Characterization

Ceramic materials have been widely used for various purposes in many different industries due to certain characteristics, such as high melting point and high resistance to corrosion. Concerning the areas of applications, automobile, aeronautics, naval and even nuclear, the characteristics of these materials should be strictly controlled. In the nuclear area, ceramics are of great importance once they are the nuclear fuel pellets and must have, among other features, a well controlled porosity due to mechanical strength and thermal conductivity required by the application. Generally, the techniques used to characterize nuclear fuel are destructive and require costly equipment and facilities. This paper aims to present a nondestructive technique for ceramic characterization using ultrasound. This technique differs from other ultrasonic techniques because it uses ultrasonic pulse in frequency domain instead of time domain, associating the characteristics of the analyzed material with its frequency spectrum. In the present work, 40 Alumina (Al2O3) ceramic pellets with porosities ranging from 5% to 37%, in absolute terms measured by Archimedes technique, were tested. It can be observed that the frequency spectrum of each pellet varies according to its respective porosity and microstructure, allowing a fast and non-destructive association of the same characteristics with the same spectra pellets.

Thermogravimetric and kinetic analysis of the decomposition of solid recovered fuel from municipal solid waste

The thermal decomposition of a solid recovered fuel has been studied using thermogravimetry, in order to get information about the main steps in the decomposition of such material. The study comprises two different atmospheres: inert and oxidative. The kinetics of decomposition is determined at three different heating rates using the same kinetic constants and model for both atmospheres at all the heating rates simultaneously. A good correlation of the TG data is obtained using three nth-order parallel reactions.

Rapamycin reverses age-related increases in mitochondrial ROS production at complex I, oxidative stress, accumulation of mtDNA fragments inside nuclear DNA, and lipofuscin level, and increases autophagy, in the liver of middle-aged mice

Rapamycin consistently increases longevity in mice although the mechanism of action of this drug is unknown. In the present investigation we studied the effect of rapamycin on mitochondrial oxidative stress at the same dose that is known to increase longevity in mice (14 mg of rapamycin/kg of diet). Middle aged mice (16 months old) showed significant age-related increases in mitochondrial ROS production at complex I, accumulation of mtDNA fragments inside nuclear DNA, mitochondrial protein lipoxidation, and lipofuscin accumulation compared to young animals (4 months old) in the liver. After 7 weeks of dietary treatment all those increases were totally or partially (lipofuscin) abolished by rapamycin, middle aged rapamycin-treated animals showing similar levels in those parameters to young animals. The decrease in mitochondrial ROS production was due to qualitative instead of quantitative changes in complex I. The decrease in mitochondrial protein lipoxidation was not due to decreases in the amount of highly oxidizable unsaturated fatty acids. Rapamycin also decreased the amount of RAPTOR (of mTOR complex) and increased the amounts of the PGC1-α and ATG13 proteins. The results are consistent with the possibility that rapamycin increases longevity in mice at least in part by lowering mitochondrial ROS production and increasing autophagy, decreasing the derived final forms of damage accumulated with age which are responsible for increased longevity. The decrease in lipofuscin accumulation induced by rapamycin adds to previous information suggesting that the increase in longevity induced by this drug can be due to a decrease in the rate of aging. © 2016 Elsevier Inc.

Life cycle assessment (LCA) of a bio-fuel cell fed with waste biomass: potential for scale-up and process optimization

In this Thesis, a life cycle analysis (LCA) of a biofuel cell designed by a team from the University of Bologna was done. The purpose of this study is to investigate the possible environmental impacts of the production and use of the cell and a possible optimization for an industrial scale-up. To do so, a first part of the paper was devoted to studying the present literature on biomass, and fuel cell treatments and then LCA studies on them. The experimental part presents the work done to create the Life Cycle Inventory and Life Cycle Impact Assessment. Several alternative scenarios were created to study process optimization. Reagents and energy supply were changed. To examine whether this technology can be competitive, a comparison was made with some biofuel cell use scenarios with traditional biomass treatment technologies. The result of this study is that this technology is promising from an environmental point of view in case it is possible to recover nutrients in output, without excessive energy consumption, and to minimize the use of energy used to prepare the solution.

Proposal of a High-Level Language for Writing Self Modifying Programs

This paper proposes a simple high-level programming language, endowed with resources that help encoding self-modifying programs. With this purpose, a conventional imperative language syntax (not explicitly stated in this paper) is incremented with special commands and statements forming an adaptive layer specially designed with focus on the dynamical changes to be applied to the code at run-time. The resulting language allows programmers to easily specify dynamic changes to their own program`s code. Such a language succeeds to allow programmers to effortless describe the dynamic logic of their adaptive applications. In this paper, we describe the most important aspects of the design and implementation of such a language. A small example is finally presented for illustration purposes.

A rapid selection/amplification procedure for high-level expression of recombinant protein in a metal-amplifiable mammalian expression system

We describe a strategy for the selection and amplification of foreign gene expression in Chinese hamster ovary (CHO) cells employing a metallothionein gene-containing expression vector. This report describes an amplification procedure that results in an enrichment of clones exhibiting high levels of recombinant protein production and reduces the labour required for screening recombinant cell lines.

Characterization of mouse profilaggrin: Evidence for nuclear engulfment and translocation of the profilaggrin B-domain during epidermal differentiation

Filaggrin is a keratin filament associated protein that is expressed in granular layer keratinocytes and derived by sequential proteolysis from a polyprotein precursor termed profilaggrin. Depending on the species, each profilaggrin molecule contains between 10 and 20 filaggrin subunits organized as tandem repeats with a calcium-binding domain at the N-terminal end. We now report the characterization of the complete mouse gene. The structural organization of the mouse gene is identical to the human profilaggrin gene and consists of three exons with a 4 kb intron within the 5' noncoding region and a 1.7 kb intron separating the sequences encoding the calcium-binding EF-hand motifs. A processed pseudogene was found embedded within the second intron. The third and largest exon encodes the second EF-hand, a basic domain (designated the B-domain) followed by 12 filaggrin repeats and a unique C-terminal tail domain. A polyclonal anti-body raised against the conceptually translated sequence of the B-domain specifically stained keratohyalin granules and colocalized with a filaggrin antibody in granular layer cells. In upper granular layer cells, B-domain containing keratohyalin granules were in close apposition to the nucleus and, in some cells, appeared to be completely engulfed by the nucleus. In transition layer cells, B-domain staining was evident in the nucleus whereas filaggrin staining remained cytoplasmic. Nuclear staining of the B-domain was also observed in primary mouse keratinocytes induced to differentiate. This study has also revealed significant sequence homology between the mouse and human promoter sequences and in the calcium-binding domain but the remainder of the protein-coding region shows substantial divergence.