Trialkylphosphine-mediated synthesis of 2-Acyl furans from ynenones

A novel reaction for the synthesis of 2-acyl furans is reported. The reaction is believed to proceed by sequential addition of a trialkylphosphine to an ynenone, 5-exo-dig cyclization to form the furan, and oxidation of the resulting phosphonium ylide with molecular oxygen. Many common functional groups are tolerated during the reaction, and the products are obtained in good to excellent yield under the mild conditions. This methodology offers efficient access to biologically important compounds, including fused polycyclic compounds and furaldehydes, from simple starting materials

Three Applications to Rational Relations of the High Undecidability of the Infinite Post Correspondence Problem in a Regular omega-Language

It was noticed by Harel in [Har86] that "one can define $\Sigma_1^1$-complete versions of the well-known Post Correspondence Problem". We first give a complete proof of this result, showing that the infinite Post Correspondence Problem in a regular $\omega$-language is $\Sigma_1^1$-complete, hence located beyond the arithmetical hierarchy and highly undecidable. We infer from this result that it is $\Pi_1^1$-complete to determine whether two given infinitary rational relations are disjoint. Then we prove that there is an amazing gap between two decision problems about $\omega$-rational functions realized by finite state B\"uchi transducers. Indeed Prieur proved in [Pri01, Pri02] that it is decidable whether a given $\omega$-rational function is continuous, while we show here that it is $\Sigma_1^1$-complete to determine whether a given $\omega$-rational function has at least one point of continuity. Next we prove that it is $\Pi_1^1$-complete to determine whether the continuity set of a given $\omega$-rational function is $\omega$-regular. This gives the exact complexity of two problems which were shown to be undecidable in [CFS08].Comment: To appear in: Special Issue: Frontier Between Decidability and Undecidability and Related Problems, International Journal of Foundations of Computer Scienc

Modeling the Delivery of Security Advisories and CVEs

This empirical paper models three structural factors that are hypothesized to affect the turnaround times between the publication of security advisories and Common Vulnerabilities and Exposures (CVEs). The three structural factors are: (i) software product age at the time of advisory release; (ii) severity of vulnerabilities coordinated; and (iii) amounts of CVEs referenced in advisories. Although all three factors are observed to provide only limited information for statistically predicting the turnaround times in a dataset comprised of Microsoft, openSUSE, and Ubuntu operating system products, the paper outlines new research directions for better understanding the current problems related to vulnerability coordination

The effects of increasing dietary levels of amino acid-supplemented soy protein concentrate and constant dietary supplementation of phosphorus on growth, composition and immune responses of juvenile Atlantic salmon (Salmo salar L.)

Diets with 50 (SPC50), 65 (SPC65) and 80% (SPC80) substitution of prime fish meal (FM) with soy protein concentrate (SPC) were evaluated against a commercial type control feed with 35% FM replacement with SPC. Increases in dietary SPC were combined with appropriate increases in methionine, lysine and threonine supplementation, whereas added phosphorus was constant among treatments. Diets were administered to quadruplicate groups of 29 g juvenile Atlantic salmon were exposed to constant light, for 97days. On Day 63 salmon were subjected to vaccination. Significant weight reductions in SPC65 and SPC80 compared with SPC35 salmon were observed by Day 97. Linear reductions in body cross-sectional ash, Ca/P ratios, and Ca, P, Mn and Zn were observed at Days 63 (prior vaccination) and 97 (34days post-vaccination), while Mg presented a decrease at Day 63, in salmon fed increasing dietary SPC. Significant reductions in Zn, Ca, P and Ca/P ratios persisted in SPC65 and SPC80 compared with SPC35 salmon at Day 97. Significant haematocrit reductions in SPC50, SPC65 and SPC80 salmon were observed at Days 63, 70 and 97. Enhanced plasma haemolytic activity, increased total IgM, and a rise in thrombocytes were demonstrated in SPC50 and SPC65 salmon on Day 97, while increased lysozyme activity was demonstrated for these groups on Days 63, 70 and 97. Leucocyte and lymphocyte counts revealed enhanced immunostimulation in salmon fed with increasing dietary SPC at Day 97. High SPC inclusion diets did not compromise the immune responses of salmon, while SPC50 diet also supported good growth without compromising elemental concentrations

