Articles

UofT Libraries is getting a new library services platform in January 2021.
Learn more about the change.

Search Articles

Advanced search
Help

Catalogue

Articles

Databases

X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (857) 857
Conference Proceeding (261) 261
Book Chapter (25) 25
Book / eBook (7) 7
Dissertation (7) 7
Publication (5) 5
Magazine Article (2) 2
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
science & technology (610) 610
f-theory (552) 552
computer science (517) 517
physical sciences (510) 510
physics (495) 495
high energy physics - theory (423) 423
physics, particles & fields (409) 409
mathematics (336) 336
quantum physics (278) 278
elementary particles, quantum field theory (270) 270
classical and quantum gravitation, relativity theory (269) 269
quantum field theories, string theory (269) 269
physics - high energy physics - theory (267) 267
high energy physics (215) 215
[info.info-lo]computer science [cs]/logic in computer science [cs.lo] (200) 200
theory (195) 195
logic in computer science (179) 179
technology (147) 147
algebraic geometry (144) 144
superstring vacua (134) 134
nuclear and high energy physics (126) 126
symplectic geometry (121) 121
nuclear and particle physics. atomic energy. radioactivity (102) 102
computer science, theory & methods (98) 98
d-branes (94) 94
[info.info-ds]computer science [cs]/data structures and algorithms [cs.ds] (91) 91
phenomenology (87) 87
string duality (87) 87
differential and algebraic geometry (84) 84
m-theory (83) 83
analysis (81) 81
algorithms (72) 72
computer science - logic in computer science (72) 72
high energy physics - phenomenology (71) 71
data structures and algorithms (67) 67
formal languages and automata theory (67) 67
string theory (63) 63
[info.info-cc]computer science [cs]/computational complexity [cs.cc] (61) 61
branes (59) 59
acm: f.: theory of computation/f.2: analysis of algorithms and problem complexity (58) 58
logic (58) 58
acm: f.: theory of computation (56) 56
programming languages (56) 56
acm: f.: theory of computation/f.2: analysis of algorithms and problem complexity/f.2.2: nonnumerical algorithms and problems (55) 55
mathematics - algebraic geometry (55) 55
[info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] (53) 53
mathematical analysis (53) 53
[ info.info-lo ] computer science [cs]/logic in computer science [cs.lo] (52) 52
[info.info-dm]computer science [cs]/discrete mathematics [cs.dm] (50) 50
flux compactifications (50) 50
mathematical models (50) 50
[info.info-dc]computer science [cs]/distributed, parallel, and cluster computing [cs.dc] (47) 47
m theory (47) 47
supersymmetry (47) 47
acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic (46) 46
mathematics, applied (46) 46
acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.1: specifying and verifying and reasoning about programs (44) 44
computational complexity (44) 44
particle physics (44) 44
singularities (44) 44
[info.info-pl]computer science [cs]/programming languages [cs.pl] (43) 43
[info]computer science [cs] (43) 43
strings (42) 42
symmetry (42) 42
[info.info-cg]computer science [cs]/computational geometry [cs.cg] (41) 41
acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic/f.4.1.7: proof theory (41) 41
supergravity (41) 41
distributed, parallel, and cluster computing (39) 39
superstrings and heterotic strings (38) 38
gages (37) 37
theoretical computer science (37) 37
acm: f.: theory of computation/f.4: mathematical logic and formal languages (36) 36
computational geometry (36) 36
acm: f.: theory of computation/f.3: logics and meanings of programs (35) 35
gut (35) 35
couplings (33) 33
discrete mathematics (33) 33
gauges (33) 33
instantons (33) 33
particle physics - theory (33) 33
fluxes (32) 32
exact sciences and technology (31) 31
algebra (30) 30
physics of elementary particles and fields (30) 30
[info.info-oh]computer science [cs]/other [cs.oh] (29) 29
manifolds (29) 29
acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic/f.4.1.2: lambda calculus and related systems (28) 28
acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.3: formal languages (28) 28
computer science - computational complexity (28) 28
differential geometry (27) 27
field theories in higher dimensions (27) 27
intersecting branes models (27) 27
lattice (27) 27
[math.math-lo]mathematics [math]/logic [math.lo] (26) 26
brane dynamics in gauge theories (26) 26
complexity (26) 26
science & technology - other topics (26) 26
supergravity models (26) 26
acm: f.: theory of computation/f.1: computation by abstract devices/f.1.1: models of computation (25) 25
applied sciences (25) 25
more...
Language Language
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


