We propose a new approach for practical secure two-party computation (2PC) achieving security in the presence of malicious adversaries. Given a program to compute, the idea is to identify subcomputations that depend on only one or neither of the parties’ private inputs. Such computations can be secured at significantly lower cost, using different protocol paradigms for each case. We then show h...

Esta apresentação identifica os principais conceitos envolvidos na teoria semântica da informação obra An Outline of a Semantic Theory Information de Bar-Hillel e Carnap. Inicio indicando as influências desdobramentos sobre elaboração desta teoria, seguido dos que autores usarão para tratar o conteúdo semânticodas sentenças. O ponto partida são operações conjunto-teoréticas, inicialmente atravé...

Os processos de planejamento, controle e acompanhamento da produção possuem um papel destaque no desempenho construção civil. Mesmo assim, as empresas do setor focam suas ações empreendimento como todo, sem dar a devida atenção à produção. Tendo isso em vista, este estudo buscou fazer diagnóstico das práticas canteiros obras Região Metropolitana Curitiba. Inicialmente, foi desenvolvida uma anál...

A gordura localizada está cada vez mais presente na vida das mulheres, como a obesidade vem crescendo dia após dia. Com isso busca de tratamentos área dermatofuncional tem alavancado nas intervenções não cirúrgicas. As eletrolipólise, criolipólise e o uso do ultrassom são hoje alguns tipos tratamento que podem ser utilizados redução medidas, melhora qualidade saúde mental mulheres mundialmente....

A presente pesquisa versa sobre as equipes de alta performance e o líder. As trabalho efetivamente tornaram-se uma finalidade no mundo institucional, estas têm angariado ênfase pelo seu desempenho a efeito disto verificou-se utilidade desenvolver eficazes performance. Assim questionou-se, qual papel do líder como construtor avaliador em performance? Sustentada pela hipótese que tem motivador, a...

The present paper gives a classification of the expressive power of two-variable least fixed-point logics. The main results are: 1. The two-variable fragment of monadic least fixed-point logic with parameters is as expressive as full monadic least fixed-point logic (on binary structures). 2. The two-variable fragment of monadic least fixed-point logic without parameters is as expressive as the ...

Relatar a experiência da identificação de fatores estressores no ambiente acadêmico. Trata- se um estudo descritivo, do tipo relato experiência, baseado na Metodologia Problematização, segundo o Arco Maguerez, realizada por discentes curso Enfermagem Universidade Estado Pará (UEPA) para às Ações Integradas em Saúde (AIS). Como resultado, partir dos graduandos foi possível identificar os princip...

O Lema Kuratowski-Zorn denominado frequentemente apenas por de Zorn é objeto controvérsias e debates desde o seu surgimento, apesar disto, sua relevância pode ser percebida pela grande quantidade aplicações consequências apresentadas sobre a forma enunciados equivalentes que são presentes na área exatas, também em matemáticas se baseiam teoria dos conjuntos como, axioma da Escolha, Teorema Boa ...

OBJETIVO: Descrever a percepção dos profissionais das técnicas radiológicas frente à humanização da assistência em um centro de referência tratamento radioterápico. MÉTODO: Trata-se estudo descritivo com abordagem qualitativa que foi desenvolvido partir uma pesquisa campo oncologia no Sul do Brasil. Participaram sete radiológicas. O instrumento coleta dados elaborado duas questões abertas baliz...