Towards Designing an Integrated Earth Observation System for the Provision of Solar Energy Resource and Assessment

The GEOSS strategic plan specifically targets the area of improved energy resource management due to the importance of these to the economic and social viability of every nation of the world. With the world s increasing demand for energy resources, the need for new alternative energy resources grows. This paper overviews a new initiative within the International Energy Agency that addresses needs to better manage and develop solar energy resources worldwide. The goal is to provide the solar energy industry, the electricity sector, governments, and renewable energy organizations and institutions with the most suitable and accurate information of the solar radiation resources at the Earth's surface in easily-accessible formats and understandable quality metrics. The scope of solar resource assessment information includes historic data sets and currently derived data products using satellite imagery and other means. Thus, this new task will address the needs of the solar energy sector while at the same time will serve as a model that satisfies GEOSS objectives and goals

Early Observations And Analysis Of The Type Ia SN 2014J In M82

We present optical and near infrared (NIR) observations of the nearby Type Ia SN 2014J. Seventeen optical and 23 NIR spectra were obtained from 10 days before (-10d) to 10 days after (+10d) the time of maximum B-band brightness. The relative strengths of absorption features and their patterns of development can be compared at one day intervals throughout most of this period. Carbon is not detected in the optical spectra, but we identify C I lambda 1.0693 in the NIR spectra. Mg II lines with high oscillator strengths have higher initial velocities than other Mg II lines. We show that the velocity differences can be explained by differences in optical depths due to oscillator strengths. The spectra of SN 2014J show that it is a normal SN Ia, but many parameters are near the boundaries between normal and high-velocity subclasses. The velocities for OI, Mg II, Si II, S Ca a, and Fell suggest that SN 2014J has a layered structure with little or no mixing. That result is consistent with the delayed detonation explosion models. We also report photometric observations, obtained from -10d to +29d, in the UBVRIJH and K-s bands. The template fitting package SNooPy is used to interpret the light curves and to derive photometric parameters. Using R-v = 1.46, which is consistent with previous studies, SNooPy finds that A(v) = 1.80 for E(B - V)(host) = 1.23 +/- 0.06 mag. The maximum B-band brightness of -19.19 +/- 0.10 mag was reached on February 1.74 UT +/- 0.13 days and the supernova has a decline parameter, Delta m(15), of 1.12 +/- 0.02 mag.Department of Space, Government of IndiaHungarian OTKA NN-107637NSF AST-1109801, AST-1151462, AST-1211196NSF Astronomy and Astrophysics Postdoctoral Fellowship AST-1302771NASA through a grant from the Space Telescope Science Institute GO-12540NASA NAS5-26555Swedish Research CouncilSwedish National Space BoardDanish Agency for Science and Technology and Innovation realized through a Sapere Aude Level 2 grantAstronom

Formal Verification of Hardware Synthesis

Original manuscript: January 21, 2013We report on the implementation of a certified compiler for a high-level hardware description language (HDL) called Fe-Si (FEatherweight SynthesIs). Fe-Si is a simplified version of Bluespec, an HDL based on a notion of guarded atomic actions. Fe-Si is defined as a dependently typed deep embedding in Coq. The target language of the compiler corresponds to a synthesisable subset of Verilog or VHDL. A key aspect of our approach is that input programs to the compiler can be defined and proved correct inside Coq. Then, we use extraction and a Verilog back-end (written in OCaml) to get a certified version of a hardware design.United States. Defense Advanced Research Projects Agency (Agreement FA8750-12-2-0110

On isovector meson exchange currents in the Bethe-Salpeter approach

We investigate the nonrelativistic reduction of the Bethe-Salpeter amplitude for the deuteron electrodisintegration near threshold energies. To this end, two assumptions have been used in the calculations: 1) the static approximation and 2) the one iteration approximation. Within these assumptions it is possible to recover the nonrelativistic result including a systematic extension to relativistic corrections. We find that the so-called pair current term can be constructed from the $P$-wave contribution of the deuteron Bethe-Salpeter amplitude. The form factor that enters into the calculation of the pair current is constrained by the manifestly gauge independent matrix elements.Comment: 15 pages, incl. 3 figures, to be published Phys. Rev.

