東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

The Algebra and Machine Representati...

Patterson, Evan.

FindBook

Google Book

Amazon

博客來

The Algebra and Machine Representation of Statistical Models.

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	The Algebra and Machine Representation of Statistical Models./
作者:	Patterson, Evan.
出版者:	Ann Arbor : ProQuest Dissertations & Theses, : 2020,
面頁冊數:	222 p.
附註:	Source: Dissertations Abstracts International, Volume: 82-02, Section: B.
Contained By:	Dissertations Abstracts International82-02B.
標題:	Algebra. -
電子資源:	https://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=28103877
ISBN:	9798662510357

The Algebra and Machine Representation of Statistical Models.
Patterson, Evan.

The Algebra and Machine Representation of Statistical Models. - Ann Arbor : ProQuest Dissertations & Theses, 2020 - 222 p.

Source: Dissertations Abstracts International, Volume: 82-02, Section: B.

Thesis (Ph.D.)--Stanford University, 2020.

This item must not be sold to any third party vendors.

As the twin movements of open science and open source bring an ever greater share of the scientific process into the digital realm, new opportunities arise for the meta-scientific study of science itself, including of data science and statistics. Future science will likely see machines play an active role in processing, organizing, and perhaps even creating scientific knowledge. To make this possible, large engineering efforts must be undertaken to transform scientific artifacts into useful computational resources, and conceptual advances must be made in the organization of scientific theories, models, experiments, and data. This dissertation takes steps toward digitizing and systematizing two major artifacts of data science, statistical models and data analyses. Using tools from algebra, particularly categorical logic, a precise analogy is drawn between models in statistics and logic, enabling statistical models to be seen as models of theories, in the logical sense. Statistical theories, being algebraic structures, are amenable to machine representation and are equipped with morphisms that formalize the relations between different statistical methods. Turning from mathematics to engineering, a software system for creating machine representations of data analyses, in the form of Python or R programs, is designed and implemented. The representations aim to capture the semantics of data analyses, independent of the programming language and libraries in which they are implemented.

ISBN: 9798662510357Subjects--Topical Terms:

516203
Algebra.
Subjects--Index Terms:

Categorical logic

The Algebra and Machine Representation of Statistical Models.
LDR:02663nmm a2200361 4500 001 2284265
005 20211115072420.5
008 220723s2020 ||||||||||||||||| ||eng d
020 $a 9798662510357
035 $a (MiAaPQ)AAI28103877
035 $a (MiAaPQ)STANFORDjv302qc7985
035 $a AAI28103877
040 $a MiAaPQ $c MiAaPQ
100 1 $a Patterson, Evan. $3 3563422
245 1 4 $a The Algebra and Machine Representation of Statistical Models.
260 1 $a Ann Arbor : $b ProQuest Dissertations & Theses, $c 2020
300 $a 222 p.
500 $a Source: Dissertations Abstracts International, Volume: 82-02, Section: B.
500 $a Advisor: Candes, Emmanuel;Chambers, John;Hastie, Trevor;Musen, Mark.
502 $a Thesis (Ph.D.)--Stanford University, 2020.
506 $a This item must not be sold to any third party vendors.
520 $a As the twin movements of open science and open source bring an ever greater share of the scientific process into the digital realm, new opportunities arise for the meta-scientific study of science itself, including of data science and statistics. Future science will likely see machines play an active role in processing, organizing, and perhaps even creating scientific knowledge. To make this possible, large engineering efforts must be undertaken to transform scientific artifacts into useful computational resources, and conceptual advances must be made in the organization of scientific theories, models, experiments, and data. This dissertation takes steps toward digitizing and systematizing two major artifacts of data science, statistical models and data analyses. Using tools from algebra, particularly categorical logic, a precise analogy is drawn between models in statistics and logic, enabling statistical models to be seen as models of theories, in the logical sense. Statistical theories, being algebraic structures, are amenable to machine representation and are equipped with morphisms that formalize the relations between different statistical methods. Turning from mathematics to engineering, a software system for creating machine representations of data analyses, in the form of Python or R programs, is designed and implemented. The representations aim to capture the semantics of data analyses, independent of the programming language and libraries in which they are implemented.
590 $a School code: 0212.
650 4 $a Algebra. $3 516203
650 4 $a Computer science. $3 523869
650 4 $a Random variables. $3 646291
650 4 $a Open source software. $3 581998
650 4 $a Artificial intelligence. $3 516317
650 4 $a Logic. $3 529544
650 4 $a Statistics. $3 517247
653 $a Categorical logic
653 $a Scientific artifacts
690 $a 0463
690 $a 0984
690 $a 0800
690 $a 0395
710 2 $a Stanford University. $3 754827
773 0 $t Dissertations Abstracts International $g 82-02B.
790 $a 0212
791 $a Ph.D.
792 $a 2020
793 $a English
856 4 0 $u https://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=28103877