1. Full Text The IO and OI hierarchies revisited
by Kobele, Gregory M and Salvati, Sylvain
Information and computation, ISSN 0890-5401, 08/2015, Volume 243, pp. 205 - 221
Simply typed lambda-calculus | Montague semantics | Higher-order grammars | Formal language theory | Membership problem | Logic in Computer Science | Formal Languages and Automata Theory | Computation and Language | Computer Science
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
2. Full Text Backward under-approximations in numeric abstract domains to automatically infer sufficient program conditions
by Miné, A
Science of computer programming, ISSN 0167-6423, 11/2014, Volume 93, pp. 154 - 182
Numeric abstract domains | Abstract interpretation | Backward analysis | Under-approximation | Static analysis | Computer Science, Software Engineering | Technology | Computer Science | Science & Technology | Performance | Formal Languages and Automata Theory
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
3. Full Text An open logical framework
by Honsell, Furio and Lenisa, Marina and Scagnetto, Ivan and Liquori, Luigi and Maksimovic, Petar
Journal of logic and computation, ISSN 0955-792X, 10/2012, Volume 26, Issue 1, pp. 293 - 335
logical frameworks | typed lambda calculus | type theory | Computer aided formal verification | Computer Science, Theory & Methods | Science & Technology - Other Topics | Logic | Technology | Computer Science | Science & Technology | Logic in Computer Science | Computation and Language
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
4. Full Text Proving weak properties of rewriting
by Gnaedig, Isabelle and Kirchner, Hélène
Theoretical computer science, ISSN 0304-3975, 2011, Volume 412, Issue 34, pp. 4405 - 4438
Narrowing | Abstraction | Induction | Weak termination | Completeness | Rewriting | Computer Science, Theory & Methods | Technology | Computer Science | Science & Technology | Miscellaneous | Combinatorics. Ordered structures | Theoretical computing | Exact sciences and technology | Applied sciences | Algorithmics. Computability. Computer arithmetics | Mathematics | Graph theory | Combinatorics | Sciences and techniques of general use | Computer science; control theory; systems | Trees | Acceptance | Computer simulation | Computation | Proving | Programming | Strategy | Construction costs | Logic in Computer Science
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
5. Full Text The Tapenade automatic differentiation tool
: Principles, model, and specification
by Hascoet, Laurent and Pascual, Valérie
ACM transactions on mathematical software, ISSN 0098-3500, 04/2013, Volume 39, Issue 3, pp. 1 - 43
adjoint compiler | Source transformation | Adjoint compiler | Physical Sciences | Technology | Computer Science | Mathematics | Computer Science, Software Engineering | Mathematics, Applied | Science & Technology | Theoretical computing | Exact sciences and technology | Applied sciences | Algorithmics. Computability. Computer arithmetics | Software | Computer systems and distributed systems. User interface | Programming languages | Computer science; control theory; systems | Tangents (Geometry) | Algorithms | Research | Numerical differentiation | Methods | Adjoints | Modeling and Simulation | Software Engineering | Data Structures and Algorithms
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
6. Full Text An introduction to differential linear logic: proof-nets, models and antiderivatives
by EHRHARD, THOMAS
Mathematical structures in computer science, ISSN 0960-1295, 08/2018, Volume 28, Issue 7, pp. 995 - 1060
Paper | Computer Science, Theory & Methods | Technology | Computer Science | Science & Technology | Logic | Continuity (mathematics) | Logic in Computer Science
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
7. Full Text Krivine machines and higher-order schemes
by Salvati, Sylvain and Walukiewicz, Igor
Information and computation, ISSN 0890-5401, 12/2014, Volume 239, pp. 340 - 355
Parity games | Simply typed lambda-calculus | Higher-order model checking | Krivine machine | Monadic second order logic | Physical Sciences | Technology | Computer Science | Computer Science, Theory & Methods | Mathematics | Mathematics, Applied | Science & Technology | Analysis | Robots | Logic in Computer Science
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
8. Full Text Termination of rewriting under strategies
by Gnaedig, Isabelle and Kirchner, Hélène
ACM transactions on computational logic, ISSN 1529-3785, 02/2009, Volume 10, Issue 2, pp. 1 - 52
termination | induction | outermost | ordering constraint | innermost | narrowing | Abstraction | local strategy | Local strategy | Outermost | Induction | Narrowing | Termination | Ordering constraint | Innermost | Computer Science, Theory & Methods | Science & Technology - Other Topics | Logic | Technology | Computer Science | Science & Technology | Logic in Computer Science
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
9. Full Text On the elliptic Calabi-Yau fourfold with maximal h 1,1
by Yi-Nan Wang
The journal of high energy physics, 05/2020, Volume 2020, Issue 5, pp. 1 - 32
Superstring Vacua | F-Theory | Differential and Algebraic Geometry
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
10. Full Text De Sitter from T-branes
by Cicoli, Michele and Quevedo, Fernando and Valandro, Roberto
The journal of high energy physics, ISSN 1126-6708, 3/2016, Volume 2016, Issue 3, pp. 1 - 24
Superstring Vacua | D-branes | F-Theory | Flux compactifications | Quantum Physics | Quantum Field Theories, String Theory | Classical and Quantum Gravitation, Relativity Theory | Physics | Elementary Particles, Quantum Field Theory | Physical Sciences | Physics, Particles & Fields | Science & Technology | Resveratrol | Supersymmetry | Breaking | Flux | Scalars | Fluxes | Gages | Gauges | Physics - High Energy Physics - Theory | Superstring Vacua; D-branes; F-Theory; Flux compactifications | Phenomenology | High Energy Physics | Nuclear and High Energy Physics | Theory | High Energy Physics - Theory
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
11. Full Text F-theory and AdS3/CFT2 (2, 0)
by Couzens, Christopher and Martelli, Dario and Schäfer-Nameki, Sakura
The journal of high energy physics, ISSN 1126-6708, 6/2018, Volume 2018, Issue 6, pp. 1 - 98
F-Theory | AdS-CFT Correspondence | Quantum Physics | Quantum Field Theories, String Theory | Classical and Quantum Gravitation, Relativity Theory | Physics | Elementary Particles, Quantum Field Theory | Dilatons | Supersymmetry | Coupling | Nuclear and particle physics. Atomic energy. Radioactivity | High Energy Physics - Theory | AdS-CFT Correspondence; F-Theory; High Energy Physics - Theory; High Energy Physics - Theory
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
12. Full Text Nondeterministic Phase Semantics and the Undecidability of Boolean BI
by Larchey-Wendling, Dominique and Galmiche, Didier
ACM transactions on computational logic, ISSN 1529-3785, 02/2013, Volume 14, Issue 1, pp. 1 - 41
Linear logic | decidability | Minsky machines encoding | Boolean BI | Decidability | Computer Science, Theory & Methods | Science & Technology - Other Topics | Logic | Technology | Computer Science | Science & Technology | Boolean algebra | Logic in Computer Science
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
13. Full Text On the decidability of the existence of polyhedral invariants in transition systems
by Monniaux, David and Monniaux, David
Acta informatica, ISSN 0001-5903, 6/2019, Volume 56, Issue 4, pp. 385 - 389
03D80 | 68Q17 | Software Engineering/Programming and Operating Systems | Theory of Computation | Information Systems and Communication Service | Data Structures and Information Theory | Computer Systems Organization and Communication Networks | Computer Science | 03D25 | 68Q60 | 03B35 | Logics and Meanings of Programs | 03D35 | Computer Science, Information Systems | Technology | Science & Technology | Studies | Computer programming | Automation | Polyhedra | Program verification (computers) | Invariants | Programming Languages | Logic in Computer Science
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
14. Full Text Four-dimensional black hole entropy from F-theory
by Grimm, Thomas W and Lam, Huibert het and Mayer, Kilian and Vandoren, Stefan
The journal of high energy physics, ISSN 1029-8479, 01/2019, Volume 37
Black Holes in String Theory | conformal field theory | F-theory
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
15. Full Text Counting associatives in compact G 2 orbifolds
by Acharya, Bobby Samir and Braun, Andreas P and Svanes, Eirik Eik and Valandro, Roberto
The journal of high energy physics, ISSN 1126-6708, 03/2019, Volume 2019, Issue 3, pp. 1 - 25
D-branes | F-Theory | M-Theory | String Duality | M theory | Manifolds (mathematics)
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
16. Full Text Delaunay stability via perturbations
by Boissonnat, Jean-Daniel and Dyer, Ramsay and Ghosh, Arijit
International journal of computational geometry & applications, ISSN 0218-1959, 06/2014, Volume 24, Issue 2, pp. 125 - 152
Delaunay triangulation | perturbation | stability | Computational geometry | Algorithms | Stability | Mathematical analysis | Flats | Tools | Perturbation | Dimensional stability | Computer Science - Computational Geometry
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
17. Full Text Topological invariants and fibration structure of complete intersection Calabi-Yau four-folds
by Gray, James and Haupt, Alexander S and Lukas, Andre
The journal of high energy physics, ISSN 1126-6708, 9/2014, Volume 2014, Issue 9, pp. 1 - 25
Superstring Vacua | F-Theory | Quantum Physics | Differential and Algebraic Geometry | Quantum Field Theories, String Theory | Classical and Quantum Gravitation, Relativity Theory | Physics | Elementary Particles, Quantum Field Theory | Keywords: F-Theory | Physical Sciences | Physics, Particles & Fields | Science & Technology
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights