Minissimpósio: Condições de Otimalidade em Otimização e Controle Ótimo

Tamanho: px
Começar a partir da página:

Download "Minissimpósio: Condições de Otimalidade em Otimização e Controle Ótimo"

Transcrição

1 Minissimpósio: Condições de Otimalidade em Otimização e Controle Ótimo Uma grande variedade de problemas de nosso dia-a-dia podem ser modelados como programas de Otimização ou de Controle Ótimo. Este é um fato bem conhecido e é desnecessário citar aqui uma série de referências sobre o assunto. Após a obtenção dos modelos, naturalmente, é necessário resolvê-los. A determinação das soluções é quase sempre apoiada por métodos computacionais. A eficiência destes métodos depende fundamentalmente de bons resultados teóricos sobre problemas de otimização, como por exemplo, as condições de otimalidade. Neste minissimpósio trataremos de condições de otimalidade tanto necessárias quanto suficientes. Abordaremos problemas de otimização em espaços de intervalos, problemas em que os funcionais que os definem podem assumir valores intervalares. Tais problemas são importantes em situações onde há incertezas nos dados coletados para a modelagem do problema. A teoria de espaços intervalares é relativamente nova, os primeiros trabalhos são da década de 50. Ultimamente muitos pesquisadores têm se voltado para problemas de otimização intervalares, de modo que o assunto é bastante pertinente para um minissimpósio no CMAC. Além dos problemas intervalares citados acima, vamos também tratar de problemas de controle ótimo, problemas com restrições cônicas, isto é, definidas por meio de cones, e problemas de otimização multi-objetivo. Estes são problemas, digamos, mais clássicos, mas não menos importantes, tanto do ponto de vista teórico quanto das aplicações. No que diz respeito aos problemas com restrições cônicas, o trabalho a ser apresentado considera problemas não-regulares. Condições necessárias e suficientes são obtidas. Condições de otimalidade para problemas não-regulares são importantes quando, por exemplo, nenhuma das condições de qualificação das restrições (constraint qualifications) de primeira ordem é verificada. As condições suficientes são estabelecidas via convexidade generalizada. Esta mesma ferramenta é também utilizada na obtenção das condições suficientes de otimalidade para um problema de controle ótimo multi-objetivo. Neste trabalho sobre controle ótimo multi-objetivo, os autores também fazem um estudo estabelecendo relações entre o conjunto de soluções do problema com múltiplos objetivos e um problema escalar associado, o chamado método da escalarização. Convexidade generalizada é usada ainda em um outro trabalho, que traz alguns 1

2 resultados de dualidade para problemas de programação não-linear multiobjetivo e para problemas de programação não-linear com tempo contínuo. Os resultados clássicos sobre dualidade são, normalmente, estabelecidos sob hipóteses restritivas de convexidade. Resultados desta natureza com hipóteses mas fracas são sempre relevantes na teoria de otimização. Programa Dia 07/09/2015: Robust and level-continuous functions: An approach via optimal points Heriberto Román-Flores, Yurilev Chalco-Cano The class of level-continuous fuctions has been extensively studied in the last years, specially in the area of convergence of upper semicontinuous (usc) functions and characterization of local maximum points of usc-functions. In this work, we extend some analogous topological and geometric properties of usc-functions for a more general class of robust functions. Some additional comments about the equivalence of set-convergences on the class of robust functions are also presented. Support: Grants and , Fondecyt-Chile. 09:30-09:55 Single level derivative for interval-valued functions Ulcilea A.S. Leal, Gino Maqui, Geraldo N. Silva, Weldon Lodwick This work uses a recently proposed single level difference for intervals to introduce and study single level differentiability in interval-valued functions, and also show how this derivative relates to other derivatives proposed in recent literature. Furthermore, to illustrate the calculation of the single level derivative several examples are also shown. Support: Grant 2012/ and 2013/ , FAPESP, / and /2013-3, CNPq, and BEX 11153/13-0, Capes. 2

3 10:00-10:25 Interval optimization in generalized interval vector spaces Geraldo N. Silva, Tiago M. Costa, Yurilev Chalco-Cano, Weldon A. Lodwick This paper presents a method for endowing the generalized interval space with some different structures, such as vector spaces, order relations and an algebraic calculus. With these concepts we formulate interval optimization problems and relate them to classic multi-objective optimization problems. We also present a version of the Von Neumann s Mini-max Theorem in the interval context. Support: Grant 2013/ , São Paulo Research Foundation (FA- PESP); grants / and /2012-4, National Council for Scientific and Technological Development (CNPq). 10:30-10:55 Multiobjective interval-valued programming problem Yurilev Chalco-Cano, Rafaela Osuna-Gómez In this work we devoted to necessary and sufficient optimality conditions for interval optimization problems with multiple objectives and feasible set defined by interval constraints too. We introduced a new concept of Fritz-John and Kuhn-Tucker points for an interval-valued programming problem based on the gh-derivative. We show the novelty and importance of these concepts from a practical and computational point of view. Support: Grant , Fondecyt-Chile. Dia 08/09/2015: WD-invexity for continuous-time and multiobjective nonlinear programming problems 3

4 Lucelina B. Santos, Valeriano A. de Oliveira, Camila Isoton, Marko Rojas-Medar The concept of WD-invexity was recently introduced for nonlinear programming problems with inequality constraints. For such problems, a dual problem was proposed and the following result was established: the primal problem is WD-invex if and only if the pair of primal-dual problems satisfies the weak duality property. In this work, we discuss the notion of WD-invexity for two other types of non-linear programming problems: the multiobjective problem and the continuous-time problem. We obtained similar results as in [V.I. Ivanov, Duality in nonlinear programming, Optimization Letters (2012), 16 pages, DOI /s ]. Generalized convexity for non-regular optimization problems with conic constraints Marko Rojas-Medar, Beatriz Hernández-Jiménez, Rafaela Osuna- Gómez, Lucelina B. Santos In non-regular problems the classical optimality conditions are totally inapplicable. It is well known that generalized convexity notions play a very important role in optimization for establishing optimality conditions. In this paper we give the concept of Karush Kuhn Tucker point to rewrite the necessary optimality condition known in the 2-regular case and the appropriate generalized convexity notions to show that the optimality condition is both necessary and sufficient to characterize optimal solutions set for non-regular problems with conic constraints. The results that exist in the literature up to now, even for the regular case, are particular instances of the ones presented here. Support: Grant , Fondecyt-Chile. 10:00-10:25 Sufficient optimality conditions for optimal control problems with multiple objectives Valeriano A. de Oliveira, Geraldo N. Silva 4

