Search Results - "CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO"
-
1
Authors: et al.
Subject Terms: Ciência da computação, Matemática, Álgebra linear, CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO
File Description: application/pdf
Relation: FORTES, Patricia Rodrigues . [et al]. Matemática II. 1. ed. Santa Maria, RS: UFSM, NTE, UAB, 2019.; http://repositorio.ufsm.br/handle/1/18331
Availability: http://repositorio.ufsm.br/handle/1/18331
-
2
Authors: et al.
Subject Terms: Ciência da computação, Matemática, Matemática discreta, CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO
File Description: application/pdf
Relation: BORTOLINI, Cristiano . [et al]. Matemática I. 1. ed. Santa Maria, RS: UFSM, NTE, UAB, 2017.; http://repositorio.ufsm.br/handle/1/18333
Availability: http://repositorio.ufsm.br/handle/1/18333
-
3
Authors: et al.
Contributors: et al.
Subject Terms: Computação-paralela, Parallel computing, CUDA, Parabolic equations, Equações-parabólicas, Parallel cyclic, GPU, reduction, Redução cíclica paralela, PCR, CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA::TELECOMUNICACOES::TEORIA ELETROMAGNETICA, MICROONDAS, PROPAGACAO DE ONDAS, ANTENAS, CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA::TELECOMUNICACOES::SISTEMAS DE TELECOMUNICACOES, CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO, CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO, CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::METODOLOGIA E TECNICAS DA COMPUTACAO
File Description: application/pdf
Availability: https://repositorio.ufu.br/handle/123456789/37342
-
4
Authors: et al.
Contributors: et al.
Subject Terms: princípio da inclusão-exclusão, inclusion-exclusion principle, programação competitiva, competitive programming, combinatória, combinatorics, CNPQ::CIENCIAS EXATAS E DA TERRA::MATEMATICA::MATEMATICA APLICADA::MATEMATICA DISCRETA E COMBINATORIA, CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO
File Description: application/pdf
Availability: https://repositorio.ufrn.br/handle/123456789/56848
-
5
Aperfeiçoamento do teste da razão de verossimilhanças baseado na função de verossimilhança perfilada
Authors: et al.
Contributors: et al.
Subject Terms: Verossimilhança perfilada, Testes aperfeiçoados, Distribuições de probabilidades, Qui-quadrado inf, CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO
Availability: https://repositorio.ufpb.br/jspui/handle/123456789/20483
-
6
Authors: et al.
Contributors: et al.
Subject Terms: Tráfego veicular, Método webster, Q-Learning, Hierarchical reinforcement learning, SUMO, CNPQ::CIÊNCIAS EXATAS E DA TERRA::CIÊNCIA DA COMPUTAÇÃO::MATEMÁTICA DA COMPUTAÇÃO
File Description: application/pdf
Relation: BORGES, Dimitrius Guilherme Ferreira. Gerenciamento de um cruzamento semaforizado utilizando reinforcement learning e options framework. 2020. 94 f. Dissertação (Mestrado em Ciência e Tecnologia da Computação.) – Universidade Federal de Itajubá, Itajubá, 2020.; https://repositorio.unifei.edu.br/jspui/handle/123456789/2275
-
7
Authors: et al.
Contributors: et al.
Subject Terms: Lógica nominal, Alpha-equivalência, Unificação de primeira-ordem, Unificação nominal, Unificação módulo teorias equacionais, Equações de ponto fixo, Nominal logic, Alpha-equivalence, First-order unification, Nominal unification, Unification modulo equational theories, Fixed point equations, CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::TEORIA DA COMPUTACAO::COMPUTABILIDADE E MODELOS DE COMPUTACAO, CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::TEORIA DA COMPUTACAO::ANALISE DE ALGORITMOS E COMPLEXIDADE DE COMPUTACAO, CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO
Relation: http://dx.doi.org/10.5281/zenodo.2582109; [1] T. Aoto and K. Kikuchi. Nominal Confluence Tool. In Proc. of the 8th Int. Joint Conf.: Automated Reasoning (IJCAR), volume 9706 of LNCS, pages 173–182. Springer, 2016. 4 [2] A. B. Avelar, A. L. Galdino, F. L. C. de Moura, and M. Ayala-Rincón. First-order unification in the PVS proof assistant. Logic Journal of the IGPL, 22(5):758–789, 2014. 5 [3] M. Ayala-Rincón, W. Carvalho-Segundo, M. Fernández, and D. Nantes-Sobrinho. Nominal C-Unification. In Proc. of the 27th Int. Symp. Logic-Based Program Synthesis and Transformation (LOPSTR), volume 10855 of LNCS, pages 235–251. Springer, 2017. 5, 7, 72, 107 [4] M. Ayala-Rincón, W. Carvalho-Segundo, M. Fernández, and D. Nantes-Sobrinho. On Solving Nominal Fixpoint Equations. In Proc. of the 11th Int. Symp. on Frontiers of Combining Systems (FroCoS), volume 10483 of LNCS, pages 209–226. Springer, 2017. 7, 107 [5] M. Ayala-Rincón, W. de Carvalho Segundo, M. Fernández, and D. Nantes-Sobrinho. A formalisation of nominal -equivalence with A and AC function symbols. ENTCS, 332:21–38, 2017. 6, 44 [6] M. Ayala-Rincón, W. de Carvalho Segundo, M. Fernández, and D. Nantes-Sobrinho. A Formalisation of Nominal -equivalence with A, C, and AC Function Symbols. TCS, 2019. Accepted manuscript in Theoretical Computer Science. 6, 44 [7] M. Ayala-Rincón, M. Fernández, W. Carvalho-Segundo, and D. Nantes-Sobrinho. A Formalisation of Nominal C-Matching through Unification with Protected Variables. In Pre-proc. of Logical and Semantic Frameworks with Applications (LSFA), to appear in ENTCS, pages 29–41. Elseviser, 2018. 7, 72 [8] M. Ayala-Rincón, M. Fernández, M. J. Gabbay, and A. C. Rocha Oliveira. Checking Overlaps of Nominal Rewriting Rules. ENTCS, 323:39–56, 2016. 4 [9] M. Ayala-Rincón, M. Fernández, and D. Nantes-Sobrinho. Nominal Narrowing. In Proc. of the 1st Int. Conf. on Formal Structures for Computation and Deduction (FSCD), volume 52 of LIPIcs, pages 11:1–11:17. SDLZI, 2016. 6 [10] M. Ayala-Rincón, M. Fernández, and D. Nantes-Sobrinho. Fixed-Point Constraints for Nominal Equational Unification. In Proc. of the 3rd Int. Conf. on Formal Structuresfor Computation and Deduction (FSCD), volume 108 of LIPIcs, pages 7:1–7:16. SDLZI, 2018. 7, 148 [11] M. Ayala-Rincón, M. Fernández, and A. C. Rocha-oliveira. Completeness in PVS of a Nominal Unification Algorithm. ENTCS, 323:57–74, 2016. 5, 32 [12] M. Ayala-Rincón, M. Fernández, A. C. Rocha-Oliveira, and D. L. Ventura. Nominal essential intersection types. Theoretical Computuper Science, 737:62–80, 2018. 5 [13] B. Aydemir, A. Bohannon, and S. Weirich. Nominal Reasoning Techniques in Coq. ENTCS, 174(5):69–77, 2007. 6 [14] F. Baader and T. Nipkow. Term Rewriting and All That. Cambridge UP, 1998. 19 [15] F. Baader and W. Snyder. Unification Theory. In Handbook of Automated Reasoning (in 2 volumes), pages 445–532. Elsevier and MIT Press, 2001. 3 [16] A. Baumgartner, T. Kutsia, J. Levy, and M. Villaret. Nominal Anti-Unification. In Rewriting Techniques and Applications, (RTA), pages 57–73. SDLZI, 2015. 4 [17] D. Benanav, D. Kapur, and P. Narendran. Complexity of Matching Problems. J. of Sym. Computation, 3(1/2):203–216, 1987. 3, 22, 62, 71 [18] A. Boudet and E. Contejean. AC-Unification of Higher-Order Patterns. In Proc. of Principles and Practice of Constraint Programming, volume 1330 of LNCS, pages 267–281. Springer, 1997. 148 [19] A. Boudet, E. Contejean, and H. Devie. A New AC Unification Algorithm with an Algorithm for Solving Systems of Diophantine Equations. Logic in Computer Science, pages 289–299, 1990. 3 [20] T. Braibant and D. Pous. Tactics for Reasoning Modulo AC in Coq. In In Proc. of the 1st. Int. Conf. on Certified Programs and Proofs (CPP), volume 7086 of LNCS, pages 167–182. Springer, 2011. 6 [21] K. F. Brandt, A. Schlichtkrull, and J. Villadsen. Formalization of First-Order Syntactic Unification. In Pre-proc. of the 32nd Int. Workshop on Unification (UNIF), 2018. 5 [22] W. E. Byrd and D. P. Friedman. Kanren: A Fresh Name in Nominal Logic Programming. In Proc. of the Workshop on Scheme and Functional Programming, pages 79–90, 2007. 4 [23] C. F. Calvès. Complexity and implementation of nominal algorithms. PhD Thesis, King’s College London, 2010. 4 [24] C. F. Calvès and M. Fernández. Matching and Alpha-Equivalence Check for Nominal Terms. J. of Computer and System Sciences, 76(5):283–301, 2010. 4, 64, 69, 70 [25] C. F. Calvès and M. Fernández. The First-order Nominal Link. In Proc. of the 20th Int. Symp. Logic-based Program Synthesis and Transformation (LOPSTR), volume 6564 of LNCS, pages 234–248. Springer, 2011. 4, 31[26] J. Cheney. Prolog User’s Guide & Language Reference Version 0.3 DRAFT, 2003. 4 [27] J. Cheney. Relating nominal and higher-order pattern unification. Proceedings of the 19th international workshop on Unification (UNIF 2005), 2005. 4 [28] J. Cheney. Equivariant unification. J. of Autom. Reasoning, 45(3):267–300, 2010. 4 [29] M. Clausen and A. Fortenbacher. Efficient Solution of Linear Diophantine Equations. J. of Sym. Computation, 8(1-2):201–216, 1989. 3 [30] E. Contejean. A Certified AC Matching Algorithm. In Proc. of the 15th Int. Conf. on Rewriting Techniques and Applications (RTA), volume 3091 of LNCS, pages 70–84. Springer, 2004. 6, 133 [31] E. Copello, E. Tasistro, N. Szasz, A. Bove, and M. Fernández. Principles of Alpha- Induction and Recursion for the Lambda Calculus in Constructive Type Theory. ENTCS, 323:109–124, 2016. 6 [32] CoqTeam. The Coq Proof Assistant Reference Manual, 2019. 32 [33] T. H. Cormen, C. E. Leiserson, R. Rivest, and C. Stein. Introduction to Algorithms. The MIT Press, 2009. 71 [34] R. Di Cosmo. Second Order Isomorphic Types: A Proof Theoretic Study on Second Order lambda-Calculus with Surjective Paring and Terminal Object. Inf. Comput., 119(2):176–201, 1995. 149 [35] F. Durán, S. Eker, S. Escobar, N. Martí-Oliet, J. Meseguer, and C. L. Talcott. Associative unification and symbolic reasoning modulo associativity in maude. In Proc. of Rewriting Logic and Its Applications (WLRA), volume 11152 of LNCS, pages 98–114. Springer, 2018. 6 [36] S. M. Eker. Associative-Commutative Matching Via Bipartite Graph Matching. The Computer J., 38:381–399, 1995. 3 [37] S. M. Eker. Associtative-Commutative Rewriting on Large Terms. In Rewriting Techniques and Applications, (RTA), volume 2706 of LNCS, pages 14–29, 2003. 3 [38] François Fages. Associative-Commutative Unification. J. of Sym. Computation, 3:257–275, 1987. 3, 22 [39] E. Fairweather, M. Fernández, N. Szasz, and A. Tasistro. Dependent Types for Nominal Terms with Atom Substitutions. In Int. Conf. on Typed Lambda Calculi and Applications, (TLCA), pages 180–195. SDLZI, 2015. 5 [40] M. Fernández and M. Gabbay. Curry-Style Types for Nominal Terms. In Int. Work. on Types for Proofs and Programs (TYPES), volume 4502 of LNCS, pages 125–139. Springer, 2006. 5 [41] M. Fernández and M. J. Gabbay. Nominal Rewriting. Information and Computation, 205(6):917–965, 2007. 4, 5[42] M. J. Gabbay and A. M. Pitts. A New Approach to Abstract Syntax with Variable Binding. Formal Aspects of Computing, 13(3-5):341–363, 2002. 3 [43] D. Kapur and P. Narendran. NP-Completeness of the Set Unification and Matching Problems. In 8th International Conference on Automated Deduction (CADE), volume 230 of LNCS, pages 489–495. Springer, 1986. 3, 22 [44] D. Kapur and P. Narendran. Matching, Unification and Complexity. SIGSAM Bulletin, 21(4):6–9, 1987. 3, 22 [45] D. Kapur and P. Narendran. Complexity of Unification Problems with Associative- Commutative Operators. J. of Autom. Reasoning, 9(2):261–288, 1992. 3, 22 [46] R. Kumar and M. Norrish. (Nominal) Unification by Recursive Descent with Triangular Substitutions. In Proc. of the 1st Int. Conf. of Interactive Theorem Proving (ITP), volume 6172 of LNCS, pages 51–66. Springer, 2010. 5 [47] D. Larchey-Wendling and J.-F. Monin. Simulating Induction-Recursion for Partial Algorithms. Accepted to TYPES. Available at https://members.loria.fr/DLarchey/ files/papers/TYPES_2018_paper_19.pdf, 2018. 61 [48] J. Levy and M. Villaret. An Efficient Nominal Unification Algorithm. In Proc. of the 21st Int. Conf. on Rewriting Techniques and Applications (RTA), volume 6 of LIPIcs, pages 209–226. SDLZI, 2010. 4, 31 [49] J. Levy and M. Villaret. Nominal unification from a higher-order perspective. ACM Trans. Comput. Log., 13(2):10:1–10:31, 2012. 4 [50] G. S. Makanin. The Problem of Solvability of Equations in a Free Semigroup. Math. USSR Sbornik, 32(2):129–198, 1977. 17, 22, 149 [51] A Martelli and U. Montanari. Unification in linear time and space: A structured presentation. Technical report, Ist. di Elaborazione delle Informazione, Consiglio Nazionale delle Ricerche, Pisa, Italy, 1976. Internal Rep. B76-16. 3, 16, 22 [52] A. Martelli and U. Montanari. An Efficient Unification Algorithm. ACM Transactions on Programming Languages and Systems, 4(2):258–282, 1982. 16 [53] D. Miller. A logic programming language with lambda-abstraction, function variables, and simple unification. J. Log. Comput., 1(4):497–536, 1991. 4 [54] T. Nipkow. Equational Reasoning in Isabelle. Science of Computer Programming, 12(2):123–149, 1989. 6 [55] T. Nipkow. Functional unification of higher-order patterns. In Proc. of the Eighth Annual Symp. on Logic in Computer Science (LICS), pages 64–74. IEEE, 1993. 4 [56] M. S. Paterson and M. N. Wegman. Linear Unification. J. of Computer and System Sciences, 16(2):158–167, 1978. 3, 4, 16, 22 [57] A. M. Pitts. Nominal Logic, a First Order Theory of Names and Binding. Information and Computation, 186(2):165–193, 2003. 3, 22[58] A. M. Pitts. Nominal Sets: Names and Symmetry in Computer Science. Cambridge UP, 2013. 3 [59] Z. Qian and K. Wang. Modular AC unification of higher-order patterns. In Proc. of the First Int. Conf. Constraints in Computational Logics, volume 845 of LNCS, pages 105–120. Springer, 1994. 148 [60] J. A. Robinson. A Machine-Oriented Logic Based on the Resolution Principle. J. of the ACM, 12(1):23–41, 1965. 3, 13, 22 [61] A. C. Rocha-Oliveira. Unificação, confluência e tipos com interseção para sistemas de reescrita nominal. PhD thesis, Universidade de Brasília (UnB), 2016. 5, 32 [62] Sagan, B. E. The Symmetric Group: Representations, Combinatorial Algorithms, and Symmetric Functions. Springer, 2nd edition, 2001. 107 [63] M. Schmidt-Schauß, T. Kutsia, J. Levy, and M. Villaret. Nominal Unification of Higher Order Expressions with Recursive Let. In Post-proc. of the 26th Int. Sym. on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), volume 10184 of LNCS, pages 328–344. Springer, 2017. 7 [64] J. H. Siekmann. Unification of Commutative Terms. In Proc. of the Int. Symposium on Symbolic and Algebraic Manipulation, volume 72 of LNCS, pages 22–29. Springer, 1979. 3, 18 [65] M. Sozeau. Subset Coercions in Coq. In Proc. of the Int. Work. on Types for Proofs and Programs (TYPES), volume 4502 of LNCS, pages 237–252. Springer, 2006. 61 [66] M. Sozeau. Equations: A Dependent Pattern-Matching Compiler. In Proc. of the 1st Int. Conf. of Interactive Theorem Proving (ITP), volume 6172 of LNCS, pages 419–434. Springer, 2010. 58 [67] M. E. Stickel. A Unification Algorithm for Associative-Commutative Functions. J. of the Association for Computing Machinery, 28(3):423–434, 1981. 3, 19, 22 [68] E. Tiden and S. Arnborg. Unification Problems with One-Sided Distributivity. J. of Sym. Computation, 3:183–202, 1987. 22 [69] C. Urban. Nominal Techniques in Isabelle/HOL. J. of Autom. Reasoning, 40(4):327– 356, 2008. 5 [70] C. Urban. Nominal Unification Revisited. In Proc. of the 24th Int. Work. on Unification (UNIF), volume 42 of EPTCS, pages 1–11, 2010. 5, 32 [71] C. Urban and C. Kaliszyk. General Bindings an Alpha-Equivalence in Nominal Isabelle. Logical Methods in Computer Science, 8:1–35, 2012. 6 [72] C. Urban, A. M. Pitts, and M. J. Gabbay. Nominal Unification. Theoretical Computer Science, 323(1-3):473–497, 2004. 3, 4, 5, 26, 31, 32 [73] Z. Qian. Linear Unification of Higher-Order Patterns. Theory and Practice of Software Development, pages 391–405, 1993. 4; http://ridi.ibict.br/handle/123456789/1012
Availability: http://ridi.ibict.br/handle/123456789/1012
-
8
Authors: Perianhes, Roberto Vitoriano
Thesis Advisors: Botti, Luiz Claudio Lima, Cassiano, Marta Maria, Juli, Marcelo Camargo de, Cecatto, Jose Roberto, Fernandes, Francisco Carlos Rocha
Source: Biblioteca Digital de Teses e Dissertações do MackenzieUniversidade Presbiteriana MackenzieMACKENZIE.
Subject Terms: astrofísica extragaláctica, (agn) núcleos ativos de galáxias, cross-entropy, vlba (very long baseline array), máxima entropia, CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO::ARQUITETURA DE SISTEMAS DE COMPUTACAO, CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO::MODELOS ANALITICOS E DE SIMULACAO, CNPQ::CIENCIAS SOCIAIS APLICADAS::CIENCIA DA INFORMACAO::TEORIA DA INFORMACAO::TEORIA GERAL DA INFORMACAO, CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO, CNPQ::CIENCIAS EXATAS E DA TERRA::ASTRONOMIA::ASTROFISICA EXTRAGALACTICA
File Description: application/pdf
Availability: http://tede.mackenzie.br/jspui/handle/tede/3466
-
9
Authors:
Contributors:
Subject Terms: autômato celular, epidemiologia, modelo SIR, mosquito, CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO, CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA::TELECOMUNICACOES::SISTEMAS DE TELECOMUNICACOES, CNPQ::CIENCIAS EXATAS E DA TERRA::MATEMATICA::MATEMATICA APLICADA, CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO, CNPQ::CIENCIAS EXATAS E DA TERRA::MATEMATICA::ALGEBRA::LOGICA MATEMATICA, CNPQ::CIENCIAS SOCIAIS APLICADAS::ECONOMIA::METODOS QUANTITATIVOS EM ECONOMIA::METODOS E MODELOS MATEMATICOS, ECONOMETRICOS E ESTATISTICOS
File Description: application/pdf
Availability: http://dspace.mackenzie.br/handle/10899/24462
-
10
Authors: Xavier, Adilson Vicente
Thesis Advisors: Giraldi, Gilson Antonio, Oliveira, Jauvane Cavalcante de, Souza Neto, Eduardo Alberto de, Sphaier, Sergio Hamilton, Dreux, Marcelo de Andrade
Source: Biblioteca Digital de Teses e Dissertações do LNCCLaboratório Nacional de Computação CientíficaLNCC.
Subject Terms: Animação de fluidos, Visualização científica, SPH, FHP, Fluid animation, Scientific visualization, CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO
File Description: application/pdf
Availability: https://tede.lncc.br/handle/tede/45
-
11
Authors: et al.
Contributors: et al.
Subject Terms: Matching Pursuit Ortogonal, Orthogonal Matching Pursuit, Sinal Esparso, Sparse Signal, Inversão, Inversion, CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO
File Description: application/pdf
Availability: https://repositorio.ufrn.br/handle/123456789/49244
-
12
Authors: Silva, Eduardo Krempser da
Thesis Advisors: Barbosa, Helio José Corrêa, Dardenne, Laurent Emmanuel, Ebecken, Nelson Francisco Favilla, Takahashi, Ricardo Hiroshi Caldeira, Evsukoff, Alexandre Gonçalves
Source: Biblioteca Digital de Teses e Dissertações do LNCCLaboratório Nacional de Computação CientíficaLNCC.
Subject Terms: Otimização estrutural, Evolução estrutural, Metamodelos, Metaheurísitca, Structural optimization, CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO
File Description: application/pdf
Availability: https://tede.lncc.br/handle/tede/216
-
13
Authors: Souza, Valeska Martins de
Thesis Advisors: COSTA FILHO, José Tarcisio
Source: Biblioteca Digital de Teses e Dissertações da UFMAUniversidade Federal do MaranhãoUFMA.
Subject Terms: desigualdades matriciais lineares, otimização multinível, linear matrix inaqualities, multi-level optimization, CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO
File Description: application/pdf
Availability: http://tedebc.ufma.br:8080/jspui/handle/tede/319
-
14
Authors: Almeida, Irlandino Oliveira
Thesis Advisors: Paiva, Anselmo Cardoso, Silva, Aristófanes Corrêa
Source: Biblioteca Digital de Teses e Dissertações da UFMAUniversidade Federal do MaranhãoUFMA.
Subject Terms: Modelagem baseada em imagens, Calibração de câmeras, template matching, image-based modeling, camera calibration, CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO
File Description: application/pdf
Availability: http://tedebc.ufma.br:8080/jspui/handle/tede/450
-
15
Authors: Santos, Jos? Medeiros dos
Thesis Advisors: CPF:30680581200, Aci?ly, Benedito Melo, CPF:06213146415, Bedregal, Benjamin Ren? Callejas, CPF:90688384404, Santiago, Regivan Hugo Nunes
Source: Repositório Institucional da UFRNUniversidade Federal do Rio Grande do NorteUFRN.
Subject Terms: Matem?tica intervalar, Equa??o intervalar, L?gica equacional local, Σ, lgebra, L?gica equacional, Sistemas dedutivos, Intervalar mathematics, Intervalar equation, Local equacional logic, algebras, Equacional logic, Deductive systems, CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO
File Description: application/pdf
-
16
Thesis Advisors: Silva, Adelailson Peixoto da, PEIXOTO, A., Velho, Luiz Carlos Pacheco Rodrigues, VELHO, L., Lewiner, Thomas, LEWINER, Thomas
Source: Repositório Institucional da UFALUniversidade Federal de AlagoasUFAL.
Subject Terms: Calibração de câmera, Geometria projetiva, Fotografia 3D., Camera calibration, Geometry projective, 3D Photography., CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO
File Description: application/pdf
Relation: bitstream:http://www.repositorio.ufal.br:8080/bitstream/riufal/1051/1/Dissertacao_Clarissa_Da_capa_ate_cap6.pdf; bitstream:http://www.repositorio.ufal.br:8080/bitstream/riufal/1051/2/Dissertacao_Clarissa_Da_capa_ate_cap6.pdf.txt
Availability: http://repositorio.ufal.br/handle/riufal/1051
-
17
Authors: Chaves, Oswaldo Nelson
Thesis Advisors: Maculan Filho, Nelson
Source: Repositório Institucional da UFRJUniversidade Federal do Rio de JaneiroUFRJ.
Subject Terms: CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO, Algoritmos, Programação quadrática, Programação linear, Otimização matemática
Availability: http://hdl.handle.net/11422/3797
-
18
Authors: Lovato, Adalberto
Thesis Advisors: Marchetta, Henri
Source: Repositório Institucional da UFRJUniversidade Federal do Rio de JaneiroUFRJ.
Subject Terms: CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO, Sistemas de produção, Controle de processos, Otimização matemática
Availability: http://hdl.handle.net/11422/3762
-
19
Authors: Murad, Nivaldo Elias
Thesis Advisors: Telles, Affonso Carlos Seabra da Silva
Source: Repositório Institucional da UFRJUniversidade Federal do Rio de JaneiroUFRJ.
Subject Terms: CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO, CNPQ::ENGENHARIAS::ENGENHARIA QUIMICA, Equações diferenciais, Computação aplicada, Engenharia química
Availability: http://hdl.handle.net/11422/3693
-
20
Authors: Campos, Odival Juliano de
Thesis Advisors: Gonzaga, Clóvis Caesar
Source: Repositório Institucional da UFRJUniversidade Federal do Rio de JaneiroUFRJ.
Subject Terms: CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO, Algoritmos, Programação não linear, Engenharia de sistemas, FORTRAN (Linguagem de programação de computador)
Availability: http://hdl.handle.net/11422/3755
Nájsť tento článok vo Web of Science