ReP USP - Resultado da busca

Artigo de periodico
Some kanban-controlled manufacturing systems: a first stability analysis (1996)
Seidman, Thomas I; Humes Júnior, Carlos
Source: IEEE Transactions on Automatic Control. Unidade: IME
Assunto: ARQUITETURA E ORGANIZAÇÃO DE COMPUTADORES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SEIDMAN, Thomas I e HUMES JÚNIOR, Carlos. Some kanban-controlled manufacturing systems: a first stability analysis. IEEE Transactions on Automatic Control, v. 41, n. 7, p. 1013-1018, 1996Tradução . . Disponível em: https://doi.org/10.1109/9.508908. Acesso em: 03 ago. 2024.
APA
Seidman, T. I., & Humes Júnior, C. (1996). Some kanban-controlled manufacturing systems: a first stability analysis. IEEE Transactions on Automatic Control, 41( 7), 1013-1018. doi:10.1109/9.508908
NLM
Seidman TI, Humes Júnior C. Some kanban-controlled manufacturing systems: a first stability analysis [Internet]. IEEE Transactions on Automatic Control. 1996 ; 41( 7): 1013-1018.[citado 2024 ago. 03 ] Available from: https://doi.org/10.1109/9.508908
Vancouver
Seidman TI, Humes Júnior C. Some kanban-controlled manufacturing systems: a first stability analysis [Internet]. IEEE Transactions on Automatic Control. 1996 ; 41( 7): 1013-1018.[citado 2024 ago. 03 ] Available from: https://doi.org/10.1109/9.508908
Trabalho de evento-anais periodico
A framework for run-time systems and its visual programming language (1996)
Durham, Alan Mitchell ; Johnson, Ralph E
Source: ACM SIGPLAN Notices. Conference titles: ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications - OOPSLA. Unidade: IME
Assunto: LINGUAGEM DE PROGRAMAÇÃO ORIENTADA À OBJETO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DURHAM, Alan Mitchell e JOHNSON, Ralph E. A framework for run-time systems and its visual programming language. ACM SIGPLAN Notices. New York: ACM. Disponível em: https://doi.org/10.1145/236338.236381. Acesso em: 03 ago. 2024. , 1996
APA
Durham, A. M., & Johnson, R. E. (1996). A framework for run-time systems and its visual programming language. ACM SIGPLAN Notices. New York: ACM. doi:10.1145/236338.236381
NLM
Durham AM, Johnson RE. A framework for run-time systems and its visual programming language [Internet]. ACM SIGPLAN Notices. 1996 ; 31( 10): 406-420.[citado 2024 ago. 03 ] Available from: https://doi.org/10.1145/236338.236381
Vancouver
Durham AM, Johnson RE. A framework for run-time systems and its visual programming language [Internet]. ACM SIGPLAN Notices. 1996 ; 31( 10): 406-420.[citado 2024 ago. 03 ] Available from: https://doi.org/10.1145/236338.236381
Artigo de periodico
Formulations and valid inequalities for the node capacitated graph partitioning problem (1996)
Ferreira, Carlos Eduardo ; Martin, A.; Souza, C. C. de; Weismantel, Robert; Wolsey, Laurence A
Source: Mathematical Programming. Unidade: IME
Subjects: PESQUISA OPERACIONAL, PROGRAMAÇÃO MATEMÁTICA, COMBINATÓRIA, TEORIA DOS GRAFOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FERREIRA, Carlos Eduardo et al. Formulations and valid inequalities for the node capacitated graph partitioning problem. Mathematical Programming, v. 74, n. 3, p. 247-266, 1996Tradução . . Disponível em: https://doi.org/10.1007/bf02592198. Acesso em: 03 ago. 2024.
APA
Ferreira, C. E., Martin, A., Souza, C. C. de, Weismantel, R., & Wolsey, L. A. (1996). Formulations and valid inequalities for the node capacitated graph partitioning problem. Mathematical Programming, 74( 3), 247-266. doi:10.1007/bf02592198
NLM
Ferreira CE, Martin A, Souza CC de, Weismantel R, Wolsey LA. Formulations and valid inequalities for the node capacitated graph partitioning problem [Internet]. Mathematical Programming. 1996 ; 74( 3): 247-266.[citado 2024 ago. 03 ] Available from: https://doi.org/10.1007/bf02592198
Vancouver
Ferreira CE, Martin A, Souza CC de, Weismantel R, Wolsey LA. Formulations and valid inequalities for the node capacitated graph partitioning problem [Internet]. Mathematical Programming. 1996 ; 74( 3): 247-266.[citado 2024 ago. 03 ] Available from: https://doi.org/10.1007/bf02592198
Relatorio tecnico
REAL: real attribute learning for strategic market operation (1996)
Stern, Julio Michael ; Nakano, Fábio ; Lauretto, Marcelo de Souza
Unidade: IME
Assunto: APRENDIZADO COMPUTACIONAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
STERN, Julio Michael e NAKANO, Fábio e LAURETTO, Marcelo de Souza. REAL: real attribute learning for strategic market operation. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/1cbcec75-34f3-43db-b462-7327f647c04c/922771.pdf. Acesso em: 03 ago. 2024. , 1996
APA
Stern, J. M., Nakano, F., & Lauretto, M. de S. (1996). REAL: real attribute learning for strategic market operation. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/1cbcec75-34f3-43db-b462-7327f647c04c/922771.pdf
NLM
Stern JM, Nakano F, Lauretto M de S. REAL: real attribute learning for strategic market operation [Internet]. 1996 ;[citado 2024 ago. 03 ] Available from: https://repositorio.usp.br/directbitstream/1cbcec75-34f3-43db-b462-7327f647c04c/922771.pdf
Vancouver
Stern JM, Nakano F, Lauretto M de S. REAL: real attribute learning for strategic market operation [Internet]. 1996 ;[citado 2024 ago. 03 ] Available from: https://repositorio.usp.br/directbitstream/1cbcec75-34f3-43db-b462-7327f647c04c/922771.pdf
Relatorio tecnico
Redução de dependência parcial e redução de dependência generalizada (1996)
Okuda, Kunio
Unidade: IME
Assunto: ALGORITMOS E ESTRUTURAS DE DADOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
OKUDA, Kunio. Redução de dependência parcial e redução de dependência generalizada. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/936061ad-5b8a-42bc-8155-91a81a9548c4/907287.pdf. Acesso em: 03 ago. 2024. , 1996
APA
Okuda, K. (1996). Redução de dependência parcial e redução de dependência generalizada. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/936061ad-5b8a-42bc-8155-91a81a9548c4/907287.pdf
NLM
Okuda K. Redução de dependência parcial e redução de dependência generalizada [Internet]. 1996 ;[citado 2024 ago. 03 ] Available from: https://repositorio.usp.br/directbitstream/936061ad-5b8a-42bc-8155-91a81a9548c4/907287.pdf
Vancouver
Okuda K. Redução de dependência parcial e redução de dependência generalizada [Internet]. 1996 ;[citado 2024 ago. 03 ] Available from: https://repositorio.usp.br/directbitstream/936061ad-5b8a-42bc-8155-91a81a9548c4/907287.pdf
Relatorio tecnico
Construção rápida e automática de operadores morfológicos e eficientes pela aprendizagem computacional (1996)
Hae, Yong Kim
Unidade: IME
Subjects: RECONHECIMENTO DE PADRÕES, PROCESSAMENTO DE IMAGENS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
HAE, Yong Kim. Construção rápida e automática de operadores morfológicos e eficientes pela aprendizagem computacional. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/15e7303a-f122-468c-9aed-cab89b674ce9/911618.pdf. Acesso em: 03 ago. 2024. , 1996
APA
Hae, Y. K. (1996). Construção rápida e automática de operadores morfológicos e eficientes pela aprendizagem computacional. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/15e7303a-f122-468c-9aed-cab89b674ce9/911618.pdf
NLM
Hae YK. Construção rápida e automática de operadores morfológicos e eficientes pela aprendizagem computacional [Internet]. 1996 ;[citado 2024 ago. 03 ] Available from: https://repositorio.usp.br/directbitstream/15e7303a-f122-468c-9aed-cab89b674ce9/911618.pdf
Vancouver
Hae YK. Construção rápida e automática de operadores morfológicos e eficientes pela aprendizagem computacional [Internet]. 1996 ;[citado 2024 ago. 03 ] Available from: https://repositorio.usp.br/directbitstream/15e7303a-f122-468c-9aed-cab89b674ce9/911618.pdf
Trabalho de evento-resumo
Variante do problema de caixeiro viajante: teoria, algoritmos e implementações (1996)
Bordin, Glauco Galves; Ferreira, Carlos Eduardo (Orientador)
Conference titles: Congresso Nacional de Matemática Aplicada e Computacional. Unidade: IME
Assunto: TEORIA DOS GRAFOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BORDIN, Glauco Galves. Variante do problema de caixeiro viajante: teoria, algoritmos e implementações. 1996, Anais.. Goiânia: SBMAC, 1996. Disponível em: https://repositorio.usp.br/directbitstream/e29b50f6-6d6b-4758-a08b-aab39c0771ed/3162354.pdf. Acesso em: 03 ago. 2024.
APA
Bordin, G. G. (1996). Variante do problema de caixeiro viajante: teoria, algoritmos e implementações. In . Goiânia: SBMAC. Recuperado de https://repositorio.usp.br/directbitstream/e29b50f6-6d6b-4758-a08b-aab39c0771ed/3162354.pdf
NLM
Bordin GG. Variante do problema de caixeiro viajante: teoria, algoritmos e implementações [Internet]. 1996 ;[citado 2024 ago. 03 ] Available from: https://repositorio.usp.br/directbitstream/e29b50f6-6d6b-4758-a08b-aab39c0771ed/3162354.pdf
Vancouver
Bordin GG. Variante do problema de caixeiro viajante: teoria, algoritmos e implementações [Internet]. 1996 ;[citado 2024 ago. 03 ] Available from: https://repositorio.usp.br/directbitstream/e29b50f6-6d6b-4758-a08b-aab39c0771ed/3162354.pdf
Trabalho de evento-resumo
Uma heurística para o "Min Cut clustering problem" (1996)
Ayub, Gustavo Gattas; Ferreira, Carlos Eduardo (Orientador)
Conference titles: Congresso Nacional de Matemática Aplicada e Computacional. Unidade: IME
Assunto: HEURÍSTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
AYUB, Gustavo Gattas. Uma heurística para o "Min Cut clustering problem". 1996, Anais.. Goiânia: SBMAC, 1996. Disponível em: https://repositorio.usp.br/directbitstream/92f93501-2b98-4abf-863a-c25898a910d2/3162327.pdf. Acesso em: 03 ago. 2024.
APA
Ayub, G. G. (1996). Uma heurística para o "Min Cut clustering problem". In . Goiânia: SBMAC. Recuperado de https://repositorio.usp.br/directbitstream/92f93501-2b98-4abf-863a-c25898a910d2/3162327.pdf
NLM
Ayub GG. Uma heurística para o "Min Cut clustering problem" [Internet]. 1996 ;[citado 2024 ago. 03 ] Available from: https://repositorio.usp.br/directbitstream/92f93501-2b98-4abf-863a-c25898a910d2/3162327.pdf
Vancouver
Ayub GG. Uma heurística para o "Min Cut clustering problem" [Internet]. 1996 ;[citado 2024 ago. 03 ] Available from: https://repositorio.usp.br/directbitstream/92f93501-2b98-4abf-863a-c25898a910d2/3162327.pdf
Trabalho de evento-resumo
Monoclonal antibody recognizes the cytostome of trypanosoma cruzi epimastigotes (1996)
Okuda, Kunio; Esteva, M; Segura, E L; Katzin, Alcira Tania Bijovsky
Source: Resumos. Conference titles: Congresso do Instituto de Ciencias Biomedicas da Universidade de São Paulo. Unidades: ICB, IME
Assunto: PARASITOLOGIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
OKUDA, Kunio et al. Monoclonal antibody recognizes the cytostome of trypanosoma cruzi epimastigotes. 1996, Anais.. São Paulo: ICB-USP, 1996. . Acesso em: 03 ago. 2024.
APA
Okuda, K., Esteva, M., Segura, E. L., & Katzin, A. T. B. (1996). Monoclonal antibody recognizes the cytostome of trypanosoma cruzi epimastigotes. In Resumos. São Paulo: ICB-USP.
NLM
Okuda K, Esteva M, Segura EL, Katzin ATB. Monoclonal antibody recognizes the cytostome of trypanosoma cruzi epimastigotes. Resumos. 1996 ;[citado 2024 ago. 03 ]
Vancouver
Okuda K, Esteva M, Segura EL, Katzin ATB. Monoclonal antibody recognizes the cytostome of trypanosoma cruzi epimastigotes. Resumos. 1996 ;[citado 2024 ago. 03 ]
Parte de monografia/livro
Automatic programming of MMach’s for OCR (1996)
Barrera, Júnior; Terada, Routo; Silva, Flávio Soares Corrêa da ; Hirata, Nina Sumiko Tomita
Source: Mathematical morphology and its applications to image and signal processing. Unidade: IME
Subjects: PROCESSAMENTO DE IMAGENS, RECONHECIMENTO DE CARACTERES ÓPTICOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BARRERA, Júnior et al. Automatic programming of MMach’s for OCR. Mathematical morphology and its applications to image and signal processing. Tradução . Boston: Springer, 1996. . Disponível em: https://doi.org/10.1007/978-1-4613-0469-2_45. Acesso em: 03 ago. 2024.
APA
Barrera, J., Terada, R., Silva, F. S. C. da, & Hirata, N. S. T. (1996). Automatic programming of MMach’s for OCR. In Mathematical morphology and its applications to image and signal processing. Boston: Springer. doi:10.1007/978-1-4613-0469-2_45
NLM
Barrera J, Terada R, Silva FSC da, Hirata NST. Automatic programming of MMach’s for OCR [Internet]. In: Mathematical morphology and its applications to image and signal processing. Boston: Springer; 1996. [citado 2024 ago. 03 ] Available from: https://doi.org/10.1007/978-1-4613-0469-2_45
Vancouver
Barrera J, Terada R, Silva FSC da, Hirata NST. Automatic programming of MMach’s for OCR [Internet]. In: Mathematical morphology and its applications to image and signal processing. Boston: Springer; 1996. [citado 2024 ago. 03 ] Available from: https://doi.org/10.1007/978-1-4613-0469-2_45
Artigo de periodico-carta/editorial
Special section on nonlinear image processing. [Editorial] (1996)
Astola, Jaakko T (Editor); Barrera, Júnior (Editor)
Source: Journal Of Electronic Imaging. Unidade: IME
Assunto: PROCESSAMENTO DE IMAGENS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
Special section on nonlinear image processing. [Editorial]. Journal Of Electronic Imaging. Bellingham, WA: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1117/12.256609. Acesso em: 03 ago. 2024. , 1996
APA
Special section on nonlinear image processing. [Editorial]. (1996). Special section on nonlinear image processing. [Editorial]. Journal Of Electronic Imaging. Bellingham, WA: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1117/12.256609
NLM
Special section on nonlinear image processing. [Editorial] [Internet]. Journal Of Electronic Imaging. 1996 ; 5( 3): [2 ].[citado 2024 ago. 03 ] Available from: https://doi.org/10.1117/12.256609
Vancouver
Special section on nonlinear image processing. [Editorial] [Internet]. Journal Of Electronic Imaging. 1996 ; 5( 3): [2 ].[citado 2024 ago. 03 ] Available from: https://doi.org/10.1117/12.256609
Relatorio tecnico
Anais da primeira oficina nacional em problemas de corte e empacotamento (1996)
Ferreira, Carlos Eduardo ; Miyazawa, Flavio Keidi ; Wakabayashi, Yoshiko
Unidade: IME
Assunto: EMPACOTAMENTO E COBERTURA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FERREIRA, Carlos Eduardo e MIYAZAWA, Flavio Keidi e WAKABAYASHI, Yoshiko. Anais da primeira oficina nacional em problemas de corte e empacotamento. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/4a78e70d-6bf5-4eb1-aa89-518e121732fd/923045.pdf. Acesso em: 03 ago. 2024. , 1996
APA
Ferreira, C. E., Miyazawa, F. K., & Wakabayashi, Y. (1996). Anais da primeira oficina nacional em problemas de corte e empacotamento. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/4a78e70d-6bf5-4eb1-aa89-518e121732fd/923045.pdf
NLM
Ferreira CE, Miyazawa FK, Wakabayashi Y. Anais da primeira oficina nacional em problemas de corte e empacotamento [Internet]. 1996 ;[citado 2024 ago. 03 ] Available from: https://repositorio.usp.br/directbitstream/4a78e70d-6bf5-4eb1-aa89-518e121732fd/923045.pdf
Vancouver
Ferreira CE, Miyazawa FK, Wakabayashi Y. Anais da primeira oficina nacional em problemas de corte e empacotamento [Internet]. 1996 ;[citado 2024 ago. 03 ] Available from: https://repositorio.usp.br/directbitstream/4a78e70d-6bf5-4eb1-aa89-518e121732fd/923045.pdf
Trabalho de evento
Randomized parallel list ranking for distributed memory multiprocessors (1996)
Dehne, Frank; Song, Siang Wun
Source: Proceedings. Conference titles: Asian Computing Science Conference on Concurrency and Parallelism, Programming, Networking, and Security. Unidade: IME
Assunto: ALGORITMOS E ESTRUTURAS DE DADOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DEHNE, Frank e SONG, Siang Wun. Randomized parallel list ranking for distributed memory multiprocessors. 1996, Anais.. Berlin: Springer, 1996. Disponível em: https://doi.org/10.1007/BFb0027774. Acesso em: 03 ago. 2024.
APA
Dehne, F., & Song, S. W. (1996). Randomized parallel list ranking for distributed memory multiprocessors. In Proceedings. Berlin: Springer. doi:10.1007/BFb0027774
NLM
Dehne F, Song SW. Randomized parallel list ranking for distributed memory multiprocessors [Internet]. Proceedings. 1996 ;[citado 2024 ago. 03 ] Available from: https://doi.org/10.1007/BFb0027774
Vancouver
Dehne F, Song SW. Randomized parallel list ranking for distributed memory multiprocessors [Internet]. Proceedings. 1996 ;[citado 2024 ago. 03 ] Available from: https://doi.org/10.1007/BFb0027774
Artigo de periodico
On the Burnside semigroups xn = xn+m (1996)
Lago, Alair Pereira do
Source: International Journal of Algebra and Computation. Unidade: IME
Assunto: SEMIGRUPOS (COMBINATÓRIA)
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
LAGO, Alair Pereira do. On the Burnside semigroups xn = xn+m. International Journal of Algebra and Computation, v. 6, n. 2, p. 179-227, 1996Tradução . . Disponível em: https://doi.org/10.1142/S0218196796000106. Acesso em: 03 ago. 2024.
APA
Lago, A. P. do. (1996). On the Burnside semigroups xn = xn+m. International Journal of Algebra and Computation, 6( 2), 179-227. doi:10.1142/S0218196796000106
NLM
Lago AP do. On the Burnside semigroups xn = xn+m [Internet]. International Journal of Algebra and Computation. 1996 ; 6( 2): 179-227.[citado 2024 ago. 03 ] Available from: https://doi.org/10.1142/S0218196796000106
Vancouver
Lago AP do. On the Burnside semigroups xn = xn+m [Internet]. International Journal of Algebra and Computation. 1996 ; 6( 2): 179-227.[citado 2024 ago. 03 ] Available from: https://doi.org/10.1142/S0218196796000106
Artigo de periodico
Solving multiple knapsack problems by cutting planes (1996)
Ferreira, Carlos Eduardo ; Martin, A.; Weismantel, Robert
Source: SIAM Journal on Optimization. Unidade: IME
Subjects: PESQUISA OPERACIONAL, PROGRAMAÇÃO MATEMÁTICA, OTIMIZAÇÃO COMBINATÓRIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FERREIRA, Carlos Eduardo e MARTIN, A. e WEISMANTEL, Robert. Solving multiple knapsack problems by cutting planes. SIAM Journal on Optimization, v. 6, n. 3, p. 858-877, 1996Tradução . . Disponível em: https://doi.org/10.1137/s1052623493254455. Acesso em: 03 ago. 2024.
APA
Ferreira, C. E., Martin, A., & Weismantel, R. (1996). Solving multiple knapsack problems by cutting planes. SIAM Journal on Optimization, 6( 3), 858-877. doi:10.1137/s1052623493254455
NLM
Ferreira CE, Martin A, Weismantel R. Solving multiple knapsack problems by cutting planes [Internet]. SIAM Journal on Optimization. 1996 ; 6( 3): 858-877.[citado 2024 ago. 03 ] Available from: https://doi.org/10.1137/s1052623493254455
Vancouver
Ferreira CE, Martin A, Weismantel R. Solving multiple knapsack problems by cutting planes [Internet]. SIAM Journal on Optimization. 1996 ; 6( 3): 858-877.[citado 2024 ago. 03 ] Available from: https://doi.org/10.1137/s1052623493254455
Relatorio tecnico
Notes on complex combinators and structurally-free theorem proving (1996)
Finger, Marcelo
Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo. Notes on complex combinators and structurally-free theorem proving. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/ddbd2b57-83b4-4926-ba15-5d10d904242c/657307.pdf. Acesso em: 03 ago. 2024. , 1996
APA
Finger, M. (1996). Notes on complex combinators and structurally-free theorem proving. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/ddbd2b57-83b4-4926-ba15-5d10d904242c/657307.pdf
NLM
Finger M. Notes on complex combinators and structurally-free theorem proving [Internet]. 1996 ;[citado 2024 ago. 03 ] Available from: https://repositorio.usp.br/directbitstream/ddbd2b57-83b4-4926-ba15-5d10d904242c/657307.pdf
Vancouver
Finger M. Notes on complex combinators and structurally-free theorem proving [Internet]. 1996 ;[citado 2024 ago. 03 ] Available from: https://repositorio.usp.br/directbitstream/ddbd2b57-83b4-4926-ba15-5d10d904242c/657307.pdf
Relatorio tecnico
Set operations on closed intervals and their applications to the automatic programming of MMach's (1996)
Barrera, Júnior; Salas, Guillermo Pablo
Unidade: IME
Assunto: METODOLOGIA E TÉCNICAS DE COMPUTAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BARRERA, Júnior e SALAS, Guillermo Pablo. Set operations on closed intervals and their applications to the automatic programming of MMach's. . Sao Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/b8cc722b-6457-4e6e-a200-9087364a40bb/907283.pdf. Acesso em: 03 ago. 2024. , 1996
APA
Barrera, J., & Salas, G. P. (1996). Set operations on closed intervals and their applications to the automatic programming of MMach's. Sao Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/b8cc722b-6457-4e6e-a200-9087364a40bb/907283.pdf
NLM
Barrera J, Salas GP. Set operations on closed intervals and their applications to the automatic programming of MMach's [Internet]. 1996 ;[citado 2024 ago. 03 ] Available from: https://repositorio.usp.br/directbitstream/b8cc722b-6457-4e6e-a200-9087364a40bb/907283.pdf
Vancouver
Barrera J, Salas GP. Set operations on closed intervals and their applications to the automatic programming of MMach's [Internet]. 1996 ;[citado 2024 ago. 03 ] Available from: https://repositorio.usp.br/directbitstream/b8cc722b-6457-4e6e-a200-9087364a40bb/907283.pdf
Artigo de periodico
Combining temporal logic systems (1996)
Finger, Marcelo ; Gabbay, Dov
Source: Notre Dame Journal of Formal Logic. Unidade: IME
Assunto: LÓGICA MODAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e GABBAY, Dov. Combining temporal logic systems. Notre Dame Journal of Formal Logic, v. 37, n. 2, p. 204-232, 1996Tradução . . Disponível em: https://doi.org/10.1305/ndjfl/1040046087. Acesso em: 03 ago. 2024.
APA
Finger, M., & Gabbay, D. (1996). Combining temporal logic systems. Notre Dame Journal of Formal Logic, 37( 2), 204-232. doi:10.1305/ndjfl/1040046087
NLM
Finger M, Gabbay D. Combining temporal logic systems [Internet]. Notre Dame Journal of Formal Logic. 1996 ; 37( 2): 204-232.[citado 2024 ago. 03 ] Available from: https://doi.org/10.1305/ndjfl/1040046087
Vancouver
Finger M, Gabbay D. Combining temporal logic systems [Internet]. Notre Dame Journal of Formal Logic. 1996 ; 37( 2): 204-232.[citado 2024 ago. 03 ] Available from: https://doi.org/10.1305/ndjfl/1040046087
Trabalho de evento-resumo
Uma nova classe de métodos de pontos proximais para programação matemática (1996)
Silva, Paulo J. S. ; Humes Júnior, Carlos
Conference titles: Congresso Nacional de Matemática Aplicada e Computacional. Unidade: IME
Assunto: PROGRAMAÇÃO MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Paulo J. S. e HUMES JÚNIOR, Carlos. Uma nova classe de métodos de pontos proximais para programação matemática. 1996, Anais.. Goiânia: SBMAC, 1996. Disponível em: https://repositorio.usp.br/directbitstream/64675112-44dc-4777-9d01-4d8bfa48d6ad/3162385.pdf. Acesso em: 03 ago. 2024.
APA
Silva, P. J. S., & Humes Júnior, C. (1996). Uma nova classe de métodos de pontos proximais para programação matemática. In . Goiânia: SBMAC. Recuperado de https://repositorio.usp.br/directbitstream/64675112-44dc-4777-9d01-4d8bfa48d6ad/3162385.pdf
NLM
Silva PJS, Humes Júnior C. Uma nova classe de métodos de pontos proximais para programação matemática [Internet]. 1996 ;[citado 2024 ago. 03 ] Available from: https://repositorio.usp.br/directbitstream/64675112-44dc-4777-9d01-4d8bfa48d6ad/3162385.pdf
Vancouver
Silva PJS, Humes Júnior C. Uma nova classe de métodos de pontos proximais para programação matemática [Internet]. 1996 ;[citado 2024 ago. 03 ] Available from: https://repositorio.usp.br/directbitstream/64675112-44dc-4777-9d01-4d8bfa48d6ad/3162385.pdf
Trabalho de evento
Three-dimensional packing problem: approximation algorithms and performance analysis (1996)
Miyazawa, Flavio Keidi ; Wakabayashi, Yoshiko
Source: Anais. Conference titles: Oficina Nacional em Problemas de Corte e Empacotamento. Unidade: IME
Assunto: EMPACOTAMENTO E COBERTURA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MIYAZAWA, Flavio Keidi e WAKABAYASHI, Yoshiko. Three-dimensional packing problem: approximation algorithms and performance analysis. 1996, Anais.. São Paulo: IME-USP, 1996. Disponível em: https://repositorio.usp.br/directbitstream/4a78e70d-6bf5-4eb1-aa89-518e121732fd/923045.pdf. Acesso em: 03 ago. 2024.
APA
Miyazawa, F. K., & Wakabayashi, Y. (1996). Three-dimensional packing problem: approximation algorithms and performance analysis. In Anais. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/4a78e70d-6bf5-4eb1-aa89-518e121732fd/923045.pdf
NLM
Miyazawa FK, Wakabayashi Y. Three-dimensional packing problem: approximation algorithms and performance analysis [Internet]. Anais. 1996 ;[citado 2024 ago. 03 ] Available from: https://repositorio.usp.br/directbitstream/4a78e70d-6bf5-4eb1-aa89-518e121732fd/923045.pdf
Vancouver
Miyazawa FK, Wakabayashi Y. Three-dimensional packing problem: approximation algorithms and performance analysis [Internet]. Anais. 1996 ;[citado 2024 ago. 03 ] Available from: https://repositorio.usp.br/directbitstream/4a78e70d-6bf5-4eb1-aa89-518e121732fd/923045.pdf

USP Schools

ReP

Filtros

Document Types

Authors

USP affiliated authors

Subjects

Source title

Publisher

Conference titles

Countries/Territories

Funding Agencies

Non normalized affiliation

Countries of institutions of collaboration