Probabilities of first-order sentences on sparse random relational structures: An application to definability on random CNF formulas

Συγγραφείς: Larrauri Borroto, Lázaro Alberto

Συνεισφορές: Universitat Politècnica de Catalunya. Doctorat en Matemàtica Aplicada

Πηγή: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Journal of Logic and Computation

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: 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

Modeling the long term effects of thermoregulation on human sleep

Συγγραφείς: Bañuelos, Selenne, Best, Janet, Huguet Casades, Gemma, Prieto-Langarica, Alicia, Pyzza, Pamela, Wilson, Shelby

Συνεισφορές: Universitat Politècnica de Catalunya. Departament de Matemàtiques, Universitat Politècnica de Catalunya. SD - Sistemes Dinàmics de la UPC

Θεματικοί όροι: À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

Περιγραφή αρχείου: application/pdf

Relation: https://www.sciencedirect.com/science/article/abs/pii/S0022519320300631; http://hdl.handle.net/2117/345091

Διαθεσιμότητα: http://hdl.handle.net/2117/345091
https://doi.org/10.1016/j.jtbi.2020.110208

A cyclic sum

Συγγραφείς: Díaz Barrero, José Luis

Συνεισφορές: Universitat Politècnica de Catalunya. Departament d'Enginyeria Civil i Ambiental

Πηγή: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Recercat. Dipósit de la Recerca de Catalunya
instname

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://hdl.handle.net/2117/113439
http://hdl.handle.net/2117/113439

Vieta's formula

Συγγραφείς: Díaz Barrero, José Luis

Συνεισφορές: Universitat Politècnica de Catalunya. Departament d'Enginyeria Civil i Ambiental

Πηγή: Recercat. Dipósit de la Recerca de Catalunya
instname
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://hdl.handle.net/2117/113434
https://hdl.handle.net/2117/113434

Inequality involving sums of diferences of square roots of Fibonacci numbers

Συγγραφείς: Díaz Barrero, José Luis

Συνεισφορές: Universitat Politècnica de Catalunya. Departament d'Enginyeria Civil i Ambiental

Πηγή: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Recercat. Dipósit de la Recerca de Catalunya
instname

Θεματικοί όροι: À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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://hdl.handle.net/2117/113440
https://hdl.handle.net/2117/113440

Picking the right numbers

Συγγραφείς: Díaz Barrero, José Luis

Συνεισφορές: Universitat Politècnica de Catalunya. Departament d'Enginyeria Civil i Ambiental

Πηγή: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Recercat. Dipósit de la Recerca de Catalunya
instname

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://hdl.handle.net/2117/113557
http://hdl.handle.net/2117/113557

Rellevància de variables en models algorítmics predictius

Συγγραφείς: Rovira Tauler, Oriol

Συνεισφορές: Universitat Politècnica de Catalunya. Departament d'Estadística i Investigació Operativa, Delicado Useros, Pedro Francisco

Θεματικοί όροι: À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

Περιγραφή αρχείου: application/pdf

Relation: http://hdl.handle.net/2117/343682

Διαθεσιμότητα: http://hdl.handle.net/2117/343682

Probabilities of first-order sentences on sparse random relational structures: An application to definability on random CNF formulas

Συγγραφείς: Universitat Politècnica de Catalunya. Doctorat en Matemàtica Aplicada, Larrauri Borroto, Lázaro Alberto

Όροι ευρετηρίου: À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

Σύνδεσμος: 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

Rellevància de variables en models algorítmics predictius

Συγγραφείς: Universitat Politècnica de Catalunya. Departament d'Estadística i Investigació Operativa, Delicado Useros, Pedro Francisco, Rovira Tauler, Oriol

Όροι ευρετηρίου: À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

Σύνδεσμος: http://hdl.handle.net/2117/343682

Modeling the long term effects of thermoregulation on human sleep

Συγγραφείς: 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

Όροι ευρετηρίου: À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

Σύνδεσμος: http://hdl.handle.net/2117/345091
https://www.sciencedirect.com/science/article/abs/pii/S0022519320300631
https://www.sciencedirect.com/science/article/abs/pii/S0022519320300631

Vieta's formula

Συγγραφείς: Universitat Politècnica de Catalunya. Departament d'Enginyeria Civil i Ambiental, Díaz Barrero, José Luis

Όροι ευρετηρίου: À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

Σύνδεσμος: http://hdl.handle.net/2117/113434
https://www.fq.math.ca/Problems/ElemProbSolnFeb2017.pdf
https://www.fq.math.ca/Problems/ElemProbSolnFeb2017.pdf

A cyclic sum

Συγγραφείς: Universitat Politècnica de Catalunya. Departament d'Enginyeria Civil i Ambiental, Díaz Barrero, José Luis

Όροι ευρετηρίου: À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

Σύνδεσμος: http://hdl.handle.net/2117/113439
https://www.fq.math.ca/Problems/ElemProvSolnMay2017.pdf
https://www.fq.math.ca/Problems/ElemProvSolnMay2017.pdf

Picking the right numbers

Συγγραφείς: Universitat Politècnica de Catalunya. Departament d'Enginyeria Civil i Ambiental, Díaz Barrero, José Luis

Όροι ευρετηρίου: À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

Σύνδεσμος: https://hdl.handle.net/2117/113557
https://www.fq.math.ca/Problems/ElemProSolnAugust2017.pdf
https://www.fq.math.ca/Problems/ElemProSolnAugust2017.pdf

Inequality involving sums of diferences of square roots of Fibonacci numbers

Συγγραφείς: Universitat Politècnica de Catalunya. Departament d'Enginyeria Civil i Ambiental, Díaz Barrero, José Luis

Όροι ευρετηρίου: À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

Σύνδεσμος: https://hdl.handle.net/2117/113440
https://www.fq.math.ca/Problems/ElemProvSolnMay2017.pdf
https://www.fq.math.ca/Problems/ElemProvSolnMay2017.pdf