A Spectral Bernstein Theorem

We study the spectrum of the Laplace operator of a complete minimal properly immersed hypersurface $M$ in $\R^{n+1}$. (1) Under a volume growth condition on extrinsic balls and a condition on the unit normal at infinity, we prove that $M$ has only essential spectrum consisting of the half line $[0, +\infty)$. This is the case when $\lim_{\tilde{r}\to +\infty}\tilde{r}\kappa_i=0$, where $\tilde{r}$ is the extrinsic distance to a point of $M$ and $\kappa_i$ are the principal curvatures. (2) If the $\kappa_i$ satisfy the decay conditions $|\kappa_i|\leq 1/\tilde{r}$, and strict inequality is achieved at some point $y\in M$, then there are no eigenvalues. We apply these results to minimal graphic and multigraphic hypersurfaces.Comment: 16 pages. v2. Final version: minor revisions, we add Proposition 3.2. Accepted for publication in the Annali di Matematica Pura ed Applicata, on the 05/03/201

Logic-based schedulability analysis for compositional hard real-time embedded systems

This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in SIGBED Review, VOL.12, ISS.1, http://doi.acm.org/10.1145/2752801.2752808Over the past decades several approaches for schedu- lability analysis have been proposed for both uniprocessor and multi-processor real-time systems. Although different techniques are employed, very little has been put forward in using formal specifications, with the consequent possibility for misinterpretations or ambiguities in the problem statement. Using a logic based approach to schedulability analysis in the design of hard real-time systems eases the synthesis of correct-by- construction procedures for both static and dynamic verification processes. In this paper we propose a novel approach to schedulability analysis based on a timed temporal logic with time durations. Our approach subsumes classical methods for uniprocessor scheduling analysis over compositional resource models by providing the developer with counter-examples, and by ruling out schedules that cause unsafe violations on the system. We also provide an example showing the effectiveness of our proposal.This work was partially supported by National Funds through FCT (Portuguese Foundation for Science and Technology) and by ERDF (European Regional Development Fund) through COMPETE (Operational Programme ’Thematic Fac- tors of Competitiveness’), within projects Ref. FCOMP-01- 0124-FEDER-022701 (CISTER), FCOMP-01-0124-FEDER- 015006 (VIPCORE) and FCOMP-01-0124-FEDER-020486 (AVIACC)

Genetic relationships within and among Iberian fescues (Festuca L.) based on PCR-amplified markers

The genus Festuca comprises approximately 450 species and is widely distributed around the world. The Iberian Penninsula, with more than 100 taxa colonizing very diverse habitats, is one of its main centers of diversification. This study was conducted to assess molecular genetic variation and genetic relatedness among 91 populations of 31 taxa of Iberian fescues, based on several molecular markers (random amplified polymorphic DNA, amplified fragment length polymorphisms, and trnL sequences). The analyses showed the paraphyletic origin of the broad-leaved (subgenus Festuca, sections Scariosae and Subbulbosae, and subgenus Schedonorus) and the fine-leaved fescues (subgenus Festuca, sections Aulaxyper, Eskia, and Festuca). Schedonorus showed a weak relationship with Lolium rigidum and appeared to be the most recent of the broad-leaved clade. Section Eskia was the most ancient and Festuca the most recent of the fine-leaved clade. Festuca and Aulaxyper were the most related sections, in concordance with their taxonomic affinities. All taxa grouped into their sections, except F. ampla and F. capillifolia (section Festuca), which appeared to be more closely related to Aulaxyper and to a new independent section, respectively. Most populations clustered at the species level, but some subspecies and varieties mixed their populations. This study demonstrated the value in combining different molecular markers to uncover hidden genetic relationships between populations of Festuca

Conductance and persistent current of a quantum ring coupled to a quantum wire under external fields

The electronic transport of a noninteracting quantum ring side-coupled to a quantum wire is studied via a single-band tunneling tight-binding Hamiltonian. We found that the system develops an oscillating band with antiresonances and resonances arising from the hybridization of the quasibound levels of the ring and the coupling to the quantum wire. The positions of the antiresonances correspond exactly to the electronic spectrum of the isolated ring. Moreover, for a uniform quantum ring the conductance and the persistent current density were found to exhibit a particular odd-even parity related with the ring-order. The effects of an in-plane electric field was also studied. This field shifts the electronic spectrum and damps the amplitude of the persistent current density. These features may be used to control externally the energy spectra and the amplitude of the persistent current.Comment: Revised version, 7 pages and 9 figures. To appear in Phys. Rev.

