Filters








10,291 Hits in 1.1 sec

SILVA, Alexandra Lima da. Escritas de viagem, escritas da história: estratégias de legitimação de Rocha Pombo no campo intelectual, 2018

Jacqueline de Albuquerque Varella
<span title="2018-12-31">2018</span> <i title="Universidade de Estado do Rio de Janeiro"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/epwdj567afd6fltve7r7avihom" style="color: black;">Intellèctus</a> </i> &nbsp;
Ao lançar o olhar para este sujeito enquanto viajante Alexandra lima da Silva focaliza uma face de sua trajetória que seguia (in) visibilizada.  ...  (SILVA, 2018: 100) destaca uma fala do viajante a respeito desta questão: "Esses problemas que o norte anda sentindo, bem si vê que por si mesmos já dizem que há por ali alma de povo.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.12957/intellectus.2018.38978">doi:10.12957/intellectus.2018.38978</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/sgqvvfgitvghbny4egjaclefjq">fatcat:sgqvvfgitvghbny4egjaclefjq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190427100440/https://www.e-publicacoes.uerj.br/index.php/intellectus/article/download/38978/27631" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f6/2c/f62c9be45aea640e48298fda407d22ae28155706.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.12957/intellectus.2018.38978"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Learning Pomset Automata [article]

Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Alexandra Silva
<span title="2021-02-15">2021</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We extend the L* algorithm to learn bimonoids recognising pomset languages. We then identify a class of pomset automata that accepts precisely the class of pomset languages recognised by bimonoids and show how to convert between bimonoids and automata.
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2102.07504v1">arXiv:2102.07504v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lfqtrbr76vg4rp6hf333remcfi">fatcat:lfqtrbr76vg4rp6hf333remcfi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210217201849/https://arxiv.org/pdf/2102.07504v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2102.07504v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Molecular tools for phytoplankton monitoring samples [article]

Barbara Frazao, Alexandra Silva
<span title="2018-06-07">2018</span> <i title="Cold Spring Harbor Laboratory"> bioRxiv </i> &nbsp; <span class="release-stage" >pre-print</span>
HABs can have severe impacts in fisheries or human health by the consumption of contaminated bivalves. Monitoring assessment (quantitative and qualitative identification) of these organisms, is routinely accomplished by microscopic identification and counting of these organisms. Nonetheless, molecular biology techniques are gaining relevance, once these approaches can easily identify phytoplankton organisms at species level and even cell number quantifications. This work tests 12 methods/kits
more &raquo; ... r genomic DNA extraction and seven DNA polymerases to determine which is the best method for routinely use in a common molecular laboratory, for phytoplankton monitoring samples analyses. From our work, Direct PCR master mix for tissue samples, proved to be the most adequate by its velocity of processivity, practicability, reproducibility, sensitiveness and robustness. However, brands such as Omega Biotek, GRISP, Qiagen and MP Biomedicals also showed good results for conventional DNA extraction as well as all the Taq brands tested (GRISP, GE Healthcare Life Sciences, ThermoFisher Scientific and Promega). Lugols solution, with our tested kits did not show negative interference in DNA amplification. The same can be said about mechanical digestion, with no significant differences among kits with or without this homogenization step.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1101/339655">doi:10.1101/339655</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qgsje4pbnfe73ehld3iwpxcotq">fatcat:qgsje4pbnfe73ehld3iwpxcotq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190501183532/https://www.biorxiv.org/content/biorxiv/early/2018/06/07/339655.full.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/fc/1b/fc1b52dcfcef9af9e0301458f9a338669300c712.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1101/339655"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> biorxiv.org </button> </a>

Marked mitral prosthesis rocking motion preceding atrioventricular groove rupture

Alexandra Isabel Coelho Sousa, Alexandra Maria Gomes Silva Gonçalves, António José Barbosa Silva Madureira, Jorge Manuel Santos Almeida, José Manuel Lima Pinheiro Torres
<span title="2014-10-18">2015</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/pxo6a2ljfnhhxmikvw6tbzivfq" style="color: black;">Journal of Cardiology Cases</a> </i> &nbsp;
Rupture of the atrioventricular groove is an uncommon but dreaded complication of mitral valve replacement. We present the case of a 74-year-old male submitted to mitral valve surgery, complicated by atrioventricular groove rupture presaged by the excessive rocking movement of the prosthesis seen in the pre-discharge transthoracic echocardiogram. .
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jccase.2014.09.004">doi:10.1016/j.jccase.2014.09.004</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/30546529">pmid:30546529</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC6280011/">pmcid:PMC6280011</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cmby7afnzndxfbemmt6m3hx77q">fatcat:cmby7afnzndxfbemmt6m3hx77q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190319104619/https://core.ac.uk/download/pdf/81206501.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/60/26/60261eb1a2a8f5312efc9356076b72092677a9cc.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jccase.2014.09.004"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6280011" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

