المؤلفون: Paiva Miranda De Siqueira, Jose Vitor

المساهمون: Johnstone, Peter

مصطلحات موضوعية: topos theory, tripos theory, internal set theory, hyperdoctrine, nonstandard analysis

URL الوصول: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.845633

المؤلفون: Siqueira, José

المصدر: Boletín de Matemáticas; Vol. 30 No. 2 (2023); 49-55 ; Boletín de Matemáticas; Vol. 30 Núm. 2 (2023); 49-55 ; 2357-6529 ; 0120-0380

مصطلحات موضوعية: topos theory, tripos theory, internal set theory, hyperdoctrine, nonstandard analysis, Teoría de topos, hiperdoctrina

وصف الملف: application/pdf

Relation: https://revistas.unal.edu.co/index.php/bolma/article/view/112735/90913; https://revistas.unal.edu.co/index.php/bolma/article/view/112735

الاتاحة: https://revistas.unal.edu.co/index.php/bolma/article/view/112735

المؤلفون: Stray, Christopher, author

المصدر: History of Universities: Volume XXXV / 2, 2022.

الاتاحة: https://doi.org/10.1093/oso/9780192884220.003.0005

المؤلفون: Christopher Stray

المصدر: History of Classical Scholarship, Vol 5 (2023)

مصطلحات موضوعية: Corpus Christi College, Oxford, renaissance, Thomas Cokayne, Basil Kennett, Thomas Burgess, Mathematical Tripos, History of the Greco-Roman World, DE1-100

وصف الملف: electronic resource

Relation: https://hcsjournal.org/ojs/index.php/hcs/article/view/90; https://doaj.org/toc/2632-4091

URL الوصول: https://doaj.org/article/3a7c654d56f94b53a892dc44feade4e0

المؤلفون: Otto Larink

المساهمون: Kompetenzzentrum für nicht-textuelle Materialien

مصطلحات موضوعية: Gonyaulacales, Dinophyceae, Tripos hexacanthus, Myzozoa, Ceratiaceae, Lanzarote 2022, Dinoflagellata, Dinozoa, Biology, Studienbereich Biologie, Mathematik, Naturwissenschaften

Relation: https://av.tib.eu/media/61078

الاتاحة: https://av.tib.eu/media/61078

المؤلفون: Otto Larink

المساهمون: Kompetenzzentrum für nicht-textuelle Materialien

مصطلحات موضوعية: Gonyaulacales, Tripos contortus, Dinophyceae, Myzozoa, Lanzarote 2019, Ceratiacea, Dinozoa, Biology, Studienbereich Biologie, Mathematik, Naturwissenschaften

Relation: https://av.tib.eu/media/61077

الاتاحة: https://av.tib.eu/media/61077

المؤلفون: Otto Larink

المساهمون: Kompetenzzentrum für nicht-textuelle Materialien

مصطلحات موضوعية: Gonyaulacales, Dinophyceae, Myzozoa, Ceratiaceae, Lanzarote 2022, Dinoflagellata, Tripos symmetricus, Dinozoa, Biology, Studienbereich Biologie, Mathematik, Naturwissenschaften

Relation: https://av.tib.eu/media/61079

الاتاحة: https://av.tib.eu/media/61079

المؤلفون: Blanco, Eva Pérez, Salomon, Paulo Sérgio, Carlsson, Per, Legrand, Cathérine, Granéli, Edna

المصدر: Harmful Algae. 134

مصطلحات موضوعية: Dinophysis, in situ growth rates, North Sea, parasites, photosynthesis, Tripos, Naturvetenskap, Biologi, Ekologi, Natural Sciences, Biological Sciences, Ecology

URL الوصول: https://lup.lub.lu.se/record/181c71a6-6732-4796-ace9-f8ffc610a1b8
http://dx.doi.org/10.1016/j.hal.2024.102604

المؤلفون: Huang, Xianliang, Li, Yingchao, Du, Haina, Chen, Nansheng

مصطلحات موضوعية: Tripos, Single cell analysis, Intra-genomic variations (IGVs), Molecular diversity, Metabarcoding, Environmental Sciences & Ecology, Marine & Freshwater Biology, Environmental Sciences, INTERNAL TRANSCRIBED SPACER, HARMFUL ALGAL BLOOMS, RED-TIDE, PROTIST DIVERSITY, RARE BIOSPHERE, CERATIUM FURCA, RIBOSOMAL DNA, GENUS TRIPOS, RDNA OPERON