Production of Medical Radioisotopes with High Specific Activity in Photonuclear Reactions with γ\gamma Beams of High Intensity and Large Brilliance

We study the production of radioisotopes for nuclear medicine in $(\gamma,x{\rm n}+y{\rm p})$ photonuclear reactions or ($\gamma,\gamma'$) photoexcitation reactions with high flux [($10^{13}-10^{15}$)$\gamma$/s], small diameter $\sim (100 \, \mu$m$)^2$ and small band width ($\Delta E/E \approx 10^{-3}-10^{-4}$) $\gamma$ beams produced by Compton back-scattering of laser light from relativistic brilliant electron beams. We compare them to (ion,$x$n$+ y$p) reactions with (ion=p,d,$\alpha$) from particle accelerators like cyclotrons and (n,$\gamma$) or (n,f) reactions from nuclear reactors. For photonuclear reactions with a narrow $\gamma$ beam the energy deposition in the target can be managed by using a stack of thin target foils or wires, hence avoiding direct stopping of the Compton and pair electrons (positrons). $(\gamma,\gamma')$ isomer production via specially selected $\gamma$ cascades allows to produce high specific activity in multiple excitations, where no back-pumping of the isomer to the ground state occurs. We discuss in detail many specific radioisotopes for diagnostics and therapy applications. Photonuclear reactions with $\gamma$ beams allow to produce certain radioisotopes, e.g. $^{47}$Sc, $^{44}$Ti, $^{67}$Cu, $^{103}$Pd, $^{117m}$Sn, $^{169}$Er, $^{195m}$Pt or $^{225}$Ac, with higher specific activity and/or more economically than with classical methods. This will open the way for completely new clinical applications of radioisotopes. For example $^{195m}$Pt could be used to verify the patient's response to chemotherapy with platinum compounds before a complete treatment is performed. Also innovative isotopes like $^{47}$Sc, $^{67}$Cu and $^{225}$Ac could be produced for the first time in sufficient quantities for large-scale application in targeted radionuclide therapy.Comment: submitted to Appl. Phys.

Serum microRNA array analysis identifies miR-140-3p, miR-33b-3p and miR-671-3p as potential osteoarthritis biomarkers involved in metabolic processes.

Background: MicroRNAs (miRNAs) in circulation have emerged as promising biomarkers. In this study, we aimed to identify a circulating miRNA signature for osteoarthritis (OA) patients and in combination with bioinformatics analysis to evaluate the utility of selected differentially expressed miRNAs in the serum as potential OA biomarkers. Methods: Serum samples were collected from 12 primary OA patients, and 12 healthy individuals were screened using the Agilent Human miRNA Microarray platform interrogating 2549 miRNAs. Receiver Operating Characteristic (ROC) curves were constructed to evaluate the diagnostic performance of the deregulated miRNAs. Expression levels of selected miRNAs were validated by quantitative real-time PCR (qRT-PCR) in all serum and in articular cartilage samples from OA patients (n = 12) and healthy individuals (n = 7). Bioinformatics analysis was used to investigate the involved pathways and target genes for the above miRNAs. Results: We identified 279 differentially expressed miRNAs in the serum of OA patients compared to controls. Two hundred and five miRNAs (73.5%) were upregulated and 74 (26.5%) downregulated. ROC analysis revealed that 77 miRNAs had area under the curve (AUC) > 0.8 and p < 0.05. Bioinformatics analysis in the 77 miRNAs revealed that their target genes were involved in multiple signaling pathways associated with OA, among which FoxO, mTOR, Wnt, pI3K/akt, TGF-β signaling pathways, ECM-receptor interaction, and fatty acid biosynthesis. qRT-PCR validation in seven selected out of the 77 miRNAs revealed 3 significantly downregulated miRNAs (hsa-miR-33b-3p, hsa-miR-671-3p, and hsa-miR-140-3p) in the serum of OA patients, which were in silico predicted to be enriched in pathways involved in metabolic processes. Target-gene analysis of hsa-miR-140-3p, hsa-miR-33b-3p, and hsa-miR-671-3p revealed that InsR and IGFR1 were common targets of all three miRNAs, highlighting their involvement in regulation of metabolic processes that contribute to OA pathology. Hsa-miR-140-3p and hsa-miR-671-3p expression levels were consistently downregulated in articular cartilage of OA patients compared to healthy individuals. Conclusions: A serum miRNA signature was established for the first time using high density resolution miR-arrays in OA patients. We identified a three-miRNA signature, hsa-miR-140-3p, hsa-miR-671-3p, and hsa-miR-33b-3p, in the serum of OA patients, predicted to regulate metabolic processes, which could serve as a potential biomarker for the evaluation of OA risk and progression.Peer reviewedFinal Published versio

