ReP USP - Resultado da busca

Trabalho de evento
Inferencias precisas para a funcao de confiabilidade considerando testes de vida acelerados (1995)
Fogo, J C; Achcar, Jorge Alberto
Fonte: Anais. Nome do evento: Workshop de Dissertacoes Defendidas do Sce-Icmsc. Unidade: ICMC
Assunto: INFERÊNCIA PARAMÉTRICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FOGO, J C e ACHCAR, Jorge Alberto. Inferencias precisas para a funcao de confiabilidade considerando testes de vida acelerados. 1995, Anais.. Sao Carlos: Icmsc-Usp, 1995. . Acesso em: 27 nov. 2025.
APA
Fogo, J. C., & Achcar, J. A. (1995). Inferencias precisas para a funcao de confiabilidade considerando testes de vida acelerados. In Anais. Sao Carlos: Icmsc-Usp.
NLM
Fogo JC, Achcar JA. Inferencias precisas para a funcao de confiabilidade considerando testes de vida acelerados. Anais. 1995 ;[citado 2025 nov. 27 ]
Vancouver
Fogo JC, Achcar JA. Inferencias precisas para a funcao de confiabilidade considerando testes de vida acelerados. Anais. 1995 ;[citado 2025 nov. 27 ]
Trabalho de evento
Analise comparativa de metodos numericos para equacoes algebrico-diferenciais (1995)
Romeiro, N M L; Castelo, Antonio
Fonte: Anais. Nome do evento: Workshop de Dissertacoes Defendidas do Sce-Icmsc. Unidade: ICMC
Assunto: FUNÇÕES ESPECIAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ROMEIRO, N M L e CASTELO, Antonio. Analise comparativa de metodos numericos para equacoes algebrico-diferenciais. 1995, Anais.. Sao Carlos: Icmsc-Usp, 1995. . Acesso em: 27 nov. 2025.
APA
Romeiro, N. M. L., & Castelo, A. (1995). Analise comparativa de metodos numericos para equacoes algebrico-diferenciais. In Anais. Sao Carlos: Icmsc-Usp.
NLM
Romeiro NML, Castelo A. Analise comparativa de metodos numericos para equacoes algebrico-diferenciais. Anais. 1995 ;[citado 2025 nov. 27 ]
Vancouver
Romeiro NML, Castelo A. Analise comparativa de metodos numericos para equacoes algebrico-diferenciais. Anais. 1995 ;[citado 2025 nov. 27 ]
Trabalho de evento
Inferencias bayesianas para regressao linear simples com erro nas variaveis (1995)
Baba, M Y; Rodrigues, Josemar
Fonte: Anais. Nome do evento: Workshop de Dissertacoes Defendidas do Sce-Icmsc. Unidade: ICMC
Assunto: INFERÊNCIA PARAMÉTRICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BABA, M Y e RODRIGUES, Josemar. Inferencias bayesianas para regressao linear simples com erro nas variaveis. 1995, Anais.. Sao Carlos: Icmsc-Usp, 1995. . Acesso em: 27 nov. 2025.
APA
Baba, M. Y., & Rodrigues, J. (1995). Inferencias bayesianas para regressao linear simples com erro nas variaveis. In Anais. Sao Carlos: Icmsc-Usp.
NLM
Baba MY, Rodrigues J. Inferencias bayesianas para regressao linear simples com erro nas variaveis. Anais. 1995 ;[citado 2025 nov. 27 ]
Vancouver
Baba MY, Rodrigues J. Inferencias bayesianas para regressao linear simples com erro nas variaveis. Anais. 1995 ;[citado 2025 nov. 27 ]
Trabalho de evento
Modulo para a visualizacao eficiente de solidos b-rep (1995)
Cesar, C N L; Oliveira, Maria Cristina Ferreira de
Fonte: Anais. Nome do evento: Workshop de Dissertacoes Defendidas do Sce-Icmsc. Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CESAR, C N L e OLIVEIRA, Maria Cristina Ferreira de. Modulo para a visualizacao eficiente de solidos b-rep. 1995, Anais.. Sao Carlos: Icmsc-Usp, 1995. . Acesso em: 27 nov. 2025.
APA
Cesar, C. N. L., & Oliveira, M. C. F. de. (1995). Modulo para a visualizacao eficiente de solidos b-rep. In Anais. Sao Carlos: Icmsc-Usp.
NLM
Cesar CNL, Oliveira MCF de. Modulo para a visualizacao eficiente de solidos b-rep. Anais. 1995 ;[citado 2025 nov. 27 ]
Vancouver
Cesar CNL, Oliveira MCF de. Modulo para a visualizacao eficiente de solidos b-rep. Anais. 1995 ;[citado 2025 nov. 27 ]
Trabalho de evento
Sistema de compressao de imagens digitais (1995)
Paniago, C F A; Traina, Agma Juci Machado
Fonte: Anais. Nome do evento: Workshop de Dissertacoes Defendidas do Sce-Icmsc. Unidade: ICMC
Assuntos: ENGENHARIA DE SOFTWARE, BANCO DE DADOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PANIAGO, C F A e TRAINA, Agma Juci Machado. Sistema de compressao de imagens digitais. 1995, Anais.. Sao Carlos: Icmsc-Usp, 1995. . Acesso em: 27 nov. 2025.
APA
Paniago, C. F. A., & Traina, A. J. M. (1995). Sistema de compressao de imagens digitais. In Anais. Sao Carlos: Icmsc-Usp.
NLM
Paniago CFA, Traina AJM. Sistema de compressao de imagens digitais. Anais. 1995 ;[citado 2025 nov. 27 ]
Vancouver
Paniago CFA, Traina AJM. Sistema de compressao de imagens digitais. Anais. 1995 ;[citado 2025 nov. 27 ]
Trabalho de evento
Servidor de arquivos para sistemas distribuidos (1995)
Rossato, A P G S; Santana, Regina Helena Carlucci
Fonte: Anais. Nome do evento: Workshop de Dissertacoes Defendidas do Sce-Icmsc. Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ROSSATO, A P G S e SANTANA, Regina Helena Carlucci. Servidor de arquivos para sistemas distribuidos. 1995, Anais.. Sao Carlos: Icmsc-Usp, 1995. . Acesso em: 27 nov. 2025.
APA
Rossato, A. P. G. S., & Santana, R. H. C. (1995). Servidor de arquivos para sistemas distribuidos. In Anais. Sao Carlos: Icmsc-Usp.
NLM
Rossato APGS, Santana RHC. Servidor de arquivos para sistemas distribuidos. Anais. 1995 ;[citado 2025 nov. 27 ]
Vancouver
Rossato APGS, Santana RHC. Servidor de arquivos para sistemas distribuidos. Anais. 1995 ;[citado 2025 nov. 27 ]
Trabalho de evento
Tootema: uma ferramenta para a construcao de sistemas tutores inteligentes em matematica (1995)
Hasegawa, R; Nunes, Maria das Graças Volpe
Fonte: Anais. Nome do evento: Workshop de Dissertacoes Defendidas do Sce-Icmsc. Unidade: ICMC
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
HASEGAWA, R e NUNES, Maria das Graças Volpe. Tootema: uma ferramenta para a construcao de sistemas tutores inteligentes em matematica. 1995, Anais.. Sao Carlos: Icmsc-Usp, 1995. . Acesso em: 27 nov. 2025.
APA
Hasegawa, R., & Nunes, M. das G. V. (1995). Tootema: uma ferramenta para a construcao de sistemas tutores inteligentes em matematica. In Anais. Sao Carlos: Icmsc-Usp.
NLM
Hasegawa R, Nunes M das GV. Tootema: uma ferramenta para a construcao de sistemas tutores inteligentes em matematica. Anais. 1995 ;[citado 2025 nov. 27 ]
Vancouver
Hasegawa R, Nunes M das GV. Tootema: uma ferramenta para a construcao de sistemas tutores inteligentes em matematica. Anais. 1995 ;[citado 2025 nov. 27 ]
Trabalho de evento
A network-based model for intelligent tutoring systems (1995)
Takehara, R S; Nunes, Maria das Graças Volpe
Fonte: Anais. Nome do evento: Workshop de Dissertacoes Defendidas do Sce-Icmsc. Unidade: ICMC
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
TAKEHARA, R S e NUNES, Maria das Graças Volpe. A network-based model for intelligent tutoring systems. 1995, Anais.. Sao Carlos: Icmsc-Usp, 1995. . Acesso em: 27 nov. 2025.
APA
Takehara, R. S., & Nunes, M. das G. V. (1995). A network-based model for intelligent tutoring systems. In Anais. Sao Carlos: Icmsc-Usp.
NLM
Takehara RS, Nunes M das GV. A network-based model for intelligent tutoring systems. Anais. 1995 ;[citado 2025 nov. 27 ]
Vancouver
Takehara RS, Nunes M das GV. A network-based model for intelligent tutoring systems. Anais. 1995 ;[citado 2025 nov. 27 ]
Trabalho de evento
Intema: an explonation generator for intelligent tutoring systems (1995)
Maltempi, M V; Nunes, Maria das Graças Volpe
Fonte: Anais. Nome do evento: Workshop de Dissertacoes Defendidas do Sce-Icmsc. Unidade: ICMC
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MALTEMPI, M V e NUNES, Maria das Graças Volpe. Intema: an explonation generator for intelligent tutoring systems. 1995, Anais.. Sao Carlos: Icmsc-Usp, 1995. . Acesso em: 27 nov. 2025.
APA
Maltempi, M. V., & Nunes, M. das G. V. (1995). Intema: an explonation generator for intelligent tutoring systems. In Anais. Sao Carlos: Icmsc-Usp.
NLM
Maltempi MV, Nunes M das GV. Intema: an explonation generator for intelligent tutoring systems. Anais. 1995 ;[citado 2025 nov. 27 ]
Vancouver
Maltempi MV, Nunes M das GV. Intema: an explonation generator for intelligent tutoring systems. Anais. 1995 ;[citado 2025 nov. 27 ]
Trabalho de evento
Numeros aleatorios antiteticos em fila m / m/1 com realimentacao bernoulli (1995)
Marchesoni, E M A S F; Salles, Maria Creusa Bretas
Fonte: Anais. Nome do evento: Workshop de Dissertacoes Defendidas do Sce-Icmsc. Unidade: ICMC
Assunto: PROCESSOS ESTOCÁSTICOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARCHESONI, E M A S F e SALLES, Maria Creusa Bretas. Numeros aleatorios antiteticos em fila m / m/1 com realimentacao bernoulli. 1995, Anais.. Sao Carlos: Icmsc-Usp, 1995. . Acesso em: 27 nov. 2025.
APA
Marchesoni, E. M. A. S. F., & Salles, M. C. B. (1995). Numeros aleatorios antiteticos em fila m / m/1 com realimentacao bernoulli. In Anais. Sao Carlos: Icmsc-Usp.
NLM
Marchesoni EMASF, Salles MCB. Numeros aleatorios antiteticos em fila m / m/1 com realimentacao bernoulli. Anais. 1995 ;[citado 2025 nov. 27 ]
Vancouver
Marchesoni EMASF, Salles MCB. Numeros aleatorios antiteticos em fila m / m/1 com realimentacao bernoulli. Anais. 1995 ;[citado 2025 nov. 27 ]
Trabalho de evento
Problema de planejamento e controle de producao numa fundicao automatizada (1995)
Vianna, A C G; Arenales, Marcos Nereu
Fonte: Anais. Nome do evento: Workshop de Dissertacoes Defendidas do Sce-Icmsc. Unidade: ICMC
Assunto: ENGENHARIA DE PRODUÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
VIANNA, A C G e ARENALES, Marcos Nereu. Problema de planejamento e controle de producao numa fundicao automatizada. 1995, Anais.. Sao Carlos: Icmsc-Usp, 1995. . Acesso em: 27 nov. 2025.
APA
Vianna, A. C. G., & Arenales, M. N. (1995). Problema de planejamento e controle de producao numa fundicao automatizada. In Anais. Sao Carlos: Icmsc-Usp.
NLM
Vianna ACG, Arenales MN. Problema de planejamento e controle de producao numa fundicao automatizada. Anais. 1995 ;[citado 2025 nov. 27 ]
Vancouver
Vianna ACG, Arenales MN. Problema de planejamento e controle de producao numa fundicao automatizada. Anais. 1995 ;[citado 2025 nov. 27 ]
Trabalho de evento
Editor grafico para um ambiente de simulacao automatico (1995)
Spolon, R; Santana, Regina Helena Carlucci
Fonte: Anais. Nome do evento: Workshop de Dissertacoes Defendidas do Sce-Icmsc. Unidade: ICMC
Assuntos: ENGENHARIA DE SOFTWARE, BANCO DE DADOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SPOLON, R e SANTANA, Regina Helena Carlucci. Editor grafico para um ambiente de simulacao automatico. 1995, Anais.. Sao Carlos: Icmsc-Usp, 1995. . Acesso em: 27 nov. 2025.
APA
Spolon, R., & Santana, R. H. C. (1995). Editor grafico para um ambiente de simulacao automatico. In Anais. Sao Carlos: Icmsc-Usp.
NLM
Spolon R, Santana RHC. Editor grafico para um ambiente de simulacao automatico. Anais. 1995 ;[citado 2025 nov. 27 ]
Vancouver
Spolon R, Santana RHC. Editor grafico para um ambiente de simulacao automatico. Anais. 1995 ;[citado 2025 nov. 27 ]
Trabalho de evento
Equacoes integrais de volterra de segunda especie: solucao numerica por colocacao (1995)
Felipe, L S G; Franco, Neide Maria Bertoldi
Fonte: Anais. Nome do evento: Workshop de Dissertacoes Defendidas do Sce-Icmsc. Unidade: ICMC
Assunto: FUNÇÕES ESPECIAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FELIPE, L S G e FRANCO, Neide Maria Bertoldi. Equacoes integrais de volterra de segunda especie: solucao numerica por colocacao. 1995, Anais.. Sao Carlos: Icmsc-Usp, 1995. . Acesso em: 27 nov. 2025.
APA
Felipe, L. S. G., & Franco, N. M. B. (1995). Equacoes integrais de volterra de segunda especie: solucao numerica por colocacao. In Anais. Sao Carlos: Icmsc-Usp.
NLM
Felipe LSG, Franco NMB. Equacoes integrais de volterra de segunda especie: solucao numerica por colocacao. Anais. 1995 ;[citado 2025 nov. 27 ]
Vancouver
Felipe LSG, Franco NMB. Equacoes integrais de volterra de segunda especie: solucao numerica por colocacao. Anais. 1995 ;[citado 2025 nov. 27 ]
Trabalho de evento
Sistema monitor grafico de redes baseado em protocolo de gerenciamento snmp (1995)
Oda, C S; Moreira, Edson dos Santos
Fonte: Anais. Nome do evento: Workshop de Dissertacoes Defendidas do Sce-Icmsc. Unidade: ICMC
Assunto: COMPUTAÇÃO GRÁFICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ODA, C S e MOREIRA, Edson dos Santos. Sistema monitor grafico de redes baseado em protocolo de gerenciamento snmp. 1995, Anais.. Sao Carlos: Icmsc-Usp, 1995. . Acesso em: 27 nov. 2025.
APA
Oda, C. S., & Moreira, E. dos S. (1995). Sistema monitor grafico de redes baseado em protocolo de gerenciamento snmp. In Anais. Sao Carlos: Icmsc-Usp.
NLM
Oda CS, Moreira E dos S. Sistema monitor grafico de redes baseado em protocolo de gerenciamento snmp. Anais. 1995 ;[citado 2025 nov. 27 ]
Vancouver
Oda CS, Moreira E dos S. Sistema monitor grafico de redes baseado em protocolo de gerenciamento snmp. Anais. 1995 ;[citado 2025 nov. 27 ]
Trabalho de evento
Desenvolvimento de um agente snmp para plataformas dos (1995)
Cicilini, R; Moreira, Edson dos Santos
Fonte: Anais. Nome do evento: Workshop de Dissertacoes Defendidas do Sce-Icmsc. Unidade: ICMC
Assunto: COMPUTAÇÃO GRÁFICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CICILINI, R e MOREIRA, Edson dos Santos. Desenvolvimento de um agente snmp para plataformas dos. 1995, Anais.. Sao Carlos: Icmsc-Usp, 1995. . Acesso em: 27 nov. 2025.
APA
Cicilini, R., & Moreira, E. dos S. (1995). Desenvolvimento de um agente snmp para plataformas dos. In Anais. Sao Carlos: Icmsc-Usp.
NLM
Cicilini R, Moreira E dos S. Desenvolvimento de um agente snmp para plataformas dos. Anais. 1995 ;[citado 2025 nov. 27 ]
Vancouver
Cicilini R, Moreira E dos S. Desenvolvimento de um agente snmp para plataformas dos. Anais. 1995 ;[citado 2025 nov. 27 ]
Trabalho de evento
Procedimento sequencial: analise de comprimento de simulacao para fila m / m/1 (1995)
Santos, C A; Salles, Maria Creusa Bretas
Fonte: Anais. Nome do evento: Workshop de Dissertacoes Defendidas do Sce-Icmsc. Unidade: ICMC
Assunto: PROCESSOS ESTOCÁSTICOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SANTOS, C A e SALLES, Maria Creusa Bretas. Procedimento sequencial: analise de comprimento de simulacao para fila m / m/1. 1995, Anais.. Sao Carlos: Icmsc-Usp, 1995. . Acesso em: 27 nov. 2025.
APA
Santos, C. A., & Salles, M. C. B. (1995). Procedimento sequencial: analise de comprimento de simulacao para fila m / m/1. In Anais. Sao Carlos: Icmsc-Usp.
NLM
Santos CA, Salles MCB. Procedimento sequencial: analise de comprimento de simulacao para fila m / m/1. Anais. 1995 ;[citado 2025 nov. 27 ]
Vancouver
Santos CA, Salles MCB. Procedimento sequencial: analise de comprimento de simulacao para fila m / m/1. Anais. 1995 ;[citado 2025 nov. 27 ]
Trabalho de evento
Gerador de aplicacao para um ambiente de simulacao automatico (1995)
Spolon, R; Santana, Marcos José
Fonte: Anais. Nome do evento: Workshop de Dissertacoes Defendidas do Sce-Icmsc. Unidade: ICMC
Assuntos: ENGENHARIA DE SOFTWARE, BANCO DE DADOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SPOLON, R e SANTANA, Marcos José. Gerador de aplicacao para um ambiente de simulacao automatico. 1995, Anais.. Sao Carlos: Icmsc-Usp, 1995. . Acesso em: 27 nov. 2025.
APA
Spolon, R., & Santana, M. J. (1995). Gerador de aplicacao para um ambiente de simulacao automatico. In Anais. Sao Carlos: Icmsc-Usp.
NLM
Spolon R, Santana MJ. Gerador de aplicacao para um ambiente de simulacao automatico. Anais. 1995 ;[citado 2025 nov. 27 ]
Vancouver
Spolon R, Santana MJ. Gerador de aplicacao para um ambiente de simulacao automatico. Anais. 1995 ;[citado 2025 nov. 27 ]
Trabalho de evento
Analise da implementacao e do desempenho dos protocolos de comunicacao do servidor de processamento paralelo (1995)
Andrade, A L P; Santana, Marcos José
Nome do evento: Workshop de Dissertacoes Defendidas do Sce-Icmsc. Unidade: ICMC
Assuntos: ENGENHARIA DE SOFTWARE, BANCO DE DADOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ANDRADE, A L P e SANTANA, Marcos José. Analise da implementacao e do desempenho dos protocolos de comunicacao do servidor de processamento paralelo. 1995, Anais.. Sao Carlos: Icmsc-Usp, 1995. . Acesso em: 27 nov. 2025.
APA
Andrade, A. L. P., & Santana, M. J. (1995). Analise da implementacao e do desempenho dos protocolos de comunicacao do servidor de processamento paralelo. In . Sao Carlos: Icmsc-Usp.
NLM
Andrade ALP, Santana MJ. Analise da implementacao e do desempenho dos protocolos de comunicacao do servidor de processamento paralelo. 1995 ;[citado 2025 nov. 27 ]
Vancouver
Andrade ALP, Santana MJ. Analise da implementacao e do desempenho dos protocolos de comunicacao do servidor de processamento paralelo. 1995 ;[citado 2025 nov. 27 ]
Trabalho de evento
Problema de regressao quantil como extensao do problema de aproximacao linear no 'L IND.1' (1995)
Silva, M A Z M; Arenales, Marcos Nereu
Fonte: Anais. Nome do evento: Workshop de Dissertacoes Defendidas do Sce-Icmsc. Unidade: ICMC
Assunto: ENGENHARIA DE PRODUÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, M A Z M e ARENALES, Marcos Nereu. Problema de regressao quantil como extensao do problema de aproximacao linear no 'L IND.1'. 1995, Anais.. Sao Carlos: Icmsc-Usp, 1995. . Acesso em: 27 nov. 2025.
APA
Silva, M. A. Z. M., & Arenales, M. N. (1995). Problema de regressao quantil como extensao do problema de aproximacao linear no 'L IND.1'. In Anais. Sao Carlos: Icmsc-Usp.
NLM
Silva MAZM, Arenales MN. Problema de regressao quantil como extensao do problema de aproximacao linear no 'L IND.1'. Anais. 1995 ;[citado 2025 nov. 27 ]
Vancouver
Silva MAZM, Arenales MN. Problema de regressao quantil como extensao do problema de aproximacao linear no 'L IND.1'. Anais. 1995 ;[citado 2025 nov. 27 ]
Trabalho de evento
Desenvolvimento de um modelador de moldes e um visualizador de escoamento de fluidos (1995)
Kokitsu, J M; Castelo, Antonio
Fonte: Anais. Nome do evento: Workshop de Dissertacoes Defendidas do Sce-Icmsc. Unidade: ICMC
Assunto: FUNÇÕES ESPECIAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
KOKITSU, J M e CASTELO, Antonio. Desenvolvimento de um modelador de moldes e um visualizador de escoamento de fluidos. 1995, Anais.. Sao Carlos: Icmsc-Usp, 1995. . Acesso em: 27 nov. 2025.
APA
Kokitsu, J. M., & Castelo, A. (1995). Desenvolvimento de um modelador de moldes e um visualizador de escoamento de fluidos. In Anais. Sao Carlos: Icmsc-Usp.
NLM
Kokitsu JM, Castelo A. Desenvolvimento de um modelador de moldes e um visualizador de escoamento de fluidos. Anais. 1995 ;[citado 2025 nov. 27 ]
Vancouver
Kokitsu JM, Castelo A. Desenvolvimento de um modelador de moldes e um visualizador de escoamento de fluidos. Anais. 1995 ;[citado 2025 nov. 27 ]

Unidades USP

ReP

Filtros

Autores

Autores USP

Assuntos