Relation: MARINE POLLUTION BULLETIN; http://ir.qdio.ac.cn/handle/337002/186274

الاتاحة: http://ir.qdio.ac.cn/handle/337002/186274
https://doi.org/10.1016/j.marpolbul.2024.116690

المؤلفون: Miquey, Étienne

المساهمون: Gallinette : vers une nouvelle génération d'assistant à la preuve (LS2N - équipe GALLINETTE), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire des Sciences du Numérique de Nantes (LS2N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Laboratoire des Sciences du Numérique de Nantes (LS2N)

المصدر: CSL 2020 - Conference on Computer Science Logic ; https://hal.science/hal-02305560 ; CSL 2020 - Conference on Computer Science Logic, Jan 2020, Barcelone, Spain. pp.1-52, ⟨10.4230/LIPIcs.CSL.2020.30⟩

مصطلحات موضوعية: Theory of computation → Proof theory, Theory of computation → Type theory Keywords and phrases realizability, model theory, forcing, proofs-as-programs, λ-calculus, classical logic, lattices, tripos, call-by-name, duality, call-by-value, 2012 ACM Subject Classification Theory of computation → Logic, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

جغرافية الموضوع: Spain

Time: Barcelone, Spain

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1910.02732; hal-02305560; https://hal.science/hal-02305560; https://hal.science/hal-02305560v2/document; https://hal.science/hal-02305560v2/file/main.pdf; ARXIV: 1910.02732

الاتاحة: https://hal.science/hal-02305560
https://hal.science/hal-02305560v2/document
https://hal.science/hal-02305560v2/file/main.pdf
https://doi.org/10.4230/LIPIcs.CSL.2020.30

المؤلفون: Reents, Svenja, Rick, Johannes J, Claussen, Marthe, Elbrächter, Malte, Castillo-Ramírez, Alejandra, Wiltshire, Karen Helen

مصطلحات موضوعية: Acantharia indeterminata, Actinocyclus octonarius, Actinoptychus senarius, Actinoptychus splendens, Akashiwo sanguinea, Alexandrium sp., Alexandrium tamarense, Amoeba biddulphiae, Analyst, Asterionellopsis glacialis, Asteroplanus karianus, Aulacodiscus argus, Auliscus sculptus, Bacillaria paxillifera, Bacteriastrum hyalinum, Bellerochea horologicalis, Bellerochea malleus, Biddulphia alternans, Brockmanniella brockmannii, Calendar week, Cerataulina pelagica, Ceratium furca, Ceratium fusus, Ceratium horridum, Ceratium lineatum, Ceratium minutum, Ceratium tripos, Chaetoceros affinis, Chaetoceros borealis, Chaetoceros contortus

جغرافية الموضوع: MEDIAN LATITUDE: 55.022765 * MEDIAN LONGITUDE: 8.449950 * SOUTH-BOUND LATITUDE: 55.015530 * WEST-BOUND LONGITUDE: 8.439900 * NORTH-BOUND LATITUDE: 55.030000 * EAST-BOUND LONGITUDE: 8.460000 * DATE/TIME START: 2022-01-06T00:00:00 * DATE/TIME END: 2022-12-22T00:00:00 * MINIMUM DEPTH, water: 0 m * MAXIMUM DEPTH, water: 0 m

وصف الملف: text/tab-separated-values, 8399 data points