A formally verified compiler back-end

This article describes the development and formal verification (proof of semantic preservation) of a compiler back-end from Cminor (a simple imperative intermediate language) to PowerPC assembly code, using the Coq proof assistant both for programming the compiler and for proving its correctness. Such a verified compiler is useful in the context of formal methods applied to the certification of critical software: the verification of the compiler guarantees that the safety properties proved on the source code hold for the executable compiled code as well

Lymphocyte subsets and the role of Th1/Th2 balance in stressed chronic pain patients

Background: The complex regional pain syndrome (CRPS) and fibromyalgia (FM) are chronic pain syndromes occurring in highly stressed individuals. Despite the known connection between the nervous system and immune cells, information on distribution of lymphocyte subsets under stress and pain conditions is limited. Methods: We performed a comparative study in 15 patients with CRPS type I, 22 patients with FM and 37 age- and sex-matched healthy controls and investigated the influence of pain and stress on lymphocyte number, subpopulations and the Th1/Th2 cytokine ratio in T lymphocytes. Results: Lymphocyte numbers did not differ between groups. Quantitative analyses of lymphocyte subpopulations showed a significant reduction of cytotoxic CD8+ lymphocytes in both CRPS (p < 0.01) and FM (p < 0.05) patients as compared with healthy controls. Additionally, CRPS patients were characterized by a lower percentage of IL-2-producing T cell subpopulations reflecting a diminished Th1 response in contrast to no changes in the Th2 cytokine profile. Conclusions: Future studies are warranted to answer whether such immunological changes play a pathogenetic role in CRPS and FM or merely reflect the consequences of a pain-induced neurohumoral stress response, and whether they contribute to immunosuppression in stressed chronic pain patients. Copyright (c) 2008 S. Karger AG, Basel

Minimization of Biosynthetic Costs in Adaptive Gene Expression Responses of Yeast to Environmental Changes

Yeast successfully adapts to an environmental stress by altering physiology and fine-tuning metabolism. This fine-tuning is achieved through regulation of both gene expression and protein activity, and it is shaped by various physiological requirements. Such requirements impose a sustained evolutionary pressure that ultimately selects a specific gene expression profile, generating a suitable adaptive response to each environmental change. Although some of the requirements are stress specific, it is likely that others are common to various situations. We hypothesize that an evolutionary pressure for minimizing biosynthetic costs might have left signatures in the physicochemical properties of proteins whose gene expression is fine-tuned during adaptive responses. To test this hypothesis we analyze existing yeast transcriptomic data for such responses and investigate how several properties of proteins correlate to changes in gene expression. Our results reveal signatures that are consistent with a selective pressure for economy in protein synthesis during adaptive response of yeast to various types of stress. These signatures differentiate two groups of adaptive responses with respect to how cells manage expenditure in protein biosynthesis. In one group, significant trends towards downregulation of large proteins and upregulation of small ones are observed. In the other group we find no such trends. These results are consistent with resource limitation being important in the evolution of the first group of stress responses