5 This work is devoted to presenting optimality conditions for the sufficiency of the maximum principle for multiobjective optimal control problems with nonsmooth data. Such conditions are the most general as possible in the sense that problems in which the set of necessary conditions from the maximum principle are also sufficient, necessarily obey them. A variation of such conditions is also presented, under which the set of optimal solutions of the multiobjective problem can be determined by resolving a related scalar weighting problem. The notion of MP-pseudoinvexity is generalized to include nonsmooth multiobjective optimal control problems. It is showed that every extremal process is optimal if, and only if, the problem is MP-pseudoinvex. The concept of MP-invexity is introduced and some results on the so called scalarization method are established. This method consists in associating a mono-objective problem to the multiobjective one, where the objective function is a weighted sum of the coordinates of the vector-valued objective function. It was proved that when the multiobjective problem is MP-invex, an optimal solution of the multiobjective problem is an optimal solution of the weighted scalar problem, and conversely. Support: Grant 2013/ , São Paulo Research Foundation (FA- PESP); grants /2014-4, /2013-3, and /2012-4, National Council for Scientific and Technological Development (CNPq). 10:30-11:00 Discussão 5

Condições Sucientes para a propriedade da dualidade fraca para o Problema Dual Multiobjetivo de Mond-Weir. 1 Introdução. Luiz L.

Condições Sucientes para a propriedade da dualidade fraca para o Problema Dual Multiobjetivo de Mond-Weir. 1 Introdução. Luiz L. Condições Sucientes para a propriedade da dualidade fraca para o Problema Dual Multiobjetivo de Mond-Weir Luiz L. de Salles Neto, Instituto de Ciência e Tecnologia - UNIFESP, 12340-000, São José dos Campos,

Leia mais

Optimality conditions for satellite module layout design problem

Optimality conditions for satellite module layout design problem Optimality conditions for satellite module layout design problem Luiz Leduíno de Salles Neto Federal University of São Paulo - UNIFESP email: luiz.leduino@unifesp.br Antonio Rufián Lizana Universidad de

Leia mais

Software reliability analysis by considering fault dependency and debugging time lag Autores

Software reliability analysis by considering fault dependency and debugging time lag Autores Campos extraídos diretamente Título Software reliability analysis by considering fault dependency and debugging time lag Autores Huang, Chin-Yu and Lin, Chu-Ti Ano de publicação 2006 Fonte de publicação

Leia mais

Manual de Docência para a Disciplina de Análise Matemática II

Manual de Docência para a Disciplina de Análise Matemática II Universidade Fernando Pessoa Faculdade de Ciência e Tecnologia Manual de Docência para a Disciplina de Análise Matemática II Número de horas do programa: 90 horas Número de horas semanal: 6 horas Número

Leia mais

GESTÃO DE RECURSOS NATURAIS. Ano letivo 2011/2012. Exercício: Sistema de apoio à decisão para eucalipto (Aplicação de Programação Linear)

