text:
Last Update: 04/09/2017

%%%%%%%%%
%%%%%%%%%

@article{S5,
  author    = {Jan Gorzny and
               Woltzenlogel Paleo, Bruno},
  title     = {FORPI},
  journal   = {},
  pages     = {},
  year      = {2017},
  Keywords  = {Bruno,DBLP,Sup,SMT}
}

@article{S4,
  author    = {Reis, Giselle and Woltzenlogel Paleo, Bruno},
  title     = {Complexity of Translations from Resolution to Sequent Calculus},
  journal   = {Mathematical Structures in Computer Science},
  year      = {2017},
  pages     = {1--25},
  keywords  = {Bruno,Sup}
}

@encyclopediaentry{S3,
  title = {Modal Natural Deduction},
  author    = {Woltzenlogel Paleo, Bruno},
  booktitle = {Towards an Encyclopedia of Proof Systems},
  pages     = {},
  year      = {2017},
  crossref  = {},
  url       = {https://github.com/ProofSystem/Encyclopedia/blob/master/main.pdf},
  keywords  = {Bruno}
}

@encyclopediaentry{S2,
  title = {Conflict Resolution},
  author    = {Woltzenlogel Paleo, Bruno},
  booktitle = {Towards an Encyclopedia of Proof Systems},
  pages     = {85--85S},
  year      = {2017},
  crossref  = {},
  url       = {https://github.com/ProofSystem/Encyclopedia/blob/master/main.pdf},
  keywords  = {Bruno}
}

@article{S1,
  author = {Woltzenlogel Paleo, Bruno},
  title  = {Para-Disagreement Logics},
  journal = {[submitted to] Studia Logica: Trends in Logic},
  publisher = {Springer},
  issn = {0039-3215},
  year = {2017},
  keywords = {Bruno}
}

% 2017
% ====

@article{B82,
  author    = {Christoph Benzm{\"{u}}ller and
               L. Weber and
               Bruno Woltzenlogel Paleo},
  title     = {Computer-Assisted Analysis of the Anderson-H{\'{a}}jek Ontological
               Controversy},
  journal   = {Logica Universalis},
  volume    = {11},
  number    = {1},
  pages     = {139--151},
  year      = {2017},
  url       = {https://doi.org/10.1007/s11787-017-0160-9},
  doi       = {10.1007/s11787-017-0160-9},
  timestamp = {Fri, 26 May 2017 22:54:48 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/lu/BenzmullerWP17},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  keywords  = {Bruno,HOML}
}

@inworkshop{B81,
  author    = {Woltzenlogel Paleo, Bruno},
  title     = {Scavenger EP-0.1 and EP-0.2},
  booktitle = {CASC-26 – the CADE-26 ATP System Competition},
  year      = {2017},
  pages     = {30--31},
  keywords  = {Bruno,Sup},
  url       = {http://www.cs.miami.edu/~tptp/CASC/26/Proceedings}
}

@inworkshop{B80,
  author    = {Reis, Giselle and Woltzenlogel Paleo, Bruno},
  title     = {Complexity of Translations from Resolution to Sequent Calculus},
  booktitle = {Workshop on Proof Exchange for Theorem Proving},
  year      = {2017},
  pages     = {1--13},
  keywords  = {Bruno,Sup}
}

@inproceedings{B79,
  author    = {Daniyar Itegulov and
               John Slaney and
               Bruno Woltzenlogel Paleo},
  title     = {Scavenger 0.1: {A} Theorem Prover Based on Conflict Resolution},
  booktitle = {Automated Deduction - {CADE} 26 - 26th International Conference on
               Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
  pages     = {344--356},
  year      = {2017},
  crossref  = {DBLP:conf/cade/2017},
  url       = {https://doi.org/10.1007/978-3-319-63046-5_21},
  doi       = {10.1007/978-3-319-63046-5_21},
  timestamp = {Wed, 12 Jul 2017 10:22:36 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cade/ItegulovSP17},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  keywords  = {COREA,Bruno,Sup}
}

@article{B78,
   author = {Fellner, Andreas and Woltzenlogel Paleo, Bruno},
   title  = {Greedy Pebbling for Proof Space Compression},
   journal = {International Journal on Software Tools for Technology Transfer},
   issn = {1433-2787},
   publisher = {Springer},
   year = {2017},
   month = {06},
   day = {27},
   keywords = {Bruno,Sup,SMT},
   doi = {10.1007/s10009-017-0459-0},
   url = {http://dx.doi.org/10.1007/s10009-017-0459-0}
}

@inproceedings{B77,
  author = {Reis, Giselle and Woltzenlogel Paleo, Bruno},
  title = {Translations from Resolution to Sequent Calculus},
  keywords = {Bruno,Sup,Abstract},
  booktitle = {Women in Logic (WiL) Workshop, affiliated with the Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)},
  day = {20--23},
  month = {6},
  year = {2017},
  url = {https://sites.google.com/site/firstwomeninlogicworkshop/program}
}

@article{B76,
  author = {Fellner, Andreas and Fontaine, Pascal and Woltzenlogel Paleo, Bruno},
  title  = {NP-Completeness of Small Conflict Set Generation for Congruence Closure},
  keywords = {Bruno,Sup,COREA},
  journal = {Formal Methods in System Design},
  publisher = {Springer},
  issn = {1572-8102},
  year = {2017},
  month = {06},
  day = {22},
  doi={10.1007/s10703-017-0283-x},
  url={http://dx.doi.org/10.1007/s10703-017-0283-x}
}

@article{B75,
  author    = {Woltzenlogel Paleo, Bruno},
  title     = {Reducing Redundancy in Cut-Elimination by Resolution},
  keywords = {Bruno,S,COREA},
  journal   = {J. Log. Comput.},
  volume    = {27},
  number    = {2},
  pages     = {577--606},
  year      = {2017},
  url       = {http://dx.doi.org/10.1093/logcom/exu075},
  doi       = {10.1093/logcom/exu075},
  timestamp = {Mon, 27 Mar 2017 18:32:30 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/logcom/Paleo17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{B74,
  author = {Slaney, John and Woltzenlogel Paleo, Bruno},
  title = {Proof Search in the Conflict Resolution Calculus},
  booktitle = {Second Conference on Artificial Intelligence and Theorem Proving, March 26--30, Obergurgl, Austria},
  editor = {Kaliszyk, Cezary},
  year = {2017},
}

@article{B73,
  author = {Slaney, John and Woltzenlogel Paleo, Bruno},
  title  = {Conflict Resolution: a First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning},
  journal = {Journal of Automated Reasoning},
  publisher = {Springer},
  issn = {1573-0670},
  keywords = {COREA,Bruno},
  pages = {1--24},
  doi = {10.1007/s10817-017-9408-6},
  url = {http://dx.doi.org/10.1007/s10817-017-9408-6},
  year = {2017},
}

@encyclopediaentry{B72,
  title = {Contextual Natural Deduction},
  author    = {Woltzenlogel Paleo, Bruno},
  booktitle = {Towards an Encyclopedia of Proof Systems},
  pages     = {78--78},
  year      = {2017},
  crossref  = {B72},
  url       = {https://github.com/ProofSystem/Encyclopedia/blob/master/main.pdf},
  keywords  = {Bruno}
}

@editedbook{B71,
  title = {Towards an Encyclopedia of Proof Systems},
  year = {2017},
  editor = {Woltzenlogel Paleo, Bruno},
  publisher = {College Publications},
  address = {London, UK},
  keywords = {Bruno},
  url = {https://github.com/ProofSystem/Encyclopedia/blob/master/main.pdf}
}

@article{B70,
  author    = {Annika Kanckos and
               Bruno Woltzenlogel Paleo},
  title     = {Variants of G{\"{o}}del's Ontological Proof in a Natural Deduction
               Calculus},
  journal   = {Studia Logica},
  volume    = {105},
  number    = {3},
  pages     = {553--586},
  year      = {2017},
  url       = {https://doi.org/10.1007/s11225-016-9700-1},
  doi       = {10.1007/s11225-016-9700-1},
  timestamp = {Fri, 19 May 2017 14:35:22 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/sLogica/KanckosP17},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  keywords  = {Bruno,Sup,HOML}
}

@article{B69,
  author    = {Reis, Giselle and Woltzenlogel Paleo, Bruno},
  title     = {Epsilon Terms in Intuitionistic Sequent Calculus},
  journal   = {The International Federation of Computational Logic (IFCoLog) Journal of Logic and its Applications},
  editor = {Chatzikyriakidis, Stergios and Pasquali, Fabio and Retor\'{e}, Christian},
  volume = {4},
  issue = {2},
  issn = {2055-3706},
  issn = {2055-3714},
  year      = {2017},
  month = {4},
  day = {13},
  keywords  = {Bruno,Sup},
  pages     = {403--426},
  url = {http://www.collegepublications.co.uk/journals/ifcolog/?00011},
  note      = {\emph{Accepted for publication on the 9th February 2016}}
}

@inproceedings{B68,
  author = {Woltzenlogel Paleo, Bruno},
  title = {Ancient History of the Quest for Universality of Proofs},
  booktitle = {{Universality of Proofs (Dagstuhl Seminar 16421)}},
  crossref = {dowek_et_al:DR:2017:6951},
  year = {2017},
  pages = {91--91},
  keywords = {Bruno,Invited,Abstract},
  note = {\textbf{[Invited]} }
}

@inproceedings{B67,
  author = {Woltzenlogel Paleo, Bruno},
  title = {First-Order Conflict-Driven Clause Learning from a Proof-Theoretical Perspective},
  booktitle = {{Universality of Proofs (Dagstuhl Seminar 16421)}},
  crossref = {dowek_et_al:DR:2017:6951},
  year = {2017},
  pages = {91--92},
  keywords = {Bruno,Invited,Abstract},
  note = {\textbf{[Invited]} }
}

% 2016
% ====

@inproceedings{B66,
  author = {Woltzenlogel Paleo, Bruno},
  title  = {Para-Disagreement Logics},
  booktitle = {Trends in Logic XVI: Consistency, Contradiction, Paraconsistency and Reasoning: 40 years of CLE},
  publisher = {University of Campinas},
  editor = {Bueno-Soler, J. and Carnielli, W. and Testa, R.},
  year = {2016},
}

@incollection{B65,
  author      = {Woltzenlogel Paleo, Bruno},
  title       = {Leibniz's Characteristica Universalis and Calculus Ratiocinator Today},
  editor      = {Tandy, Charles},
  booktitle   = {Death and Anti-Death, Volume 14: Four Decades after Michael Polanyi, Three Centuries after G. W. Leibniz},
  publisher   = {Ria University Press},
  address     = {},
  isbn        = {978-1-934297-25-4},
  pages       = {},
  chapter     = {},
  year = {2016},
  note = {\textbf{[Invited]} }
}

@incollection{B64,
  author      = {Bentert, Matthias and Benzm\"uller, Christoph and Streit, David and Woltzenlogel Paleo, Bruno},
  title       = {Analysis of an Ontological Proof Proposed by Leibniz},
  editor      = {Tandy, Charles},
  booktitle   = {Death and Anti-Death, Volume 14: Four Decades after Michael Polanyi, Three Centuries after G. W. Leibniz},
  publisher   = {Ria University Press},
  address     = {},
  isbn        = {978-1-934297-25-4},
  pages       = {},
  chapter     = {},
  year = {2016},
  note = {\textbf{[Invited]} }
}

@inproceedings{B63,
  author = {Benzmüller, C. and Woltzenlogel Paleo, B.},
  title  = {An Object-Logic Explanation for the Inconsistency in G\"odel's Ontological Theory},
  booktitle = {KI 2016: Advances in Artificial Intelligence -- 39th Annual German Conference on AI, Klagenfurt, Austria, September 26--30},
  keywords = {HOML,Bruno,Invited},
  pages = {244--250},
  year = {2016},
  publisher = {Springer},
  series = {Lecture Notes in Artificial Intelligence},
  editor = {Gerhard, Friedrich and Helmert, Malte and Wotawa, Franz},
  volume = {9904},
  issn = {0302-9743},
  doi = {10.1007/978-3-319-46073-4},
  url = {http://link.springer.com/book/10.1007/978-3-319-46073-4},
  note = {\textbf{[Invited]} }
}

@inproceedings{B62,
  author = {Benzmüller, C. and Woltzenlogel Paleo, B.},
  title  = {The Inconsistency in G\"odel's Ontological Argument: A Success Story for AI in Metaphysics},
  booktitle = {International Joint Conference on Artificial Intelligence - IJCAI},
  keywords ={HOML,Bruno,COREA*},
  year = {2016}
}

% 2015
% ====

@inproceedings{B61,
   author = {Benzmüller, Christoph and Woltzenlogel Paleo, Bruno},
   title  = {On Logic Embeddings and Gödel's God},
   booktitle = {Recent Trends in Algebraic Development Techniques},
   year = {2014},
   crossref = {ADT},
   keywords = {Bruno,Invited,HOML},
   note = {\textbf{[Invited]} }
}

@inproceedings{B60,
  author    = {Christoph Benzmüller and Woltzenlogel Paleo, Bruno},
  title     = {Experiments in Computational Metaphysics: Gödel's Proof of God's Existence},
  booktitle = {Science and Spiritual Quest: Proceedings of the 9th All India Students' Conference on Science and Spiritual Quest (IIT Kharagpur, 30th October -- 1st November)},
  year      = {2015},
  crossref  = {SpiritualQuest},
  volume    = {9},
  keywords  = {Bruno,Invited,HOML},
  note = {\textbf{[Invited]} },
  pages = {23--40}
}
%ToDo: Correct pages field

@inproceedings{B59,
  author    = {Woltzenlogel Paleo, Bruno},
  title     = {Implementation and Evaluation of Contextual Natural Deduction for
               Minimal Logic},
  booktitle = {Perspectives of System Informatics - 10th International Andrei Ershov
               Informatics Conference, {PSI} 2015, in Memory of Helmut Veith, Kazan
               and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers},
  pages     = {314--324},
  year      = {2015},
  crossref  = {DBLP:conf/ershov/2015},
  url       = {http://dx.doi.org/10.1007/978-3-319-41579-6_24},
  doi       = {10.1007/978-3-319-41579-6_24},
  timestamp = {Tue, 28 Jun 2016 13:52:34 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ershov/Paleo15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{B58,
  author    = {Jan Gorzny and
               Woltzenlogel Paleo, Bruno},
  title     = {Towards the Compression of First-Order Resolution Proofs by Lowering
               Unit Clauses},
  booktitle = {Automated Deduction - {CADE-25} - 25th International Conference on
               Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings},
  pages     = {356--366},
  year      = {2015},
  crossref  = {DBLP:conf/cade/2015},
  url       = {http://dx.doi.org/10.1007/978-3-319-21401-6_24},
  doi       = {10.1007/978-3-319-21401-6_24},
  timestamp = {Fri, 31 Jul 2015 13:18:27 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cade/GorznyP15},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  Keywords  = {Bruno,DBLP,Sup,COREA,SMT}
}

@incollection{B57,
  author    = {Christoph Benzm{\"{u}}ller and
               Woltzenlogel Paleo, Bruno},
  title     = {Higher-Order Modal Logics: Automation and Applications},
  booktitle = {Reasoning Web. Web Logic Rules - 11th International Summer School
               2015, Berlin, Germany, July 31 - August 4, 2015, Tutorial Lectures},
  pages     = {32--74},
  year      = {2015},
  crossref  = {DBLP:conf/rweb/2015},
  url       = {http://dx.doi.org/10.1007/978-3-319-21768-0_2},
  doi       = {10.1007/978-3-319-21768-0_2},
  timestamp = {Sat, 25 Jul 2015 15:58:28 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/rweb/BenzmullerP15},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  keywords = {Bruno,HOML,Invited,DBLP}
}

@inproceedings{B56,
  author    = {Christoph Benzm{\"{u}}ller and
               Woltzenlogel Paleo, Bruno},
  title     = {Interacting with Modal Logics in the Coq Proof Assistant},
  booktitle = {Computer Science - Theory and Applications - 10th International Computer
               Science Symposium in Russia, {CSR} 2015, Listvyanka, Russia, July
               13-17, 2015, Proceedings},
  pages     = {398--411},
  year      = {2015},
  crossref  = {DBLP:conf/csr/2015},
  url       = {http://dx.doi.org/10.1007/978-3-319-20297-6_25},
  doi       = {10.1007/978-3-319-20297-6_25},
  timestamp = {Tue, 23 Jun 2015 13:05:11 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/csr/BenzmullerP15},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  keywords  = {Bruno,HOML,COREC,DBLP}
}

@inworkshop{B55,
	author    = {Fellner, Andreas and Fontaine, Pascal and Hofferek, Georg and Woltzenlogel Paleo, Bruno},
	title     = {NP-Completeness of Small Conflict Set Generation for Congruence Closure},
	booktitle = {13th International Workshop on Satisfiability Modulo Theories},
	year      = {2015},
	keywords  = {Bruno,Sup,SMT},
	pages     = {1--8}
}

@inworkshop{B54,
	author    = {Reis, Giselle and Woltzenlogel Paleo, Bruno},
	title     = {Epsilon Terms in Intuitionistic Sequent Calculus},
	booktitle = {Workshop on Hilbert's Epsilon and Tau in Logic, Informatics and Linguistics},
	year      = {2015},
	pages     = {1--4},
	keywords  = {Bruno,Sup}
}

@poster{B53,
    author = {Woltzenlogel Paleo, Bruno},
    title  = {Quantified Proof Compression},
    year   = {2015},
    keywords = {Bruno,S}
}

@inproceedings{B52,
    author = {Benzmüller, Christoph and Weber, Leon and Woltzenlogel Paleo, Bruno},
    title  = {Computer-Assisted Analysis of the Anderson-Hájek Ontological Controversy},
    booktitle = {1st World Congress on Logic and Religion},
    year = {2015},
    keywords = {Bruno,Abstract,HOML},
    pages = {49--50}
}

@editedbook{B51,
  title = {All about Proofs, Proofs for All},
  year = {2015},
  month = {January},
  editor = {Delahaye, David and Woltzenlogel Paleo, Bruno},
  keywords = {Bruno},
  publisher = {College Publications},
  address = {London, UK},
  series = {Mathematical Logic and Foundations},
  volume = {55},
  url = {http://www.collegepublications.co.uk/logic/mlf/?00023},
  isbn = {978-1-84890-166-7},
}

% 2014
% ====

@article{B50,
	author = {Woltzenlogel Paleo, Bruno},
	journal = {Journal of Logic and Computation},
	keywords = {Bruno,S,COREA},
	title = {Reducing Redundancy in Cut-Elimination by Resolution},
	doi = {10.1093/logcom/exu075},
	url = {http://logcom.oxfordjournals.org/content/early/2014/12/13/logcom.exu075.full.pdf?keytype=ref&ijkey=5g54fcql8kBznTf},
	year = {2014},
	note = {DOI: 10.1093/logcom/exu075}
}
%ToDo: Add pages

@inproceedings{B49,
	Author = {Christoph Benzm{\"{u}}ller and Woltzenlogel Paleo, Bruno},
	Bibsource = {dblp computer science bibliography, http://dblp.org},
	Biburl = {http://dblp.uni-trier.de/rec/bib/conf/ecai/BenzmullerP14},
	Booktitle = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems {(PAIS} 2014)},
	Crossref = {DBLP:conf/ecai/2014},
	Date-Modified = {2014-10-14 07:42:43 +0000},
	Doi = {10.3233/978-1-61499-419-0-93},
	Keywords = {Bruno,DBLP,COREA,HOML},
	Pages = {93--98},
	Timestamp = {Mon, 13 Oct 2014 13:39:42 +0200},
	Title = {Automating G{\"{o}}del's Ontological Proof of God's Existence with Higher-order Automated Theorem Provers},
	Url = {http://dx.doi.org/10.3233/978-1-61499-419-0-93},
	Year = {2014},
    note = {\textbf{[Nominated for Best Paper]} }
}

@proceedings{B48,
  editor    = {Christoph Benzm{\"{u}}ller and
               Woltzenlogel Paleo, Bruno},
  title     = {Proceedings Eleventh Workshop on User Interfaces for Theorem Provers,
               {UITP} 2014, Vienna, Austria, 17th July 2014},
  series    = {{EPTCS}},
  year      = {2014},
  volume    = {167},
  url       = {http://dx.doi.org/10.4204/EPTCS.167},
  doi       = {10.4204/EPTCS.167},
  timestamp = {Thu, 06 Nov 2014 08:08:56 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/BenzmullerP14},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  keywords = {Bruno,DBLP}
}

@inproceedings{B47,
   author = {Benzmüller, Christoph and Woltzenlogel Paleo, Bruno},
   title  = {Formalization and Automated Verification of Gödel's Proof of God's Existence},
   booktitle = {4th World Congress on the Square of Opposition},
   year = {2014},
   keywords = {Bruno,Abstract,HOML},
   pages = {24--25}
}

@inworkshopinvited{B46,
   author = {Benzmüller, Christoph and Woltzenlogel Paleo, Bruno},
   title  = {On Logic Embeddings and Gödel's God},
   booktitle = {22nd International Workshop on Algebraic Development Techniques},
   year = {2014},
   keywords = {Bruno,Abstract,Invited,HOML},
   note = {\textbf{[Invited]} },
   pages = {8--9},
   url = {http://wadt2014.cs.ovgu.de/pre-proceedings.pdf}
}

@article{B45,
   author = {Benzmüller, Christoph and Woltzenlogel Paleo, Bruno},
   title  = {The Modal Collapse as a Collapse of the Modal Square of Opposition},
   journal = {Studies in Universal Logic},
   publisher = {Springer},
   issn = {2297-0282},
   year = {2016},
   keywords = {Bruno,HOML},
   pages   =  {1--7},
   note    = {\emph{Submitted in November 2014. Accepted for publication on the 28th of February 2016}}
}
% ToDo: Correct pages field

@inproceedings{B44,
	Author = {Joseph Boudou and Andreas Fellner and Woltzenlogel Paleo, Bruno},
	Bibsource = {dblp computer science bibliography, http://dblp.org},
	Biburl = {http://dblp.uni-trier.de/rec/bib/conf/cade/BoudouFP14},
	Booktitle = {Automated Reasoning - 7th International Joint Conference, {IJCAR} 2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna, Austria, July 19-22, 2014. Proceedings},
	Crossref = {DBLP:conf/cade/2014},
	Doi = {10.1007/978-3-319-08587-6_29},
	Keywords = {Bruno,DBLP,Sup,COREA*,SMT},
	Pages = {374--380},
	Timestamp = {Mon, 13 Oct 2014 13:39:45 +0200},
	Title = {Skeptik: A Proof Compression System},
	Url = {http://dx.doi.org/10.1007/978-3-319-08587-6_29},
	Year = {2014}}

% 2013
% ====

@arxiv{B42,
	Author = {Christoph Benzm{\"{u}}ller and Woltzenlogel Paleo, Bruno},
	Bibsource = {dblp computer science bibliography, http://dblp.org},
	Biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/BenzmullerP13},
	Journal = {CoRR},
	Keywords = {Bruno,DBLP,HOML},
	Timestamp = {Mon, 13 Oct 2014 13:39:30 +0200},
	Title = {Formalization, Mechanization and Automation of G{\"{o}}del's Proof of God's Existence},
	Url = {http://arxiv.org/abs/1308.4526},
	Volume = {abs/1308.4526},
	Year = {2013}}

@article{B40,
  author    = {Benzmüller, Christoph and Woltzenlogel Paleo, Bruno},
  title     = {G{\"{o}}del's God in Isabelle/HOL},
  journal   = {Archive of Formal Proofs},
  year      = {2013},
  volume    = {},
  keywords  = {Bruno,DBLP,HOML},
  url       = {http://afp.sourceforge.net/entries/GoedelGod.shtml},
  timestamp = {Wed, 15 Oct 2014 15:14:28 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/afp/Benzmueller13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inworkshopinvited{B39,
   author = {Benzmüller, Christoph and Woltzenlogel Paleo, Bruno},
   title  = {Gödel's God on the Computer},
   booktitle = {10th International Workshop on the Implementation of Logics},
   year = {2013},
   keywords = {Bruno,Abstract,Invited,HOML},
   note = {\textbf{[Invited]} },
   pages = {1--2}
}

@inproceedings{B38,
	Author = {Joseph Boudou and Woltzenlogel Paleo, Bruno},
	Bibsource = {dblp computer science bibliography, http://dblp.org},
	Biburl = {http://dblp.uni-trier.de/rec/bib/conf/tableaux/BoudouP13},
	Booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 22th International Conference, {TABLEAUX} 2013, Nancy, France, September 16-19, 2013. Proceedings},
	Crossref = {DBLP:conf/tableaux/2013},
	Doi = {10.1007/978-3-642-40537-2_7},
	Keywords = {Bruno,DBLP,Sup,COREA,SMT},
	Pages = {59--73},
	Timestamp = {Mon, 13 Oct 2014 13:39:35 +0200},
	Title = {Compression of Propositional Resolution Proofs by Lowering Subproofs},
	Url = {http://dx.doi.org/10.1007/978-3-642-40537-2_7},
	Year = {2013}}

@inworkshop{B37,
    author = {Boudou, Joseph and Woltzenlogel Paleo, Bruno},
    title = {Compression of Propositional Resolution Proofs by Lowering Subproofs},
    booktitle = {11th Workshop on Satisfiability Modulo Theories and 12th Workshop on Proof, Computation and Complexity},
    pages = {1--12},
    year = {2013},
	keywords = {Bruno,Sup,SMT}
}

@inproceedings{B36,
	Author = {Cvetan Dunchev and Alexander Leitsch and Tomer Libal and Martin Riener and Mikheil Rukhaia and Daniel Weller and Woltzenlogel Paleo, Bruno},
	Bibsource = {dblp computer science bibliography, http://dblp.org},
	Biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/DunchevLLRRWP13},
	Booktitle = {Proceedings of the 10th International Workshop On User Interfaces for Theorem Provers, {UITP} 2012, Bremen, Germany, July 11th, 2012.},
	Doi = {10.4204/EPTCS.118.1},
	Keywords = {Bruno,DBLP},
	Pages = {1--14},
	Timestamp = {Mon, 13 Oct 2014 13:39:33 +0200},
	Title = {{ProofTool:} a {GUI} for the {GAPT} Framework},
	Url = {http://dx.doi.org/10.4204/EPTCS.118.1},
	Year = {2013}}

@inproceedings{B35,
	Author = {Woltzenlogel Paleo, Bruno},
	Bibsource = {dblp computer science bibliography, http://dblp.org},
	Biburl = {http://dblp.uni-trier.de/rec/bib/conf/lfcs/Paleo13},
	Booktitle = {Logical Foundations of Computer Science, International Symposium, {LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
	Crossref = {DBLP:conf/lfcs/2013},
	Doi = {10.1007/978-3-642-35722-0_27},
	Keywords = {Bruno,DBLP,S,COREB},
	Pages = {372--386},
	Timestamp = {Mon, 13 Oct 2014 13:39:37 +0200},
	Title = {Contextual Natural Deduction},
	Url = {http://dx.doi.org/10.1007/978-3-642-35722-0_27},
	Year = {2013}}

@article{B34,
   author = {Woltzenlogel Paleo, Bruno and Benzm\"uller, Christoph},
   title  = {Automated Verification and Reconstruction of Gödel's Proof of God's Existence},
   journal = {Journal of the Austrian Computer Society},
   year = {2013},
   keywords = {Bruno,Invited,S,HOML},
   pages    = {4--6}
}

% 2012
% ====

@inproceedings{B33,
	Address = {http://ceur-ws.org/Vol-878/},
	Author = {Cvetan Dunchev and Alexander Leitsch and Tomer Libal and Martin Riener and Mikheil Rukhaia and Daniel Weller and Woltzenlogel Paleo, Bruno},
	Booktitle = {Second International Workshop on Proof Exchange for Theorem Proving},
	Editor = {David Pichardie and Tjark Weber},
	Keywords = {ProofTheory,Bruno},
	Pages = {51--57},
	Publisher = {CEUR Workshop Proceedings},
	Title = {System Feature Description: Importing Refutations into the GAPT Framework},
	Volume = {878},
	Year = {2012}}

@inproceedings{B32,
	Author = {Alexander Leitsch and Giselle Reis and Woltzenlogel Paleo, Bruno},
	Bibsource = {dblp computer science bibliography, http://dblp.org},
	Biburl = {http://dblp.uni-trier.de/rec/bib/conf/csl/LeitschRP12},
	Booktitle = {Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL, {CSL} 2012, September 3-6, 2012, Fontainebleau, France},
	Crossref = {DBLP:conf/csl/2012},
	Date-Modified = {2014-10-14 07:42:43 +0000},
	Doi = {10.4230/LIPIcs.CSL.2012.485},
	Keywords = {Bruno,DBLP,COREB},
	Pages = {485--499},
	Timestamp = {Mon, 13 Oct 2014 13:39:22 +0200},
	Title = {Towards CERes in intuitionistic logic},
	Url = {http://dx.doi.org/10.4230/LIPIcs.CSL.2012.485},
	Year = {2012}}

@article{B31,
	Author = {Woltzenlogel Paleo, Bruno},
	Bibsource = {dblp computer science bibliography, http://dblp.org},
	Biburl = {http://dblp.uni-trier.de/rec/bib/journals/amc/Paleo12},
	Doi = {10.1016/j.amc.2011.06.058},
	Journal = {Applied Mathematics and Computation},
	Keywords = {Bruno,DBLP,S},
	Number = {1},
	Pages = {45--53},
	Timestamp = {Mon, 13 Oct 2014 13:39:25 +0200},
	Title = {Physics and proof theory},
	Url = {http://dx.doi.org/10.1016/j.amc.2011.06.058},
	Volume = {219},
	Year = {2012}}

% 2011
% ====

@inproceedings{B30,
	Author = {David D{\'{e}}harbe and Pascal Fontaine and Stephan Merz and Woltzenlogel Paleo, Bruno},
	Bibsource = {dblp computer science bibliography, http://dblp.org},
	Biburl = {http://dblp.uni-trier.de/rec/bib/conf/cade/DeharbeFMP11},
	Booktitle = {Automated Deduction - {CADE-23} - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings},
	Crossref = {DBLP:conf/cade/2011},
	Doi = {10.1007/978-3-642-22438-6_18},
	Keywords = {Bruno,DBLP,COREA,SMT},
	Pages = {222--236},
	Timestamp = {Mon, 13 Oct 2014 13:39:20 +0200},
	Title = {Exploiting Symmetry in {SMT} Problems},
	Url = {http://dx.doi.org/10.1007/978-3-642-22438-6_18},
	Year = {2011}}

@inworkshop{B29,
	Author = {Deharbe, David and Fontaine, Pascal and Woltzenlogel Paleo, Bruno},
	Booktitle = {1st International Workshop on Proof Exchange for Theorem Proving},
	Keywords = {Bruno},
	Title = {Quantifier Inference Rules in the Proof Format of VeriT},
	Year = {2011},
	pages = {1--8}
}

@inproceedings{B28,
	Author = {Pascal Fontaine and Stephan Merz and Woltzenlogel Paleo, Bruno},
	Bibsource = {dblp computer science bibliography, http://dblp.org},
	Biburl = {http://dblp.uni-trier.de/rec/bib/conf/cade/FontaineMP11},
	Booktitle = {Automated Deduction - {CADE-23} - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings},
	Crossref = {DBLP:conf/cade/2011},
	Doi = {10.1007/978-3-642-22438-6_19},
	Keywords = {Bruno,DBLP,COREA,SMT},
	Pages = {237--251},
	Timestamp = {Mon, 13 Oct 2014 13:39:16 +0200},
	Title = {Compression of Propositional Resolution Proofs via Partial Regularization},
	Url = {http://dx.doi.org/10.1007/978-3-642-22438-6_19},
	Year = {2011}}

% 2010
% ====

@inproceedings{B27,
	Author = {Tsvetan Dunchev and Alexander Leitsch and Tomer Libal and Daniel Weller and Woltzenlogel Paleo, Bruno},
	Bibsource = {dblp computer science bibliography, http://dblp.org},
	Biburl = {http://dblp.uni-trier.de/rec/bib/conf/cade/DunchevLLWP10},
	Booktitle = {Automated Reasoning, 5th International Joint Conference, {IJCAR} 2010, Edinburgh, UK, July 16-19, 2010. Proceedings},
	Crossref = {DBLP:conf/cade/2010},
	Keywords = {Bruno,DBLP,COREA*},
	Pages = {427--433},
	Timestamp = {Mon, 13 Oct 2014 13:39:10 +0200},
	Title = {System Description: The Proof Transformation System {CERES}},
	Url = {http://dx.doi.org/10.1007/978-3-642-14203-1_36},
	Year = {2010}}

@inworkshop{B26,
	Author = {Pascal Fontaine and Stephan Merz and Woltzenlogel Paleo, Bruno},
	Booktitle = {8th International Workshop on Satisfiability Modulo Theories (Part of FLoC - Federated Logic Conferences)},
	Keywords = {Bruno,SMT},
	Title = {{Exploring and Exploiting Algebraic and Graphical Properties of Resolution}},
	Year = {2010},
	pages = {1--15}
}

@inworkshop{B25,
	Author = {Ekaterina Lebedeva and Woltzenlogel Paleo, Bruno},
	Booktitle = {6th Conference on Computability in Europe: Programs, Proofs, Processes:  Abstract and Handout Booklet},
	Keywords = {Bruno,Abstract,Sup,COREC},
	Title = {Using Proofs to Compute Implicatures [Abstract]},
	Year = {2010},
    pages = {405--406}
}

@inproceedings{B24,
	Author = {Woltzenlogel Paleo, Bruno},
	Bibsource = {dblp computer science bibliography, http://dblp.org},
	Biburl = {http://dblp.uni-trier.de/rec/bib/conf/lpar/Paleo10},
	Booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers},
	Crossref = {DBLP:conf/lpar/2010d},
	Date-Modified = {2014-10-14 07:42:43 +0000},
	Doi = {10.1007/978-3-642-17511-4_26},
	Keywords = {Bruno,DBLP,S,COREA},
	Pages = {463--480},
	Timestamp = {Mon, 13 Oct 2014 13:39:07 +0200},
	Title = {Atomic Cut Introduction by Resolution: Proof Structuring and Compression},
	Url = {http://dx.doi.org/10.1007/978-3-642-17511-4_26},
	Year = {2010}}

@book{B23,
    Title = {Levenshtein Distance: Two Applications in Database Record Linkage and Natural Language Processing [M.Sc. Thesis]},
    Year = {2010},
    Author = {Woltzenlogel Paleo, Bruno},
    Keywords = {Bruno,S},
    Publisher = {LAP-Lambert Academic Publishing},
    Address = {Saarbrücken, Germany},
    isbn = {978-3-8383-6243-4} }

@inworkshop{B22,
	Author = {Woltzenlogel Paleo, Bruno},
	Booktitle = {6th Conference on Computability in Europe: Programs, Proofs, Processes:  Abstract and Handout Booklet},
	Keywords = {ProofTheory,Bruno,Abstract,S},
	Title = {Proof Compression with the {CIRes} Method [Abstract]},
	Year = {2010},
    pages = {418--418}
}

@inworkshop{B21,
	Author = {Woltzenlogel Paleo, Bruno},
	Booktitle = {International Workshop on Physics and Computation},
	Keywords = {Physics,Philosophy,ProofTheory,Bruno,S},
	Title = {Physics and Proof Theory},
	Year = {2010},
	pages = {222--234}
}

% 2009
% ====

@inworkshop{B20,
    author = {Hetzl, Stefan and Leitsch, Alexander and Libal, Tomer and Weller, Daniel and Woltzenlogel Paleo, Bruno},
    title = {Resolution Refinements for Cut-Elimination based on Reductive Methods},
    booktitle = {2nd Workshop on Structures and Deduction},
    pages = {1--11},
    year = {2009},
	keywords = {Bruno}
}

@inproceedings{B19,
	Author = {Stefan Hetzl and Alexander Leitsch and Daniel Weller and Woltzenlogel Paleo, Bruno},
	Bibsource = {dblp computer science bibliography, http://dblp.org},
	Biburl = {http://dblp.uni-trier.de/rec/bib/conf/lfcs/HetzlLWP09},
	Booktitle = {Logical Foundations of Computer Science, International Symposium, {LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
	Crossref = {DBLP:conf/lfcs/2009},
	Doi = {10.1007/978-3-540-92687-0_15},
	Keywords = {Bruno,DBLP,COREB,HOL},
	Pages = {214--229},
	Timestamp = {Mon, 13 Oct 2014 13:39:04 +0200},
	Title = {A Clausal Approach to Proof Analysis in Second-Order Logic},
	Url = {http://dx.doi.org/10.1007/978-3-540-92687-0_15},
	Year = {2009}}

@thesis{B18,
	Author = {Woltzenlogel Paleo, Bruno},
	Keywords = {ProofTheory,Bruno},
	Month = {11},
	type = {Ph.D. Dissertation},
	School = {Vienna University of Technology},
	Title = {A General Analysis of Cut-Elimination by CERes},
	Year = {2009}}

% 2008
% ====

@inworkshop{B17,
	Author = {Stefan Hetzl and Alexander Leitsch and Daniel Weller and Woltzenlogel Paleo, Bruno},
	Booktitle = {{Proceedings of the LPAR Workshops: Analytic Proof Systems}},
	Comment = {http://www.logic.at/staff/chrisf/ws/program-AS-4.html},
	Keywords = {Bruno,ProofTheory,HOL},
	Place = {Doha, Qattar},
	Title = {Cut-Elimination by Resolution and Skolemization in Second-Order Logic},
	Year = {2008},
	pages = {1--2}
}

@inproceedings{B16,
  author    = {Stefan Hetzl and
               Alexander Leitsch and
               Daniel Weller and
               Woltzenlogel Paleo, Bruno},
  title     = {Herbrand Sequent Extraction},
  booktitle = {Intelligent Computer Mathematics, 9th Int. Conference, {AISC}
               2008, 15th Symposium, Calculemus 2008, 7th Int. Conference,
               {MKM} 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings},
  year      = {2008},
  pages     = {462--477},
  crossref  = {DBLP:conf/aisc/2008},
  url       = {http://dx.doi.org/10.1007/978-3-540-85110-3_38},
  doi       = {10.1007/978-3-540-85110-3_38},
  timestamp = {Tue, 14 Oct 2014 10:01:19 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aisc/HetzlLWP08},
  keywords  = {DBLP,Bruno},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{B15,
	Author = {Stefan Hetzl and Alexander Leitsch and Daniel Weller and Woltzenlogel Paleo, Bruno},
	Bibsource = {dblp computer science bibliography, http://dblp.org},
	Biburl = {http://dblp.uni-trier.de/rec/bib/conf/lpar/HetzlLWP08},
	Booktitle = {Proceedings of the {LPAR} 2008 Workshops, Knowledge Exchange: Automated Provers and Proof Assistants, and the 7th International Workshop on the Implementation of Logics, Doha, Qatar, November 22, 2008},
	Crossref = {DBLP:conf/lpar/2008w},
	Date-Modified = {2014-10-14 07:42:43 +0000},
	Keywords = {Bruno,DBLP},
	Timestamp = {Mon, 13 Oct 2014 13:37:03 +0200},
	Title = {Transforming and Analyzing Proofs in the CERES-System},
	Url = {http://ceur-ws.org/Vol-418/paper6.pdf},
	Year = {2008},
    pages = {77 -- 91}
}

@inworkshop{B14,
    author = {Hetzl, Stefan and Leitsch, Alexander and Weller, Daniel and Woltzenlogel Paleo, Bruno},
    title = {Herbrand Sequent Extraction},
    booktitle = {Workshop on Classical Logic and Computation},
    pages = {1--16},
    year = {2008},
	keywords = {Bruno}
}

@inworkshop{B13,
    author = {Hetzl, Stefan and Leitsch, Alexander and Weller, Daniel and Woltzenlogel Paleo, Bruno},
    title = {Proof Analysis with HLK, CERES and ProofTool -- Current Status and Future Directions},
    booktitle = {Workshop on Empirically Successful Automated Reasoning for Mathematics},
    pages = {1--21},
    year = {2008},
	keywords = {Bruno}
}

@book{B12,
    Title = {Herbrand Sequent Extraction [M.Sc. Thesis]},
    Year = {2008},
    Author = {Woltzenlogel Paleo, Bruno},
    Keywords = {Bruno,S},
    Publisher = {VDM-Verlag},
    Address = {Saarbrücken, Germany},
    isbn = {978-3-8364-6152-8} }

% 2007
% ====

@inworkshop{B11,
	Author = {Woltzenlogel Paleo, Bruno},
	Booktitle = {Twelfth ESSLLI (European Summer School in Logic, Language and Information) Student Section},
	Keywords = {Bruno,S},
	Pages = {197--208},
	Title = {An Approximate Gazetteer for {GATE} based on Levenshtein Distance},
	Year = {2007}}

@thesis{B10,
	Address = {Dresden, Germany; Wien, Austria},
	Author = {Woltzenlogel Paleo, Bruno},
	Keywords = {Bruno,S},
	Month = {07},
	type = { M.Sc. thesis},
	School = {Technische Universität Dresden; Technische Universität Wien},
	Title = {Herbrand Sequent Extraction},
	Year = {2007}}

@thesis{B9,
	Address = {Sao José dos Campos, Brasil},
	Author = {Woltzenlogel Paleo, Bruno},
	Keywords = {Bruno,S},
	Month = {12},
	type = { M.Sc. Thesis},
	School = {Technological Institute of Aeronautics},
	Title = {Levenshtein Distance for Information Extraction in Databases and for Natural Language Processing},
	Year = {2007}}

% 2006
% ====

@inworkshop{B8,
    author = {Woltzenlogel Paleo, Bruno},
    title = {A Modified Edit-Distance Algorithm for Record Linkage in a Database of Companies},
    booktitle = {Workshop em Algoritmos e Aplicações de Mineração de Dados},
    pages = {1--8},
    year = {2006},
	keywords = {Bruno,S}
}

% 2005
% ====

@article{B7,
	Author = {O. D. Aguiar and J. C. N. de Araujo and Woltzenlogel Paleo, Bruno et al.},
	Journal = {Class.Quant.Grav.},
	Keywords = {Physics,Bruno},
	Pages = {209},
	Title = {The Brazilian Gravitational Wave Detector Mario Schenberg: Progress and Plans},
	Volume = {22},
	issue = {10},
	url={http://stacks.iop.org/0264-9381/22/i=10/a=011},
	Year = {2005}}

% Author = {O. D. Aguiar and L. A. Andrade and J. J. Barroso and F. Bortoli and L. A. Carneiro and P. J. Castro and C. A. Costa and K. M. F. Costa and J. C. N. de Araujo and A. U. de Lucena and W. de Paula and E. C. de Rey Neto and S. T. de Souza and A. C. Fauth and C. Frajuca and G. Frossati and S. R. Furtado and N. S. Magalhães and R. M. Marinho Jr and E. S. Matos and J. L. Melo and O. D. Miranda and N. F. Oliveira Jr and Woltzenlogel Paleo, Bruno and M. Remy and K. L. Ribeiro and C. Stellati and W. F. Velloso Jr and J. Weber},

@inproceedings{B6,
	Author = {Woltzenlogel Paleo, Bruno and Cinara Ghedini and Joubert de Castro Lima and Jorge Jambeiro Filho and Antonella S.Lanna and Carlos H.C. Ribeiro},
	Booktitle = {Segunda Conferência Sul-Americana em Ciência e Tecnologia Aplicada ao Governo Eletrônico},
	Keywords = {Bruno},
	Pages = {219--226},
	Publisher = {Editora Digital IJURIS},
	Title = {Computational Intelligence Applied to Ambiguities and Redundancies in the Brazilian Taxation Office's Database of Foreign Companies [In Portuguese]},
	Year = {2005}}

% 2004
% ====

@article{B5,
	Author = {O. D. Aguiar and J. C. N. de Araujo and Woltzenlogel Paleo, Bruno et al.},
	Journal = {Class.Quant.Grav.},
	Keywords = {Physics,Bruno},
	Pages = {457--463},
	Title = {The Brazilian Spherical Detector: Progress and Plans},
	Volume = {21},
	issue = {5},
	Year = {2004}}

 % Author = {O. D. Aguiar and L. A. Andrade and J. J. Barroso and L. Camargo Filho and L. A. Carneiro and C. S. Castro and P. J. Castro and C. A. Costa and K. M. F. Costa and J. C. N. de Araujo and A. U. de Lucena and W. de Paula and E. C. de Rey Neto and S. T. de Souza and A. C. Fauth and C. Frajuca and G. Frossati and S. R. Furtado and L. C. Lima and N. S. Magalhães and R. M. Marinho Jr and E. S. Matos and J. L. Melo and O. D. Miranda and N. F. Oliveira Jr and Woltzenlogel Paleo, Bruno and M. Remy and K. L. Ribeiro and C. Stellati and W. F. Velloso Jr and J. Weber},

@article{B4,
	Author = {Araujo, J. C. N. de and Miranda, O. D. and Castro, C. S. and Woltzenlogel Paleo, Bruno and Aguiar, O. D.},
	Journal = {Class.Quant.Grav.},
	Keywords = {Physics,Bruno},
	Pages = {521--527},
	Title = {Can Black Hole MACHO Binaries be Detected by the Brazilian Spherical Antenna?},
	Volume = {21},
	issue = {5},
	Year = {2004}}

@thesis{B3,
	Address = {Sao José dos Campos, Brasil},
	Author = {Woltzenlogel Paleo, Bruno},
	Keywords = {Bruno,S},
	Month = {12},
	type = {Dipl.-Eng. Thesis},
	School = {Technological Institute of Aeronautics},
	Title = {Expert System for Highway Management [In Portuguese]},
	Year = {2004}}

@inworkshop{B2,
	author = {Woltzenlogel Paleo, Bruno},
	title = {Expert System for Highway Management [In Portuguese]},
	booktitle = {Simpósio Internacional de Iniciação Científica da Universidade de São Paulo},
	year = {2004},
	keywords = {Bruno,S}
}

% 2002
% ====

@inworkshop{B1,
	author = {Woltzenlogel Paleo, Bruno},
	title = {Astrophysical Sources of Gravitational Waves: Black Hole Binary Systems [In Portuguese]},
	booktitle = {Simpósio de Iniciação Científica do Instituto Nacional de Pesquisas Espaciais},
	year = {2002},
	keywords = {Bruno,Physics,S}
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@proceedings{DBLP:conf/cade/2017,
  editor    = {Leonardo de Moura},
  title     = {Automated Deduction - {CADE} 26 - 26th International Conference on
               Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10395},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-63046-5},
  doi       = {10.1007/978-3-319-63046-5},
  isbn      = {978-3-319-63045-8},
  timestamp = {Wed, 12 Jul 2017 10:06:41 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cade/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@proceedings{dowek_et_al:DR:2017:6951,
  title = {{Universality of Proofs (Dagstuhl Seminar 16421)}},
  pages = {75--98},
  journal = {Dagstuhl Reports},
  ISSN =  {2192-5283},
  year =  {2017},
  volume =  {6},
  number =  {10},
  editor =  {Gilles Dowek and Catherine Dubois and Brigitte Pientka and Florian Rabe},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address = {Dagstuhl, Germany},
  URL =   {http://drops.dagstuhl.de/opus/volltexte/2017/6951},
  URN =   {urn:nbn:de:0030-drops-69514},
  doi =   {10.4230/DagRep.6.10.75}
}

@proceedings{SpiritualQuest,
  editor    = {Subhash C. Mishra and
               Ramgopal Uppaluri and
               Varun Agarwal},
  title     = {Proceedings of the 9th All India Students' Conference, 30th October - 1st November 2015, IIT Kharagpur, India},
  series    = {Science and Spiritual Quest},
  volume    = {9},
  publisher = {Bhaktivedanta Institute},
  year      = {2015}
}

@proceedings{ADT,
  editor    = {Mihai Codescu and
               Răzvan Diaconescu and
               Ionuț Țuțu},
  title     = {Recent Trends in Algebraic Development Techniques},
  series    = {Theoretical Computer Science and General Issues},
  volume    = {9463},
  publisher = {Springer},
  year      = {2015},
  url       = {http://dx.doi.org/10.1007/978-3-319-28114-8},
  doi       = {10.1007/978-3-319-28114-8},
  isbn      = {978-3-319-28113-1}
}

@proceedings{DBLP:conf/cade/2015,
  editor    = {Amy P. Felty and
               Aart Middeldorp},
  title     = {Automated Deduction - {CADE-25} - 25th International Conference on
               Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings},
  series    = {LNCS},
  volume    = {9195},
  publisher = {Springer},
  year      = {2015},
  url       = {http://dx.doi.org/10.1007/978-3-319-21401-6},
  doi       = {10.1007/978-3-319-21401-6},
  isbn      = {978-3-319-21400-9},
  timestamp = {Fri, 31 Jul 2015 13:15:07 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cade/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@proceedings{DBLP:conf/ershov/2015,
  editor    = {Manuel Mazzara and
               Andrei Voronkov},
  title     = {Perspectives of System Informatics - 10th International Andrei Ershov
               Informatics Conference, {PSI} 2015, in Memory of Helmut Veith, Kazan
               and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9609},
  publisher = {Springer},
  year      = {2016},
  url       = {http://dx.doi.org/10.1007/978-3-319-41579-6},
  doi       = {10.1007/978-3-319-41579-6},
  isbn      = {978-3-319-41578-9},
  timestamp = {Tue, 28 Jun 2016 13:48:14 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ershov/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@proceedings{DBLP:conf/csr/2015,
  editor    = {Lev D. Beklemishev and
               Daniil V. Musatov},
  title     = {Computer Science - Theory and Applications - 10th International Computer
               Science Symposium in Russia, {CSR} 2015, Listvyanka, Russia, July
               13-17, 2015, Proceedings},
  series    = {LNCS},
  volume    = {9139},
  publisher = {Springer},
  year      = {2015},
  url       = {http://dx.doi.org/10.1007/978-3-319-20297-6},
  doi       = {10.1007/978-3-319-20297-6},
  isbn      = {978-3-319-20296-9},
  timestamp = {Tue, 23 Jun 2015 13:03:25 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/csr/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@proceedings{DBLP:conf/rweb/2015,
  editor    = {Wolfgang Faber and
               Adrian Paschke},
  title     = {Reasoning Web. Web Logic Rules - 11th International Summer School
               2015, Berlin, Germany, July 31 - August 4, 2015, Tutorial Lectures},
  series    = {LNCS},
  volume    = {9203},
  publisher = {Springer},
  year      = {2015},
  url       = {http://dx.doi.org/10.1007/978-3-319-21768-0},
  doi       = {10.1007/978-3-319-21768-0},
  isbn      = {978-3-319-21767-3},
  timestamp = {Sat, 25 Jul 2015 15:57:48 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/rweb/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@proceedings{DBLP:conf/cade/2014,
	Bibsource = {dblp computer science bibliography, http://dblp.org},
	Biburl = {http://dblp.uni-trier.de/rec/bib/conf/cade/2014},
	Doi = {10.1007/978-3-319-08587-6},
	Editor = {St{\'{e}}phane Demri and Deepak Kapur and Christoph Weidenbach},
	Isbn = {978-3-319-08586-9},
	Publisher = {Springer},
	Series = {LNCS},
	Timestamp = {Mon, 13 Oct 2014 13:39:45 +0200},
	Title = {Automated Reasoning - 7th International Joint Conference, {IJCAR} 2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna, Austria, July 19-22, 2014. Proceedings},
	Url = {http://dx.doi.org/10.1007/978-3-319-08587-6},
	Volume = {8562},
	Year = {2014}}

@proceedings{DBLP:conf/ecai/2014,
	Bibsource = {dblp computer science bibliography, http://dblp.org},
	Biburl = {http://dblp.uni-trier.de/rec/bib/conf/ecai/2014},
	Editor = {Torsten Schaub and Gerhard Friedrich and Barry O'Sullivan},
	Isbn = {978-1-61499-418-3},
	Publisher = {{IOS} Press},
	Series = {Frontiers in Artificial Intelligence and Applications},
	Timestamp = {Mon, 13 Oct 2014 13:39:42 +0200},
	Title = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems {(PAIS} 2014)},
	Volume = {263},
	Year = {2014}}

@proceedings{DBLP:conf/lfcs/2013,
	Bibsource = {dblp computer science bibliography, http://dblp.org},
	Biburl = {http://dblp.uni-trier.de/rec/bib/conf/lfcs/2013},
	Doi = {10.1007/978-3-642-35722-0},
	Editor = {Sergei N. Art{\"{e}}mov and Anil Nerode},
	Isbn = {978-3-642-35721-3},
	Publisher = {Springer},
	Series = {LNCS},
	Timestamp = {Mon, 13 Oct 2014 13:39:37 +0200},
	Title = {Logical Foundations of Computer Science, International Symposium, {LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
	Url = {http://dx.doi.org/10.1007/978-3-642-35722-0},
	Volume = {7734},
	Year = {2013}}

@proceedings{DBLP:conf/tableaux/2013,
	Bibsource = {dblp computer science bibliography, http://dblp.org},
	Biburl = {http://dblp.uni-trier.de/rec/bib/conf/tableaux/2013},
	Doi = {10.1007/978-3-642-40537-2},
	Editor = {Didier Galmiche and Dominique Larchey{-}Wendling},
	Isbn = {978-3-642-40536-5},
	Publisher = {Springer},
	Series = {LNCS},
	Timestamp = {Mon, 13 Oct 2014 13:39:35 +0200},
	Title = {Automated Reasoning with Analytic Tableaux and Related Methods - 22th International Conference, {TABLEAUX} 2013, Nancy, France, September 16-19, 2013. Proceedings},
	Url = {http://dx.doi.org/10.1007/978-3-642-40537-2},
	Volume = {8123},
	Year = {2013}}

@proceedings{DBLP:journals/corr/KaliszykL13,
	Bibsource = {dblp computer science bibliography, http://dblp.org},
	Biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/KaliszykL13},
	Doi = {10.4204/EPTCS.118},
	Editor = {Cezary Kaliszyk and Christoph L{\"{u}}th},
	Series = {{EPTCS}},
	Timestamp = {Mon, 13 Oct 2014 13:39:33 +0200},
	Title = {Proceedings 10th International Workshop On User Interfaces for Theorem Provers, {UITP} 2012, Bremen, Germany, July 11th, 2012},
	Url = {http://dx.doi.org/10.4204/EPTCS.118},
	Volume = {118},
	Year = {2013}}

@proceedings{DBLP:conf/csl/2012,
	Bibsource = {dblp computer science bibliography, http://dblp.org},
	Biburl = {http://dblp.uni-trier.de/rec/bib/conf/csl/2012},
	Editor = {Patrick C{\'{e}}gielski and Arnaud Durand},
	Isbn = {978-3-939897-42-2},
	Publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
	Series = {LIPIcs},
	Timestamp = {Mon, 13 Oct 2014 13:39:22 +0200},
	Title = {Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL, {CSL} 2012, September 3-6, 2012, Fontainebleau, France},
	Url = {http://drops.dagstuhl.de/opus/portals/extern/index.php?semnr=12009},
	Volume = {16},
	Year = {2012}}

@proceedings{DBLP:conf/cade/2011,
	Bibsource = {dblp computer science bibliography, http://dblp.org},
	Biburl = {http://dblp.uni-trier.de/rec/bib/conf/cade/2011},
	Doi = {10.1007/978-3-642-22438-6},
	Editor = {Nikolaj Bjørner and Viorica Sofronie{-}Stokkermans},
	Isbn = {978-3-642-22437-9},
	Publisher = {Springer},
	Series = {LNCS},
	Timestamp = {Mon, 13 Oct 2014 13:39:16 +0200},
	Title = {Automated Deduction - {CADE-23} - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings},
	Url = {http://dx.doi.org/10.1007/978-3-642-22438-6},
	Volume = {6803},
	Year = {2011}}

@proceedings{DBLP:conf/cade/2010,
	Bibsource = {dblp computer science bibliography, http://dblp.org},
	Biburl = {http://dblp.uni-trier.de/rec/bib/conf/cade/2010},
	Doi = {10.1007/978-3-642-14203-1},
	Editor = {J{\"{u}}rgen Giesl and Reiner H{\"{a}}hnle},
	Isbn = {978-3-642-14202-4},
	Publisher = {Springer},
	Series = {LNCS},
	Timestamp = {Mon, 13 Oct 2014 13:39:10 +0200},
	Title = {Automated Reasoning, 5th International Joint Conference, {IJCAR} 2010, Edinburgh, UK, July 16-19, 2010. Proceedings},
	Url = {http://dx.doi.org/10.1007/978-3-642-14203-1},
	Volume = {6173},
	Year = {2010}}

@proceedings{DBLP:conf/lpar/2010d,
	Bibsource = {dblp computer science bibliography, http://dblp.org},
	Biburl = {http://dblp.uni-trier.de/rec/bib/conf/lpar/2010d},
	Doi = {10.1007/978-3-642-17511-4},
	Editor = {Edmund M. Clarke and Andrei Voronkov},
	Isbn = {978-3-642-17510-7},
	Publisher = {Springer},
	Series = {LNCS},
	Timestamp = {Mon, 13 Oct 2014 13:39:07 +0200},
	Title = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers},
	Url = {http://dx.doi.org/10.1007/978-3-642-17511-4},
	Volume = {6355},
	Year = {2010}}

@proceedings{DBLP:conf/lfcs/2009,
	Bibsource = {dblp computer science bibliography, http://dblp.org},
	Biburl = {http://dblp.uni-trier.de/rec/bib/conf/lfcs/2009},
	Doi = {10.1007/978-3-540-92687-0},
	Editor = {Sergei N. Art{\"{e}}mov and Anil Nerode},
	Isbn = {978-3-540-92686-3},
	Publisher = {Springer},
	Series = {LNCS},
	Timestamp = {Mon, 13 Oct 2014 13:39:04 +0200},
	Title = {Logical Foundations of Computer Science, International Symposium, {LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
	Url = {http://dx.doi.org/10.1007/978-3-540-92687-0},
	Volume = {5407},
	Year = {2009}}

@proceedings{DBLP:conf/aisc/2008,
	Bibsource = {dblp computer science bibliography, http://dblp.org},
	Biburl = {http://dblp.uni-trier.de/rec/bib/conf/aisc/2008},
	Editor = {Serge Autexier and John A. Campbell and Julio Rubio and Volker Sorge and Masakazu Suzuki and Freek Wiedijk},
	Isbn = {978-3-540-85109-7},
	Publisher = {Springer},
	Series = {LNCS},
	Timestamp = {Mon, 13 Oct 2014 13:39:01 +0200},
	Title = {Intelligent Computer Mathematics, 9th International Conference, {AISC} 2008, 15th Symposium, Calculemus 2008, 7th International Conference, {MKM} 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings},
	Volume = {5144},
	Year = {2008}}

@proceedings{DBLP:conf/lpar/2008w,
	Bibsource = {dblp computer science bibliography, http://dblp.org},
	Biburl = {http://dblp.uni-trier.de/rec/bib/conf/lpar/2008w},
	Editor = {Piotr Rudnicki and Geoff Sutcliffe and Boris Konev and Renate A. Schmidt and Stephan Schulz},
	Publisher = {CEUR-WS.org},
	Series = {{CEUR} Workshop Proceedings},
	Timestamp = {Mon, 13 Oct 2014 13:37:03 +0200},
	Title = {Proceedings of the {LPAR} 2008 Workshops, Knowledge Exchange: Automated Provers and Proof Assistants, and the 7th International Workshop on the Implementation of Logics, Doha, Qatar, November 22, 2008},
	Volume = {418},
	Year = {2008}}


text:
@article{hozo_calculating_1998,
	title = {Calculating confidence intervals for threshold and post-test probabilities},
	volume = {15},
	issn = {0724-6811},
	url = {http://www.ncbi.nlm.nih.gov/pubmed/9540324},
	abstract = {Abstract: "We describe a method and a computer program, written in {JavaScript}, for calculating confidence intervals. The method uses Taylor's series to approximate the standard errors of a post-test probability and threshold probabilities and, from them, to obtain the associated confidence intervals. This method is valid if the variables of interest are stochastically independent."},
	pages = {110--115},
	number = {2},
	journaltitle = {M.D. Computing: Computers in Medical Practice},
	shortjournal = {{MD} Comput},
	author = {Hozo, I and Djulbegovic, B},
	urldate = {2009-12-04},
	date = {1998-04},
	pmid = {9540324},
	tags = {Diagnostic testing, a02}
}

repository: pmean/build-website

license_type: permissive

repo_name: pmean/build-website

branch_name: refs/heads/master

extension: bib


text:
@import url("https://fonts.googleapis.com/css2?family=Pacifico&display=swap");

@import url("https://fonts.googleapis.com/css2?family=Exo+2:ital,wght@0,100;0,200;0,300;0,400;0,500;0,600;0,700;0,800;0,900;1,100;1,200;1,300;1,400;1,500;1,600;1,700;1,800;1,900&display=swap");

@import url("https://fonts.googleapis.com/css2?family=Rubik:ital,wght@0,300;0,400;0,500;0,600;0,700;0,800;0,900;1,300;1,400;1,500;1,600;1,700;1,800;1,900&display=swap");

:root {
  --color-primary-dark: #01b6fe;
  --color-primary-light: #34c4fe;

  --color-bg-primary-dark-1: rgba(18, 18, 19, 0.658);
  --color-bg-primary-light-1: rgba(19, 21, 22, 0.678);

  --color-primary-bg-dark: rgba(1, 182, 254, 0.699);
  --color-primary-bg-light: rgba(52, 197, 254, 0.699);

  --color-secondary: #ff9f41;
  --color-secondary-dark: #ff8000;
  --color-secondary-light: #ffcb99;

  --color-secondary-bg-dark: rgba(255, 128, 0, 0.774);
  --color-secondary-bg-light: rgba(255, 202, 153, 0.747);
  --color-dark-1: #141313;
  --color-dark-2: #221d1d;

  --color-white: #fff;

  --color-grey-1: #c7c3c3;
  --color-grey-2: #f1eeee;

  --color-red-1: #c21a5b;

  --color-social-1: #1298f6;
  --color-social-2: #1da1f2;
  --color-social-3: #c33999;
  --color-social-4: #0a66c2;

  --font-primary: "Rubik", sans-serif;
  --font-logo: "Pacifico", cursive;
  --font-heading: "Exo 2", sans-serif;
}

*,
*:before,
*:after {
  margin: 0;
  padding: 0;
  outline: 0;
}
html {
  font-size: 62.5%;
}
body {
  font-family: var(--font-primary);
}
/* utility class  */
.marginTop2x {
  margin-top: 2rem;
}
.marginBottom2x {
  margin-bottom: 2rem;
}
.colorBg-1 {
  background-color: var(--color-primary-dark) !important;
}
.colorBg-2 {
  background-color: var(--color-white) !important;
}
.colorText-1 {
  color: var(--color-secondary-dark) !important;
}
.colorText-2 {
  color: var(--color-primary-dark) !important;
}
/* <!-- ====================================
  Header part starts here
  ==================================== --> */

.header-area {
  background-image: linear-gradient(
      to right,
      var(--color-bg-primary-dark-1),
      var(--color-bg-primary-light-1)
    ),
    url("../img/hero-bg.jpg");
  background-repeat: no-repeat;
  background-position: center;
  background-size: cover;

  background-attachment: fixed;
  height: 100vh;
}
/* navigation starts here  */
.navbar-brand {
  font-family: var(--font-logo) !important;
}
.nav-modifier {
  background-color: var(--color-white);
}
.navbar-logo {
  color: var(--color-secondary);
  font-size: 3rem !important;
  text-decoration: none;
  transition: all 0.4s;
}
.navbar-logo:hover {
  color: var(--color-secondary);
  padding-left: 1rem;
}
.nav-link {
  font-size: 1.6rem !important;
  color: var(--color-dark-1);
  text-decoration: none;
  font-family: var(--font-primary);
  transition: all 0.4s;
  font-weight: 500;
}
.nav-item:not(:last-child) {
  margin-right: 1.6rem !important;
}
.nav-link:hover {
  color: var(--color-secondary-dark);
}
.nav-bordered {
  border-right: 0.4rem solid var(--color-secondary-light);
  padding-right: 1rem;
}
.nav-login {
  background-color: var(--color-secondary-dark);
  padding: 0rem 1.4rem;
  border-radius: 3rem;
  transition: all 0.4s;
}
.nav-login-link {
  color: var(--color-white);
}
.nav-login:hover {
  background-color: var(--color-dark-1);
}
/* navigation ends here  */
/* header contents start here  */
.header-description {
  margin-top: 25rem;
  text-align: center;
}
.heading {
}
.heading-hero {
  font-size: 7rem;
  color: var(--color-white);
  font-family: var(--font-heading);
  font-weight: 800;
}
.heading-hero-mod {
  color: var(--color-secondary-dark);
}
.hero-text {
  padding: 0 22rem;
  font-size: 1.6rem;
  margin-top: 2rem;
  color: var(--color-grey-1);
}

.btnPrimary {
  text-decoration: none;
  font-size: 1.6rem;
  text-transform: capitalize;
  color: var(--color-white);
  background-color: var(--color-secondary);
  padding: 1.5rem 2.5rem;
  border-radius: 3rem;
  margin-top: 2rem;
  display: inline-block;
}
.btn-icon {
  transition: all 0.4s;
}
.btn-enroll {
  margin-right: 1rem;
}
.btn-learnmore {
  margin-left: 1rem;
}
.btnPrimary-hover:hover {
  text-decoration: none;
  color: var(--color-white);
}
.btnPrimary-hover:hover .btn-icon {
  padding-left: 1rem;
}
/* header contents end here  */

/* <!-- =========================================
  Header part ends here
  =============================================== --> */
/* <!-- =========================================
  Section Feature part starts here
  =============================================== --> */
.section-feature {
  padding: 20rem 0;
  background-color: var(--color-grey-2);
}
.school-feature {
}
.feature-box {
  padding: 2rem;
  background-color: var(--color-white);
  position: relative;
  border-left: 0.3rem solid var(--color-secondary-dark);
  transition: all 0.3s;
}
.feature-box::after {
  content: "";
  position: absolute;
  width: 0%;
  height: 0.3rem;
  background-color: var(--color-primary-dark);
  bottom: 0;
  left: -0.2rem;
  transition: all 0.3s;
}
.feature-box:hover {
  border-left: 0.3rem solid transparent;
  box-shadow: 2px 2px 25px -1px var(--color-secondary-dark);
  transform: translateY(-2rem);
}
.feature-box:hover:after {
  width: 100%;
}

.feature-icon {
  width: 8rem;
  height: 8rem;
  background-color: var(--color-grey-2);
  text-align: center;
  line-height: 8rem;
  border-radius: 50%;
  position: absolute;
  right: 1rem;
  top: -4rem;
}
.feature-icon-photo {
  width: 50%;
}
.feature-header {
}
.feature-header-info {
  font-size: 2.3rem;
  margin-top: 4rem;
  font-family: var(--font-heading);
  font-weight: 600;
}
.feature-header-info-mod {
  color: var(--color-primary-dark);
  transition: all.3s;
}
.feature-box:hover .feature-header-info-mod {
  color: var(--color-secondary-dark);
}
.feature-divider {
  width: 5rem;
  height: 0.2rem;
  background-color: var(--color-secondary-dark);
  margin-bottom: 2rem;
  margin-top: 1rem;
  transition: all 0.3s;
}

.feature-box:hover .feature-divider {
  width: 6rem;
  background-color: var(--color-primary-dark);
}
.feature-description {
}
.feature-description-text {
  font-size: 1.5rem;
  color: var(--color-bg-primary-dark-1);
  text-align: justify;
}
/* <!-- =========================================
  Section Feature part ends here
  =============================================== --> */
/* <!-- =========================================
  Section Popular Course part starts here
  =============================================== --> */
.section-popular-courses {
  padding: 20rem 0;
  background-image: linear-gradient(
      to right bottom,
      var(--color-bg-primary-dark-1),
      var(--color-bg-primary-light-1)
    ),
    url("../img/class-bg.jpg");
  background-size: cover;
  background-repeat: no-repeat;
  background-position: top;

  background-attachment: fixed;
}

/* course content starts here  */
.popular-course-header {
  text-align: center;
  margin-bottom: 9rem;
}
.section-header {
  font-size: 6rem;
  font-family: var(--font-heading);
  font-weight: 600;
  color: var(--color-white);
  margin-bottom: 2rem;
}
.divider {
  height: 0.3rem;
  width: 10rem;
  background-color: var(--color-secondary);
  margin: auto;
}
.course {
  background-color: var(--color-white);
  position: relative;
}
.course-img {
}
.course-img-link {
}
.course-img-photo {
}
.course-students {
  display: flex;
  justify-content: space-between;
  padding: 1rem 3rem;
  font-size: 1.5rem;
  font-weight: bold;
  letter-spacing: 0.1rem;
  background-color: var(--color-secondary-dark);
}
.course-student-number {
  margin-bottom: 0;
  color: var(--color-white);
  font-family: var(--font-heading);
}
.course-fee {
}
.course-timing {
  margin-top: 1rem;
}
.course-time {
  font-size: 1.4rem;
  font-family: var(--font-heading);
  font-weight: 600;
  letter-spacing: 0.1rem;
  background-color: var(--color-primary-dark);
  display: inline-block;
  padding: 0.5rem 1rem;
  color: var(--color-white);
  margin-bottom: 2rem;
}
.course-info {
  padding: 1rem 2rem;
}
.course-header-link {
  text-decoration: none;
  margin-top: 2rem;
}
.course-header {
  color: var(--color-dark-1);
  font-family: var(--font-heading);
  font-weight: 700;
  font-size: 2.5rem;
  margin-bottom: 1rem;
  display: inline-block;
  transition: all 0.3s ease-in-out;
}
.course-header-link:hover {
  text-decoration: none;
}
.course-header:hover {
  color: var(--color-secondary-dark);
}
.course-description {
  font-size: 1.5rem;
  text-align: justify;
  color: var(--color-bg-primary-dark-1);
}
.course-btn {
}
.btnCourse {
  text-align: center;
  font-size: 1.5rem;
  text-decoration: none;
  text-transform: capitalize;
  color: var(--color-white);
  background-color: var(--color-secondary-dark);
  border: 0.1rem solid transparent;
  padding: 1rem 1.5rem;
  position: absolute;
  top: 3.9%;
  left: 50%;
  transform: translate(-50%, -50%);
  opacity: 0;
  transition: all 0.3s;
}

.btn-seemore {
}
.btn-icon-course {
  padding-left: 1rem;
}
.btnCourse:hover {
  text-decoration: none;
  border: 0.1rem solid var(--color-secondary-dark);
  background-color: var(--color-dark-1);
  color: var(--color-white);
}
.course:hover .btnCourse {
  top: 31%;
  opacity: 1;
}
/* course content ends here  */

/* <!-- =========================================
  Section Popular Course part ends here
  =============================================== --> */
/* <!-- =========================================
  Section class routine Course part starts here
  =============================================== --> */
.section-class-routine {
  padding: 10rem 0;
}
.section-header-classRoutine {
  color: var(--color-primary-dark) !important;
}
/* tab button parts starts here  */
.classCol {
}
.class-day {
  border-bottom: 0.1rem solid var(--color-secondary-dark);
}
.class-day-1 {
  background-color: transparent;
  border: none;
  font-size: 1.5rem;
  padding: 1rem 4.8335rem;
}
.class-day-1:active {
  outline: none;
}
.class-day-active {
  background-color: var(--color-secondary-dark);
  color: var(--color-white);
}
.class-routine-time {
  display: none;
}

#sat-class {
  /* display: block; */
}

/* tab button parts ends here  */
/* tab content parts starts here  */
.saturday__class {
  margin-top: 10rem;
}
.saturday__classTime {
}
.classTime__title {
  font-size: 1.5rem;
  font-weight: 300;
  letter-spacing: 0.1rem;
  display: inline-block;
  border-bottom: 0.1rem solid var(--color-secondary-dark);
}
.classTime__header {
  font-size: 4rem;
  font-family: var(--font-heading);
}
.classTime__break {
}
.classTime__notice {
  font-size: 1.6rem;
  font-weight: 600;
  letter-spacing: 0.1rem;
  margin-top: 10rem;
  color: var(--color-red-1);
}
.classTime__img {
}
.classTime__img-picture {
}

/* tab content parts ends here  */

/* <!-- =========================================
  Section class routine Course part ends here
  =============================================== --> */
/* <!-- =========================================
  Section Enroll Child starts here
  =============================================== --> */
.section-enroll-child {
  padding: 10rem 0;
  background-image: linear-gradient(
      to right bottom,
      var(--color-primary-bg-dark),
      var(--color-primary-bg-light)
    ),
    url("../img/enroll-bg.jpg");
  background-attachment: fixed;
}

.enroll-child {
}
.enroll {
  color: var(--color-white);
  font-size: 1.6rem;
  text-align: center;
  background-color: var(--color-bg-primary-dark-1);
  padding: 3rem 17rem;
  border-radius: 1rem;
}

.enroll-description {
}
.enroll-contact {
  font-size: 4rem;
  font-family: var(--font-heading);
  color: var(--color-secondary-dark);
  font-weight: 700;
  letter-spacing: 0.2rem;
}
.enroll-contact-icon {
}
.enroll-contact-icon .fa-phone-alt {
  font-size: 3rem;
}
/* <!-- =========================================
  Section Enroll Child ends here
  =============================================== --> */
/* <!-- =========================================
  Section Campus Tour ends here
  =============================================== --> */
.section-campus-tour {
  padding: 10rem 0;
  background-color: var(--color-dark-2);
}
.campus-tour-header {
  color: var(--color-secondary-dark);
}
.campus-divider {
  background-color: var(--color-white);
}
.campus-tour-img {
  margin-bottom: 2rem;
}
.campus-tour-img-pic {
  width: 100%;
  cursor: pointer;
}
.campus-tour-btn {
  text-align: center;
}
/* <!-- =========================================
  Section Campus Tour ends here
  =============================================== --> */
/* <!-- =========================================
  Section Teacher starts here
  =============================================== --> */
.section-our-teachers {
  padding: 10rem 0;
}
.our-teachers {
}
.teacher {
}
.teacher-img {
  position: relative;
}
.teacher-img-mod {
}
.teacher-contact {
  width: 100%;
  background-color: rgba(0, 0, 0, 0.7);
  position: absolute;
  top: 0;
  height: 100%;
  opacity: 0;
  transition: all 0.6s;
}
.teacher-contact-info {
  text-align: center;
  font-size: 3.6rem;
  position: absolute;
  left: 50%;
  top: 50%;
  transform: translate(-50%, -50%);
}
.teacher-i {
  color: var(--color-white);
}
.teacher-i a,
.teacher-i a:link,
.teacher-i a:visited {
  text-decoration: none;
  color: var(--color-white);
}
.teacher-fb a i {
}
.teacher-fb a i:hover {
  color: var(--color-social-1);
}
.teacher-twitter a i {
}
.teacher-twitter a i:hover {
  color: var(--color-social-2);
}
.teacher-insta a i {
}
.teacher-insta a i:hover {
  color: var(--color-social-3);
}
.teacher-linkedin a i {
}
.teacher-linkedin a i:hover {
  color: var(--color-social-4);
}
.teacher-img:hover .teacher-contact {
  opacity: 1;
}
.teacher-info {
  text-align: center;
  padding: 2rem 0;
  background-image: linear-gradient(
    to right bottom,
    var(--color-red-1),
    var(--color-secondary-dark)
  );
}
.teacher-name {
  font-size: 3rem;
  font-family: var(--font-heading);
  color: var(--color-white);
  position: relative;
}
.teacher-name:after {
  /* content: "";
  width: 4rem;
  height: 0.3rem;
  background-color: var(--color-dark-1);
  position: absolute;
  top: 4.6rem;
  left: 50%;
  transform: translate(-50%, -50%); */
}
.teacher-subject {
  font-size: 1.6rem;
  color: var(--color-white);
  /* margin-top: 2rem; */
}

/* <!-- =========================================
  Section Teacher ends here
  =============================================== --> */
/* <!-- =========================================
  Section Our Blog starts here
  =============================================== --> */
.section-our-blog {
  padding: 10rem 0;
  background-color: var(--color-secondary);
}
.blog-1 {
}
.blog-thumbnail {
}
.blog-img {
}
.blog-description {
  background-color: var(--color-white);
  padding: 2rem;
}
.blog-author {
  background-color: var(--color-red-1);
  padding: 1rem 2rem;
  color: var(--color-white);
  display: flex;
  justify-content: space-between;
}

.blog-author-name {
  margin-bottom: 0;
  font-size: 1.1rem;
}
.blog-author-name-mod {
  font-size: 1.3rem;
  font-weight: bold;
}
.blog-author-class {
  margin-bottom: 0rem;
  font-size: 1.3rem;
}
.blog-title {
}
.blog-title-link,
.blog-title-link:link,
.blog-title-link:visited {
  text-decoration: none;
  color: var(--color-primary-dark);
}
.blog-title-name {
  margin-bottom: 1rem;
}

.blog-info {
  font-size: 1.5rem;
  text-align: justify;
  color: var(--color-bg-primary-light-1);
}
/* <!-- =========================================
  Section Our Blog ends here
  =============================================== --> */
/* <!-- =========================================
  Section Newsletter starts here
  =============================================== --> */
.section-newsletter {
  padding: 8rem 0;
  background-color: var(--color-red-1);
}
.newsletter-header {
}
.newsletter-heading {
  font-size: 3.5rem;
  font-family: var(--font-heading);
  font-weight: 400;
  color: var(--color-white);
  text-transform: capitalize;
}
.newsletter-form {
}
.newsletter-form .form {
}
.newsletter-input {
  display: inline-block;
  background-color: var(--color-white);
  padding: 1rem 1.2rem;
  font-size: 1.5rem;
}

.newsletter-input i {
  font-size: 1.6rem;
  color: var(--color-bg-primary-dark-1);
}
.newsletter-input-control {
  border: none;
  background-color: transparent;
  margin-left: 1rem;
  padding-right: 10rem;
}
.newsletter-submit-btn {
  border: none;
  padding: 1rem 1.2rem;
  font-size: 1.55rem;
  font-family: var(--font-heading);
  background-color: var(--color-dark-1);
  color: var(--color-white);
}
/* <!-- =========================================
  Section Newsletter ends here
  =============================================== --> */
/* <!-- =========================================
  Section Footer starts here
  =============================================== --> */
.footer-area {
  padding: 10rem 0;
  background-color: var(--color-dark-2);
}
.footer-logo {
  font-family: var(--font-heading);
  font-weight: bold;
}
.footer-description {
  font-size: 1.5rem;
  color: var(--color-grey-1);
  margin-top: 4rem;
  text-align: justify;
}
.school-open-time {
  color: var(--color-white);
}
.school-open-header {
  font-family: var(--font-heading);
  font-size: 3rem;
  margin-bottom: 4rem;
}
.open-time {
  display: flex;
  justify-content: space-between;
  border-bottom: 0.1rem solid;
  font-size: 1.5rem;
  margin-top: 3rem;
}
.day {
}
.time {
}
.school-address {
  color: var(--color-white);
}
.school-address-info {
  display: flex;
  justify-content: flex-start;
  font-size: 1.7rem;
  margin-top: 3rem;
}
.school-address-icon {
}

.school-address-description {
  margin-left: 3rem;
}
.copyright {
  text-align: center;
  padding: 2rem 0;
}
.copyright-text {
  margin-bottom: 0;
  font-size: 1.6rem;
  font-family: var(--font-family-monospace);
  font-weight: 600;
}

/* <!-- =========================================
  Section Footer ends here
  =============================================== --> */

license: MIT

extension: css


text:
SUMMARY = "SpiderMonkey is Mozilla's JavaScript engine written in C/C++"
HOMEPAGE = "https://developer.mozilla.org/en-US/docs/Mozilla/Projects/SpiderMonkey"
LICENSE = "MPL-2.0"
LIC_FILES_CHKSUM = "file://LICENSE;md5=dc9b6ecd19a14a54a628edaaf23733bf"

# Path: /teams/releng/tarballs-needing-help/mozjs/mozjs-78.0.1gnome.tar.xz
SRC_URI = "https://download.gnome.org/teams/releng/tarballs-needing-help/mozjs/mozjs-78.0.1gnome.tar.xz;downloadfilename=mozjs78-78.0.1.tar.xz \
           file://avoid-running-autoconf2.13.patch \
           file://0001-Force-the-correct-target-string-with-environment-var.patch \
           file://0003-Set-rust-host-and-target-correctly.patch \
           file://0004-Do-not-add-RequiredDefines.h-here-instead-add-to-gjs.patch \
           file://0005-Remove-Abort-Panic-Strategy.patch \
           "

SRC_URI[md5sum] = "09bf510150144238dd31f7f4e1582cf8"
SRC_URI[sha256sum] = "78d762012be9eb460b5805da4f919d1a12b15f4040f126c98a42c4dddac7339e"
S = "${WORKDIR}/mozjs-78.0.1gnome"

inherit autotools pkgconfig perlnative python3native
inherit rust
inherit features_check
CONFLICT_DISTRO_FEATURES_mipsarchn32 = "ld-is-gold"
TOOLCHAIN = "clang"

DEPENDS += "nspr zlib rust-native cargo-native clang-native cbindgen-native nasm-native yasm-native python3"

# nspr's package-config is ignored so set libs manually
EXTRA_OECONF = " \
    --target=${TARGET_SYS} \
    --host=${HOST_SYS} \
    --prefix=${prefix} \
    --libdir=${libdir} \
    --disable-tests \
    --disable-jemalloc \
    --disable-debug-symbols \
    ${@bb.utils.contains('DISTRO_FEATURES', 'ld-is-gold', "--enable-gold", '--disable-gold', d)} \
"

PACKAGECONFIG ??= "${@bb.utils.filter('DISTRO_FEATURES', 'x11', d)}"
PACKAGECONFIG[x11] = "--x-includes=${STAGING_INCDIR} --x-libraries=${STAGING_LIBDIR},--x-includes=no --x-libraries=no,virtual/libx11"

EXTRA_OEMAKE_task-compile += "OS_LDFLAGS='-Wl,-latomic ${LDFLAGS}'"
EXTRA_OEMAKE_task-install += "STATIC_LIBRARY_NAME=js_static"

export TMP="${B}"
export RUST_HOST="${BUILD_SYS}"
export RUST_TARGET="${TARGET_SYS}"
export RUSTFLAGS=" -L ${STAGING_LIBDIR}/rust"
export RUST_TARGET_PATH="${STAGING_LIBDIR_NATIVE}/rustlib"
export BINDGEN_MFLOAT="${@bb.utils.contains('TUNE_CCARGS_MFLOAT', 'hard', '-mfloat-abi=hard', '', d)}"
export BINDGEN_CFLAGS="--target=${RUST_TARGET_SYS} --sysroot=${RECIPE_SYSROOT} ${BINDGEN_MFLOAT}"
export INSTALL_SDK="0"
export STAGING_LIBDIR

#
# Silence a host leak while linking native binary (nsinstall_real) used during the
# mozjs build. This should be fixed, but I was unable to find a way to do so.
#
# log.do_compile:
#
#    recipe-sysroot-native/usr/bin/x86_64-oe-linux/x86_64-oe-linux-clang -std=gnu99 -o nsinstall_real -DXP_UNIX -O3  host_nsinstall.o host_pathsub.o
#
#    recipe-sysroot-native/usr/bin/x86_64-oe-linux-ld:
#
#        warning: library search path "/usr/lib/gcc/x86_64-linux-gnu/9" is unsafe for cross-compilation
#        warning: library search path "/usr/lib/gcc/x86_64-linux-gnu/9/../../../x86_64-linux-gnu" is unsafe for cross-compilation
#        warning: library search path "/usr/lib/gcc/x86_64-linux-gnu/9/../../../lib64" is unsafe for cross-compilation
#        warning: library search path "/usr/lib/gcc/x86_64-linux-gnu/9/../../.." is unsafe for cross-compilation
#
ERROR_QA_remove = "compile-host-path"

setup_pythonpath() {
    export SHELL="/bin/sh"
    cd ${S}
    PYTHONPATH="${S}/config:${S}/build"
    for mod in which pytoml jsmin distro six pyyaml/lib3; do
        PYTHONPATH="$PYTHONPATH:${S}/third_party/python/${mod}"
    done

    for sub_dir in python testing/mozbase; do
        for module_dir in `ls $sub_dir -1`;do
            if [ -d "${S}/$sub_dir/$module_dir" ];then
                PYTHONPATH="$PYTHONPATH:${S}/$sub_dir/$module_dir"
            fi
        done
    done
    export PYTHONPATH
    cd ${B}
}

do_configure() {
    setup_pythonpath
    mkdir -p "${B}/_virtualenvs"
    ln -s "../../recipe-sysroot-native/usr/lib" "${B}/_virtualenvs/lib"
    ${S}/js/src/configure ${EXTRA_OECONF}
}

do_compile_prepend() {
    setup_pythonpath
}

do_install_prepend() {
    setup_pythonpath
}

do_install_append() {
    rm -f ${D}/${libdir}/libjs.a
}

PACKAGES =+ "lib${BPN}"
FILES_lib${BPN} += "${libdir}/lib*.so"

FILES_${PN}-dev += "${bindir}/js78-config"
RPROVIDES_lib${BPN} += "libmozjs-78"

DISABLE_STATIC = ""

repository: mckinney-subgraph/citadel

repo_name: mckinney-subgraph/citadel

gha_language: BitBake

extension: bb


text:
@article{bansalrdataretriever,
 author = {Bansal, Max Pohlman10 and White, Ethan P},
 title = {Rdataretriever: R Interface to the Data Retriever}
}

repository: weecology/website

repo_name: weecology/website

branch_name: refs/heads/main

gha_license_id: MIT

gha_language: TeX


text:
vcpkg_download_distfile(ARCHIVE
    URLS "https://github.com/jrl-umi3218/mc_rbdyn_urdf/releases/download/v1.1.0/mc_rbdyn_urdf-v1.1.0.tar.gz"
    FILENAME "mc_rbdyn_urdf-v1.1.0.tar.gz"
    SHA512 024421cba599ea44c6e2cd3a2268fd52345cbd12831461213262ab469af60b9b0f923fe41e942ef009d8bfd2b01c64327840d07dea725e25c4323b61a73e4c08
)

vcpkg_extract_source_archive_ex(
    OUT_SOURCE_PATH SOURCE_PATH
    ARCHIVE ${ARCHIVE}
    REF 1.1.0
)

vcpkg_configure_cmake(
    SOURCE_PATH ${SOURCE_PATH}
    PREFER_NINJA
    OPTIONS
      -DBUILD_TESTING:BOOL=OFF
      -DPYTHON_BINDING:BOOL=OFF
)

vcpkg_install_cmake()

vcpkg_fixup_cmake_targets(CONFIG_PATH lib/cmake/mc_rbdyn_urdf TARGET_PATH share/mc_rbdyn_urdf)

file(INSTALL ${SOURCE_PATH}/LICENSE DESTINATION ${CURRENT_PACKAGES_DIR}/share/${PORT} RENAME copyright)
file(REMOVE_RECURSE ${CURRENT_PACKAGES_DIR}/debug/include)
file(REMOVE_RECURSE ${CURRENT_PACKAGES_DIR}/debug/share)

extension: cmake


text:
#
# base recipe: meta/recipes-extended/sed/sed_4.2.2.bb
# base branch: jethro
#

SUMMARY = "The GNU sed stream editor"
DESCRIPTION = "sed reads the specified files or the standard input if no \
files are specified, makes editing changes according to a \
list of commands, and writes the results to the standard \
output."
HOMEPAGE = "http://www.gnu.org/software/sed/"

PR = "r2"

inherit debian-package

LICENSE = "GPLv2+ & GPLv3+"
LIC_FILES_CHKSUM = " \
	file://COPYING;md5=f27defe1e96c2e1ecd4e0c9be8967949 \
	file://sed/sed.h;beginline=1;endline=17;md5=767ab3a06d7584f6fd0469abaec4412f \
	file://debian/copyright;md5=27c0cc3a8e6b182f66de46caf568799a \
"

SRC_URI += " \
    file://sed-add-ptest.patch \
    file://run-ptest \
"

RDEPENDS_${PN}-ptest += "make ${PN}"

inherit autotools texinfo update-alternatives gettext ptest

# Follow debian/rules
# --without-selinux: Don't use selinux support
EXTRA_OECONF = " \
	--without-included-regex \
	--without-selinux \
"

do_install () {
	autotools_do_install
	install -d ${D}${base_bindir}
	mv ${D}${bindir}/sed ${D}${base_bindir}/sed
	rmdir ${D}${bindir}/
}

ALTERNATIVE_${PN} = "sed"
ALTERNATIVE_LINK_NAME[sed] = "${base_bindir}/sed"
ALTERNATIVE_PRIORITY = "100"

TESTDIR = "testsuite"

do_compile_ptest() {
	oe_runmake -C ${TESTDIR} buildtest-TESTS
}

do_install_ptest() {
	oe_runmake -C ${TESTDIR} install-ptest BUILDDIR=${B} DESTDIR=${D}${PTEST_PATH} TESTDIR=${TESTDIR}
}

BBCLASSEXTEND = "native"

repository: nghiaht-tsdv/meta-debian

repo_name: nghiaht-tsdv/meta-debian

branch_name: refs/heads/jethro


text:
.multiFileUploadContainer>* {
	float: left;
}

.multiFileUploadText {
	width: 190px;
	height: 100%;
	resize: none;
	border: 1px solid #ccc;
	outline: none;
	border-right: 0;
	box-sizing: border-box;
}

.multiFileUpload {
	width: 40px;
	height: 100%;
	background-color: #e5eff7;
	border: 0;
	outline: none;
	border-radius: 2px;
	cursor: pointer;
	text-align: center;
	border: 1px solid #ccc;
	border-left: 0;
}


text:
body {
   font-family: arial, helvetica, sans-serif;
  	voice-family: "\"}\"";
  	voice-family: inherit;
  	font-size: small;
	padding: 0;
	margin: 0;
	width: 100%;
	display:table;
	margin-left : auto;
    margin-right : auto;
    text-align: center;
}

img {
	border: none;
}

#wrapper
{
	width: 100%;
	margin: 0 auto;
	position: relative;
	text-aling:left;
}

/* primer columna*/
#leftPanel {
	width: 230px;
	text-align: left;
}

.ocultar
{
	display: none;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 10px;
	font-style: normal;
	line-height: normal;
	font-weight: normal;
	font-variant: normal;
	text-transform: none;
	font-weight: normal;
}

td
{
   font-family: Arial, Helvetica, sans-serif;
   font-size: 11px;
}

th
{
   font-family: Arial, Helvetica, sans-serif;
   font-size: 11px;
}

form
{
   font-family: Arial, Helvetica, sans-serif;
   font-size: 11px;
}

input
 {
   font-family: Arial, Helvetica, sans-serif;
   font-size: 11px;
}

textarea
{
   font-family: Arial, Helvetica, sans-serif;
   font-size: 11px;
}

select
{
   font-family: Arial, Helvetica, sans-serif;
   font-size: 11px;
   visibility: visible;
}

.small
{
   font-family: Arial, Helvetica, sans-serif;
   font-size: 9px;
}

.big
{
   font-family: Arial, Helvetica, sans-serif;
   font-size: 18px;
}

.bodystyle
{
   font-family: Arial, Helvetica, sans-serif;
   font-size: 11px;
}

.box1
{
   padding: 3px;
   border-width: thin;
   border-style: solid;
   border-color: #CCCCCC #666666 #666666 #CCCCCC;
}

.box2
{
   border-width: 3px;
   border-style: solid;
   padding: 5px;
}

/* Style of the web work portal's footer (footer.jsp) */
.footer
{
   font-family: verdana, arial, helvetica, sans-serif;
   font-size: 10px;
   font-weight: normal;
   color: #FFFF00;
   background-color: #606060
}

.tabletitle
{
   background-color: #999999;
}

.tablecell
{
   background-color: #606060;
}

.tabletitle2
{
   background-color: #E9E9E9;
}

.tablecell2
{
   background-color: #FFFFFF;
   color: #E9E9E9;
}

.tableDetails
{
	border:1px solid #ccc;
}

.tableHeader
{
	height: 30px;
	background-image: url(../pics/menu.gif);
	background-attachment:  scroll;
	background-repeat: repeat;
	background-position: left top;
	margin: 2px 2px 0 2px;
	padding: 3px 0 0 20px;
	font-weight: bold;
	color:#fff;
	vertical-align: middle;
	direction: ltr;
	word-spacing: normal;
	line-height: 13.2px;
}

.tableRow
{
	color: #000;
	text-align: center;
	font-family: Arial,Verdana,sans-serif;
	font-size: 11px;
	font-style: normal;
	vertical-align: middle;
	direction: ltr;
	word-spacing: normal;
	line-height: 13.2px
}

.tableRowValues
{
	border-top: 1px solid #ccc;
	border-right: 1px solid #ccc;
}

.selectedRow
{
   background-color: #FFEDA8;
   cursor: pointer;
   color: #000;
   text-align: center;
   font-family: Arial,Verdana,sans-serif;
   font-size: 11px;
   font-style: normal;
   vertical-align: middle;
   direction: ltr;
   word-spacing: normal;
   line-height: 13.2px
}

.normalRow
{
   background-color: #FFFFFF;
   cursor: default;
   color: #000;
   text-align: center;
   font-family: Arial,Verdana,sans-serif;
   font-size: 11px;
   font-style: normal;
   vertical-align: middle;
   direction: ltr;
   word-spacing: normal;
   line-height: 13.2px
}

/* Style of the web work portal's table cells */
.datosTablaTransDaily {
   font-family: Verdana, Arial, Helvetica, sans-serif;
   font-size: 11px;
   color: #494949;
   background-color: #FFFFFF;
}

.tbl_border {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 10px;
	font-style: normal;
	line-height: normal;
	font-weight: normal;
	font-variant: normal;
	text-transform: none;
	font-weight: bold;
	color: #000000;
	border: 1px solid #CE000C;
}
.td_header {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 11px;
	font-style: normal;
	line-height: normal;
	font-variant: normal;
	text-transform: none;
	color: #000000;
	background-image: url(../pics/menu.gif);
	background-repeat: repeat-x;
}
.td_header_p {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 12px;
	font-style: bold;
	line-height: normal;
	vertical-align: center;
	font-variant: normal;
	text-transform: none;
	padding-top: 5px;
	color: #FFFFFF;
	background-image: url(../pics/backgroundHeaderTable.JPG);
	background-repeat: repeat-x;
}
.td_data {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 10px;
	font-style: normal;
	line-height: normal;
	font-weight: normal;
	font-variant: normal;
	text-transform: none;
	color: #22568F;
}

#btnLstTOC
{
	font-weight: bold;
}

.titulo {
	height: 21px;
	background-image: url(../pics/menu.gif);
	background-attachment: scroll;
	background-repeat: repeat-x;
	background-position: left top;
	padding-top: 8px;
	padding-left: 20px;
	font-weight: bold;
	color:#fff;
}

/* navegador*/
#linkList {
	font-weight: normal;
}
#linkList ul {
	margin: 0;
	padding: 0 0 20px 0;
}
#linkList li {
	line-height: 1.3em;
	background-color: #606060;
	display: block;
	padding: 3px 0 3px 10px;
	margin-bottom: 2px;
	list-style-type: none;
	text-decoration: none;
}
#linkList li a:link {
	color: #FFFFFF;
	text-decoration: none;
}
#linkList li a:visited {
	color: #FFFFFF;
	text-decoration: none;
}

/* segunda columna*/
#rightPanel {
	width: 100%;
	margin-left: 0px;
	margin-right: 0px;
}
#header {
	width: 100%;
	height: 70px;
	background-image: url(../pics/header.jpg);
	background-repeat: no-repeat;
	background-position: center top;
	margin: 0 0 10px 0;
}

#logotipo {
	width: 199px;
	height: 79px;
	background-image: url(../pics/logotipo.jpg);
	background-attachment: scroll;
	background-repeat: no-repeat;
	background-position: left top;
	margin: 40px 0 20px 15px;
}

#bar {
	max-width: 100%;
	height: 25px;
	background-image: url(../pics/menu.gif);
	background-attachment: scroll;
	background-repeat: repeat-x;
	background-position: left top;
}
/*Marketing*/
#marketing {
	width:730px;
	height: 310px;
	margin-top: 16px;
	margin-left: 2px;
	padding-bottom: 40px;
	position: relative;
}

#marketing_left {
	width:240px;
	left: -50px;
	position: absolute;
}

#marketing_center {
	width:240px;
	left: 246px;
	position: absolute;
}

#marketing_right {
	width:240px;
	left: 543px;
	position: absolute;
}

#title_marketing{
	top: -20px;
	position:relative;
}

#imageSalida{
	top: -37px;
	position:relative;
}

#marketing_left_text{
	width: 230px;
	text-align:justify;
	top: -10px;
	font-size: 13px;
	line-height: 18px;
	font-weight: 100;
	position: relative;
}

#marketing_center_text{
	width: 230px;
	text-align:justify;
	padding-top: 9px;
	font-size: 13px;
	line-height: 18px;
	font-weight: 100;
}

#marketing_right_text{
	width: 230px;
	text-align:justify;
	top: -10px;
	font-size: 13px;
	line-height: 18px;
	font-weight: 100;
	position: relative;
}

/*Link*/
#imageLink{
	border: none;
}
#links a:link{
	color: #3e4545;
	text-decoration: none;
	border-bottom: 1px solid #303030;
}

#links a:visited{
	color: #3e4545;
	text-decoration: none;
	border-bottom: 1px solid #303030;
}

#links a:hover {
	color: #000;
	text-decoration: none;
	border-bottom: 1px solid #303030;
}

#links a:active{
	color: #000;
	text-decoration: none;
	border-bottom: 1px solid #303030;
}

/*tabla*/
#tabla {
	width: 100% ;
	height: 160px;
	border: 1px solid #CE000C;
	margin-bottom:20px;
}
#tablam {
	width: 50% ;
	height: 65px;
	border: 1px solid #CE000C;
	background-image: url(../pics/menu.gif);
	background-attachment: scroll;
	background-repeat: repeat-x;
	background-position: left top;
	font-weight: bold;
	text-align: center;
}
#tituloTab {
	height: 20px;
	background-image: url(../pics/menu.gif);
	background-attachment: scroll;
	background-repeat: repeat-x;
	background-position: left top;
	margin: 2px 2px 0 2px;
	padding: 3px 0 0 20px;
	font-weight: bold;
	color:#fff;
	text-align: left;
}
#tituloTabL {
	height: 20px;
	background-image: url(../pics/menu.gif);
	background-attachment: scroll;
	background-repeat: repeat-x;
	background-position: left top;
	margin: 2px 2px 0 2px;
	padding: 3px 0 0 20px;
	font-weight: bold;
	color:#000000;
	text-align: center;
}
/*footer*/
#footer
{
	width: 100%;
	height: 25px;
	background-image: url(../pics/menuf.gif);
	background-attachment: scroll;
	background-repeat: repeat-x;
	background-position: left top;	text-align:center;
	color: #C67E0D;
	padding-top: 5px;
	clear: both;
}
#footer a:link{
	color: #FF6A00;
	text-decoration: none;
}

#footer a:visited{
	color: #4C4C4C;
	text-decoration: none;
}

#footer a:hover {
	color: #4C4C4C;
	text-decoration: none;
}

#footer a:active{
	color: #4C4C4C;
	text-decoration: none;
}

#copy {
	font-size: x-small;
	color: #999999;
	text-align: center;
}

#hm1
{
	width: 600px;
	height: 70px;
	background-image: url(../pics/header1.jpg);
	background-repeat: no-repeat;
}

#hm2
{
	witdh: 20px;
	height: 70px;
	background-image: url(../pics/headerext.jpg);
	background-repeat: repeat-x;
	background-position: center;
}

#hm3
{
	width: 250px;
	height: 70px;
	background-image: url(../pics/header2.jpg);
	background-repeat: no-repeat;
	background-position: right;

	}

/*Inicia WELLCOM Marca de cambio N-08-2253-12*/
#hm4
{
	width: 600px;
	height: 20px;
	background-image: url(../pics/footer1.jpg);
	background-repeat: no-repeat;
}

#hm5
{
	witdh: 20px;
	height: 20px;
	background-image: url(../pics/footerext.jpg);
	background-repeat: repeat-x;
	background-position: center;
}

#hm6
{
	width: 250px;
	height: 20px;
	background-image: url(../pics/footer2.jpg);
	background-repeat: no-repeat;
	background-position: right;
}
/*Fin WELLCOM Marca de cambio N-08-2253-12*/

.tablaReportsPrincipal {
   background-color: #DDFFAA;
}

repository: eduardoarzate/os-first-migration

repo_name: eduardoarzate/os-first-migration


text:
@article{saxena_seismicity_2021,
 abstract = {Sources of stress responsible for earthquakes occurring in the Central and Eastern United States (CEUS) include not only far-ﬁeld plate boundary forces but also various local contributions. In this study, we model stress ﬁelds due to heterogeneities in the upper mantle beneath the CEUS including a high-velocity feature identiﬁed as a lithospheric drip in a recent regional P-wave tomography study. We calculate velocity and stress distributions from numerical models for instantaneous 3-D mantle ﬂow. Our models are driven by the heterogeneous density distribution based on a temperature ﬁeld converted from the tomography study. The temperature ﬁeld is utilized in a composite rheology, assumed for the numerical models. We compute several geodynamic quantities with our numerical models: dynamic topography, rate of dynamic topography, gravitational potential energy (GPE), differential stress, and Coulomb stress. We ﬁnd that the GPE, representative of the density anomalies in the lithosphere, is an important factor for understanding the seismicity of the CEUS. When only the upper mantle heterogeneities are included in a model, differential and Coulomb stress for the observed fault geometries in the CEUS seismic zones acts as a good indicator to predict the seismicity distribution. Our modelling results suggest that the upper mantle heterogeneities and structure below the CEUS have stress concentration effects and are likely to promote earthquake generation at preexisting faults in the region’s seismic zones. Our results imply that the mantle ﬂow due to the upper-mantle heterogeneities can cause stress perturbations, which could help explain the intraplate seismicity in this region.},
 author = {Saxena, Arushi and Choi, Eunseo and Powell, Christine A and Aslam, Khurram S},
 doi = {10.1093/gji/ggab051},
 file = {Saxena et al_2021_Seismicity in the central and southeastern United States due to upper mantle.pdf:C\:\\Users\\eddy_\\Google Drive\\Mendeley Desktop\\Saxena et al_2021_Seismicity in the central and southeastern United States due to upper mantle.pdf:application/pdf},
 issn = {0956-540X, 1365-246X},
 journal = {Geophysical Journal International},
 language = {en},
 month = {March},
 number = {3},
 pages = {1624--1636},
 title = {Seismicity in the central and southeastern United States due to upper mantle heterogeneities},
 url = {https://academic.oup.com/gji/article/225/3/1624/6166784},
 urldate = {2021-06-02},
 volume = {225},
 year = {2021}
}


text:
FIND_PATH(COMPRESSION_ALGS_INCLUDE_DIR NAMES compression-algs.hpp)
FIND_LIBRARY(COMPRESSION_ALGS_LIBRARY NAMES compression-algs)

INCLUDE(FindPackageHandleStandardArgs)
FIND_PACKAGE_HANDLE_STANDARD_ARGS(COMPRESSION_ALGS REQUIRED_VARS
	COMPRESSION_ALGS_LIBRARY COMPRESSION_ALGS_INCLUDE_DIR)

IF(COMPRESSION_ALGS_FOUND)
    SET(COMPRESSION_ALGS_LIBRARIES ${COMPRESSION_ALGS_LIBRARY})
    SET(COMPRESSION_ALGS_INCLUDE_DIRS ${COMPRESSION_ALGS_INCLUDE_DIR})
ENDIF()

repository: Lw-Cui/compression-algs

repo_name: Lw-Cui/compression-algs


text:
#MapInfoTooltip {
    position: absolute;
    z-index: 2;
}

#MapInfoTooltip div.mapinfotooltip-window {
    margin-top: 1em;
    background: white;
    box-shadow: 0px 0px 5px rgba(136, 136, 136, 1);
    border: 1px solid @item_border@;
    border-radius: 0.5em;
    transform: translate(-50%, 0);
    -webkit-font-smoothing: antialiased;
    white-space: nowrap;
}

#MapInfoTooltip div.mapinfotooltip-titlebar {
    background-color: @button_bg@;
    font-weight: bold;
    padding: 0.25em 0.5em;
    border-radius: 0.5em 0.5em 0 0;
    display: flex;
    align-items: center;
}

#MapInfoTooltip span.mapinfotooltip-title {
    flex: 1 1 auto;
}

#MapInfoTooltip span.mapinfotooltip-button {
    flex: 0 0 auto;
    margin-left: 0.5em;
}

#MapInfoTooltip div.mapinfotooltip-body {
    padding: 0.5em;
    font-size: 75%;
}

#MapInfoTooltip div.mapinfotooltip-body:before {
    content: '';
    display: block;
    position: absolute;
    left: calc(50% - 1.1em);
    top: -1.1em;
    width: 0;
    height: 0;
    border-left: 1.1em solid transparent;
    border-right: 1.1em solid transparent;
    border-bottom: 1.1em solid @item_border@;
}

#MapInfoTooltip div.mapinfotooltip-body:after {
    content: '';
    display: block;
    position: absolute;
    left: calc(50% - 1em);
    top: -1em;
    width: 0;
    height: 0;
    border-left: 1em solid transparent;
    border-right: 1em solid transparent;
    border-bottom: 1em solid @button_bg@;
}

#MapInfoTooltip div.mapinfotooltip-body td {
    padding: 0.25em;
}

gha_license_id: NOASSERTION

gha_language: JavaScript