Conditional Transition Systems with Upgrades [article]

Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva
<span title="2017-06-08">2017</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We introduce a variant of transition systems, where activation of transitions depends on conditions of the environment and upgrades during runtime potentially create additional transitions. Using a cornerstone result in lattice theory, we show that such transition systems can be modelled in two ways: as conditional transition systems (CTS) with a partial order on conditions, or as lattice transition systems (LaTS), where transitions are labelled with the elements from a distributive lattice. We
more &raquo; ... define equivalent notions of bisimilarity for both variants and characterise them via a bisimulation game. We explain how conditional transition systems are related to featured transition systems for the modelling of software product lines. Furthermore, we show how to compute bisimilarity symbolically via BDDs by defining an operation on BDDs that approximates an element of a Boolean algebra into a lattice. We have implemented our procedure and provide runtime results.
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1706.02526v1">arXiv:1706.02526v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hkgtkrehkvapdguhyo4tuxqmpy">fatcat:hkgtkrehkvapdguhyo4tuxqmpy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200901083004/https://arxiv.org/pdf/1706.02526v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/bd/3e/bd3eb7be98bbbad4dd4a52c1940555c8390e8123.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1706.02526v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Almost Sure Productivity [article]

Alejandro Aguirre, Gilles Barthe, Justin Hsu, Alexandra Silva
<span title="2018-05-13">2018</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Silva 374:21 initiated at the Bellairs Research Institute in Barbados, and was partially supported by NSF grant #1637532 and ERC grant ProFoundNet (#679127).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1802.06283v2">arXiv:1802.06283v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/74hnlnccdbfn5hm27nfr2scfxe">fatcat:74hnlnccdbfn5hm27nfr2scfxe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200827124825/https://arxiv.org/pdf/1802.06283v2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/0b/a9/0ba987d516afd7b2da87f9d9ad8ebf04280592e3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1802.06283v2" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Symbolic Register Automata [article]

Loris D'Antoni, Tiago Ferreira, Matteo Sammartino, Alexandra Silva
<span title="2019-05-23">2019</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Symbolic Finite Automata and Register Automata are two orthogonal extensions of finite automata motivated by real-world problems where data may have unbounded domains. These automata address a demand for a model over large or infinite alphabets, respectively. Both automata models have interesting applications and have been successful in their own right. In this paper, we introduce Symbolic Register Automata, a new model that combines features from both symbolic and register automata, with a
more &raquo; ... on applications that were previously out of reach. We study their properties and provide algorithms for emptiness, inclusion and equivalence checking, together with experimental results.
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1811.06968v2">arXiv:1811.06968v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6bw7pfz27zdk3fvbrtivwis5ae">fatcat:6bw7pfz27zdk3fvbrtivwis5ae</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200902045140/https://arxiv.org/pdf/1811.06968v2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/26/97/2697636befe279c83b3881620931724296d87152.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1811.06968v2" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Aspectos morfológicos, germinação e desenvolvimento inicial de plântulas de Archontophoenix alexandrae (F. Mueller) H. Wendl. e Drude (Arecaceae) em diferentes substratos

