Máquinas universais: demonstração, análise e equivalência

Trabalho de Conclusão de Curso, apresentado para obtenção do grau de Bacharel no Curso de Ciência da Computação da Universidade do Extremo Sul Catarinense, UNESC.A ciência da computação é fundamentada em modelos computacionais construídos na primeira metade do século XX, em 1936 foi publicado a Máquina de Turing modelo conhecido e aceito como a formalização de um algoritmo, esse que pertence à uma classe chamada de máquinas universais, detentora do maior poder computacional até hoje. A teoria da computação tem um papel importante na construção do conhecimento e proporciona desenvolvimento do raciocínio logico e formal, sendo que esse é cada vez mais necessário para a computação. É apresentado quatro modelos de máquinas universais (Máquina de Turing, Máquina de Post, Autômato de duas pilhas e Máquina de Norma), esses que são contextualizados e a partir disso desenvolvido simuladores para cada, além de demostrar também como um modelo pode ser simulado por outra máquina universal, afim de comprovar a Tese de Church. Ao final da pesquisa, foi desenvolvido um protótipo web responsável pelos simuladores e que efetua a conversão de Máquina de Post para Máquina de Turing e Autômato de Duas Pilhas para Máquina de Turing

The global abundance of tree palms

Aim Palms are an iconic, diverse and often abundant component of tropical ecosystems that provide many ecosystem services. Being monocots, tree palms are evolutionarily, morphologically and physiologically distinct from other trees, and these differences have important consequences for ecosystem services (e.g., carbon sequestration and storage) and in terms of responses to climate change. We quantified global patterns of tree palm relative abundance to help improve understanding of tropical forests and reduce uncertainty about these ecosystems under climate change. Location Tropical and subtropical moist forests. Time period Current. Major taxa studied Palms (Arecaceae). Methods We assembled a pantropical dataset of 2,548 forest plots (covering 1,191 ha) and quantified tree palm (i.e., ≥10 cm diameter at breast height) abundance relative to co‐occurring non‐palm trees. We compared the relative abundance of tree palms across biogeographical realms and tested for associations with palaeoclimate stability, current climate, edaphic conditions and metrics of forest structure. Results On average, the relative abundance of tree palms was more than five times larger between Neotropical locations and other biogeographical realms. Tree palms were absent in most locations outside the Neotropics but present in >80% of Neotropical locations. The relative abundance of tree palms was more strongly associated with local conditions (e.g., higher mean annual precipitation, lower soil fertility, shallower water table and lower plot mean wood density) than metrics of long‐term climate stability. Life‐form diversity also influenced the patterns; palm assemblages outside the Neotropics comprise many non‐tree (e.g., climbing) palms. Finally, we show that tree palms can influence estimates of above‐ground biomass, but the magnitude and direction of the effect require additional work. Conclusions Tree palms are not only quintessentially tropical, but they are also overwhelmingly Neotropical. Future work to understand the contributions of tree palms to biomass estimates and carbon cycling will be particularly crucial in Neotropical forests

Photography-based taxonomy is inadequate, unnecessary, and potentially harmful for biological sciences

The question whether taxonomic descriptions naming new animal species without type specimen(s) deposited in collections should be accepted for publication by scientific journals and allowed by the Code has already been discussed in Zootaxa (Dubois & Nemésio 2007; Donegan 2008, 2009; Nemésio 2009a–b; Dubois 2009; Gentile & Snell 2009; Minelli 2009; Cianferoni & Bartolozzi 2016; Amorim et al. 2016). This question was again raised in a letter supported by 35 signatories published in the journal Nature (Pape et al. 2016) on 15 September 2016. On 25 September 2016, the following rebuttal (strictly limited to 300 words as per the editorial rules of Nature) was submitted to Nature, which on 18 October 2016 refused to publish it. As we think this problem is a very important one for zoological taxonomy, this text is published here exactly as submitted to Nature, followed by the list of the 493 taxonomists and collection-based researchers who signed it in the short time span from 20 September to 6 October 2016

TRY plant trait database – enhanced coverage and open access

