On the formalization and reuse of scientific research

The reuse of scientific knowledge obtained from one investigation in another investigation is basic to the advance of science. Scientific investigations should therefore be recorded in ways that promote the reuse of the knowledge they generate. The use of logical formalisms to describe scientific knowledge has potential advantages in facilitating such reuse. Here, we propose a formal framework for using logical formalisms to promote reuse. We demonstrate the utility of this framework by using it in a worked example from biology: demonstrating cycles of investigation formalization [F] and reuse [R] to generate new knowledge. We first used logic to formally describe a Robot scientist investigation into yeast (Saccharomyces cerevisiae) functional genomics [f₁]. With Robot scientists, unlike human scientists, the production of comprehensive metadata about their investigations is a natural by-product of the way they work. We then demonstrated how this formalism enabled the reuse of the research in investigating yeast phenotypes [r₁ = R(f₁)]. This investigation found that the removal of non-essential enzymes generally resulted in enhanced growth. The phenotype investigation was then formally described using the same logical formalism as the functional genomics investigation [f₂ = F(r₁)]. We then demonstrated how this formalism enabled the reuse of the phenotype investigation to investigate yeast systems-biology modelling [r₂ = R(f₂)]. This investigation found that yeast flux-balance analysis models fail to predict the observed changes in growth. Finally, the systems biology investigation was formalized for reuse in future investigations [f₃ = F(r₂)]. These cycles of reuse are a model for the general reuse of scientific knowledge.     

Comparison of the Determination of Eight Cholesterol Oxides in Dry�CCured Shoulder by GC�CFID, GC�CMS, and GC Tandem Mass Spectrometry

The analysis of eight cholesterol oxidation products: 7α–hydroxycholesterol, 7β–hydroxycholesterol, α–epoxycholesterol, β–epoxycholesterol, 20α–hydroxycholesterol, cholestanetriol, 25–hydroxycholesterol, and 7–ketocholesterol in dry–cured shoulder was carried out. The extraction of lipids was performed by using the Bligh and Dyer method (1959). Interferences were removed by solid-phase extraction (SPE) in two steps with silica and aminipropylsilica SPE columns. The separation of the eight cholesterol oxidation products was done by gas chromatography, and the detection was performed by flame ionization detection (FID) and mass spectrometry (MS). The results obtained from the use of both systems of detection were compared. The results showed that gas chromatography-mass spectrometry (GC–MS) was the most suitable technique to obtain reliable quantitative data, and significant differences (p < 0.05) between FID and MS determining 7α–hydroxycholesterol, 20α–hydroxycholesterol, and 25–hydroxycholesterol were observed. For the determination of cholesterol oxidation products, it was necessary to apply gas chromatography-tandem mass spectrometry to increase the sensitivity and to avoid interference from other compounds.     

Natural and human forcing in recent geomorphic change; case studies in the Rio de la Plata basin

An analysis of geomorphic system's response to change in human and natural drivers in some areas within the Río de la Plata basin is presented. The aim is to determine whether an acceleration of geomorphic processes has taken place in recent years and, if so, to what extent it is due to natural (climate) or human (land-use) drivers. Study areas of different size, socio-economic and geomorphic conditions have been selected: the Río de la Plata estuary and three sub-basins within its watershed. Sediment cores were extracted and dated (²¹⁰Pb) to determine sedimentation rates since the end of the 19th century. Rates were compared with time series on rainfall as well as human drivers such as population, GDP, livestock load, crop area, energy consumption or cement consumption, all of them related to human capacity to disturb land surface. Data on river discharge were also gathered. Results obtained indicate that sedimentation rates during the last century have remained essentially constant in a remote Andean basin, whereas they show important increases in the other two, particularly one located by the São Paulo metropolitan area. Rates in the estuary are somewhere in between. It appears that there is an intensification of denudation/sedimentation processes within the basin.Rainfall remained stable or varied very slightly during the period analysed and does not seem to explain increases of sedimentation rates observed. Human drivers, particularly those more directly related to capacity to disturb land surface (GDP, energy or cement consumption) show variations that suggest human forcing is a more likely explanation for the observed change in geomorphic processes. It appears that a marked increase in denudation, of a “technological” nature, is taking place in this basin and leading to an acceleration of sediment supply. This is coherent with similar increases observed in other regions.     

