Výsledky vyhľadávania - "Classificació AMS::03 Mathematical logic and foundations::03C Model theory"

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

Autori: Larrauri Borroto, Lázaro Alberto Universitat Politècnica de Catalunya. Doctorat en Matemàtica Aplicada

Prispievatelia: Larrauri Borroto, Lázaro Alberto Universitat Politècnica de Catalunya. Doctorat en Matemàtica Aplicada

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

Predmety: 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

Popis súboru: application/pdf

Prístupová URL adresa: 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

Autori: Bañuelos, Selenne Best, Janet Huguet Casades, Gemma a ďalší

Prispievatelia: Bañuelos, Selenne Best, Janet Huguet Casades, Gemma a ďalší

Predmety: À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

Popis súboru: application/pdf

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

Dostupnosť: http://hdl.handle.net/2117/345091
https://doi.org/10.1016/j.jtbi.2020.110208

A cyclic sum

Autori: Díaz Barrero, José Luis Universitat Politècnica de Catalunya. Departament d'Enginyeria Civil i Ambiental

Prispievatelia: Díaz Barrero, José Luis Universitat Politècnica de Catalunya. Departament d'Enginyeria Civil i Ambiental

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

Predmety: 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

Popis súboru: application/pdf

Prístupová URL adresa: https://hdl.handle.net/2117/113439
http://hdl.handle.net/2117/113439

Vieta's formula

Autori: Díaz Barrero, José Luis Universitat Politècnica de Catalunya. Departament d'Enginyeria Civil i Ambiental

Prispievatelia: Díaz Barrero, José Luis Universitat Politècnica de Catalunya. Departament d'Enginyeria Civil i Ambiental

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

Predmety: 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

Popis súboru: application/pdf

Prístupová URL adresa: http://hdl.handle.net/2117/113434
https://hdl.handle.net/2117/113434

Inequality involving sums of diferences of square roots of Fibonacci numbers

Autori: Díaz Barrero, José Luis Universitat Politècnica de Catalunya. Departament d'Enginyeria Civil i Ambiental

Prispievatelia: Díaz Barrero, José Luis Universitat Politècnica de Catalunya. Departament d'Enginyeria Civil i Ambiental

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

Predmety: À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

Popis súboru: application/pdf

Prístupová URL adresa: http://hdl.handle.net/2117/113440
https://hdl.handle.net/2117/113440

Picking the right numbers

Autori: Díaz Barrero, José Luis Universitat Politècnica de Catalunya. Departament d'Enginyeria Civil i Ambiental

Prispievatelia: Díaz Barrero, José Luis Universitat Politècnica de Catalunya. Departament d'Enginyeria Civil i Ambiental

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

Predmety: 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

Popis súboru: application/pdf

Prístupová URL adresa: https://hdl.handle.net/2117/113557
http://hdl.handle.net/2117/113557

Rellevància de variables en models algorítmics predictius

Autori: Rovira Tauler, Oriol Universitat Politècnica de Catalunya. Departament d'Estadística i Investigació Operativa Delicado Useros, Pedro Francisco

Prispievatelia: Rovira Tauler, Oriol Universitat Politècnica de Catalunya. Departament d'Estadística i Investigació Operativa Delicado Useros, Pedro Francisco

Predmety: À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

Popis súboru: application/pdf

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

Dostupnosť: http://hdl.handle.net/2117/343682

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

Autori: Universitat Politècnica de Catalunya. Doctorat en Matemàtica Aplicada Larrauri Borroto, Lázaro Alberto

Témy: À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

Rellevància de variables en models algorítmics predictius

Autori: Universitat Politècnica de Catalunya. Departament d'Estadística i Investigació Operativa Delicado Useros, Pedro Francisco Rovira Tauler, Oriol

Témy: À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

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

Modeling the long term effects of thermoregulation on human sleep

Autori: Universitat Politècnica de Catalunya. Departament de Matemàtiques Universitat Politècnica de Catalunya. SD - Sistemes Dinàmics de la UPC Bañuelos, Selenne a ďalší

Témy: À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

URL: 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

Autori: Universitat Politècnica de Catalunya. Departament d'Enginyeria Civil i Ambiental Díaz Barrero, José Luis

Témy: À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

URL: 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

Autori: Universitat Politècnica de Catalunya. Departament d'Enginyeria Civil i Ambiental Díaz Barrero, José Luis

Témy: À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

URL: 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

Autori: Universitat Politècnica de Catalunya. Departament d'Enginyeria Civil i Ambiental Díaz Barrero, José Luis

Témy: À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

URL: 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

Autori: Universitat Politècnica de Catalunya. Departament d'Enginyeria Civil i Ambiental Díaz Barrero, José Luis

Témy: À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

URL: https://hdl.handle.net/2117/113440
https://www.fq.math.ca/Problems/ElemProvSolnMay2017.pdf
https://www.fq.math.ca/Problems/ElemProvSolnMay2017.pdf