Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 210,104,082 papers from all fields of science
Search
Sign In
Create Free Account
TRIPOS
Known as:
Cintpos
TRIPOS (TRIvial Portable Operating System) is a computer operating system. Development started in 1976 at the Computer Laboratory of Cambridge…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
17 relations
AmigaOS
AmigaOS 4
Assembly language
BCPL
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2014
Review
2014
Seasonal variability of Dinophysis spp. and Protoceratium reticulatum associated to lipophilic shellfish toxins in a strongly stratified Chilean fjord
C. Alves-de-Souza
,
D. Varela
,
+10 authors
N. Lagos
2014
Corpus ID: 46147638
Review
2011
Review
2011
Current Trends in Biotechnology and Pharmacy
A. R. Kumar
,
A. Usha
,
A. Karthik
,
M. L. Cazetta
,
R. Monti
,
Olivia Sánchez-Hernández
2011
Corpus ID: 54722713
Multianalyte immunoassay has gained increasing attention due to its high sample throughput, short assay time, low sample…
Expand
2004
2004
Large scale mining of molecular fragments with wildcards
H. Hofer
,
C. Borgelt
,
M. Berthold
Intelligent Data Analysis
2004
Corpus ID: 5100756
The main task of drug discovery is to find novel bioactive molecules, i.e., chemical compounds that, for example, protect human…
Expand
Highly Cited
2002
Highly Cited
2002
Tripos theory in retrospect
A. Pitts
Mathematical Structures in Computer Science
2002
Corpus ID: 14668756
The notion of tripos (Hyland et al. 1980; Pitts 1981) was motivated by the desire to explain in what sense Higg's description of…
Expand
2000
2000
Alan Mathison Turing
Coromoto León Hernández
,
C. León
2000
Corpus ID: 60975077
2000
2000
Understanding Dennis Robertson: The Man and His Work
G. Fletcher
2000
Corpus ID: 5714031
Part 1 Robertson the man: writing the life - received and unreceived opinions public self and private self home and Eton the land…
Expand
Highly Cited
1993
Highly Cited
1993
Fibrations, logical predicates and indeterminates
C. Hermida
CST
1993
Corpus ID: 122505884
Within the framework of categorical logic/type theory, we provide a category-theoretic account of some logical concepts, i.e…
Expand
1983
1983
Precipitate dissolution by high energy collision cascades
P. Chou
,
N. Ghoniem
1983
Corpus ID: 27873538
Highly Cited
1980
Highly Cited
1980
Tripos theory
J.
,
M.
,
+4 authors
A. Pitts
Mathematical Proceedings of the Cambridge…
1980
Corpus ID: 14923001
One of the most important constructions in topos theory ia that of the category Shv (A) of sheaves on a locale (= complete…
Expand
1979
1979
TRIPOS—a portable operating system for mini‐computers
M. Richards
,
A. Aylward
,
P. Bond
,
R. Evans
,
B. J. Knight
Software, Practice & Experience
1979
Corpus ID: 2847052
There are several successful operating systems for mini‐computers written in high level languages and the time is now ripe for…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE