Filtros : "ÁLGEBRAS DE BOOLE" Limpar

Filtros



Refine with date range

Vocabulário Controlado do SIBiUSP


  • Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME

    Assunto: ÁLGEBRAS DE BOOLE

    Versão PublicadaAcesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      ALVIM, José; CAHALI, Arthur; MARIANO, Hugo Luiz. Some contributions to Boolean-valued set theory regarding arrows induced by morphisms between complete Boolean algebras. Anais.. João Pessoa: EDUFCG, 2019.Disponível em: .
    • APA

      Alvim, J., Cahali, A., & Mariano, H. L. (2019). Some contributions to Boolean-valued set theory regarding arrows induced by morphisms between complete Boolean algebras. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
    • NLM

      Alvim J, Cahali A, Mariano HL. Some contributions to Boolean-valued set theory regarding arrows induced by morphisms between complete Boolean algebras [Internet]. Book of Abstracts. 2019 ;Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
    • Vancouver

      Alvim J, Cahali A, Mariano HL. Some contributions to Boolean-valued set theory regarding arrows induced by morphisms between complete Boolean algebras [Internet]. Book of Abstracts. 2019 ;Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
  • Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME

    Assunto: ÁLGEBRAS DE BOOLE

    Versão PublicadaAcesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      BERNI, Jean Cerqueira; MARIANO, Hugo Luiz. Von Neumann regular 'C POT. ∞'-rings and applications to Boolean algebras. Anais.. João Pessoa: EDUFCG, 2019.Disponível em: .
    • APA

      Berni, J. C., & Mariano, H. L. (2019). Von Neumann regular 'C POT. ∞'-rings and applications to Boolean algebras. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
    • NLM

      Berni JC, Mariano HL. Von Neumann regular 'C POT. ∞'-rings and applications to Boolean algebras [Internet]. Book of Abstracts. 2019 ;Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
    • Vancouver

      Berni JC, Mariano HL. Von Neumann regular 'C POT. ∞'-rings and applications to Boolean algebras [Internet]. Book of Abstracts. 2019 ;Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
  • Unidade: IME

    Subjects: TOPOLOGIA, ÁLGEBRA, ÁLGEBRAS DE BOOLE, ESPAÇOS TOPOLÓGICOS

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      CARVALHO, Rodrigo Rey; JUNQUEIRA, Lucia Renato. O problema de Scarborough-Stone. 2018.Universidade de São Paulo, São Paulo, 2018. Disponível em: < http://www.teses.usp.br/teses/disponiveis/45/45131/tde-26042018-162455/pt-br.php >.
    • APA

      Carvalho, R. R., & Junqueira, L. R. (2018). O problema de Scarborough-Stone. Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45131/tde-26042018-162455/pt-br.php
    • NLM

      Carvalho RR, Junqueira LR. O problema de Scarborough-Stone [Internet]. 2018 ;Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-26042018-162455/pt-br.php
    • Vancouver

      Carvalho RR, Junqueira LR. O problema de Scarborough-Stone [Internet]. 2018 ;Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-26042018-162455/pt-br.php
  • Unidade: ICMC

    Subjects: TEORIA DOS CONJUNTOS, TOPOLOGIA, ESPAÇOS DE BANACH, ÁLGEBRAS DE BOOLE, FUNÇÕES CONTÍNUAS, ESPAÇOS COMPACTOS, TEOREMA DE RADON

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      FERNÁNDEZ, Juan Francisco Camasca; AURICHI, Leandro Fiorini. Algumas aplicações de combinatória infinita a espaços de funções contínuas. 2017.Universidade de São Paulo, São Carlos, 2017. Disponível em: < http://www.teses.usp.br/teses/disponiveis/55/55135/tde-27072017-164022/ >.
    • APA

      Fernández, J. F. C., & Aurichi, L. F. (2017). Algumas aplicações de combinatória infinita a espaços de funções contínuas. Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55135/tde-27072017-164022/
    • NLM

      Fernández JFC, Aurichi LF. Algumas aplicações de combinatória infinita a espaços de funções contínuas [Internet]. 2017 ;Available from: http://www.teses.usp.br/teses/disponiveis/55/55135/tde-27072017-164022/
    • Vancouver

      Fernández JFC, Aurichi LF. Algumas aplicações de combinatória infinita a espaços de funções contínuas [Internet]. 2017 ;Available from: http://www.teses.usp.br/teses/disponiveis/55/55135/tde-27072017-164022/
  • Source: SoftwareX. Unidade: IME

    Assunto: ÁLGEBRAS DE BOOLE

    Versão PublicadaAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      REIS, Marcelo da Silva; ESTRELA, Gustavo; FERREIRA, Carlos Eduardo; BARRERA, Júnior. featsel: a framework for benchmarking of feature selection algorithms and cost functions. SoftwareX, Amsterdan, v. 6, p. 193-197, 2017. Disponível em: < http://dx.doi.org/10.1016/j.softx.2017.07.005 > DOI: 10.1016/j.softx.2017.07.005.
    • APA

      Reis, M. da S., Estrela, G., Ferreira, C. E., & Barrera, J. (2017). featsel: a framework for benchmarking of feature selection algorithms and cost functions. SoftwareX, 6, 193-197. doi:10.1016/j.softx.2017.07.005
    • NLM

      Reis M da S, Estrela G, Ferreira CE, Barrera J. featsel: a framework for benchmarking of feature selection algorithms and cost functions [Internet]. SoftwareX. 2017 ; 6 193-197.Available from: http://dx.doi.org/10.1016/j.softx.2017.07.005
    • Vancouver

      Reis M da S, Estrela G, Ferreira CE, Barrera J. featsel: a framework for benchmarking of feature selection algorithms and cost functions [Internet]. SoftwareX. 2017 ; 6 193-197.Available from: http://dx.doi.org/10.1016/j.softx.2017.07.005
  • Source: Proceedings of the American Mathematical Society. Unidade: IME

    Subjects: ESPAÇOS DE BANACH, ÁLGEBRAS DE BOOLE, INDEPENDÊNCIA E CONSISTÊNCIA, TOPOLOGIA

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      BRECH, Christina; KOSZMIDER, Piotr. An isometrically universal Banach space induced by a non-universal Boolean algebra. Proceedings of the American Mathematical Society, Providence, v. 144, n. 5, p. 2029-2036, 2016. Disponível em: < http://dx.doi.org/10.1090/proc/12862 > DOI: 10.1090/proc/12862.
    • APA

      Brech, C., & Koszmider, P. (2016). An isometrically universal Banach space induced by a non-universal Boolean algebra. Proceedings of the American Mathematical Society, 144( 5), 2029-2036. doi:10.1090/proc/12862
    • NLM

      Brech C, Koszmider P. An isometrically universal Banach space induced by a non-universal Boolean algebra [Internet]. Proceedings of the American Mathematical Society. 2016 ; 144( 5): 2029-2036.Available from: http://dx.doi.org/10.1090/proc/12862
    • Vancouver

      Brech C, Koszmider P. An isometrically universal Banach space induced by a non-universal Boolean algebra [Internet]. Proceedings of the American Mathematical Society. 2016 ; 144( 5): 2029-2036.Available from: http://dx.doi.org/10.1090/proc/12862
  • Unidade: ICMC

    Subjects: ÁLGEBRAS DE BOOLE, TOPOLOGIA, TEORIA DOS CONJUNTOS

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      PEREIRA, Júnio Luan; AURICHI, Leandro Fiorini. A técnica de forcing e aplicações. 2016.Universidade de São Paulo, São Carlos, 2016. Disponível em: < http://www.teses.usp.br/teses/disponiveis/55/55135/tde-30092016-163940/ >.
    • APA

      Pereira, J. L., & Aurichi, L. F. (2016). A técnica de forcing e aplicações. Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55135/tde-30092016-163940/
    • NLM

      Pereira JL, Aurichi LF. A técnica de forcing e aplicações [Internet]. 2016 ;Available from: http://www.teses.usp.br/teses/disponiveis/55/55135/tde-30092016-163940/
    • Vancouver

      Pereira JL, Aurichi LF. A técnica de forcing e aplicações [Internet]. 2016 ;Available from: http://www.teses.usp.br/teses/disponiveis/55/55135/tde-30092016-163940/
  • Source: South American Journal of Logic. Unidade: IME

    Subjects: FORMAS QUADRÁTICAS, ÁLGEBRAS DE BOOLE, LÓGICA MATEMÁTICA

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      MARIANO, Hugo Luiz; MIRAGLIA NETO, Francisco. Model-theoretic applications of the profinite hull functor of special groups. South American Journal of Logic, Campinas, v. 1, n. 1, p. 111-133, 2015. Disponível em: < http://www.sa-logic.org/sajl-v1-i1/04-Mariano-Miraglia-SAJL.pdf >.
    • APA

      Mariano, H. L., & Miraglia Neto, F. (2015). Model-theoretic applications of the profinite hull functor of special groups. South American Journal of Logic, 1( 1), 111-133. Recuperado de http://www.sa-logic.org/sajl-v1-i1/04-Mariano-Miraglia-SAJL.pdf
    • NLM

      Mariano HL, Miraglia Neto F. Model-theoretic applications of the profinite hull functor of special groups [Internet]. South American Journal of Logic. 2015 ; 1( 1): 111-133.Available from: http://www.sa-logic.org/sajl-v1-i1/04-Mariano-Miraglia-SAJL.pdf
    • Vancouver

      Mariano HL, Miraglia Neto F. Model-theoretic applications of the profinite hull functor of special groups [Internet]. South American Journal of Logic. 2015 ; 1( 1): 111-133.Available from: http://www.sa-logic.org/sajl-v1-i1/04-Mariano-Miraglia-SAJL.pdf
  • Unidade: IME

    Subjects: ESTATÍSTICA, ANÁLISE DE SOBREVIVÊNCIA, PROGRAMAÇÃO MATEMÁTICA, ÁLGEBRAS DE BOOLE, INFERÊNCIA NÃO PARAMÉTRICA, CIRCUITOS DE CHAVEAMENTO, TEORIA DA CONFIABILIDADE

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      BUENO, Vanderlei da Costa. Reliability lower bounds for a coherent system under dependence conditions. [S.l: s.n.], 2014.
    • APA

      Bueno, V. da C. (2014). Reliability lower bounds for a coherent system under dependence conditions. São Paulo: IME-USP.
    • NLM

      Bueno V da C. Reliability lower bounds for a coherent system under dependence conditions. 2014 ;
    • Vancouver

      Bueno V da C. Reliability lower bounds for a coherent system under dependence conditions. 2014 ;
  • Source: IEEE-ACM Transactions on Computational Biology and Bioinformatics. Unidade: IME

    Subjects: ÁLGEBRAS DE BOOLE, EXPRESSÃO GÊNICA, ANÁLISE DE SÉRIES TEMPORAIS

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      HIGA, Carlos H. A; ANDRADE, Tales Pinheiro de; HASHIMOTO, Ronaldo Fumio. Growing seed genes from time series data and thresholded Boolean networks with perturbation. IEEE-ACM Transactions on Computational Biology and Bioinformatics, Los Alamitos, v. 10, n. 1, p. 37-49, 2013. Disponível em: < http://dx.doi.org/10.1109/TCBB.2012.169 > DOI: 10.1109/TCBB.2012.169.
    • APA

      Higa, C. H. A., Andrade, T. P. de, & Hashimoto, R. F. (2013). Growing seed genes from time series data and thresholded Boolean networks with perturbation. IEEE-ACM Transactions on Computational Biology and Bioinformatics, 10( 1), 37-49. doi:10.1109/TCBB.2012.169
    • NLM

      Higa CHA, Andrade TP de, Hashimoto RF. Growing seed genes from time series data and thresholded Boolean networks with perturbation [Internet]. IEEE-ACM Transactions on Computational Biology and Bioinformatics. 2013 ; 10( 1): 37-49.Available from: http://dx.doi.org/10.1109/TCBB.2012.169
    • Vancouver

      Higa CHA, Andrade TP de, Hashimoto RF. Growing seed genes from time series data and thresholded Boolean networks with perturbation [Internet]. IEEE-ACM Transactions on Computational Biology and Bioinformatics. 2013 ; 10( 1): 37-49.Available from: http://dx.doi.org/10.1109/TCBB.2012.169
  • Unidade: ICMC

    Subjects: TOPOLOGIA CONJUNTÍSTICA, TEORIA DOS CONJUNTOS, ORDENS PARCIAIS, ÁLGEBRAS DE BOOLE

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      LARA, Dione Andrade; AURICHI, Leandro Fiorini. Ordens parciais e aplicações. 2012.Universidade de São Paulo, São Carlos, 2012. Disponível em: < http://www.teses.usp.br/teses/disponiveis/55/55135/tde-21092012-143831/ >.
    • APA

      Lara, D. A., & Aurichi, L. F. (2012). Ordens parciais e aplicações. Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55135/tde-21092012-143831/
    • NLM

      Lara DA, Aurichi LF. Ordens parciais e aplicações [Internet]. 2012 ;Available from: http://www.teses.usp.br/teses/disponiveis/55/55135/tde-21092012-143831/
    • Vancouver

      Lara DA, Aurichi LF. Ordens parciais e aplicações [Internet]. 2012 ;Available from: http://www.teses.usp.br/teses/disponiveis/55/55135/tde-21092012-143831/
  • Source: Proceedings. Conference titles: ACM International Conference on Bioinformatics, Computational Biology and Biomedicine - BCB' 12. Unidade: IME

    Subjects: ÁLGEBRAS DE BOOLE, BIOINFORMÁTICA, MATEMÁTICA DA COMPUTAÇÃO

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      LOUZADA, Vitor Hugo; LOPES, Fabrício M; HASHIMOTO, Ronaldo Fumio. A Monte Carlo approach to measure the robustness of Boolean networks. Anais.. New York: ACM, 2012.Disponível em: DOI: 10.1145/2382936.2383062.
    • APA

      Louzada, V. H., Lopes, F. M., & Hashimoto, R. F. (2012). A Monte Carlo approach to measure the robustness of Boolean networks. In Proceedings. New York: ACM. doi:10.1145/2382936.2383062
    • NLM

      Louzada VH, Lopes FM, Hashimoto RF. A Monte Carlo approach to measure the robustness of Boolean networks [Internet]. Proceedings. 2012 ;Available from: https://doi.org/10.1145/2382936.2383062
    • Vancouver

      Louzada VH, Lopes FM, Hashimoto RF. A Monte Carlo approach to measure the robustness of Boolean networks [Internet]. Proceedings. 2012 ;Available from: https://doi.org/10.1145/2382936.2383062
  • Source: Proceedings. Conference titles: International Symposium on Bioinformatics Research and Applications - ISBRA. Unidades: IME, BIOINFORMÁTICA

    Subjects: ÁLGEBRAS DE BOOLE, BIOINFORMÁTICA, ANÁLISE DE SÉRIES TEMPORAIS

    PrivadoAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      HIGA, Carlos H A; PATRICIO, Vitor Hugo Louzada; HASHIMOTO, Ronaldo Fumio. Analysis of gene interactions using restricted boolean networks and time-series data. Anais.. Berlin: Springer, 2010.Disponível em: DOI: 10.1007/978-3-642-13078-6_9.
    • APA

      Higa, C. H. A., Patricio, V. H. L., & Hashimoto, R. F. (2010). Analysis of gene interactions using restricted boolean networks and time-series data. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-13078-6_9
    • NLM

      Higa CHA, Patricio VHL, Hashimoto RF. Analysis of gene interactions using restricted boolean networks and time-series data [Internet]. Proceedings. 2010 ;Available from: https://doi.org/10.1007/978-3-642-13078-6_9
    • Vancouver

      Higa CHA, Patricio VHL, Hashimoto RF. Analysis of gene interactions using restricted boolean networks and time-series data [Internet]. Proceedings. 2010 ;Available from: https://doi.org/10.1007/978-3-642-13078-6_9
  • Unidade: IME

    Assunto: ÁLGEBRAS DE BOOLE

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      BALCERZAK, Marek; BARTOSZEWICZ, Artur; KOSZMIDER, Piotr Boleslaw. On Marczewsi-Burstin representable algebras. [S.l: s.n.], 2003.
    • APA

      Balcerzak, M., Bartoszewicz, A., & Koszmider, P. B. (2003). On Marczewsi-Burstin representable algebras. São Paulo: IME-USP.
    • NLM

      Balcerzak M, Bartoszewicz A, Koszmider PB. On Marczewsi-Burstin representable algebras. 2003 ;
    • Vancouver

      Balcerzak M, Bartoszewicz A, Koszmider PB. On Marczewsi-Burstin representable algebras. 2003 ;
  • Unidade: EESC

    Assunto: ÁLGEBRAS DE BOOLE

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      BASSI, Achille. Dualidade na algebras de boole topologicas e suas consequencias. 1961.Universidade de São Paulo, Sao Carlos, 1961.
    • APA

      Bassi, A. (1961). Dualidade na algebras de boole topologicas e suas consequencias. Universidade de São Paulo, Sao Carlos.
    • NLM

      Bassi A. Dualidade na algebras de boole topologicas e suas consequencias. 1961 ;
    • Vancouver

      Bassi A. Dualidade na algebras de boole topologicas e suas consequencias. 1961 ;

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2021