東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Practical Systems for Formalizing Sc...

Gillespie, Charles Thomas Henley.

Linked to FindBook

Google Book

Amazon

博客來

Practical Systems for Formalizing Scientific Terminology and Protocols.

Record Type:	Electronic resources : Monograph/item
Title/Author:	Practical Systems for Formalizing Scientific Terminology and Protocols./
Author:	Gillespie, Charles Thomas Henley.
Published:	Ann Arbor : ProQuest Dissertations & Theses, : 2023,
Description:	125 p.
Notes:	Source: Dissertations Abstracts International, Volume: 85-07, Section: A.
Contained By:	Dissertations Abstracts International85-07A.
Subject:	Neurosciences. -
Online resource:	https://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=30687155
ISBN:	9798381376708

Practical Systems for Formalizing Scientific Terminology and Protocols.
Gillespie, Charles Thomas Henley.

Practical Systems for Formalizing Scientific Terminology and Protocols. - Ann Arbor : ProQuest Dissertations & Theses, 2023 - 125 p.

Source: Dissertations Abstracts International, Volume: 85-07, Section: A.

Thesis (Ph.D.)--University of California, San Diego, 2023.

This dissertation presents the results of three efforts to build practical systems for formalizing concepts in science: neuron types, brain regions, and experimental protocols. Neuron types and brain regions are foundational concepts in neuroscience, and protocols are foundational for all scientific results and the concepts we build from them.Chapter One presents the Neuron Phenotype Ontology and supporting tools and their application to model common types generally known in the field and to experimental types defined by the exact techniques employed in a single lab. The goal: to provide a common method to name and communicate about neuron types by composing types as collections of phenotypes with each phenotype being a pair of a term for the value of the phenotype drawn from existing shared terminology and a relationship that captures the data modality of and methodology used to determine that value.Chapter Two presents the AtOM ontology model for anatomical atlases and the results of applying it to model a wide range of extant atlases. The goal: to establish standard ways of identifying atlases and their versions and enabling their use in digital infrastructure to facilitate a wide variety of use cases. Examples include clear communication about the exact spatial and semantic brain regions from which experimental data are collected and linking those regions to the methodologically defined criteria used to delineate their boundaries. Chapter Three presents protc/ur, a domain specific language for specifying protocols, and presents the results of applying it to extract structured data from experimental protocols. The goals: to validate the protc/ur domain model and curation workflows, show that protc/ur enables queries over complex relationships to find quantitative data extracted from natural language, and, ultimately, demonstrate that protc/ur and the system as a whole are an effective way to formalize protocols and make the details of methodology visible in information systems.Taken together these chapters show the effectiveness of using experimental methodology as an organizing principle in scientific information systems and the potential that it has as a guiding principle for building practical tools for working scientists.

ISBN: 9798381376708Subjects--Topical Terms:

588700
Neurosciences.
Subjects--Index Terms:

Brain regions

Practical Systems for Formalizing Scientific Terminology and Protocols.
LDR:03461nmm a2200409 4500 001 2402923
005 20241104055819.5
006 m o d
007 cr#unu||||||||
008 251215s2023 ||||||||||||||||| ||eng d
020 $a 9798381376708
035 $a (MiAaPQ)AAI30687155
035 $a AAI30687155
035 $a 2402923
040 $a MiAaPQ $c MiAaPQ
100 1 $a Gillespie, Charles Thomas Henley. $3 3773184
245 1 0 $a Practical Systems for Formalizing Scientific Terminology and Protocols.
260 1 $a Ann Arbor : $b ProQuest Dissertations & Theses, $c 2023
300 $a 125 p.
500 $a Source: Dissertations Abstracts International, Volume: 85-07, Section: A.
500 $a Advisor: Martone, Maryann.
502 $a Thesis (Ph.D.)--University of California, San Diego, 2023.
520 $a This dissertation presents the results of three efforts to build practical systems for formalizing concepts in science: neuron types, brain regions, and experimental protocols. Neuron types and brain regions are foundational concepts in neuroscience, and protocols are foundational for all scientific results and the concepts we build from them.Chapter One presents the Neuron Phenotype Ontology and supporting tools and their application to model common types generally known in the field and to experimental types defined by the exact techniques employed in a single lab. The goal: to provide a common method to name and communicate about neuron types by composing types as collections of phenotypes with each phenotype being a pair of a term for the value of the phenotype drawn from existing shared terminology and a relationship that captures the data modality of and methodology used to determine that value.Chapter Two presents the AtOM ontology model for anatomical atlases and the results of applying it to model a wide range of extant atlases. The goal: to establish standard ways of identifying atlases and their versions and enabling their use in digital infrastructure to facilitate a wide variety of use cases. Examples include clear communication about the exact spatial and semantic brain regions from which experimental data are collected and linking those regions to the methodologically defined criteria used to delineate their boundaries. Chapter Three presents protc/ur, a domain specific language for specifying protocols, and presents the results of applying it to extract structured data from experimental protocols. The goals: to validate the protc/ur domain model and curation workflows, show that protc/ur enables queries over complex relationships to find quantitative data extracted from natural language, and, ultimately, demonstrate that protc/ur and the system as a whole are an effective way to formalize protocols and make the details of methodology visible in information systems.Taken together these chapters show the effectiveness of using experimental methodology as an organizing principle in scientific information systems and the potential that it has as a guiding principle for building practical tools for working scientists.
590 $a School code: 0033.
650 4 $a Neurosciences. $3 588700
650 4 $a Language. $3 643551
650 4 $a Communication. $3 524709
650 4 $a Metaphysics. $3 517082
653 $a Brain regions
653 $a Cell types
653 $a Neuroinformatics
653 $a Ontology
653 $a Scientific protocols
690 $a 0317
690 $a 0679
690 $a 0459
690 $a 0396
710 2 $a University of California, San Diego. $b Neurosciences. $3 1924216
773 0 $t Dissertations Abstracts International $g 85-07A.
790 $a 0033
791 $a Ph.D.
792 $a 2023
793 $a English
856 4 0 $u https://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=30687155