Hamilton César de Oliveira Charlo, Fabíola Vitti Môro, Vanessa Lorencini da Silva, Breno Marques da Silva e Silva, Silvano Bianco, José Roberto Môro
<span title="">2006</span> <i title="FapUNIFESP (SciELO)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/fjznwhldhbhtdbdveyvnqtker4" style="color: black;">Revista Árvore</a> </i> &nbsp;
morfologia dos diásporos e as suas fases de germinação, bem como determinar o substrato mais adequado para a germinação das sementes e o crescimento das plântulas de palmeira-da-rainha (Archontophoenix alexandrae  ...  CASTELLANI, E.D.; SILVA, A.; DEMATTÊ, M.E.S.P. Conservação de sementes de p a l m e i r a s e a f ó r t i a .  ...  Archontophoenix alexandrae (F.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1590/s0100-67622006000600008">doi:10.1590/s0100-67622006000600008</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/eldywax2jvbxrhiltkibrfyw3u">fatcat:eldywax2jvbxrhiltkibrfyw3u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180728052231/http://www.scielo.br/pdf/rarv/v30n6/a08v30n6.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ad/2b/ad2b25c2e7d5108e2d296bff51a36e33cfa1420a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1590/s0100-67622006000600008"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> scielo.br </button> </a>

Liposomal Nanosystems in Rheumatoid Arthritis

Margarida Ferreira-Silva, Catarina Faria-Silva, Pedro Viana Baptista, Eduarda Fernandes, Alexandra Ramos Fernandes, Maria Luísa Corvo
<span title="2021-03-27">2021</span> <i title="MDPI AG"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/eyicatbz75hkld675oqybzylzu" style="color: black;">Pharmaceutics</a> </i> &nbsp;
Rheumatoid arthritis (RA) is an autoimmune disease that affects the joints and results in reduced patient quality of life due to its chronic nature and several comorbidities. RA is also associated with a high socioeconomic burden. Currently, several available therapies minimize symptoms and prevent disease progression. However, more effective treatments are needed due to current therapies' severe side-effects, especially under long-term use. Drug delivery systems have demonstrated their
more &raquo; ... importance—with several nanocarriers present in the market—due to their capacity to improve therapeutic drug index, for instance, by enabling passive or active targeting. The first to achieve market authorization were liposomes that still represent a considerable part of approved delivery systems. In this manuscript, we review the role of liposomes in RA treatment, address preclinical studies and clinical trials, and discuss factors that could hamper a successful clinical translation. We also suggest some alterations that could potentially improve their progression to the market.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/pharmaceutics13040454">doi:10.3390/pharmaceutics13040454</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/33801603">pmid:33801603</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/i7wtj5en45aujhqwkpi3r6zje4">fatcat:i7wtj5en45aujhqwkpi3r6zje4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210410003919/https://res.mdpi.com/d_attachment/pharmaceutics/pharmaceutics-13-00454/article_deploy/pharmaceutics-13-00454.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/03/b0/03b0714d1ef6bae5e6bacf53f3ff9daf4b4b1231.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/pharmaceutics13040454"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> mdpi.com </button> </a>

Unilateral calf hypertrophy and radiculopathy: an unusual association

Alexandra Daniel, Gisela Eugénio, Jorge Silva, José da Silva
<span title="2016-10-05">2016</span> <i title="BMJ"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/vj2dulzo3zey5h33y57oieqfce" style="color: black;">BMJ Case Reports</a> </i> &nbsp;
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1136/bcr-2016-217744">doi:10.1136/bcr-2016-217744</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/27707762">pmid:27707762</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC5073686/">pmcid:PMC5073686</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/b2m4yunywnhdtce7hdzypg7mzm">fatcat:b2m4yunywnhdtce7hdzypg7mzm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180719223646/http://casereports.bmj.com/content/2016/bcr-2016-217744.full.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8d/8e/8d8e63686ecc46fe1f5f4f996581c5558c17432a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1136/bcr-2016-217744"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> bmj.org </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5073686" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

SURGICAL TREATMENT OF FRACTURES OF THE ANKYLOSED SPINE

MARTA ALEXANDRA CERQUEIRA SILVA, DANIELA VILAS BOAS ROSA LINHARES, JOÃO DUARTE MAGALHÃES COSTA E SILVA, MANUEL EDUARDO DA CRUZ RIBEIRO DA SILVA, NUNO SILVA DE MORAIS NEVES
<span title="">2020</span> <i title="FapUNIFESP (SciELO)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/534nxxvywfgjtncrlptik3r4wi" style="color: black;">Coluna/Columna</a> </i> &nbsp;
Objective We aim to identify retrospectively surgically treated patients with an ankylosed spine who sustained a vertebral fracture. Our goal is to evaluate the main outcomes and complications. Methods We selected patients through the database of surgical interventions in the setting of fractures of an ankylosed spine segment between January 1st 2008 and June 30th 2018. We collected data from digital medical records. The parameters analyzed include hospital length of stay, Intensive Care Unit
more &raquo; ... CU) admission, perioperative and postoperative complications as well as neurological evolution. Results Fractures occurred in 14 patients with ankylosing spondylitis (82%) and 3 patients with diffuse idiopathic skeletal hyperostosis (18%). All patients were male and the mean age was 69 years. Fourteen fractures occurred after minor trauma (83%), of which 11 were due to falls from standing height or lower (65%). The cervical spine represents the majority of the levels involved (65%). Seven patients were admitted to the ICU (41%) and 11 suffered neurological damage. There was improvement of neurological status in less than 50% and there were high percentages of post-operative complications. Conclusion Patients with ankylosed spine diseases are at higher risk for vertebral fracture, even after minor trauma, and these are located predominantly in the cervical spine. The surgical treatment of these conditions is effective as it allows improvement of the patient's neurological status. However, they still present higher morbidity and mortality, as well as increased post-op complications. Prevention of falls may drastically change patients' outcome, neurological function and independence in activities of daily living. Level of evidence IV; A case series therapeutic study.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1590/s1808-185120201901224168">doi:10.1590/s1808-185120201901224168</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/i3z4tpzdinbuhe4hgn6t3ekh7q">fatcat:i3z4tpzdinbuhe4hgn6t3ekh7q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200318153019/http://www.scielo.br/pdf/coluna/v19n1/2177-014X-coluna-19-01-0074.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ac/37/ac37899a25298ff0894ef5559dbddf5142238755.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1590/s1808-185120201901224168"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> scielo.br </button> </a>

Guarded Kleene Algebra with Tests: Automata Learning [article]

Stefan Zetzsche, Alexandra Silva, Matteo Sammartino
<span title="2022-04-29">2022</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Guarded Kleene Algebra with Tests (GKAT) is the fragment of Kleene Algebra with Tests (KAT) that arises by replacing the union and iteration operations of KAT with predicate-guarded variants. GKAT is more efficiently decidable than KAT and expressive enough to model simple imperative programs, making it attractive for applications to e.g. network verification. In this paper, we further explore GKAT's automata theory, and present GL*, an algorithm for learning the GKAT automaton representation
more &raquo; ... a black-box, by observing its behaviour. A complexity analysis shows that it is more efficient to learn a representation of a GKAT program with GL* than with Angluin's existing L* algorithm. We implement GL* and L* in OCaml and compare their performances on example programs.
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2204.14153v1">arXiv:2204.14153v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qsgyl4zmonh2llf22neclcypum">fatcat:qsgyl4zmonh2llf22neclcypum</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220503111045/https://arxiv.org/pdf/2204.14153v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/fb/bd/fbbd9826c6265ab270489efea0934903b60a3758.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2204.14153v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Processes Parametrised by an Algebraic Theory [article]

Todd Schmid, Wojciech Rozowski, Alexandra Silva, Jurriaan Rot
<span title="2022-02-14">2022</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
There are clear parallels between our work and the thesis of Silva [40] , in which a family of calculi is introduced that includes one-exit versions of ARB, ACF, and APA (see Examples 2.2, 3.1 and 3.2  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2202.06901v1">arXiv:2202.06901v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dckco34dffgujdxgyjmp2ky35i">fatcat:dckco34dffgujdxgyjmp2ky35i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220216201118/https://arxiv.org/pdf/2202.06901v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/15/21/152184f4f60a1e8391c6077dd5e6f579cf552f5b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2202.06901v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Niobium-Doped Hydroxyapatite Bioceramics: Synthesis, Characterization and In Vitro Cytocompatibility

Nádia Capanema, Alexandra Mansur, Sandhra Carvalho, Alexandra Silva, Virginia Ciminelli, Herman Mansur
<span title="2015-07-09">2015</span> <i title="MDPI AG"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ltuemt6stzfvldwwwy3crx2o74" style="color: black;">Materials</a> </i> &nbsp;
Alexandra A. P. Mansur and Nádia S.V. Capanema performed the synthesis, characterization, and analysis of bioceramics and drafted the manuscript. Sandhra M. Carvalho and Alexandra R. P.  ...  Silva performed and analyzed the cytotoxicity assays and drafted the manuscript. Virginia S. Ciminelli designed and performed the chemical analysis of the bioceramics.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/ma8074191">doi:10.3390/ma8074191</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/28793433">pmid:28793433</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC5455653/">pmcid:PMC5455653</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ifqvfgnunzbudoei7tmzlqakbe">fatcat:ifqvfgnunzbudoei7tmzlqakbe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190224081940/http://pdfs.semanticscholar.org/5319/89ceed24c875b0ee59b906c7ded7e103963c.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/53/19/531989ceed24c875b0ee59b906c7ded7e103963c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/ma8074191"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> mdpi.com </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5455653" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

Análise dos Principais Fluxos de Abastecimento de Biomassa Florestal em Portugal

Jorge Cunha, Alexandra Marques
<span title="">2021</span> <i title="EDP Sciences"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/lr2kplavi5fgpczeitfkbretwe" style="color: black;">Silva Lusitana</a> </i> &nbsp;
.: urzes, silvas, giestas, tojos) ou por formações arbustivas (ex.: carrascais ou medronhais espontâneos). Vegetação que cresce sob o copado do povoamento florestal.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1051/silu/20212901007">doi:10.1051/silu/20212901007</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/juyklcjxzbbjperctl3xs46cyy">fatcat:juyklcjxzbbjperctl3xs46cyy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210805012337/https://silva-lusitana.edpsciences.org/articles/silu/pdf/2021/01/silu2021291p7.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/10/bd/10bda4201b4cd9d1e88b544923a5b05c0f9dcc52.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1051/silu/20212901007"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 10,291 results