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.     

Solution‐Processed GaSe Nanoflake‐Based Films for Photoelectrochemical Water Splitting and Photoelectrochemical‐Type Photodetectors

Gallium selenide (GaSe) is a layered compound, which has been exploited in nonlinear optical applications and photodetectors due to its anisotropic structure and pseudodirect optical gap. Theoretical studies predict that its 2D form is a potential photocatalyst for water splitting reactions. Herein, the photoelectrochemical (PEC) characterization of GaSe nanoflakes (single‐/few‐layer flakes), produced via liquid phase exfoliation, for hydrogen evolution reaction (HER) and oxygen evolution reaction (OER) in both acidic and alkaline media is reported. In 0.5 m H₂SO₄, the GaSe photoelectrodes display the best PEC performance, corresponding to a ratiometric power‐saved metric for HER (Φ_saved,HER) of 0.09% and a ratiometric power‐saved metric for OER (Φ_saved,OER) of 0.25%. When used as PEC‐type photodetectors, GaSe photoelectrodes show a responsivity of ≈0.16 A W^?1 upon 455 nm illumination at a light intensity of 63.5 µW cm^?2 and applied potential of ?0.3 V versus reversible hydrogen electrode (RHE). Stability tests of GaSe photodetectors demonstrated a durable operation over tens of cathodic linear sweep voltammetry scans in 0.5 m H₂SO₄ for HER. In contrast, degradation of photoelectrodes occurred in both alkaline and anodic operation due to the highly oxidizing environment and O₂‐induced (photo)oxidation effects. The results provide new insight into the PEC properties of GaSe nanoflakes for their exploitation in photoelectrocatalysis, PEC‐type photodetectors, and (bio)sensors.     

Thermoacoustic Emission from Carbon Nanotubes Imaged by Atomic Force Microscopy

The thermoacoustic effect of isolated single‐wall carbon nanotubes aligned between electrodes is experimentally observed for the first time by imaging the emitted acoustic wave using an atomic force microscopy‐based technique specifically developed for the task. The capability of such a technique for single‐point thermoacoustic measurements is first verified on carbon nanotubes layers with two electrodes for injecting alternate electric current. The technique is then demonstrated to allow the acquisition, simultaneously with the topography, of images reflecting the pressure of the acoustic wave at fixed distance from the sample. Such a capability is used to collect images reflecting the amplitude of acoustic waves generated by isolated nanotubes and nanotube bundles by the thermoacoustic effect.     

Nanocasting of Mesoporous In‐TM (TM = Co,Fe, Mn) Oxides: Towards 3D Diluted‐Oxide Magnetic Semiconductor Architectures

Transition metal (Co, Fe, Mn)‐doped In₂O_3?y mesoporous oxides are synthesized by nanocasting using mesoporous silica as hard templates. 3D ordered mesoporous replicas are obtained after silica removal in the case of the In‐Co and In‐Fe oxide powders. During the conversion of metal nitrates into the target mixed oxides, Co, Fe, and Mn ions enter the lattice of the In₂O₃ bixbyite phase via isovalent or heterovalent cation substitution, leading to a reduction in the cell parameter. In turn, non‐negligible amounts of oxygen vacancies are also present, as evidenced from Rietveld refinements of the X‐ray diffraction patterns. In addition to (In_1?xTM_x)₂O_3?y, minor amounts of Co₃O₄, α‐Fe₂O₃, and Mn_xO_y phases are also detected, which originate from the remaining TM cations not forming part of the bixbyite lattice. The resulting TM‐doped In₂O_3?y mesoporous materials show a ferromagnetic response at room temperature, superimposed on a paramagnetic background. Conversely, undoped In₂O_3?y exhibits a mixed diamagnetic‐ferromagnetic behavior with much smaller magnetization. The influence of the oxygen vacancies and the doping elements on the magnetic properties of these materials is discussed. Due to their 3D mesostructural geometrical arrangement and their room‐temperature ferromagnetic behavior, mesoporous oxide‐diluted magnetic semiconductors may become smart materials for the implementation of advanced components in spintronic nanodevices.     

Reversible Amorphous‐to‐Amorphous Transitions in Chalcogenide Films: Correlating Changes in Structure and Optical Properties

Structural transitions in materials are accompanied by appreciable and exploitable changes in physical‐chemical properties. Whereas reversible optically‐driven atomistic changes in crystal‐to‐amorphous transitions are generally known and exploited in applications, the nature of the corresponding polyamorphic transitions between two structurally distinct meta‐stable amorphous phases is an unexplored theme. Direct experimental evidence is reported for the nature of the atomistic changes during fully reversible amorphous‐to‐amorphous switching between two individual states in the non‐crystalline As₅₀Se₅₀ films prepared by pulsed‐laser deposition and consequent changes in optical properties. Combination of surface sensitive X‐ray photoelectron spectroscopy and spectroscopic ellipsometry show that the near‐bandgap energy illumination and annealing induce reversible switching in the material's structure by local bonding rearrangements. This is accompanied by switching in refractive index between two well‐defined states. Exploiting the pluralism of distinct structural states in a disordered solid can provide new insights into the data storage in emerging optical memory and photonic applications.     

导线延迟与SVP技术

SVP(硅虚拟原型)是新世纪的产物.直到三年以前,延迟一直是信号传播时间中的最重要部分.因此,工程师们可以非常精确地估计出互连延迟,而不必在布局布线问题上花太多注意力就可以完成电路设计.