Plant traits - the morphological, anatomical, physiological, biochemical and phenological characteristics of plants - determine how plants respond to environmental factors, affect other trophic levels, and influence ecosystem properties and their benefits and detriments to people. Plant trait data thus represent the basis for a vast area of research spanning from evolutionary biology, community and functional ecology, to biodiversity conservation, ecosystem and landscape management, restoration, biogeography and earth system modelling. Since its foundation in 2007, the TRY database of plant traits has grown continuously. It now provides unprecedented data coverage under an open access data policy and is the main plant trait database used by the research community worldwide. Increasingly, the TRY database also supports new frontiers of trait‐based plant research, including the identification of data gaps and the subsequent mobilization or measurement of new data. To support this development, in this article we evaluate the extent of the trait data compiled in TRY and analyse emerging patterns of data coverage and representativeness. Best species coverage is achieved for categorical traits - almost complete coverage for ‘plant growth form’. However, most traits relevant for ecology and vegetation modelling are characterized by continuous intraspecific variation and trait–environmental relationships. These traits have to be measured on individual plants in their respective environment. Despite unprecedented data coverage, we observe a humbling lack of completeness and representativeness of these continuous traits in many aspects. We, therefore, conclude that reducing data gaps and biases in the TRY database remains a key challenge and requires a coordinated approach to data mobilization and trait measurements. This can only be achieved in collaboration with other initiatives

Mortality and pulmonary complications in patients undergoing surgery with perioperative SARS-CoV-2 infection: an international cohort study

Background: The impact of severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) on postoperative recovery needs to be understood to inform clinical decision making during and after the COVID-19 pandemic. This study reports 30-day mortality and pulmonary complication rates in patients with perioperative SARS-CoV-2 infection. Methods: This international, multicentre, cohort study at 235 hospitals in 24 countries included all patients undergoing surgery who had SARS-CoV-2 infection confirmed within 7 days before or 30 days after surgery. The primary outcome measure was 30-day postoperative mortality and was assessed in all enrolled patients. The main secondary outcome measure was pulmonary complications, defined as pneumonia, acute respiratory distress syndrome, or unexpected postoperative ventilation. Findings: This analysis includes 1128 patients who had surgery between Jan 1 and March 31, 2020, of whom 835 (74·0%) had emergency surgery and 280 (24·8%) had elective surgery. SARS-CoV-2 infection was confirmed preoperatively in 294 (26·1%) patients. 30-day mortality was 23·8% (268 of 1128). Pulmonary complications occurred in 577 (51·2%) of 1128 patients; 30-day mortality in these patients was 38·0% (219 of 577), accounting for 81·7% (219 of 268) of all deaths. In adjusted analyses, 30-day mortality was associated with male sex (odds ratio 1·75 [95% CI 1·28–2·40], p\textless0·0001), age 70 years or older versus younger than 70 years (2·30 [1·65–3·22], p\textless0·0001), American Society of Anesthesiologists grades 3–5 versus grades 1–2 (2·35 [1·57–3·53], p\textless0·0001), malignant versus benign or obstetric diagnosis (1·55 [1·01–2·39], p=0·046), emergency versus elective surgery (1·67 [1·06–2·63], p=0·026), and major versus minor surgery (1·52 [1·01–2·31], p=0·047). Interpretation: Postoperative pulmonary complications occur in half of patients with perioperative SARS-CoV-2 infection and are associated with high mortality. Thresholds for surgery during the COVID-19 pandemic should be higher than during normal practice, particularly in men aged 70 years and older. Consideration should be given for postponing non-urgent procedures and promoting non-operative treatment to delay or avoid the need for surgery. Funding: National Institute for Health Research (NIHR), Association of Coloproctology of Great Britain and Ireland, Bowel and Cancer Research, Bowel Disease Research Foundation, Association of Upper Gastrointestinal Surgeons, British Association of Surgical Oncology, British Gynaecological Cancer Society, European Society of Coloproctology, NIHR Academy, Sarcoma UK, Vascular Society for Great Britain and Ireland, and Yorkshire Cancer Research

Observation of the B0 → ρ0ρ0 decay from an amplitude analysis of B0 → (π+π−)(π+π−) decays

Proton–proton collision data recorded in 2011 and 2012 by the LHCb experiment, corresponding to an integrated luminosity of 3.0 fb−1 , are analysed to search for the charmless B0→ρ0ρ0 decay. More than 600 B0→(π+π−)(π+π−) signal decays are selected and used to perform an amplitude analysis, under the assumption of no CP violation in the decay, from which the B0→ρ0ρ0 decay is observed for the first time with 7.1 standard deviations significance. The fraction of B0→ρ0ρ0 decays yielding a longitudinally polarised final state is measured to be fL=0.745−0.058+0.048(stat)±0.034(syst) . The B0→ρ0ρ0 branching fraction, using the B0→ϕK⁎(892)0 decay as reference, is also reported as B(B0→ρ0ρ0)=(0.94±0.17(stat)±0.09(syst)±0.06(BF))×10−6

Measurement of the (eta c)(1S) production cross-section in proton-proton collisions via the decay (eta c)(1S) -> p(p)over-bar