Relation: Semi-quantitative microplankton analysis (Sylt Roads Time Series) 2021-2022, original xlsx with individual cell comments (URI: https://download.pangaea.de/reference/128574/attachments/SQTS_SR_2021_2022_Stand_20_08.xlsx); https://doi.pangaea.de/10.1594/PANGAEA.972374; https://doi.org/10.1594/PANGAEA.972374

الاتاحة: https://doi.pangaea.de/10.1594/PANGAEA.972374
https://doi.org/10.1594/PANGAEA.972374

المؤلفون: Huang, Xianliang, Liu, Kuiyan, Ding, Xiangxiang, Liu, Shuya, Cui, Zhongmei, Zhao, Yongfang, Chen, Nansheng

مصطلحات موضوعية: Tripos, Harmful algal bloom, Composition, Spatiotemporal, Molecular marker, Metabarcoding, Biotechnology & Applied Microbiology, Marine & Freshwater Biology, HARMFUL ALGAL BLOOMS, RED-TIDE, GENUS CERATIUM, SAGAMI BAY, PHYTOPLANKTON, BIODIVERSITY, FURCA, DINOPHYCEAE, MIXOTROPHY, POPULATION

Relation: JOURNAL OF APPLIED PHYCOLOGY; http://ir.qdio.ac.cn/handle/337002/185530

الاتاحة: http://ir.qdio.ac.cn/handle/337002/185530
https://doi.org/10.1007/s10811-024-03239-5

المؤلفون: Trotta D.

المساهمون: Trotta, D.

مصطلحات موضوعية: Doctrine, Existential completion, Property-like monad, Tripos

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000594117700043; volume:35; firstpage:1576; lastpage:1607; numberofpages:32; journal:THEORY AND APPLICATIONS OF CATEGORIES; https://hdl.handle.net/11577/3527700

الاتاحة: https://hdl.handle.net/11577/3527700
http://www.tac.mta.ca/tac/volumes/35/43/35-43.pdf

المؤلفون: Abinash Pandit*1, S.N. Sriharsha1, N. Habeela Jainab1, Praveen P2, Sheshagiri R Dixit2

مصطلحات موضوعية: Matrix Metalloprotease, Surflex-Dock, Tripos Force, Histidine, Valine

Relation: https://zenodo.org/communities/iajpr; https://doi.org/10.5281/zenodo.4017325; https://doi.org/10.5281/zenodo.4017326; oai:zenodo.org:4017326

الاتاحة: https://doi.org/10.5281/zenodo.4017326

المؤلفون: Barrow-Green, June, author

المصدر: George Gabriel Stokes : Life, Science and Faith, 2019, ill.

الاتاحة: https://doi.org/10.1093/oso/9780198822868.003.0003

المؤلفون: Bhowal, A, Purushothaman, J, Siddique, A

المصدر: Taxonomic studies of marine dinoflagellates and distribution in the coastal waters of Kakinada, Andhra Pradesh, India, pp. 390-401 in Indian Journal of Geo Marine Sciences, 52(8), 399, (2023-08-31)

مصطلحات موضوعية: Biodiversity, Taxonomy, Chromista, Myzozoa, Dinophyceae, Gonyaulacales, Ceratiaceae, Tripos, Tripos vultur

Relation: https://doi.org/10.56042/ijms.v52i08.11023; http://zenodo.org/record/11622455; http://publication.plazi.org/id/FFBFFF840C45885EFFAC3A34FFCBFF8A; https://biodiversitypmc.sibils.org/collections/plazi/038687FC0C4C8857FF0C3BC3FD5CFBAA; https://www.gbif.org/species/234873733; https://www.checklistbank.org/dataset/299611/taxon/038687FC0C4C8857FF0C3BC3FD5CFBAA.taxon; https://doi.org/10.5281/zenodo.11622461; https://zenodo.org/communities/biosyslit; https://doi.org/10.5281/zenodo.11622491; https://doi.org/10.5281/zenodo.11622492; oai:zenodo.org:11622492; http://treatment.plazi.org/id/038687FC0C4C8857FF0C3BC3FD5CFBAA

الاتاحة: https://doi.org/10.5281/zenodo.11622492
http://treatment.plazi.org/id/038687FC0C4C8857FF0C3BC3FD5CFBAA

المؤلفون: Bhowal, A, Purushothaman, J, Siddique, A

المصدر: Taxonomic studies of marine dinoflagellates and distribution in the coastal waters of Kakinada, Andhra Pradesh, India, pp. 390-401 in Indian Journal of Geo Marine Sciences, 52(8), 398, (2023-08-31)

مصطلحات موضوعية: Biodiversity, Taxonomy, Chromista, Myzozoa, Dinophyceae, Gonyaulacales, Ceratiaceae, Tripos, Tripos inflatus

Relation: https://doi.org/10.56042/ijms.v52i08.11023; http://zenodo.org/record/11622455; http://publication.plazi.org/id/FFBFFF840C45885EFFAC3A34FFCBFF8A; https://biodiversitypmc.sibils.org/collections/plazi/038687FC0C4D8856FF0C3CD7FBDFFD3B; https://www.gbif.org/species/234873731; https://www.checklistbank.org/dataset/299611/taxon/038687FC0C4D8856FF0C3CD7FBDFFD3B.taxon; https://doi.org/10.5281/zenodo.11622461; https://zenodo.org/communities/biosyslit; https://doi.org/10.5281/zenodo.12684845; https://doi.org/10.5281/zenodo.12684846; oai:zenodo.org:12684846; http://treatment.plazi.org/id/038687FC0C4D8856FF0C3CD7FBDFFD3B

الاتاحة: https://doi.org/10.5281/zenodo.12684846
http://treatment.plazi.org/id/038687FC0C4D8856FF0C3CD7FBDFFD3B

المؤلفون: Bhowal, A, Purushothaman, J, Siddique, A

المصدر: Taxonomic studies of marine dinoflagellates and distribution in the coastal waters of Kakinada, Andhra Pradesh, India, pp. 390-401 in Indian Journal of Geo Marine Sciences, 52(8), 398, (2023-08-31)

مصطلحات موضوعية: Biodiversity, Taxonomy, Chromista, Myzozoa, Dinophyceae, Gonyaulacales, Ceratiaceae, Tripos, Tripos trichoceros

Relation: https://doi.org/10.56042/ijms.v52i08.11023; http://zenodo.org/record/11622455; http://publication.plazi.org/id/FFBFFF840C45885EFFAC3A34FFCBFF8A; https://biodiversitypmc.sibils.org/collections/plazi/038687FC0C4D8856FCFC38E1FAF3FA2D; https://www.gbif.org/species/234873732; https://www.checklistbank.org/dataset/299611/taxon/038687FC0C4D8856FCFC38E1FAF3FA2D.taxon; https://doi.org/10.5281/zenodo.11622461; https://zenodo.org/communities/biosyslit; https://doi.org/10.5281/zenodo.11622483; https://doi.org/10.5281/zenodo.11622484; oai:zenodo.org:11622484; http://treatment.plazi.org/id/038687FC0C4D8856FCFC38E1FAF3FA2D

الاتاحة: https://doi.org/10.5281/zenodo.11622484
http://treatment.plazi.org/id/038687FC0C4D8856FCFC38E1FAF3FA2D

المؤلفون: Bhowal, A, Purushothaman, J, Siddique, A

المصدر: Taxonomic studies of marine dinoflagellates and distribution in the coastal waters of Kakinada, Andhra Pradesh, India, pp. 390-401 in Indian Journal of Geo Marine Sciences, 52(8), 398-399, (2023-08-31)

مصطلحات موضوعية: Biodiversity, Taxonomy, Chromista, Myzozoa, Dinophyceae, Gonyaulacales, Ceratiaceae, Tripos, Tripos candelabrum

Relation: https://doi.org/10.56042/ijms.v52i08.11023; http://zenodo.org/record/11622455; http://publication.plazi.org/id/FFBFFF840C45885EFFAC3A34FFCBFF8A; https://biodiversitypmc.sibils.org/collections/plazi/038687FC0C4D8857FCFC3FFEFCC4FE57; https://www.gbif.org/species/234873730; https://www.checklistbank.org/dataset/299611/taxon/038687FC0C4D8857FCFC3FFEFCC4FE57.taxon; https://doi.org/10.5281/zenodo.11622461; https://zenodo.org/communities/biosyslit; https://doi.org/10.5281/zenodo.11622485; https://doi.org/10.5281/zenodo.11622486; oai:zenodo.org:11622486; http://treatment.plazi.org/id/038687FC0C4D8857FCFC3FFEFCC4FE57

الاتاحة: https://doi.org/10.5281/zenodo.11622486
http://treatment.plazi.org/id/038687FC0C4D8857FCFC3FFEFCC4FE57

المؤلفون: Lubiana, Karoline Magalhães Ferreira, Dias Júnior, Camilo

المصدر: Biota Neotropica. January 2016 16(3)

مصطلحات موضوعية: South Atlantic, Tripos, oceanic islands, phytoplankton, biodiversity

وصف الملف: text/html

URL الوصول: http://old.scielo.br/scielo.php?script=sci_arttext&pid=S1676-06032016000300206