GESTÃO DE RECURSOS NATURAIS. Ano letivo 2011/2012. Exercício: Sistema de apoio à decisão para eucalipto (Aplicação de Programação Linear) GESTÃO DE RECURSOS NATURAIS Ano letivo 2011/2012 Exercício: Sistema de apoio à decisão para eucalipto (Aplicação de Programação Linear) Exercise: Decision support system for eucalyptus (Linear programming

Leia mais

General Equilibrium Theory

General Equilibrium Theory General Equilibrium Theory V. Filipe Martins-da-Rocha Escola de Pós-graduação em Economia Fundação Getúlio Vargas Part 4. Core Equivalence and Uniqueness V. F. Martins-da-Rocha (FGV) General Equilibrium

Leia mais

DIRETORIA 01/2014-12/2015

DIRETORIA 01/2014-12/2015 Programação Rua Maestro João Seppe, 900 16º. andar - Sala 163 13561-120 - São Carlos - SP Telefone/Fax: (16) 3412-9752 e-mail: sbmac@sbmac.org.br sbmac.org.br DIRETORIA 01/2014-12/2015 Antônio José da

Leia mais

CIS 500 Software Foundations Fall September(continued) IS 500, 8 September(continued) 1

CIS 500 Software Foundations Fall September(continued) IS 500, 8 September(continued) 1 CIS 500 Software Foundations Fall 2003 8 September(continued) IS 500, 8 September(continued) 1 Polymorphism This version of issaidtobepolymorphic,becauseitcanbeapplied to many different types of arguments.

Leia mais

Projeto de Modulação sobre Superfícies Topológicas Associadas a Canais Discretos sem Memória: uma Solução para o Sistema Integrado

Projeto de Modulação sobre Superfícies Topológicas Associadas a Canais Discretos sem Memória: uma Solução para o Sistema Integrado Universidade do Estado do Rio Grande do Norte Universidade Federal do Semi-Árido Mestrado em Ciência da Computação Projeto de Modulação sobre Superfícies Topológicas Associadas a Canais Discretos sem Memória:

Leia mais

FEN- 06723 Processamento Digital de Imagens. Projeto 2 Utilização de máscaras laplacianas

FEN- 06723 Processamento Digital de Imagens. Projeto 2 Utilização de máscaras laplacianas FEN- 06723 Processamento Digital de Imagens Projeto 2 Utilização de máscaras laplacianas Marcelo Musci Mestrado Geomática/UERJ-2004 Abstract The Laplacian is also called as second difference function,

Leia mais

Elbio Renato Torres Abib. Escalonamento de Tarefas Divisíveis em Redes Estrela MESTRADO. Informática DEPARTAMENTO DE INFORMÁTICA

Elbio Renato Torres Abib. Escalonamento de Tarefas Divisíveis em Redes Estrela MESTRADO. Informática DEPARTAMENTO DE INFORMÁTICA Elbio Renato Torres Abib Escalonamento de Tarefas Divisíveis em Redes Estrela DISSERTAÇÃO DE MESTRADO DEPARTAMENTO DE INFORMÁTICA Programa de Pós graduação em Informática Rio de Janeiro Junho de 2004 Elbio

Leia mais

Contribution of the top boat game for learning production engineering concepts

Contribution of the top boat game for learning production engineering concepts Contribution of the top boat game for learning production engineering concepts Carla Sena Batista, Fabiana Lucena Oliveira, Enily Vieira do Nascimento, Viviane Da Silva Costa Novo Research Problem: How

Leia mais

Digital Cartographic Generalization for Database of Cadastral Maps

Digital Cartographic Generalization for Database of Cadastral Maps Mariane Alves Dal Santo marianedalsanto@udesc.br Francisco Henrique de Oliveira chicoliver@yahoo.com.br Carlos Loch cloch@ecv.ufsc.br Laboratório de Geoprocessamento GeoLab Universidade do Estado de Santa

Leia mais

BR-EMS MORTALITY AND SUVIVORSHIP LIFE TABLES BRAZILIAN LIFE INSURANCE AND PENSIONS MARKET

BR-EMS MORTALITY AND SUVIVORSHIP LIFE TABLES BRAZILIAN LIFE INSURANCE AND PENSIONS MARKET BR-EMS MORTALITY AND SUVIVORSHIP LIFE TABLES BRAZILIAN LIFE INSURANCE AND PENSIONS MARKET 2015 1 e-mail:mario@labma.ufrj.br Tables BR-EMS, mortality experience of the Brazilian Insurance Market, were constructed,

Leia mais

INVESTIMENTOS HOTELEIROS EM CABO VERDE: O CASO DO RIU HOTELS & RESORTS

INVESTIMENTOS HOTELEIROS EM CABO VERDE: O CASO DO RIU HOTELS & RESORTS INVESTIMENTOS HOTELEIROS EM CABO VERDE: O CASO DO RIU HOTELS & RESORTS Minarvino Filomeno Silva Furtado Caso de Estudo Mestrado em Finanças Orientadora: Prof. Doutora Clara Raposo, Prof. Associada, ISCTE

Leia mais

Geometrical methods in electromagnetism and gravitation. Gravitoelectromagnetism and gravity with torsion. (with cosmological applications)

Geometrical methods in electromagnetism and gravitation. Gravitoelectromagnetism and gravity with torsion. (with cosmological applications) UNIVERSITY OF LISBON Faculty of Sciences of the University of Lisbon Department of Physics Geometrical methods in electromagnetism and gravitation. Gravitoelectromagnetism and gravity with torsion (with

Leia mais

Programa de Pós-Graduação em Modelagem e Otimização, Regional Catalão / UFG

Programa de Pós-Graduação em Modelagem e Otimização, Regional Catalão / UFG 15 CAPÍTULO ABORDAGENS ROBUSTAS PARA PROBLEMAS DE OTIMIZAÇÃO LINEAR COM INCERTEZA NOS DADOS Marques, Raina Ribeiro 1 *; Queiroz, Thiago Alves de 2 ; 1 Programa de Pós-Graduação em Modelagem e Otimização,

Leia mais

Capital Humano e Capital Social: Construir Capacidades para o Desenvolvimento dos Territórios

Capital Humano e Capital Social: Construir Capacidades para o Desenvolvimento dos Territórios UNIVERSIDADE DE LISBOA FACULDADE DE LETRAS DEPARTAMENTO DE GEOGRAFIA Capital Humano e Capital Social: Construir Capacidades para o Desenvolvimento dos Territórios Sandra Sofia Brito da Silva Dissertação

Leia mais

Divisão de Engenharia Mecânica. Programa de Pós-Graduação em Engenharia Aeronáutica e Mecânica. Prova de Seleção para Bolsas 1 o semestre de 2014

Divisão de Engenharia Mecânica. Programa de Pós-Graduação em Engenharia Aeronáutica e Mecânica. Prova de Seleção para Bolsas 1 o semestre de 2014 Divisão de Engenharia Mecânica Programa de Pós-Graduação em Engenharia Aeronáutica e Mecânica Prova de Seleção para Bolsas 1 o semestre de 2014 07 de março de 2014 Nome do Candidato Observações 1. Duração

Leia mais

T Ã O B O M Q U A N T O N O V O

T Ã O B O M Q U A N T O N O V O D I S S E R T A Ç Ã O D E M E S T R A D O M A S T E R I N G D I S S E R T A T I O N A V A L I A Ç Ã O D A C O N D I Ç Ã O D E T Ã O B O M Q U A N T O N O V O U M A A P L I C A Ç Ã O E N V O L V E N D O

Leia mais

CAMILA ISOTON CONDIÇÕES NECESSÁRIAS E SUFICIENTES DE OTIMALIDADE PARA PROBLEMAS COM UM E COM VÁRIOS OBJETIVOS

CAMILA ISOTON CONDIÇÕES NECESSÁRIAS E SUFICIENTES DE OTIMALIDADE PARA PROBLEMAS COM UM E COM VÁRIOS OBJETIVOS CAMILA ISOTON CONDIÇÕES NECESSÁRIAS E SUFICIENTES DE OTIMALIDADE PARA PROBLEMAS COM UM E COM VÁRIOS OBJETIVOS CAMILA ISOTON CONDIÇÕES NECESSÁRIAS E SUFICIENTES DE OTIMALIDADE PARA PROBLEMAS COM UM E COM

Leia mais

AGRADECIMENTOS. A todos os que não refiro mas que deram o seu contributo.

AGRADECIMENTOS. A todos os que não refiro mas que deram o seu contributo. AGRADECIMENTOS Quero agradecer à Doutora Maria Paula Mendes Martins, pela sua paciência, sabedoria, experiência, sentido de humor, energia e grande disponibilidade em todos os momentos, desde as aulas

Leia mais

UNIDADE DE PESQUISA CLÍNICA Centro de Medicina Reprodutiva Dr Carlos Isaia Filho Ltda. SAMPLE SIZE DETERMINATION FOR CLINICAL RESEARCH

UNIDADE DE PESQUISA CLÍNICA Centro de Medicina Reprodutiva Dr Carlos Isaia Filho Ltda. SAMPLE SIZE DETERMINATION FOR CLINICAL RESEARCH SAMPLE SIZE DETERMINATION FOR CLINICAL RESEARCH Duolao Wang; Ameet Bakhai; Angelo Del Buono; Nicola Maffulli Muscle, Tendons and Ligaments Journal, 2013 Santiago A. Tobar L., Dsc. Why to determine the

Leia mais

Indicadores de Pesquisa, Desenvolvimento e Inovação (P,D&I) em Software e Serviços de TI: o Caso da Lei do Bem (nº 11.196/05)

Indicadores de Pesquisa, Desenvolvimento e Inovação (P,D&I) em Software e Serviços de TI: o Caso da Lei do Bem (nº 11.196/05) Universidade de Brasília Indicadores de Pesquisa, Desenvolvimento e Inovação (P,D&I) em Software e Serviços de TI: o Caso da Lei do Bem (nº 11.196/05) Rafael Henrique Rodrigues Moreira BRASÍLIA 2014 Universidade

Leia mais

What is Bullying? Bullying is the intimidation or mistreating of weaker people. This definition includes three important components:1.

What is Bullying? Bullying is the intimidation or mistreating of weaker people. This definition includes three important components:1. weaker people. This definition includes three important components:1. Bullying is aggressive behavior that involves unwanted, negative actions. 2. Bullying involves a pattern of behavior repeated over

Leia mais

ROBUST, FRAGILE OR OPTIMAL? REVISITADO: UMA CONDIÇÃO NECESSÁRIA E SUFICIENTE PARA A FRAGILIDADE DE CONTROLADORES. Marcos V. Moreira, João C.

ROBUST, FRAGILE OR OPTIMAL? REVISITADO: UMA CONDIÇÃO NECESSÁRIA E SUFICIENTE PARA A FRAGILIDADE DE CONTROLADORES. Marcos V. Moreira, João C. ROBUST, FRAGILE OR OPTIMAL? REVISITADO: UMA CONDIÇÃO NECESSÁRIA E SUFICIENTE PARA A FRAGILIDADE DE CONTROLADORES Marcos V. Moreira, João C. Basilio, Universidade Federal do Rio de Janeiro COPPE - Programa

Leia mais

MINIMIZANDO O NÚMERO DE DIFERENTES PADRÕES DE CORTE - UMA ABORDAGEM DE CAMINHO MÍNIMO

MINIMIZANDO O NÚMERO DE DIFERENTES PADRÕES DE CORTE - UMA ABORDAGEM DE CAMINHO MÍNIMO A pesquisa Operacional e os Recursos Renováveis 4 a 7 de novembro de 2003, Natal-RN MINIMIZANDO O NÚMERO DE DIFERENTES PADRÕES DE CORTE - UMA ABORDAGEM DE CAMINHO MÍNIMO Maria Cristina N. Gramani Universidade

Leia mais

English version at the end of this document

English version at the end of this document English version at the end of this document Ano Letivo 2016-17 Unidade Curricular ANÁLISE COMPLEXA Cursos ENGENHARIA ELETRÓNICA E TELECOMUNICAÇÕES (Mestrado Integrado) Unidade Orgânica Faculdade de Ciências

Leia mais

A Avaliação dos Projetos

A Avaliação dos Projetos A Avaliação dos Projetos Luis M. Correia 1 Instituto Superior Técnico / INOV-INESC Universidade de Lisboa, Portugal As Perguntas Como são avaliadas as propostas? Quem avalia as propostas? Quais os critérios

Leia mais

OTIMIZAÇÃO VETORIAL. Formulação do Problema

OTIMIZAÇÃO VETORIAL. Formulação do Problema OTIMIZAÇÃO VETORIAL Formulação do Problema Otimização Multiobjetivo (também chamada otimização multicritério ou otimização vetorial) pode ser definida como o problema de encontrar: um vetor de variáveis

Leia mais

A CONVERSÃO ADJETIVO/SUBSTANTIVO EM FORMAÇÕES DEVERBAIS X-DO NO PORTUGUÊS DO BRASIL

A CONVERSÃO ADJETIVO/SUBSTANTIVO EM FORMAÇÕES DEVERBAIS X-DO NO PORTUGUÊS DO BRASIL Fábio Flores A CONVERSÃO ADJETIVO/SUBSTANTIVO EM FORMAÇÕES DEVERBAIS X-DO NO PORTUGUÊS DO BRASIL Dissertação de Mestrado Dissertação apresentada ao Programa de Pósgraduação em Estudos da Linguagem do Departamento

Leia mais

Mathematical Foundation I: Fourier Transform, Bandwidth, and Band-pass Signal Representation PROF. MICHAEL TSAI 2011/10/13

Mathematical Foundation I: Fourier Transform, Bandwidth, and Band-pass Signal Representation PROF. MICHAEL TSAI 2011/10/13 Mathematical Foundation I: Fourier Transform, Bandwidth, and Band-pass Signal Representation PROF. MICHAEL TSAI 2011/10/13 Fourier Transform (): a non-periodic deterministic signal. Definition: the Fourier

Leia mais

CITAÇÕES E ÍNDICE H: teste comparativo em pequena escala entre ISI-WOS e SCOPUS

CITAÇÕES E ÍNDICE H: teste comparativo em pequena escala entre ISI-WOS e SCOPUS PÔSTER IMPACTO DAS TECNOLOGIAS DE INFORMAÇÃO NA GESTÃO DA BIBLIOTECA UNIVERSITÁRIA Uso estratégico das tecnologias em informação documentária CITAÇÕES E ÍNDICE H: teste comparativo em pequena escala entre

Leia mais

Guião M. Descrição das actividades

Guião M. Descrição das actividades Proposta de Guião para uma Prova Grupo: Inovação Disciplina: Inglês, Nível de Continuação, 11.º ano Domínio de Referência: O Mundo do trabalho Duração da prova: 15 a 20 minutos 1.º MOMENTO Guião M Intervenientes

Leia mais

UNIVERSIDADE DE SÃO PAULO FACULDADE DE EDUCAÇÃO JOÃO FÁBIO PORTO. Diálogo e interatividade em videoaulas de matemática

UNIVERSIDADE DE SÃO PAULO FACULDADE DE EDUCAÇÃO JOÃO FÁBIO PORTO. Diálogo e interatividade em videoaulas de matemática UNIVERSIDADE DE SÃO PAULO FACULDADE DE EDUCAÇÃO JOÃO FÁBIO PORTO Diálogo e interatividade em videoaulas de matemática São Paulo 2010 JOÃO FÁBIO PORTO Diálogo e interatividade em videoaulas de matemática

Leia mais

UNIVERSITY OF CAMBRIDGE INTERNATIONAL EXAMINATIONS International General Certificate of Secondary Education

UNIVERSITY OF CAMBRIDGE INTERNATIONAL EXAMINATIONS International General Certificate of Secondary Education UNIVERSITY OF CAMBRIDGE INTERNATIONAL EXAMINATIONS International General Certificate of Secondary Education *5148359301* PORTUGUESE 0540/03 Paper 3 Speaking Role Play Card One 1 March 30 April 2013 No

Leia mais

Luiz Fernando Fernandes de Albuquerque. Avaliação de algoritmos online para seleção de links patrocinados. Dissertação de Mestrado

Luiz Fernando Fernandes de Albuquerque. Avaliação de algoritmos online para seleção de links patrocinados. Dissertação de Mestrado Luiz Fernando Fernandes de Albuquerque Avaliação de algoritmos online para seleção de links patrocinados Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção do grau de

Leia mais

Estratégias de TI para a integração eletrônica da informação - um estudo sobre o estado da arte e da prática

Estratégias de TI para a integração eletrônica da informação - um estudo sobre o estado da arte e da prática Daniel Valente Serman Estratégias de TI para a integração eletrônica da informação - um estudo sobre o estado da arte e da prática Dissertação de Mestrado Dissertação apresentada ao Programa de Pós-graduação

Leia mais

Guião A. Descrição das actividades

Guião A. Descrição das actividades Proposta de Guião para uma Prova Grupo: Ponto de Encontro Disciplina: Inglês, Nível de Continuação, 11.º ano Domínio de Referência: Um Mundo de Muitas Culturas Duração da prova: 15 a 20 minutos 1.º MOMENTO

Leia mais

UM MODELO PARA AVALIAÇÃO DE PRÉ-REQUISITOS ENTRE DISCIPLINAS DO CURSO DE ENGENHARIA DE PRODUÇÃO

UM MODELO PARA AVALIAÇÃO DE PRÉ-REQUISITOS ENTRE DISCIPLINAS DO CURSO DE ENGENHARIA DE PRODUÇÃO UM MODELO PARA AVALIAÇÃO DE PRÉ-REQUISITOS ENTRE DISCIPLINAS DO CURSO DE ENGENHARIA DE PRODUÇÃO Julio C.B. Silva julio.barcellos@area1.br Catiane M. de Carvalho - catiane.mc@pop.com.br Carolina L. B. Cajazeira

Leia mais

Proposta para otimização de processos licitatórios na Companhia Brasileira de Trens Urbanos - CBTU

Proposta para otimização de processos licitatórios na Companhia Brasileira de Trens Urbanos - CBTU Adriana Fonseca Lins Proposta para otimização de processos licitatórios na Companhia Brasileira de Trens Urbanos - CBTU Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção

Leia mais

Prova de Seleção Mestrado LINGUA INGLESA 15/02/2016

Prova de Seleção Mestrado LINGUA INGLESA 15/02/2016 Prova de Seleção Mestrado LINGUA INGLESA 15/02/2016 Instruções aos candidatos: (1) Preencher somente o número de inscrição em todas as folhas. (2) Usar caneta preta ou azul. 1 2 3 4 5 6 7 8 9 10 11 12

Leia mais

2 Problema das p-medianas

2 Problema das p-medianas 2 Problema das p-medianas 2.1 Definição O PMNC é definido da seguinte forma: determinar quais p facilidades (p m, onde m é o número de pontos onde podem ser abertas facilidades) devem obrigatoriamente

Leia mais

Cap. 6. Introdução a Lógicas Modais

Cap. 6. Introdução a Lógicas Modais Cap. 6. Introdução a Lógicas Modais Logic based Agents It s possible to construct agent that reason based on knowledge expressed in terms of logic statements We are going to make a short review of Classic

Leia mais

A MÁQUINA ASSÍNCRONA TRIFÁSICA BRUSHLESS EM CASCATA DUPLAMENTE ALIMENTADA. Fredemar Rüncos

A MÁQUINA ASSÍNCRONA TRIFÁSICA BRUSHLESS EM CASCATA DUPLAMENTE ALIMENTADA. Fredemar Rüncos Resumo da Dissertação apresentada à UFSC como parte dos requisitos necessários para obtenção do grau de Mestre em Engenharia Elétrica. A MÁQUINA ASSÍNCRONA TRIFÁSICA BRUSHLESS EM CASCATA DUPLAMENTE ALIMENTADA

Leia mais

Margarida Isabel A Auditoria Tributária e a Deteção. Melo de Oliveira de Comportamento Evasivo

Margarida Isabel A Auditoria Tributária e a Deteção. Melo de Oliveira de Comportamento Evasivo Universidade de Aveiro Instituto Superior de Contabilidade e Administração 2012 Margarida Isabel A Auditoria Tributária e a Deteção Melo de Oliveira de Comportamento Evasivo 1 Universidade de Aveiro Instituto

Leia mais

Teste 1 - Análise Numérica Funcional e Optimização Instituto Superior Técnico, 8 de Novembro de 2012, 12h00-13h30

Teste 1 - Análise Numérica Funcional e Optimização Instituto Superior Técnico, 8 de Novembro de 2012, 12h00-13h30 Teste - Análise Numérica Funcional e Optimização Instituto Superior Técnico, 8 de Novembro de 22, 2h-3h3 (MMA,PDEC [4.] Mostre que existe pelo menos uma solução (x, y [, ] 2 para o sistema não linear (m,

Leia mais

O JORNAL DO COMMERCIO E A EDUCAÇÃO

O JORNAL DO COMMERCIO E A EDUCAÇÃO RENATA DOS SANTOS SOARES O JORNAL DO COMMERCIO E A EDUCAÇÃO Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção do título de Mestre pelo Programa de Pós- Graduação em Educação

Leia mais

MAUS TRATOS NA POPULAÇÃO IDOSA INSTITUCIONALIZADA

MAUS TRATOS NA POPULAÇÃO IDOSA INSTITUCIONALIZADA Universidade de Lisboa Faculdade de Medicina de Lisboa MAUS TRATOS NA POPULAÇÃO IDOSA INSTITUCIONALIZADA Catarina Isabel Fonseca Paulos Mestrado em Medicina Legal e Ciências Forenses 2005 Esta dissertação

Leia mais

2 Categorias Categories Todas as categorias de actividade são apresentadas neste espaço All activity categories are presented in this space

2 Categorias Categories Todas as categorias de actividade são apresentadas neste espaço All activity categories are presented in this space 1 Próximas Actividades Next Activities Visualiza as próximas actividades a ter inicio, com a indicação do tempo restante Displays upcoming activities and indicating the remaining time 2 Categorias Categories

Leia mais

UNIVERSITY OF CAMBRIDGE INTERNATIONAL EXAMINATIONS International General Certificate of Secondary Education PORTUGUESE 0540/03

UNIVERSITY OF CAMBRIDGE INTERNATIONAL EXAMINATIONS International General Certificate of Secondary Education PORTUGUESE 0540/03 UNIVERSITY OF CAMBRIDGE INTERNATIONAL EXAMINATIONS International General Certificate of Secondary Education PORTUGUESE 0540/03 Paper 3 Speaking/Listening Role Play Card One No Additional Materials are

Leia mais

Apêndice 1 Pedido de autorização das escalas que englobaram o protocolo. Pedido de autorização da Cognitive Test Anxiety Scale CTAR25

Apêndice 1 Pedido de autorização das escalas que englobaram o protocolo. Pedido de autorização da Cognitive Test Anxiety Scale CTAR25 APÊNDICES Apêndice 1 Pedido de autorização das escalas que englobaram o protocolo Pedido de autorização da Cognitive Test Anxiety Scale CTAR25 Dear Professor Jerrell C. Cassady, I am a student of Miguel

Leia mais

Lucas de Assis Soares, Luisa Nunes Ramaldes, Taciana Toledo de Almeida Albuquerque, Neyval Costa Reis Junior. São Paulo, 2013

Lucas de Assis Soares, Luisa Nunes Ramaldes, Taciana Toledo de Almeida Albuquerque, Neyval Costa Reis Junior. São Paulo, 2013 COMPARATIVE STUDY OF THE ATMOSPHERIC DISPERSION MODELS AND THROUGH THE ANALYSIS OF AIR QUALITY IN THE METROPOLITAN REGION OF GRANDE VITÓRIA Lucas de Assis Soares, Luisa Nunes Ramaldes, Taciana Toledo de

Leia mais

MARCELO DE LIMA BRAZ REDUÇÃO DA QUANTIDADE DE REPROCESSO NO SETOR DE PRODUÇÃO DE CALDOS ALIMENTÍCIOS NA EMPRESA DO RAMO ALIMENTÍCIO (ERA).

MARCELO DE LIMA BRAZ REDUÇÃO DA QUANTIDADE DE REPROCESSO NO SETOR DE PRODUÇÃO DE CALDOS ALIMENTÍCIOS NA EMPRESA DO RAMO ALIMENTÍCIO (ERA). MARCELO DE LIMA BRAZ REDUÇÃO DA QUANTIDADE DE REPROCESSO NO SETOR DE PRODUÇÃO DE CALDOS ALIMENTÍCIOS NA EMPRESA DO RAMO ALIMENTÍCIO (ERA). Poços de Caldas / MG 2014 MARCELO DE LIMA BRAZ REDUÇÃO DA QUANTIDADE

Leia mais

Welcome to Lesson A of Story Time for Portuguese

Welcome to Lesson A of Story Time for Portuguese Portuguese Lesson A Welcome to Lesson A of Story Time for Portuguese Story Time is a program designed for students who have already taken high school or college courses or students who have completed other

Leia mais

Addition of Fields in Line Item Display Report Output for TCode FBL1N/FBL5N

Addition of Fields in Line Item Display Report Output for TCode FBL1N/FBL5N Addition of Fields in Line Item Display Report Output for TCode FBL1N/FBL5N Applies to: Any business user who uses the transactions FBL1N and FBL5N to display line item reports for vendors and customers.

Leia mais

Serviços: API REST. URL - Recurso

Serviços: API REST. URL - Recurso Serviços: API REST URL - Recurso URLs reflectem recursos Cada entidade principal deve corresponder a um recurso Cada recurso deve ter um único URL Os URLs referem em geral substantivos URLs podem reflectir

Leia mais

GUIÃO A. Ano: 9º Domínio de Referência: O Mundo do Trabalho. 1º Momento. Intervenientes e Tempos. Descrição das actividades

GUIÃO A. Ano: 9º Domínio de Referência: O Mundo do Trabalho. 1º Momento. Intervenientes e Tempos. Descrição das actividades Ano: 9º Domínio de Referência: O Mundo do Trabalho GUIÃO A 1º Momento Intervenientes e Tempos Descrição das actividades Good morning / afternoon / evening, A and B. For about three minutes, I would like

Leia mais

UMA HEURÍSTICA GRASP PARA O PROBLEMA ESTENDIDO DE SEQUENCIAMENTO DE CARROS

UMA HEURÍSTICA GRASP PARA O PROBLEMA ESTENDIDO DE SEQUENCIAMENTO DE CARROS UMA HEURÍSTICA GRASP PARA O PROBLEMA ESTENDIDO DE SEQUENCIAMENTO DE CARROS Lucas Middeldorf Rizzo Universidade Federal de Minas Gerais Av. Antônio Carlos, 6627 - Pampulha - Belo Horizonte - MG CEP 31270-901

Leia mais

ON THE INVERSE PROBLEM IN TRANSPORT THEORY. C. E. Stevwrt, M. N. Ozisik, Y. Ytiwr

ON THE INVERSE PROBLEM IN TRANSPORT THEORY. C. E. Stevwrt, M. N. Ozisik, Y. Ytiwr ON THE INVERSE PROBLEM IN TRANSPORT THEORY C. E. Stevwrt, M. N. Ozisik, Y. Ytiwr PUBLICAÇÃO IEA 479 CEN-AFR 50 MAIO/1977 PUEL. IEA 479 CEN-AFR 50 MAIO/1977 ON THE INVERSE PROBLEM IN TRANSPORT THEORY C.

Leia mais

ATLAS DE ACUPUNTURA VETERINáRIA. CãES E GATOS (EM PORTUGUESE DO BRASIL) BY CHOO HYUNG KIM

ATLAS DE ACUPUNTURA VETERINáRIA. CãES E GATOS (EM PORTUGUESE DO BRASIL) BY CHOO HYUNG KIM Read Online and Download Ebook ATLAS DE ACUPUNTURA VETERINáRIA. CãES E GATOS (EM PORTUGUESE DO BRASIL) BY CHOO HYUNG KIM DOWNLOAD EBOOK : ATLAS DE ACUPUNTURA VETERINáRIA. CãES E GATOS Click link bellow

Leia mais

ALGEBRA 2 PRACTICE FINAL EXAM

ALGEBRA 2 PRACTICE FINAL EXAM ALGEBRA 2 PRACTICE FINAL EXAM 1) Write the slope-intercept form of the equation of the line through the point (-3, ( -5) with slope. 2) Write the slope-intercept form of the equation of the line through

Leia mais

User interface evaluation experiences: A brief comparison between usability and communicability testing

User interface evaluation experiences: A brief comparison between usability and communicability testing User interface evaluation experiences: A brief comparison between usability and communicability testing Kern, Bryan; B.S.; The State University of New York at Oswego kern@oswego.edu Tavares, Tatiana; PhD;

Leia mais

PROJETO DE INTERFACES PARA ÁLGEBRA DE MAPAS EM GEOPROCESSAMENTO NO AMBIENTE SPRING

PROJETO DE INTERFACES PARA ÁLGEBRA DE MAPAS EM GEOPROCESSAMENTO NO AMBIENTE SPRING MINISTÉRIO DA CIÊNCIA E TECNOLOGIA INSTITUTO NACIONAL DE PESQUISAS ESPACIAIS INPE-9307-TDI/820 PROJETO DE INTERFACES PARA ÁLGEBRA DE MAPAS EM GEOPROCESSAMENTO NO AMBIENTE SPRING Ivan Soares de Lucena Dissertação

Leia mais

Inglês 12 Present perfect continuous

Inglês 12 Present perfect continuous Inglês 12 Present perfect continuous Este tempo é ligeiramente diferente do Present Perfect. Nele, notamos a presença do TO BE na forma BEEN, ou seja, no particípio. Conseqüentemente, nota-se também a

Leia mais

Manual de normas gráficas Graphic guidelines handbook 2008

Manual de normas gráficas Graphic guidelines handbook 2008 Manual de normas gráficas Graphic guidelines handbook 2008 Introdução Introduction Este documento fornece as normas para a correcta utilização e reprodução da Identidade Visual da Cavalum SGPS, S.A. Serve

Leia mais

Performance and Power Consumption Analysis of Full Adders Designed in 32nm Technology

Performance and Power Consumption Analysis of Full Adders Designed in 32nm Technology FURG Performance and Power Consumption Analysis of Full Adders Designed in 32nm Technology Fábio G. R. G. da Silva, Cristina Meinhardt, Paulo F. Butzen 28º Simpósio Sul de Microeletrônica SIM 2013 28º

Leia mais

Indicative answers. Modelos de Apoio à Decisão / Decision Support Models

Indicative answers. Modelos de Apoio à Decisão / Decision Support Models Modelos de Apoio à Decisão / Decision Support Models Departamento de Engenharia e Gestão / Department of Engineering and Management Instituto Superior Técnico Ano lectivo/academic year 2015/2016 Teste

Leia mais

Simulação Gráfica e Visão Computacional. Soraia Raupp Musse

Simulação Gráfica e Visão Computacional. Soraia Raupp Musse Simulação Gráfica e Visão Computacional Soraia Raupp Musse Objetivo Analisar exemplos comerciais e do estado-da-arte científicos que utilizam dados reais para aprimorar a qualidade de simulações e animações.

Leia mais

Dimensionando uma Frota Heterogênea de Veículos Ótima em Tamanho e Composição

Dimensionando uma Frota Heterogênea de Veículos Ótima em Tamanho e Composição Manuela Coelho dos Passos Dimensionando uma Frota Heterogênea de Veículos Ótima em Tamanho e Composição Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção do grau de Mestre

Leia mais

GUIÃO Domínio de Referência: CIDADANIA E MULTICULTURALISMO

GUIÃO Domínio de Referência: CIDADANIA E MULTICULTURALISMO PROJECTO PROVAS EXPERIMENTAIS DE EXPRESSÃO ORAL DE LÍNGUA ESTRANGEIRA - 2005-2006 Ensino Secundário - Inglês, 12º ano - Nível de Continuação 1 1º Momento GUIÃO Domínio de Referência: CIDADANIA E MULTICULTURALISMO

Leia mais

Modelagem de uma Vending Machine utilizando um Autômato Finito com Saída

Modelagem de uma Vending Machine utilizando um Autômato Finito com Saída Modelagem de uma Vending Machine utilizando um Autômato Finito com Saída Ailton Sérgio Bonifácio Yandre Maldonado e Gomes da Costa Mestrado em Ciência da Computação - FACCAR/UFRGS ailton@uel.br, yandre@din.uem.br

Leia mais

e-lab: a didactic interactive experiment An approach to the Boyle-Mariotte law

e-lab: a didactic interactive experiment An approach to the Boyle-Mariotte law Sérgio Leal a,b, João Paulo Leal a,c Horácio Fernandes d a Departamento de Química e Bioquímica, FCUL, Lisboa, Portugal b Escola Secundária com 3.º ciclo Padre António Vieira, Lisboa, Portugal c Unidade

Leia mais

Efficient Locally Trackable Deduplication in Replicated Systems. www.gsd.inesc-id.pt. technology from seed

Efficient Locally Trackable Deduplication in Replicated Systems. www.gsd.inesc-id.pt. technology from seed Efficient Locally Trackable Deduplication in Replicated Systems João Barreto and Paulo Ferreira Distributed Systems Group INESC-ID/Technical University Lisbon, Portugal www.gsd.inesc-id.pt Bandwidth remains

Leia mais

Scientific data repositories: the USP experience

Scientific data repositories: the USP experience Scientific data repositories: the USP experience Superintendência de Tecnologia da Informação 2018 : Sylvio Canuto Antonio Mauro Saraiva Superintendência de TI: João Eduardo Ferreira Fátima L. S. Nunes

Leia mais

CENTRO UNIVERSITÁRIO METROPOLITANO DE SÃO PAULO CURSO ADMINISTRAÇÃO DE EMPRESAS A LOGISTICA REVERSA APLICADA NO ÓLEO LUBRIFICANTE E SEUS RESÍDUOS

CENTRO UNIVERSITÁRIO METROPOLITANO DE SÃO PAULO CURSO ADMINISTRAÇÃO DE EMPRESAS A LOGISTICA REVERSA APLICADA NO ÓLEO LUBRIFICANTE E SEUS RESÍDUOS CENTRO UNIVERSITÁRIO METROPOLITANO DE SÃO PAULO CURSO ADMINISTRAÇÃO DE EMPRESAS A LOGISTICA REVERSA APLICADA NO ÓLEO LUBRIFICANTE E SEUS RESÍDUOS ALINE THAIS MARQUEZIM ELOÁ PLETITSCH FIGUEIREDO JULIÊ GALIPI

Leia mais

CENTRO ESTADUAL DE EDUCAÇÃO TECNOLÓGICA PAULA SOUZA

CENTRO ESTADUAL DE EDUCAÇÃO TECNOLÓGICA PAULA SOUZA CENTRO ESTADUAL DE EDUCAÇÃO TECNOLÓGICA PAULA SOUZA FACULDADE DE TECNOLOGIA DE LINS PROF. ANTONIO SEABRA CURSO SUPERIOR DE TECNOLOGIA EM LOGÍSTICA DANIEL ALVES PEREIRA JULIO CESAR JUSTINO UM ESTUDO EXPLORATÓRIO

Leia mais

Carlos Humberto Soares Júnior

Carlos Humberto Soares Júnior Boletín de la Asociación Matemática Venezolana, Vol. X, No. 1 (2003) 15 Funções de classe C k Carlos Humberto Soares Júnior Abstract When we study the functions of class C k in the graduate courses, in

Leia mais

Adelino V M Canário CCMAR Centro de Ciências do Mar Universidade do Algarve

Adelino V M Canário CCMAR Centro de Ciências do Mar Universidade do Algarve Adelino V M Canário CCMAR Centro de Ciências do Mar Universidade do Algarve sumário Programas Europeus de Investigação Alguns dados Factores relevantes para sucesso Caminho para H2020 7º Programa Quadro

Leia mais

João Paulo de Freitas Araujo. Algoritmos para acelerar a computação de Árvores de corte de Gomory e Hu. Dissertação de Mestrado

João Paulo de Freitas Araujo. Algoritmos para acelerar a computação de Árvores de corte de Gomory e Hu. Dissertação de Mestrado João Paulo de Freitas Araujo Algoritmos para acelerar a computação de Árvores de corte de Gomory e Hu Dissertação de Mestrado Dissertação apresentada ao Programa de Pós- Graduação em Engenharia de Produção

Leia mais

CSE 521: Design and Analysis of Algorithms I

CSE 521: Design and Analysis of Algorithms I CSE 521: Design and Analysis of Algorithms I Representative Problems Paul Beame 1 5 Representative Problems Interval Scheduling Single resource Reservation requests Of form Can I reserve it from start

Leia mais

Geração automática de suíte de teste para GUI a partir de Rede de Petri

Geração automática de suíte de teste para GUI a partir de Rede de Petri Raquel Jauffret Guilhon Geração automática de suíte de teste para GUI a partir de Rede de Petri Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção do grau de Mestre pelo

Leia mais

ESTUDO DE CASO: LeCS: Ensino a Distância

ESTUDO DE CASO: LeCS: Ensino a Distância ESTUDO DE CASO: LeCS: Ensino a Distância HERMOSILLA, Lígia Docente da Faculdade de Ciências Jurídicas e Gerenciais de Garça FAEG - Labienópolis - CEP 17400-000 Garça (SP) Brasil Telefone (14) 3407-8000

Leia mais

Visitor, is this is very important contact with you. WATH DO WE HERE?

Visitor, is this is very important contact with you. WATH DO WE HERE? Visitor, is this is very important contact with you. I m Gilberto Martins Loureiro, Piraí s Senior Age Council President, Rio de Janeiro State, Brazil. Our city have 26.600 habitants we have 3.458 senior

Leia mais

Modelagem e Simulação de Incêndios. Fire dynamics. Carlos André Vaz Junior

Modelagem e Simulação de Incêndios. Fire dynamics. Carlos André Vaz Junior Modelagem e Simulação de Incêndios Fire dynamics Carlos André Vaz Junior INTRODUÇÃO Fire dynamics is a very quantitative and mathematically complex subject. The term fire dynamics came into common use

Leia mais

FATORES QUE INTERFEREM NA QUALIDADE DO SERVIÇO NA UNIDADE DE SAÚDE DA FAMÍLIA RENATO AUGUSTO PEDREIRA LEONNI EM SANTO AMARO DA PURIFICAÇÃO-BA.

FATORES QUE INTERFEREM NA QUALIDADE DO SERVIÇO NA UNIDADE DE SAÚDE DA FAMÍLIA RENATO AUGUSTO PEDREIRA LEONNI EM SANTO AMARO DA PURIFICAÇÃO-BA. UNIVERSIDADE CASTELO BRANCO ATUALIZA ASSOCIAÇÃO CULTURAL CURSO DE PÓS-GRADUAÇÃO EM MBA EXECUTIVO EM SAÚDE- GESTÃO HOSPITALAR KARLA MICHELLINE OLIVEIRA BOAVENTURA FATORES QUE INTERFEREM NA QUALIDADE DO

Leia mais

)~ Download Introducao ao Direito Empresarial: Direito Empresarial, Empresa, Empresario, Livros, Denominacao, Fundo de Empresa...

)~ Download Introducao ao Direito Empresarial: Direito Empresarial, Empresa, Empresario, Livros, Denominacao, Fundo de Empresa... )~ Download Introducao ao Direito Empresarial: Direito Empresarial, Empresa, Empresario, Livros, Denominacao, Fundo de Empresa... download e books for free ID:tuinxo Click Here to Read Introducao ao Direito

Leia mais

Divisão de Engenharia Mecânica. Programa de Pós-Graduação em Engenharia Aeronáutica e Mecânica. Prova de Seleção para Bolsas 1 o semestre de 2013

Divisão de Engenharia Mecânica. Programa de Pós-Graduação em Engenharia Aeronáutica e Mecânica. Prova de Seleção para Bolsas 1 o semestre de 2013 Divisão de Engenharia Mecânica Programa de Pós-Graduação em Engenharia Aeronáutica e Mecânica Prova de Seleção para Bolsas 1 o semestre de 2013 28 de fevereiro de 2013 Nome do Candidato Observações 1.

Leia mais

Software product lines. Paulo Borba Informatics Center Federal University of Pernambuco

Software product lines. Paulo Borba Informatics Center Federal University of Pernambuco Software product lines Paulo Borba Informatics Center Federal University of Pernambuco Software product lines basic concepts Paulo Borba Informatics Center Federal University of Pernambuco Um produto www.usm.maine.edu

Leia mais

Pedro Paiva Zühlke d Oliveira

Pedro Paiva Zühlke d Oliveira Pedro Paiva Zühlke d Oliveira Homotopies of Curves on the 2-Sphere with Geodesic Curvature in a Prescribed Interval Tese de Doutorado Thesis presented to the Programa de Pós-Graduação em Matemática of

Leia mais

Ahrend, Jan-Marten. Requirements Elicitation in Startup Companies.

Ahrend, Jan-Marten. Requirements Elicitation in Startup Companies. Ahrend, Jan-Marten. Requirements Elicitation in Startup Companies. Dieste, O.; Juristo, N.; Shull, F., "Understanding the Customer: What Do We Know about Requirements Elicitation Mestrando: Rafael Carvalho

Leia mais

AS ÁLGEBRAS DOS OPERADORES DE CONSEQÜÊNCIA

AS ÁLGEBRAS DOS OPERADORES DE CONSEQÜÊNCIA AS ÁLGEBRAS DOS OPERADORES DE CONSEQÜÊNCIA Mauri Cunha do NASCIMENTO 1 Hércules de Araújo FEITOSA 1 RESUMO: Neste trabalho, introduzimos as TK-álgebras associadas com os operadores de conseqüência de Tarski,

Leia mais

Como dizer quanto tempo leva para em inglês?

Como dizer quanto tempo leva para em inglês? Como dizer quanto tempo leva para em inglês? Você já se pegou tentando dizer quanto tempo leva para em inglês? Caso ainda não tenha entendido do que estou falando, as sentenças abaixo ajudarão você a entender

Leia mais

Grupo A: Ana Catarina Aperta, Daniel Peixeiro, Pedro Antunes

Grupo A: Ana Catarina Aperta, Daniel Peixeiro, Pedro Antunes Grupo A: Ana Catarina Aperta, Daniel Peixeiro, Pedro Antunes b) Para valores C, T, α, β e funções a, b, z escolhidas (inclua um caso C = 1, α = 1, β = 0 com a(t) = b(t) = (t + 1) 1, z(x) = x 2 ), apresente

Leia mais

Dissertação realizada sob a orientação de. Carlos Manuel Pereira Cabrita

Dissertação realizada sob a orientação de. Carlos Manuel Pereira Cabrita i Dissertação realizada sob a orientação de Carlos Manuel Pereira Cabrita Professor Catedrático do Quadro Departamento de Engenharia Electromecânica Universidade da Beira Interior ii Dedico esta dissertação

Leia mais

2ª AVALIAÇÃO/ º ANO / PRÉ-VESTIBULAR PROVA 1-25/04/2015 PROVA DISCURSIVA

2ª AVALIAÇÃO/ º ANO / PRÉ-VESTIBULAR PROVA 1-25/04/2015 PROVA DISCURSIVA 2ª AVALIAÇÃO/ 2015 3º ANO / PRÉ-VESTIBULAR PROVA 1-25/04/2015 PROVA DISCURSIVA ATENÇÃO! w Consulte a tabela abaixo para identificar a prova discursiva específica ao curso de sua opção. Curso com códigos

Leia mais

ATLAS DE ACUPUNTURA VETERINáRIA. CãES E GATOS (EM PORTUGUESE DO BRASIL) BY CHOO HYUNG KIM

ATLAS DE ACUPUNTURA VETERINáRIA. CãES E GATOS (EM PORTUGUESE DO BRASIL) BY CHOO HYUNG KIM Read Online and Download Ebook ATLAS DE ACUPUNTURA VETERINáRIA. CãES E GATOS (EM PORTUGUESE DO BRASIL) BY CHOO HYUNG KIM DOWNLOAD EBOOK : ATLAS DE ACUPUNTURA VETERINáRIA. CãES E GATOS Click link bellow

Leia mais

4. Marque a alternativa que considerar correta na tabela abaixo. 5. Utilize o verso das folhas para a resolução das questões

4. Marque a alternativa que considerar correta na tabela abaixo. 5. Utilize o verso das folhas para a resolução das questões Observações 1. Duração da prova: 90 minutos (uma hora e meia) 2. Não é permitido o uso de calculadoras ou outros dispositivos eletrônicos para cálculo 3. Cada pergunda admite uma única resposta 4. Marque

Leia mais