The production of the $\eta_c (1S)$ state in proton-proton collisions is probed via its decay to the $p \bar{p}$ final state with the LHCb detector, in the rapidity range $2.0 6.5$ GeV/c. The cross-section for prompt production of $\eta_c (1S)$ mesons relative to the prompt $J/\psi$ cross-section is measured, for the first time, to be $\sigma_{\eta_c (1S)}/\sigma_{J/\psi} = 1.74 \pm 0.29 \pm 0.28 \pm 0.18 _{B}$ at a centre-of-mass energy $\sqrt{s} = 7$ TeV using data corresponding to an integrated luminosity of 0.7 fb$^{-1}$, and $\sigma_{\eta_c (1S)}/\sigma_{J/\psi} = 1.60 \pm 0.29 \pm 0.25 \pm 0.17 _{B}$ at $\sqrt{s} = 8$ TeV using 2.0 fb$^{-1}$. The uncertainties quoted are, in order, statistical, systematic, and that on the ratio of branching fractions of the $\eta_c (1S)$ and $J/\psi$ decays to the $p \bar{p}$ final state. In addition, the inclusive branching fraction of $b$-hadron decays into $\eta_c (1S)$ mesons is measured, for the first time, to be $B ( b \rightarrow \eta_c X ) = (4.88 \pm 0.64 \pm 0.25 \pm 0.67 _{B}) \times 10^{-3}$, where the third uncertainty includes also the uncertainty on the $J/\psi$ inclusive branching fraction from $b$-hadron decays. The difference between the $J/\psi$ and $\eta_c (1S)$ meson masses is determined to be $114.7 \pm 1.5 \pm 0.1$ MeV/c$^2$.The production of the $\eta _c (1S)$ state in proton-proton collisions is probed via its decay to the $p\overline{p}$ final state with the LHCb detector, in the rapidity range $2.0 6.5 \mathrm{{\,GeV/}{ c}}$ . The cross-section for prompt production of $\eta _c (1S)$ mesons relative to the prompt ${{ J}}/{\psi }$ cross-section is measured, for the first time, to be $\sigma _{\eta _c (1S)}/\sigma _{{{{ J}}/{\psi }}} = 1.74\, \pm \,0.29\, \pm \, 0.28\, \pm \,0.18 _{{\mathcal{B}}}$ at a centre-of-mass energy ${\sqrt{s}} = 7 {~\mathrm{TeV}}$ using data corresponding to an integrated luminosity of 0.7 fb$^{-1}$ , and $\sigma _{\eta _c (1S)}/\sigma _{{{{ J}}/{\psi }}} = 1.60 \pm 0.29 \pm 0.25 \pm 0.17 _{{\mathcal{B}}}$ at ${\sqrt{s}} = 8 {~\mathrm{TeV}}$ using 2.0 fb$^{-1}$ . The uncertainties quoted are, in order, statistical, systematic, and that on the ratio of branching fractions of the $\eta _c (1S)$ and ${{ J}}/{\psi }$ decays to the $p\overline{p}$ final state. In addition, the inclusive branching fraction of ${b}$ -hadron decays into $\eta _c (1S)$ mesons is measured, for the first time, to be ${\mathcal{B}}( b {\rightarrow } \eta _c X ) = (4.88\, \pm \,0.64\, \pm \,0.29\, \pm \, 0.67 _{{\mathcal{B}}}) \times 10^{-3}$ , where the third uncertainty includes also the uncertainty on the ${{ J}}/{\psi }$ inclusive branching fraction from ${b}$ -hadron decays. The difference between the ${{ J}}/{\psi }$ and $\eta _c (1S)$ meson masses is determined to be $114.7 \pm 1.5 \pm 0.1 {\mathrm {\,MeV\!/}c^2}$ .The production of the $\eta_c (1S)$ state in proton-proton collisions is probed via its decay to the $p \bar{p}$ final state with the LHCb detector, in the rapidity range $2.0 6.5$ GeV/c. The cross-section for prompt production of $\eta_c (1S)$ mesons relative to the prompt $J/\psi$ cross-section is measured, for the first time, to be $\sigma_{\eta_c (1S)}/\sigma_{J/\psi} = 1.74 \pm 0.29 \pm 0.28 \pm 0.18 _{B}$ at a centre-of-mass energy $\sqrt{s} = 7$ TeV using data corresponding to an integrated luminosity of 0.7 fb$^{-1}$, and $\sigma_{\eta_c (1S)}/\sigma_{J/\psi} = 1.60 \pm 0.29 \pm 0.25 \pm 0.17 _{B}$ at $\sqrt{s} = 8$ TeV using 2.0 fb$^{-1}$. The uncertainties quoted are, in order, statistical, systematic, and that on the ratio of branching fractions of the $\eta_c (1S)$ and $J/\psi$ decays to the $p \bar{p}$ final state. In addition, the inclusive branching fraction of $b$-hadron decays into $\eta_c (1S)$ mesons is measured, for the first time, to be $B ( b \rightarrow \eta_c X ) = (4.88 \pm 0.64 \pm 0.29 \pm 0.67 _{B}) \times 10^{-3}$, where the third uncertainty includes also the uncertainty on the $J/\psi$ inclusive branching fraction from $b$-hadron decays. The difference between the $J/\psi$ and $\eta_c (1S)$ meson masses is determined to be $114.7 \pm 1.5 \pm 0.1$ MeV/c$^2$

