Articles

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 (1436) 1436
Publication (939) 939
Conference Proceeding (238) 238
Paper (86) 86
Book Chapter (35) 35
Dissertation (11) 11
Book / eBook (7) 7
Magazine Article (2) 2
Data Set (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
f-theory (1069) 1069
physics, particles & fields (807) 807
high energy physics - theory (723) 723
physics - high energy physics - theory (511) 511
mathematics (467) 467
computer science (454) 454
high energy physics (454) 454
theory (441) 441
physics (370) 370
quantum physics (321) 321
compactifications (316) 316
classical and quantum gravitation, relativity theory (314) 314
elementary particles, quantum field theory (309) 309
quantum field theories, string theory (307) 307
symplectic geometry (252) 252
algebraic geometry (228) 228
superstring vacua (207) 207
string theory (205) 205
d-branes (190) 190
duality (180) 180
logic in computer science (167) 167
[ info.info-lo ] computer science [cs]/logic in computer science [cs.lo] (162) 162
calabi-yau threefolds (159) 159
phenomenology (158) 158
branes (143) 143
string duality (135) 135
nuclear and high energy physics (134) 134
singularities (125) 125
m-theory (124) 124
high energy physics - phenomenology (119) 119
computer science, theory & methods (113) 113
differential and algebraic geometry (109) 109
strings (109) 109
supergravity (109) 109
vacua (105) 105
physics, multidisciplinary (103) 103
dimensions (101) 101
analysis (100) 100
supersymmetry (100) 100
nuclear and particle physics. atomic energy. radioactivity (99) 99
manifolds (96) 96
symmetry (96) 96
physics, nuclear (95) 95
particle physics (91) 91
instantons (89) 89
[info.info-lo]computer science [cs]/logic in computer science [cs.lo] (86) 86
orientifolds (85) 85
astronomy & astrophysics (83) 83
mathematics - algebraic geometry (78) 78
algorithms (76) 76
flux compactifications (70) 70
superstrings and heterotic strings (70) 70
mirror symmetry (69) 69
[ info.info-ds ] computer science [cs]/data structures and algorithms [cs.ds] (67) 67
mathematics, applied (65) 65
computer science - logic in computer science (64) 64
geometry (64) 64
couplings (60) 60
data structures and algorithms (60) 60
logic (60) 60
differential geometry (59) 59
physics, mathematical (57) 57
dynamics (56) 56
formal languages and automata theory (54) 54
k-theory and homology (53) 53
mathematical analysis (52) 52
mathematical models (52) 52
lattice (50) 50
programming languages (50) 50
acm : f.: theory of computation/f.2: analysis of algorithms and problem complexity (49) 49
general relativity and quantum cosmology (49) 49
m theory (48) 48
supergravity models (46) 46
6 dimensions (45) 45
field-theories (44) 44
acm : f.: theory of computation (43) 43
brane dynamics in gauge theories (43) 43
field theories in higher dimensions (43) 43
flux (43) 43
gages (43) 43
acm : f.: theory of computation/f.2: analysis of algorithms and problem complexity/f.2.2: nonnumerical algorithms and problems (42) 42
gauge-theories (42) 42
superpotentials (42) 42
supersymmetric gauge theory (42) 42
supersymmetry breaking (42) 42
[ info.info-pl ] computer science [cs]/programming languages [cs.pl] (40) 40
construction (40) 40
gut (40) 40
models (40) 40
[ info.info-fl ] computer science [cs]/formal languages and automata theory [cs.fl] (39) 39
acm : f.: theory of computation/f.3: logics and meanings of programs/f.3.1: specifying and verifying and reasoning about programs (39) 39
anomalies in field and string theories (39) 39
complexity (39) 39
distributed, parallel, and cluster computing (39) 39
green-schwarz mechanism (39) 39
superstrings (39) 39
topological strings (39) 39
[ info.info-cc ] computer science [cs]/computational complexity [cs.cc] (38) 38
[ info.info-dm ] computer science [cs]/discrete mathematics [cs.dm] (38) 38
algebra (38) 38
more...
Language Language
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


1. Full Text Signature-Free Asynchronous Binary Byzantine Consensus with t < n/3, O(n2) Messages, and O(1) Expected Time
by Mostéfaoui, Achour and Moumen, Hamouma and Raynal, Michel
Journal of the ACM (JACM), ISSN 0004-5411, 09/2015, Volume 62, Issue 4, pp. 1 - 21
This article is on broadcast and agreement in asynchronous message-passing systems made up of n processes, and where up to t processes may have a Byzantine... 
common coin | consensus | distributed algorithm | broadcast abstraction | Asynchronous message-passing system | Byzantine process | simplicity | randomized algorithm | optimal resilience | signature-free algorithm | Broadcast abstraction | Common coin | Distributed algorithm | Optimal resilience | Randomized algorithm | Signature-free algorithm | Simplicity | Consensus | COMPUTER SCIENCE, HARDWARE & ARCHITECTURE | PROTOCOLS | Theory | COMPUTER SCIENCE, INFORMATION SYSTEMS | AGREEMENT | COMPUTER SCIENCE, SOFTWARE ENGINEERING | Algorithms | COMPUTER SCIENCE, THEORY & METHODS | Reliability | DISTRIBUTED SYSTEMS | Broadcasting | Constants | Messages | Coins | Optimization | Distributed, Parallel, and Cluster Computing | Computer Science | Information Retrieval
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
2. Full Text Termination of rewrite relations on λ-terms based on Girard's notion of reducibility
by Blanqui, Frédéric
Theoretical Computer Science, ISSN 0304-3975, 01/2016, Volume 611, Issue 50-86, pp. 50 - 86
In this paper, we show how to extend the notion of reducibility introduced by Girard for proving the termination of β-reduction in the polymorphic λ-calculus,... 
Types | Rewriting modulo | Patterns à la Miller | Girard's reducibility | Rewriting | Termination | λ-calculus | Matching modulo βη | Logic in Computer Science | Mathematics | Logic | Computer Science
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
3. 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
We study languages of λ-terms generated by IO and OI unsafe grammars. These languages can be used to model meaning representations in the formal semantics of... 
Simply typed lambda-calculus | Montague semantics | Higher-order grammars | Formal language theory | Membership problem | MATHEMATICS, APPLIED | TREES | COMPLETENESS | COMPUTER SCIENCE, THEORY & METHODS | 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
4. Full Text POLISHNESS OF SOME TOPOLOGIES RELATED TO WORD OR TREE AUTOMATA
by Carton, O and Finkel, O and Lecomte, D
LOGICAL METHODS IN COMPUTER SCIENCE, ISSN 1860-5974, 2019, Volume 15, Issue 2
We prove that the Buchi topology and the automatic topology are Polish. We also show that this cannot be fully extended to the case of the space of infinite... 
regular omega-language | Buchi tree automaton | Buchi automaton | automatic topology | logic in computer science | LOGIC | infinite words | Cantor space | WADGE DEGREES | space of infinite labelled binary trees | Polish topology | finer topologies | COMPUTER SCIENCE, THEORY & METHODS | Buchi topology | Muller tree automaton | OMEGA-LANGUAGES | Automata and formal languages | Logic in Computer Science | Mathematics | Logic | Computer Science
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
5. 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
In rule-based programming, properties of programs, such as termination, are in general considered in their strong acceptance, i.e., on every computation... 
Narrowing | Abstraction | Induction | Weak termination | Completeness | Rewriting | PROOFS | SUFFICIENT-COMPLETENESS | COMPUTER SCIENCE, THEORY & METHODS | TERMINATION | Trees | Acceptance | Computer simulation | Computation | Proving | Programming | Strategy | Construction costs | Logic in Computer Science | Computer Science
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
6. Full Text Accurate self-correction of errors in long reads using de Bruijn graphs
by Salmela, Leena and Walve, Riku and Rivals, Eric and Ukkonen, Esko and Sahinalp, Cenk
Bioinformatics, ISSN 1367-4803, 2017, Volume 33, Issue 6, pp. 799 - 806
Motivation: New long read sequencing technologies, like PacBio SMRT and Oxford NanoPore, can produce sequencing reads up to 50 000 bp long but with an error... 
MOLECULE SEQUENCING READS | ALIGNMENT | GENOMES | BIOTECHNOLOGY & APPLIED MICROBIOLOGY | BIOCHEMICAL RESEARCH METHODS | MATHEMATICAL & COMPUTATIONAL BIOLOGY | Algorithms | Escherichia coli - genetics | Saccharomyces cerevisiae - genetics | Software | Genome | High-Throughput Nucleotide Sequencing - methods | Sequence Analysis, DNA - methods | Bioinformatics | Computer Science | Recomb-Seq | Recomb-Cbb 2016
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
7. Full Text F-theory GUT vacua on compact Calabi-Yau fourfolds thomas
by Grimm, W and Krause, Sven and Weigand, Timo
Journal of High Energy Physics, ISSN 1126-6708, 2010, Volume 2010, Issue 7
F-theory | Intersecting branes models
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
8. Full Text An action for F-theory: (SL)(2) R exceptional field theory
by Berman, David S and Blair, Chris D.A and Malek, Emanuel and Rudolph, Felix J
Classical and Quantum Gravity, ISSN 0264-9381, 09/2016, Volume 33, Issue 19
F-theory | double field theory | M-theory
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
9. Full Text FeatherTrait
: A modest extension of Featherweight Java
by Liquori, Luigi and Spiwack, Arnaud
ACM Transactions on Programming Languages and Systems (TOPLAS), ISSN 0164-0925, 03/2008, Volume 30, Issue 2, pp. 1 - 32
In the context of statically typed, class-based languages , we investigate classes that can be extended with trait composition. A trait is a collection of... 
Java | inheritance | language design | language semantics | Language semantics | Language design | Inheritance | COMPUTER SCIENCE, SOFTWARE ENGINEERING | languages | CALCULUS | design | MIXIN MODULES | TRAITS | theory | Programming Languages | Logic in Computer Science | Computation and Language | Computer Science
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
10. Full Text Abella: A system for reasoning about relational specifications
by Baelde, David and Gacek, Andrew and Nadathur, Gopalan and Wang, Yuting and Chaudhuri, Kaustuv and Miller, Dale and Tiu, Alwen
Journal of Formalized Reasoning, ISSN 1972-5787, 2015, Volume 7, Issue 2, pp. 1 - 89
The Abella interactive theorem prover is based on an intuitionistic logic that allows for inductive and co-inductive reasoning over relations. Abella supports... 
Syntax | Logic | Theorem proving | Reasoning | Number theory | Programming languages | Logic in Computer Science | Computer Science
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
11. Full Text Analysis of Schemas with Access Restrictions
by Benedikt, Michael and Bourhis, Pierre and Ley, Clemens
ACM Transactions on Database Systems (TODS), ISSN 0362-5915, 03/2015, Volume 40, Issue 1, pp. 1 - 46
We study verification of systems whose transitions consist of accesses to a Web-based data source . An access is a lookup on a relation within a relational... 
Access methods | optimization | Hidden Web | Hidden weba | Optimization | COMPUTER SCIENCE, SOFTWARE ENGINEERING | QUERIES | Theory | COMPUTER SCIENCE, INFORMATION SYSTEMS | Verification | Languages | RELATIONAL TRANSDUCERS | Mathematical logic | Usage | Symbolic and mathematical logic | Query processing | Programming languages | Methods | Databases | Equivalence | Specifications | Accessibility | Constrictions | Mathematical models | Temporal logic | Computer Science
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
12. Full Text T-branes and geometry
by Anderson, Lara B and Heckman, Jonathan J and Katz, Sheldon
Journal of High Energy Physics, ISSN 1126-6708, 5/2014, Volume 2014, Issue 5, pp. 1 - 69
T-branes are a non-abelian generalization of intersecting branes in which the matrix of normal deformations is nilpotent along some subspace. In this paper we... 
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 | THEORY DUALITY | BUNDLES | SINGULARITIES | ALGEBRAIC MANIFOLDS | CALABI-YAU THREEFOLDS | F-THEORY GUTS | MODELS | INTEGRABLE SYSTEMS | COMPACTIFICATIONS | SURFACE | PHYSICS, PARTICLES & FIELDS | Tracking | M theory | Smoothing | Flux | Joining | Strings | Jacobians | Constraining | Physics - High Energy Physics - Theory
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
13. Full Text On F-theory E6 GUTs
by Chen, Ching-Ming and Chung, Yu-Chieh
Journal of High Energy Physics, ISSN 1126-6708, 2011, Volume 2011, Issue 3
Superstring vacua | F-theory
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
14. Full Text Yukawa hierarchies in global F-theory models
by Cvetič, Mirjam and Lin, Ling and Liu, Muyang and Zhang, Hao Y and Zoccarato, Gianluca
Journal of High Energy Physics, ISSN 1029-8479, 01/2020, Volume 2020, Issue 1, pp. 1 - 27
We argue that global F-theory compactifications to four dimensions gener- ally exhibit higher rank Yukawa matrices from multiple geometric contributions known... 
Couplings | Hierarchies | Mathematical analysis | Instantons | Supersymmetric Effective Theories | F-Theory
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
15. Full Text Evaluation and Optimization of the Robustness of DAG Schedules in Heterogeneous Environments
by Canon, L.-C and Jeannot, E
IEEE Transactions on Parallel and Distributed Systems, ISSN 1045-9219, 04/2010, Volume 21, Issue 4, pp. 532 - 546
A schedule is said to be robust if it is able to absorb some degree of uncertainty in task or communication durations while maintaining a stable solution. This... 
Measurement | makespan | Uncertainty | Processor scheduling | Robust stability | Stochastic processes | Robustness | Random variables | DAG | stochastic scheduling | Context modeling | Stochastic scheduling | Makespan | SET | COMPLEXITY | robustness | COMPUTER SCIENCE, THEORY & METHODS | ENGINEERING, ELECTRICAL & ELECTRONIC | Information networks | Robust statistics | Heuristic programming | Analysis | Computer networks | Design and construction | Schedules | Approximation | Tasks | Computation | Strategy | Mathematical models | Heuristic
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
16. Full Text Flipped SU(5) GUTs from E8 singularities in F-theory
by Chen, Ching-Ming and Chung, Yu-Chieh
Journal of High Energy Physics, ISSN 1126-6708, 2011, Volume 2011, Issue 3
Superstring Vacua | F-Theory | GUT
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
17. Full Text High electric charges in M-theory from quiver varieties
by Collinucci, Andrés and Fazzi, Marco and Morrison, David R and Valandro, Roberto
Journal of High Energy Physics, ISSN 1029-8479, 11/2019, Volume 2019, Issue 11, pp. 1 - 46
M-theory on a Calabi-Yau threefold admitting a small resolution gives rise to an Abelian vector multiplet and a charged hypermultiplet. We introduce into this... 
M theory | Global Symmetries | Gauge Symmetry | M-Theory | F-Theory
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
18. Full Text A note on non-flat points in the SU(5) × U(1) PQ F-theory model
by Achmed-Zade, Ismail and García-Etxebarria, Iñaki and Mayrhofer, Christoph
Journal of High Energy Physics, ISSN 1126-6708, 05/2019, Volume 2019, Issue 5, pp. 1 - 29
Non-flat fibrations often appear in F-theory GUT models, and their interpretation is still somewhat mysterious. In this note we explore this issue in a model... 
Superstring Vacua | Brane Dynamics in Gauge Theories | F-Theory | Couplings
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
19. Full Text Building SO10-models with D-4 symmetry
by Laamara, RA and Miskaoui, M and Saidi, EH
NUCLEAR PHYSICS B, ISSN 0550-3213, 12/2015, Volume 901, pp. 59 - 75
Using characters of finite group representations and monociromy of matter curves in F-GUT, we complete partial results in literature by building SO10 models... 
F-THEORY | PHYSICS, PARTICLES & FIELDS
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
20. Full Text F-theory compactifications with multiple U(1)-factors: constructing elliptic fibrations with rational sections (vol 6, 067, 2013)
by Cvetic, M and Klevers, D and Piragua, H
JOURNAL OF HIGH ENERGY PHYSICS, ISSN 1029-8479, 12/2013, Issue 12
The purpose of this note is to extend the results obtained in [1] in two ways. First, the six-dimensional F-theory compactifications with U(1) x U(1) gauge... 
Superstring Vacua | F-Theory | PHYSICS, PARTICLES & FIELDS
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
No results were found for your search.

Cannot display more than 1000 results, please narrow the terms of your search.