-
1Academic Journal
Authors: Larrauri Borroto, Lázaro Alberto
Contributors: Universitat Politècnica de Catalunya. Doctorat en Matemàtica Aplicada
Source: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Journal of Logic and ComputationSubject Terms: Teoria dels, Computer Science - Logic in Computer Science, Models, Teoria dels, Random SAT, 0102 computer and information sciences, Convergence law, Asymptotic probability, 16. Peace & justice, 01 natural sciences, Àrees temàtiques de la UPC::Matemàtiques i estadística::Lògica matemàtica, Classificació AMS::03 Mathematical logic and foundations::03C Model theory, Models, Matemàtiques i estadística::Lògica matemàtica [Àrees temàtiques de la UPC], Unsatisfiability certificate, Mathematics - Combinatorics, Model theory, 03 Mathematical logic and foundations::03C Model theory [Classificació AMS], 0101 mathematics, Random hypergraphs
File Description: application/pdf
Linked Full TextAccess URL: https://academic.oup.com/logcom/article-pdf/31/2/444/36430732/exaa061.pdf
http://arxiv.org/abs/2006.06099
https://arxiv.org/abs/2006.06099
https://dblp.uni-trier.de/db/journals/corr/corr2006.html#abs-2006-06099
https://arxiv.org/pdf/2006.06099
https://academic.oup.com/logcom/article/31/2/444/5941639
https://hdl.handle.net/2117/365338
https://doi.org/10.1093/logcom/exaa061 -
2Academic Journal
Authors: Bañuelos, Selenne, Best, Janet, Huguet Casades, Gemma, Prieto-Langarica, Alicia, Pyzza, Pamela, Wilson, Shelby
Contributors: Universitat Politècnica de Catalunya. Departament de Matemàtiques, Universitat Politècnica de Catalunya. SD - Sistemes Dinàmics de la UPC
Subject Terms: Àrees temàtiques de la UPC::Matemàtiques i estadística, REM cycle, REM latency, Body temperature, Classificació AMS::03 Mathematical logic and foundations::03C Model theory
File Description: application/pdf
-
3Academic Journal
Authors: Díaz Barrero, José Luis
Contributors: Universitat Politècnica de Catalunya. Departament d'Enginyeria Civil i Ambiental
Source: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Recercat. Dipósit de la Recerca de Catalunya
instnameSubject Terms: exercises, Àrees temàtiques de la UPC::Matemàtiques i estadística, Matemàtica -- Problemes, Classificació AMS::03 Mathematical logic and foundations::03C Model theory, Matemàtica -- Problemes, exercicis, etc, Mathematics--Problems, exercises, etc, Matemàtiques i estadística [Àrees temàtiques de la UPC], Mathematics--Problems, 03 Mathematical logic and foundations::03C Model theory [Classificació AMS], exercicis, etc
File Description: application/pdf
-
4Academic Journal
Authors: Díaz Barrero, José Luis
Contributors: Universitat Politècnica de Catalunya. Departament d'Enginyeria Civil i Ambiental
Source: Recercat. Dipósit de la Recerca de Catalunya
instname
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)Subject Terms: exercises, Àrees temàtiques de la UPC::Matemàtiques i estadística, Matemàtica -- Problemes, Classificació AMS::03 Mathematical logic and foundations::03C Model theory, Matemàtica -- Problemes, exercicis, etc, Mathematics--Problems, exercises, etc, Matemàtiques i estadística [Àrees temàtiques de la UPC], Mathematics--Problems, 03 Mathematical logic and foundations::03C Model theory [Classificació AMS], exercicis, etc
File Description: application/pdf
-
5Academic Journal
Authors: Díaz Barrero, José Luis
Contributors: Universitat Politècnica de Catalunya. Departament d'Enginyeria Civil i Ambiental
Source: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Recercat. Dipósit de la Recerca de Catalunya
instnameSubject Terms: Àrees temàtiques de la UPC::Matemàtiques i estadística, Matemàtica -- Problemes, Matemàtica -- Problemes, exercicis, etc, Classificació AMS::11 Number theory::11B Sequences and sets, Àrees temàtiques de la UPC::Matemàtiques i estadística::Anàlisi numèrica, Sequences (Mathematics), Matemàtiques i estadística [Àrees temàtiques de la UPC], etc, Matemàtiques i estadística::Anàlisi numèrica [Àrees temàtiques de la UPC], exercises, Successions (Matemàtica), Classificació AMS::03 Mathematical logic and foundations::03C Model theory, Mathematics--Problems, exercises, etc, Mathematics--Problems, 03 Mathematical logic and foundations::03C Model theory [Classificació AMS], 11 Number theory::11B Sequences and sets [Classificació AMS], exercicis
File Description: application/pdf
-
6Academic Journal
Authors: Díaz Barrero, José Luis
Contributors: Universitat Politècnica de Catalunya. Departament d'Enginyeria Civil i Ambiental
Source: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Recercat. Dipósit de la Recerca de Catalunya
instnameSubject Terms: exercises, Àrees temàtiques de la UPC::Matemàtiques i estadística, Matemàtica -- Problemes, Classificació AMS::03 Mathematical logic and foundations::03C Model theory, Matemàtica -- Problemes, exercicis, etc, Mathematics--Problems, exercises, etc, Matemàtiques i estadística [Àrees temàtiques de la UPC], Mathematics--Problems, 03 Mathematical logic and foundations::03C Model theory [Classificació AMS], exercicis, etc
File Description: application/pdf
-
7Dissertation/ Thesis
Authors: Rovira Tauler, Oriol
Contributors: Universitat Politècnica de Catalunya. Departament d'Estadística i Investigació Operativa, Delicado Useros, Pedro Francisco
Subject Terms: Àrees temàtiques de la UPC::Matemàtiques i estadística, Mathematical theories, Rellevància, Variables Fantasma, Permutacions aleatòries, Llibreria, Predicció, Relevance, Ghost Variables, Random Permutation, Library, Prediction, Teoria matemàtica, Classificació AMS::03 Mathematical logic and foundations::03C Model theory, Classificació AMS::62 Statistics::62J Linear inference, regression
File Description: application/pdf
Relation: http://hdl.handle.net/2117/343682
Availability: http://hdl.handle.net/2117/343682
-
8Electronic Resource
Authors: Universitat Politècnica de Catalunya. Doctorat en Matemàtica Aplicada, Larrauri Borroto, Lázaro Alberto
Index Terms: Àrees temàtiques de la UPC::Matemàtiques i estadística::Lògica matemàtica, Model theory, Random hypergraphs, Convergence law, Random SAT, Asymptotic probability, Unsatisfiability certificate, Models, Teoria dels, Classificació AMS::03 Mathematical logic and foundations::03C Model theory, Article
URL:
http://hdl.handle.net/2117/365338 https://academic.oup.com/logcom/article/31/2/444/5941639 https://academic.oup.com/logcom/article/31/2/444/5941639
info:eu-repo/grantAgreement/EC/H2020/648276/EU/A Unified Theory of Algorithmic Relaxations/AUTAR -
9Electronic Resource
Authors: Universitat Politècnica de Catalunya. Departament d'Estadística i Investigació Operativa, Delicado Useros, Pedro Francisco, Rovira Tauler, Oriol
Index Terms: Àrees temàtiques de la UPC::Matemàtiques i estadística, Mathematical theories, Rellevància, Variables Fantasma, Permutacions aleatòries, Llibreria, Predicció, Relevance, Ghost Variables, Random Permutation, Library, Prediction, Teoria matemàtica, Classificació AMS::03 Mathematical logic and foundations::03C Model theory, Classificació AMS::62 Statistics::62J Linear inference, regression, Bachelor thesis
-
10Electronic Resource
Authors: Universitat Politècnica de Catalunya. Departament de Matemàtiques, Universitat Politècnica de Catalunya. SD - Sistemes Dinàmics de la UPC, Bañuelos, Selenne, Best, Janet, Huguet Casades, Gemma, Prieto-Langarica, Alicia, Pyzza, Pamela, Wilson, Shelby
Index Terms: Àrees temàtiques de la UPC::Matemàtiques i estadística, REM cycle, REM latency, Body temperature, Classificació AMS::03 Mathematical logic and foundations::03C Model theory, Article
-
11Electronic Resource
Authors: Universitat Politècnica de Catalunya. Departament d'Enginyeria Civil i Ambiental, Díaz Barrero, José Luis
Index Terms: Àrees temàtiques de la UPC::Matemàtiques i estadística, Mathematics--Problems, exercises, etc., Matemàtica -- Problemes, exercicis, etc., Classificació AMS::03 Mathematical logic and foundations::03C Model theory, Article
-
12Electronic Resource
Authors: Universitat Politècnica de Catalunya. Departament d'Enginyeria Civil i Ambiental, Díaz Barrero, José Luis
Index Terms: Àrees temàtiques de la UPC::Matemàtiques i estadística, Mathematics--Problems, exercises, etc., Matemàtica -- Problemes, exercicis, etc., Classificació AMS::03 Mathematical logic and foundations::03C Model theory, Article
-
13Electronic Resource
Authors: Universitat Politècnica de Catalunya. Departament d'Enginyeria Civil i Ambiental, Díaz Barrero, José Luis
Index Terms: Àrees temàtiques de la UPC::Matemàtiques i estadística, Mathematics--Problems, exercises, etc., Matemàtica -- Problemes, exercicis, etc., Classificació AMS::03 Mathematical logic and foundations::03C Model theory, Article
-
14Electronic Resource
Authors: Universitat Politècnica de Catalunya. Departament d'Enginyeria Civil i Ambiental, Díaz Barrero, José Luis
Index Terms: Àrees temàtiques de la UPC::Matemàtiques i estadística, Àrees temàtiques de la UPC::Matemàtiques i estadística::Anàlisi numèrica, Mathematics--Problems, exercises, etc., Sequences (Mathematics), Matemàtica -- Problemes, exercicis, etc., Successions (Matemàtica), Classificació AMS::03 Mathematical logic and foundations::03C Model theory, Classificació AMS::11 Number theory::11B Sequences and sets, Article