Light and Strong SiC Networks

The directional freezing of microfiber suspensions is used to assemble highly porous (porosities ranging between 92% and 98%) SiC networks. These networks exhibit a unique hierarchical architecture in which thin layers with honeycomb‐like structure and internal strut length in the order of 1–10 μm in size are aligned with an interlayer spacing ranging between 15 and 50 μm. The resulting structures exhibit strengths (up to 3 MPa) and stiffness (up to 0.3 GPa) that are higher than aerogels of similar density and comparable to other ceramic microlattices fabricated by vapor deposition. Furthermore, this wet processing technique allows the fabrication of large‐size samples that are stable at high temperature, with acoustic impedance that can be manipulated over one order of magnitude (0.03–0.3 MRayl), electrically conductive and with very low thermal conductivity. The approach can be extended to other ceramic materials and opens new opportunities for the fabrication of ultralight structures with unique mechanical and functional properties in practical dimensions.     

Low Cost BIST for Static and Dynamic Testing of ADCs

This paper presents a low cost test method for the static and dynamic characterization of analog-to-digital converters. The method is suitable for implementation in a SoC environment, as a built-in self test (BIST) solution. In the proposed approach, noise is used as the test signal. Theory of operation and practical results demonstrating the effectiveness of the method for INL, DNL, THD and SINAD characterization are presented. The BIST surface overhead caused by the noise generator is only 7.4% of the ADC total area. The reduced number of data samples required allows a reduction of about 7.5× in test time, in comparison to the histogram method.Maria da Gloria Cataldi Flores was born in Santa Maria, Brazil, in 1978. She received the electrical engineering degree in 2000 from Universidade Federal de Santa Maria (UFSM) and the M.S. degree engineering in 2003 from Universidade Federal do Rio Grande do Sul (UFRGS), Brazil. Since then, she has been working as a design engineer in an EAS Supply brazilian company. Her main research interests include mixed-signal and analog testing and digital signal processing.Marcelo Negreiros was born in Porto Alegre, Brazil, in 1969. He received the electrical engineering degree in 1992 and the M.S. degree engineering in 1994, both from Universidade Federal do Rio Grande do Sul (UFRGS), Brazil. Since then he was been working as an associate researcher in the Signal Processing Lab. (LaPSI) of the Electrical Engineering Department at UFRGS. Since 2000 he also works toward a Ph.D. in Computer Science from UFRGS. His main research interests include mixed-signal and analog testing and digital signal processing.Luigi Carro was born in Porto Alegre, Brazil, in 1962. He received the Electrical Engineering and the M.Sc. degrees from Universidade Federal do Rio Grande do Sul (UFRGS), Brazil, in 1985 and 1989, respectively. From 1989 to 1991 he worked at ST-Microelectronics, Agrate, Italy, in the R&D group. In 1996 he received the Ph.D. degree in the area of Computer Science from Universidade Federal do Rio Grande do Sul (UFRGS), Brazil. He is presently a lecturer at the Electrical Engineering Department of UFRGS, in charge of Digital Systems Design and Digital Signal processing disciplines at the graduate and undergraduate level. He is also a member of the Graduation Program in Computer Science of UFRGS, where he is responsible for courses in Embedded Systems, Digital Signal Processing, and VLSI Design. His primary research interests include mixed-signal design, digital signal processing, mixed-signal and analog testing, and fast system prototyping. He has published more than 90 technical papers in those topics and is the author of the book Digital Systems Design and Prototyping (in portuguese).Altamiro A Susin was born in Vacaria-RS, Brazil, in 1945. He received the Electrical Engineering and the MSc. degrees from Universidade Federal do Rio Grande do Sul (UFRGS), Brazil, in 1972 and 1977, respectively. Since 1968 he worked in the start up of Computer Centers of two local Universities. In 1981 he got his Dr. Eng degree from Institut National Polytechnique de Grenoble-France. He is presently a lecturer at the Electrical Engineering Department of UFRGS, in charge of Digital Systems Design disciplines at the graduate and undergraduate level. He is also a member of the Graduation Program in Computer Science of UFRGS, where he is responsible by courses in VLSI Architecture and is also thesis director. His main research interests are Integrated Circuit Architecture, Embedded Systems, Signal Processing with more than 50 technical papers published in those domains. He is/was responsible for several R&D projects either funded with public and/or industry resources.Felipe Ricardo Clayton received the B.S. degree in Electrical Engineering from State University of Campinas (UNICAMP), Brazil, in 1986. He worked at CPqD (Brazilian PTT R&D Center) till 1996 designing analog and mixed signal circuits for telecom and automotive applications. From 1997 to the second half of 1998, he worked at Instituto Superior Técnico (IST), Lisbon, Portugal, under the guidance of Prof. Carlos Azeredo Leme on development of CMOS RF circuits. Since October 1998 he had worked for Motorola SPS. Now he is head of the Power Managment Group at Freescale.Cristiano Benevento received his B.S. degree in Electrical Engineering from Universidade Estadual de Campinas (Unicamp), Brazil, in 1997. He worked at Motorola Cellular Infrastructure Group until August 2000 as a Systems Engineer. He joined Motorola Semiconductor Product Sector in August 2000 as IC Designer for Power Management Group and is now at Freescale.     