Isolation and purification of ent-pimara-8(14),15-diene from engineered Aspergillus nidulans by accelerated solvent extraction combined with HPLC

Peer reviewe

Removal of dietary proteins and oils on salmon performance

Atlantic salmon post-smolts of an average of 940g were fed six diets including two marine-based commercial diets one with partial inclusion of vegetable proteins (VPs) and oils (VOs) (2011/12 EU standards) (MB) and a second with partial inclusion of VPs, land animal-by-product (ABP) proteins and VOs (non-EU standards) (MBABP), a fully vegetable protein (VP) diet; a fully algal and VOs (VO) diet; a fishery-free vegetable-based (VP/VO) diet; and a fishery-free diet with a mix of VPs and ABP proteins and a mix of algal and vegetable oils (MFABP). Growth was assessed at Days 104 and 175, whereas fillet proximate composition, haematology and innate immune responses were assessed upon termination. Overall, MB salmon was the best performing group for the full period in terms of feed intake and overall weight gain. MB and VP salmon exhibited the highest FCRs compared to the other groups, while VP salmon exhibited the highest condition factor (K) and VO salmon the lowestKcompared to the other groups. Fillet proximate composition did not present differences among the six groups. MB salmon demonstrated the highest plasma lysozyme activity compared to the other groups while MFABP, VP and VP/VO salmon demonstrated higher plasma anti-protease activity in contrast to MB salmon. The dietary groups did not present differences in plasma protein, total IgM or natural haemolytic activity while unaltered head kidney macrophage respiratory burst activity was also observed. Overall, diets free from marine proteins or oils and/or both were satisfactorily utilized by salmon without compromising their immune capacity, although longer adaptation periods are required

A Survey on Continuous Time Computations

We provide an overview of theories of continuous time computation. These theories allow us to understand both the hardness of questions related to continuous time dynamical systems and the computational power of continuous time analog models. We survey the existing models, summarizing results, and point to relevant references in the literature

A characteristic time sequence of epileptic activity in EEG during dynamic penicillin-induced focal epilepsy—A preliminary study

AbstractPenicillin-induced focal epilepsy is a well-known model in experimental epilepsy. However, the dynamic evolution of waveforms, DC-level changes, spectral content and coherence are rarely reported. Stimulated by earlier fMRI findings, we also seek for the early signs preceding spiking activity from frequency domain of EEG signal. In this study, EEG data is taken from previous EEG/fMRI series (six pigs, 20–24kg) of an experimental focal epilepsy model, which includes dynamic induction of epileptic activity with penicillin (6000IU) injection into the somatosensory cortex during deep isoflurane anaesthesia. No ictal discharges were recorded with this dose. Spike waveforms, DC-level, time–frequency content and coherence of EEG were analysed. Development of penicillin induced focal epileptic activity was not preceded with specific spectral changes. The beginning of interictal spiking was related to power increase in the frequencies below 6Hz or 20Hz, and continued to a widespread spectral increase. DC-level and coherence changes were clear in one animal. Morphological evolution of epileptic activity was a collection of the low-amplitude monophasic, bipolar, triple or double spike-wave forms, with an increase in amplitude, up to large monophasic spiking. In conclusion, in the time sequence of induced epileptic activity, immediate shifts in DC-level EEG are plausible, followed by the spike activity-related widespread increase in spectral content. Morphological evolution does not appear to follow a clear continuum; rather, intermingled and variable spike or multispike waveforms generally lead to stabilised activity of high-amplitude monophasic spikes