A novel multivariate STeady-state index during general ANesthesia (STAN)

The assessment of the adequacy of general anesthesia for surgery, namely the nociception/anti-nociception balance, has received wide attention from the scientific community. Monitoring systems based on the frontal EEG/EMG, or autonomic state reactions (e.g. heart rate and blood pressure) have been developed aiming to objectively assess this balance. In this study a new multivariate indicator of patients' steady-state during anesthesia (STAN) is proposed, based on wavelet analysis of signals linked to noxious activation. A clinical protocol was designed to analyze precise noxious stimuli (laryngoscopy/intubation, tetanic, and incision), under three different analgesic doses; patients were randomized to receive either remifentanil 2.0, 3.0 or 4.0 ng/ml. ECG, PPG, BP, BIS, EMG and [Formula: see text] were continuously recorded. ECG, PPG and BP were processed to extract beat-to-beat information, and [Formula: see text] curve used to estimate the respiration rate. A combined steady-state index based on wavelet analysis of these variables, was applied and compared between the three study groups and stimuli (Wilcoxon signed ranks, Kruskal-Wallis and Mann-Whitney tests). Following institutional approval and signing the informed consent thirty four patients were enrolled in this study (3 excluded due to signal loss during data collection). The BIS index of the EEG, frontal EMG, heart rate, BP, and PPG wave amplitude changed in response to different noxious stimuli. Laryngoscopy/intubation was the stimulus with the more pronounced response [Formula: see text]. These variables were used in the construction of the combined index STAN; STAN responded adequately to noxious stimuli, with a more pronounced response to laryngoscopy/intubation (18.5-43.1 %, [Formula: see text]), and the attenuation provided by the analgesic, detecting steady-state periods in the different physiological signals analyzed (approximately 50 % of the total study time). A new multivariate approach for the assessment of the patient steady-state during general anesthesia was developed. The proposed wavelet based multivariate index responds adequately to different noxious stimuli, and attenuation provided by the analgesic in a dose-dependent manner for each stimulus analyzed in this study.The first author was supported by a scholarship from the Portuguese Foundation for Science and Technology (FCT SFRH/BD/35879/2007). The authors would also like to acknowledge the support of UISPA—System Integration and Process Automation Unit—Part of the LAETA (Associated Laboratory of Energy, Transports and Aeronautics) a I&D Unit of the Foundation for Science and Technology (FCT), Portugal. FCT support under project PEst-OE/EME/LA0022/2013.info:eu-repo/semantics/publishedVersio

A vision-based system to support tactical and physical analyses in futsal

This paper presents a vision-based system to support tactical and physical analyses of futsal teams. Most part of the current analyses in this sport are manually performed, while the existing solutions based on automatic approaches are frequently composed of costly and complex tools, developed for other kind of team sports, making it difficult their adoption by futsal teams. Our system, on the other hand, represents a simple yet efficient dedicated solution, which is based on the analyses of image sequences captured by a single stationary camera used to obtain top-view images of the entire court. We use adaptive background subtraction and blob analysis to detect players, as well as particle filters to track them in every video frame. The system determines the distance traveled by each player, his/her mean and maximum speeds, as well as generates heat maps that describe players’ occupancy during the match. To present the collected data, our system uses a specially developed mobile application. Experimental results with image sequences of an official match and a training match show that our system provides data with global mean tracking errors below 40 cm, demanding on 25 ms to process each frame and, thus, demonstrating its high application potential