Angular analysis of the B-0 -> K*(0) e(+) e(-) decay in the low-q(2) region

An angular analysis of the $B^0 \rightarrow K^{*0} e^+ e^-$ decay is performed using a data sample, corresponding to an integrated luminosity of 3.0 {\mbox{fb}^{-1}}, collected by the LHCb experiment in $pp$ collisions at centre-of-mass energies of 7 and 8 TeV during 2011 and 2012. For the first time several observables are measured in the dielectron mass squared ($q^2$) interval between 0.002 and 1.120${\mathrm{\,Ge\kern -0.1em V^2\!/}c^4}$. The angular observables $F_{\mathrm{L}}$ and $A_{\mathrm{T}}^{\mathrm{Re}}$ which are related to the $K^{*0}$ polarisation and to the lepton forward-backward asymmetry, are measured to be $F_{\mathrm{L}}= 0.16 \pm 0.06 \pm0.03$ and $A_{\mathrm{T}}^{\mathrm{Re}} = 0.10 \pm 0.18 \pm 0.05$, where the first uncertainty is statistical and the second systematic. The angular observables $A_{\mathrm{T}}^{(2)}$ and $A_{\mathrm{T}}^{\mathrm{Im}}$ which are sensitive to the photon polarisation in this $q^2$ range, are found to be $A_{\mathrm{T}}^{(2)} = -0.23 \pm 0.23 \pm 0.05$ and $A_{\mathrm{T}}^{\mathrm{Im}} =0.14 \pm 0.22 \pm 0.05$. The results are consistent with Standard Model predictions.An angular analysis of the B$^{0}$ → K^{*}^{0} e$^{+}$ e$^{−}$ decay is performed using a data sample, corresponding to an integrated luminosity of 3.0 fb$^{−1}$, collected by the LHCb experiment in pp collisions at centre-of-mass energies of 7 and 8 TeV during 2011 and 2012. For the first time several observables are measured in the dielectron mass squared (q$^{2}$) interval between 0.002 and 1.120 GeV$^{2}$ /c$^{4}$. The angular observables F$_{L}$ and A$_{T}^{Re}$ which are related to the K^{*}^{0} polarisation and to the lepton forward-backward asymmetry, are measured to be F$_{L}$ = 0.16 ± 0.06 ± 0.03 and A$_{T}^{Re}$  = 0.10 ± 0.18 ± 0.05, where the first uncertainty is statistical and the second systematic. The angular observables A$_{T}^{(2)}$ and A$_{T}^{Im}$ which are sensitive to the photon polarisation in this q$^{2}$ range, are found to be A$_{T}^{(2)}$  = − 0.23 ± 0.23 ± 0.05 and A$_{T}^{Im}$  = 0.14 ± 0.22 ± 0.05. The results are consistent with Standard Model predictions.An angular analysis of the $B^0 \rightarrow K^{*0} e^+ e^-$ decay is performed using a data sample, corresponding to an integrated luminosity of 3.0 {\mbox{fb}^{-1}}, collected by the LHCb experiment in $pp$ collisions at centre-of-mass energies of 7 and 8 TeV during 2011 and 2012. For the first time several observables are measured in the dielectron mass squared ($q^2$) interval between 0.002 and 1.120${\mathrm{\,Ge\kern -0.1em V^2\!/}c^4}$. The angular observables $F_{\mathrm{L}}$ and $A_{\mathrm{T}}^{\mathrm{Re}}$ which are related to the $K^{*0}$ polarisation and to the lepton forward-backward asymmetry, are measured to be $F_{\mathrm{L}}= 0.16 \pm 0.06 \pm0.03$ and $A_{\mathrm{T}}^{\mathrm{Re}} = 0.10 \pm 0.18 \pm 0.05$, where the first uncertainty is statistical and the second systematic. The angular observables $A_{\mathrm{T}}^{(2)}$ and $A_{\mathrm{T}}^{\mathrm{Im}}$ which are sensitive to the photon polarisation in this $q^2$ range, are found to be $A_{\mathrm{T}}^{(2)} = -0.23 \pm 0.23 \pm 0.05$ and $A_{\mathrm{T}}^{\mathrm{Im}} =0.14 \pm 0.22 \pm 0.05$. The results are consistent with Standard Model predictions