Propagation Path Loss and Materials Insertion Loss in Indoor Environment at WiMAX Band of 3.3 to 3.6?GHz

The purpose of this study is to characterize the indoor channel for IEEE 802.16 (WiMAX) at 3.3?C3.6?GHz frequency. This work presents a channel model based on measurements conducted in commonly found scenarios in buildings. These scenarios include closed corridor, wide corridor and semi open corridor. Path loss equations are determined using log-distance path loss model and a Rayleigh multipath induced fading, Normal multipath induced fading or a combination of both. A numerical analysis of measurements in each scenario was conducted and the study determined equations that describe path loss for each scenario. Propagation loss is given for 300?MHz bandwidth. This work also represents the insertion loss of different materials and the obstruction loss due the existence of human beings between the transmitting antenna and the receiving one.     

Capacity Optimization in TDMA Ad-Hoc Networks

Many scheduling techniques have been developed to solve the problem of sharing the common channel to multiple stations. TDMA has been increasingly used as a scheduling technique in ad-hoc networks. The current trend for QoS capable applications led to the deployment of numerous routing schemes that use TDMA. These schemes try to solve the problem of distributing the available slots among the wireless nodes and at the same time, to find paths within the network that fulfill some QoS related limitations, such as end-to-end delay. The exact way the slots are distributed among the transmitting nodes has an impact on the end-to-end delay and other performance parameters of the network, such as capacity. Therefore, the efficiency of the scheduling algorithms is closely related to the network topologies. In this paper, we propose two new end-to-end TDMA scheduling algorithms that try to enhance the network capacity by increasing the number of concurrent connections established in the network, without causing additional end-to-end delay. We study the efficiency of the proposed algorithms, when applied on various random topologies, and compare them in terms of end-to-end delay and network capacity.     

The influence of hydrogen and nitrogen on the formation of Si nanoclusters embedded in sub-stoichiometric silicon oxide layers

This work reports the study concerning the influence of the preparation conditions on the structure of silicon rich oxide (SRO) deposited by PECVD method by which the structural properties of the film are strictly related. In particular we investigated the role of reactant gases N₂O and SiH₄ on the total Si concentration, Si excess concentration, Si clustered concentration and size of nanoclusters formed by high annealing temperature. We payed particular attention on the role of the hydrogen and nitrogen during the Si agglomeration.The presence of hydrogen atoms on the as-deposited specimen, confirmed by the Si–H bonds peak on the FTIR analysis, has been directly correlated to the silicon excess concentration in the layer. The silicon, oxygen and nitrogen atomic density has been calculated from RBS analysis. These information were coupled to the ones obtained using methodology based on electron energy loss spectroscopy combined with energy filtered images, which allowed us to quantify the clustered silicon concentration in annealed sub-stoichiometric silicon oxide layers (SiO_x). We have verified that the nitrogen dissolved in the layer inhibits the Si excess clustering so that the efficiency of silicon agglomeration process decreases as the nitrogen content increases.