Marine-derived Fungi: Diversity Of Enzymes And Biotechnological Applications

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)The ocean is considered to be a great reservoir of biodiversity. Microbial communities in marine environments are ecologically relevant as intermediaries of energy, and play an important role in nutrient regeneration cycles as decomposers of dead and decaying organic matter. In this sense, marine-derived fungi can be considered as a source of enzymes of industrial and/or environmental interest. Fungal strains isolated from different substrates, such as invertebrates, decaying wood, seawater, sediments, and mangrove detritus, have been reported to be producers of hydrolytic and/or oxidative enzymes, with alginate lyase, amylase, cellulase, chitinase, glucosidase, inulinase, keratinase, ligninase, lipase, nuclease, phytase, protease, and xylanase being among the enzymes produced by fungi of marine origin. These enzymes present temperature and pH optima ranging from 35 to 70 degrees C, and 3.0 to 11.0, respectively. High-level production in bioreactors is mainly performed using submerged-state fermentation. Certain marine-derived fungal strains present enzymes with alkaline and cold-activity characteristics, and salinity is considered an important condition in screening and production processes. The adaptability of marine-derived fungi to oceanic conditions can be considered an attractive point in the field of fungal marine biotechnology. In this review, we focus on the advances in discovering enzymes from marine-derived fungi and their biotechnological relevance.6Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)FAPESP [2013/19486-0, 2013/08617-7]CNPq [304103/2013-6, 301248/2010-9]FAPESP [FAPESP 2009/18399-1, FAPESP 2011/18769-3, FAPESP 2008/06720-7, FAPESP 2012/12622-3, FAPESP 2013/12505-0, FAPESP 2014/12430-2, CNPq 159488/2014, FAPESP 2013/00286-1

Avaliação do dano no ADN do espermatozoide por citometria de fluxo e ensaio cometa alcalino

info:eu-repo/semantics/publishedVersio

Critical review of technologies for the on-site treatment of hospital wastewater: From conventional to combined advanced processes

This review aims to assess different technologies for the on-site treatment of hospital wastewater (HWW) to remove pharmaceutical compounds (PhCs) as sustances of emerging concern at a bench, pilot, and full scales from 2014 to 2020. Moreover, a rough characterisation of hospital effluents is presented. The main detected PhCs are antibiotics and psychiatric drugs, with concentrations up to 1.1 mg/L. On the one hand, regarding the presented technologies, membrane bioreactors (MBRs) are a good alternative for treating HWW with PhCs removal values higher than 80% in removing analgesics, anti-inflammatories, cardiovascular drugs, and some antibiotics. Moreover, this system has been scaled up to the pilot plant scale. However, some target compounds are still present in the treated effluent, such as psychiatric and contrast media drugs and recalcitrant antibiotics (erythromycin and sulfamethoxazole). On the other hand, ozonation effectively removes antibiotics found in the HWW (>93%), and some studies are carried out at the pilot plant scale. Even though, some families, such as the X-ray contrast media, are recalcitrant to ozone. Other advanced oxidation processes (AOPs), such as Fenton-like or UV treatments, seem very effective for removing pharmaceuticals, Antibiotic Resistance Bacteria (ARBs) and Antibiotic Resistance Genes (ARGs). However, they are not implanted at pilot plant or full scale as they usually consider extra reactants such as ozone, iron, or UV-light, making the scale-up of the processes a challenging task to treat high-loading wastewater. Thus, several examples of biological wastewater treatment methods combined with AOPs have been proposed as the better strategy to treat HWW with high removal of PhCs (generally over 98%) and ARGs/ARBs (below the detection limit) and lower spending on reactants. However, it still requires further development and optimisation of the integrated processes.Comunidad de Madri

Dexketoprofen/tramadol: randomised double-blind trial and confirmation of empirical theory of combination analgesics in acute pain

Background: Combination analgesics are effective in acute pain, and a theoretical framework predicts efficacy for combinations. The combination of dexketoprofen and tramadol is untested, but predicted to be highly effective. Methods: This was a randomised, double-blind, double-dummy, parallel-group, placebo-controlled, single-dose trial in patients with moderate or severe pain following third molar extraction. There were ten treatment arms, including dexketoprofen trometamol (12.5 mg and 25 mg) and tramadol hydrochloride (37.5 mg and 75 mg), given as four different fixed combinations and single components, with ibuprofen 400 mg as active control as well as a placebo control. The study objective was to evaluate the superior analgesic efficacy and safety of each combination and each single agent versus placebo. The primary outcome was the proportion of patients with at least 50 % max TOTPAR over six hours. Results: 606 patients were randomised and provided at least one post-dose assessment. All combinations were significantly better than placebo. The highest percentage of responders (72 %) was achieved in the dexketoprofen trometamol 25 mg plus tramadol hydrochloride 75 mg group (NNT 1.6, 95 % confidence interval 1.3 to 2.1). Addition of tramadol to dexketoprofen resulted in greater peak pain relief and greater pain relief over the longer term, particularly at times longer than six hours (median duration of 8.1 h). Adverse events were unremarkable. Conclusions: Dexketoprofen trometamol 25 mg combined with tramadol hydrochloride 75 mg provided good analgesia with rapid onset and long duration in a model of moderate to severe pain. The results of the dose finding study are consistent with pre-trial calculations based on empirical formulae