Literatura científica selecionada sobre o tema "Certificats exacts"
Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos
Índice
Consulte a lista de atuais artigos, livros, teses, anais de congressos e outras fontes científicas relevantes para o tema "Certificats exacts".
Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.
Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.
Artigos de revistas sobre o assunto "Certificats exacts"
Zhang, Brian Hu, e Tuomas Sandholm. "Finding and Certifying (Near-)Optimal Strategies in Black-Box Extensive-Form Games". Proceedings of the AAAI Conference on Artificial Intelligence 35, n.º 6 (18 de maio de 2021): 5779–88. http://dx.doi.org/10.1609/aaai.v35i6.16724.
Texto completo da fonteYano, Masayuki. "A reduced basis method with exact-solution certificates for steady symmetric coercive equations". Computer Methods in Applied Mechanics and Engineering 287 (abril de 2015): 290–309. http://dx.doi.org/10.1016/j.cma.2015.01.003.
Texto completo da fonteLiu, Minghui, e Gábor Pataki. "Exact duals and short certificates of infeasibility and weak infeasibility in conic linear programming". Mathematical Programming 167, n.º 2 (10 de abril de 2017): 435–80. http://dx.doi.org/10.1007/s10107-017-1136-5.
Texto completo da fonteJaworowicz, D. J., J. Nie, M. R. Bonner, D. Han, D. Vito, A. Hutson, N. Potischman, M. Trevisan, P. Muti e J. L. Freudenheim. "Agreement between self-reported birth weight and birth certificate weights". Journal of Developmental Origins of Health and Disease 1, n.º 2 (21 de janeiro de 2010): 106–13. http://dx.doi.org/10.1017/s2040174410000012.
Texto completo da fonteNhoncanse, Geiza Cesar, Carla Maria R. Germano, Lucimar Retto da S. de Avo e Debora Gusmao Melo. "Maternal and perinatal aspects of birth defects: a case-control study". Revista Paulista de Pediatria 32, n.º 1 (março de 2014): 24–31. http://dx.doi.org/10.1590/s0103-05822014000100005.
Texto completo da fonteQuesinberry, Dana, Terry L. Bunn, Sarah Hargrove e Svetla Slavova. "Impact of a Drug Overdose Decedent Toxicology Testing Legislative Mandate on Informing Coroner Death Investigation and Certification Practices". Academic Forensic Pathology 9, n.º 1-2 (março de 2019): 66–80. http://dx.doi.org/10.1177/1925362119851127.
Texto completo da fonteFlores-Ríos, Paulina Alejandra, Robles Celerino e Ernesto Castañeda-Hidalgo. "Generación y caracterización básica de bagazos de la agroindustria del mezcal en Oaxaca". Revista Mexicana de Ciencias Agrícolas 11, n.º 6 (18 de setembro de 2020): 1437–45. http://dx.doi.org/10.29312/remexca.v11i6.2615.
Texto completo da fonteGould, Jeffrey B. "Vital Records for Quality Improvement". Pediatrics 103, Supplement_E1 (1 de janeiro de 1999): 278–90. http://dx.doi.org/10.1542/peds.103.se1.278.
Texto completo da fonteVershik, A. M. "Vladimir Abramovich Rokhlin—A biographical tribute (23.8.1919–3.12.1984)". Ergodic Theory and Dynamical Systems 9, n.º 4 (dezembro de 1989): 629–41. http://dx.doi.org/10.1017/s0143385700005265.
Texto completo da fonteZhou, J. Z., W. J. Chu, J. H. Cheng, J. Y. Dai e C. Li. "Experimental Study on Transverse Stability of Wheel Loader". Key Engineering Materials 499 (janeiro de 2012): 79–84. http://dx.doi.org/10.4028/www.scientific.net/kem.499.79.
Texto completo da fonteTeses / dissertações sobre o assunto "Certificats exacts"
Vu, Trung-Hieu. "Certified Polynomial Optimization Based on Exact Sum of Squares Decompositions". Electronic Thesis or Diss., Sorbonne université, 2022. https://accesdistant.sorbonne-universite.fr/login?url=https://theses-intra.sorbonne-universite.fr/2022SORUS365.pdf.
Texto completo da fonteThe aim of this thesis is to compute exact certificates of non-negativity for polynomials based on sum of squares decompositions with rational coefficients. We provide symbolic algorithms to compute sum of squares decompositions modulo the gradient ideal of non-negative real multivariate polynomials under a genericity condition. These algorithms can tackle a large range of problems which are out of reach for state-of-the-art algorithms. We also compute sums of Hermitian squares decompositions for complex trigonometric univariate polynomials that are positive on the unit circle with Gaussian coefficients. Moreover, we analyze the bit complexity of these algorithms and deduce bitsize bounds of such certificates. Finally, we implement these algorithms in the computer algebra system Maple and the programming environment Julia and evaluate their performance on some standard benchmarks
Batista, Caio Sergio de Vasconcelos. "Um servi?o de certifica??o digital para plataformas de middleware". Universidade Federal do Rio Grande do Norte, 2006. http://repositorio.ufrn.br:8080/jspui/handle/123456789/18086.
Texto completo da fonteNowadays due to the security vulnerability of distributed systems, it is needed mechanisms to guarantee the security requirements of distributed objects communications. Middleware Platforms component integration platforms provide security functions that typically offer services for auditing, for guarantee messages protection, authentication, and access control. In order to support these functions, middleware platforms use digital certificates that are provided and managed by external entities. However, most middleware platforms do not define requirements to get, to maintain, to validate and to delegate digital certificates. In addition, most digital certification systems use X.509 certificates that are complex and have a lot of attributes. In order to address these problems, this work proposes a digital certification generic service for middleware platforms. This service provides flexibility via the joint use of public key certificates, to implement the authentication function, and attributes certificates to the authorization function. It also supports delegation. Certificate based access control is transparent for objects. The proposed service defines the digital certificate format, the store and retrieval system, certificate validation and support for delegation. In order to validate the proposed architecture, this work presents the implementation of the digital certification service for the CORBA middleware platform and a case study that illustrates the service functionalities
Atualmente, plataformas de integra??o de componentes, tamb?m chamadas de plataformas de middleware, t?m tido um importante papel no suporte ao desenvolvimento de sistemas distribu?dos. Em rela??o a controle de acesso, plataformas de middleware t?m utilizado certificados digitais, para verificar a autenticidade de um elemento, em conjunto com controle de acesso baseado em pap?is, para identificar quais opera??es poder?o ser acessadas por tal elemento. Apesar dos certificados terem um papel fundamental no suporte a seguran?a em plataformas de middleware, a maioria delas n?o define requisitos para obten??o, manuten??o, valida??o e delega??o de certificados. Esse trabalho tem como objetivo propor um servi?o gen?rico para certifica??o digital em plataformas de middleware. Esse servi?o deve oferecer flexibilidade atrav?s do uso conjunto de certificados de chave p?blica e certificados de atributos de forma a distinguir a fun??o de autentica??o da fun??o de autoriza??o. Os certificados de atributos d?o suporte ao controle de acesso baseado em pap?is. A flexibilidade tamb?m deve ser endere?ada atrav?s do suporte a delega??o. Na implementa??o para diferentes plataformas de middleware o controle de acesso baseado em certificados deve funcionar de forma transparente para os objetos. De forma a validar o servi?o pretende-se implement?-lo e test?-lo no contexto da plataforma de middleware CORBA, amplamente utilizada atualmente
Azeredo, Luciana Aparecida Silva de. "Relação poder-saber no/pelo certificado de proficiência em língua portuguesa para estrangeiros e os modos de subjetivação de professores". Universidade de Taubaté, 2012. http://www.bdtd.unitau.br/tedesimplificado/tde_busca/arquivo.php?codArquivo=612.
Texto completo da fonteLanguage proficiency has been discussed in a number of Applied Linguistics studies due to the `power international exams have over society as a whole, being used as a tool that demonstrates a legitimate `knowledge on the examinees knowledge and, consequently, as a selection and exclusion method. This research seeks not only to provide support for language teachers on the features and format of communicative/discursive proficiency exams, such as the Certificado de Proficiência em Língua Portuguesa para Estrangeiros (CELPE-BRAS), but also to promote problematization on the dichotomy between theory and practice. To do so, we propose to analyze the CELPE-BRAS communicative/discursive proposal, based on French Discourse Analysis and its interfaces with foucaultian concepts, paying careful attention to the way the knowledge-power relation incurs in the discursive-pedagogical practices. By doing so, we intend to observe how teachers subjectify themselves when facing this communicative/discursive proposal and which changes occur in their teaching. Our hypothesis is that there is a (courses and techniques) truth regimen that engenders the communicative/discursive exams that is out of teachers and evaluators reach that may still follow a traditional/structural approach to prepare/evaluate candidates, many times, without even noticing such incoherence. In order to find answers to these questions, first we present some specificities and aspects of the new proposal of the exam and then confront them with the sayings of Portuguese for foreigners teachers who work in Colombia and in Brazil. The analysis performed let us notice, especially by means of the denegation and confession mechanisms, the heterogeneity of voices present in the subjects intradiscourse (chameleonic subjects). These voices also echo in the manual and correction criteria and point to reminiscences of a traditional/structural evaluation practice, which is expected since, as language subjects, there is no way to silence our discursive memory evoked in discursive practices. It was also observed that the exam has a power over the class preparation and/or delivery (washback retroactive effect) and in society, being used to classify, select, and `discard candidates. On the whole, the subjects stick to the exam proposal, reproducing it in their classes, so as their knowledge is sacred and legitimated. We concluded that for the teacher to become discursivist, as the exam proposes, considered as ideal in the contemporaneity, they must access other discursivities that mobilize their practice, thus singularize the exam proposal.
Pessini, Evando Carlos. "Certifica??o de composi??es de servi?os web sem?nticos". Universidade Federal do Rio Grande do Norte, 2014. http://repositorio.ufrn.br/handle/123456789/19640.
Texto completo da fonteApproved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-01-21T18:18:20Z (GMT) No. of bitstreams: 1 EvandoCarlosPessini_TESE.pdf: 1797248 bytes, checksum: e3b1bb46971f452029930068e9f8babf (MD5)
Made available in DSpace on 2016-01-21T18:18:20Z (GMT). No. of bitstreams: 1 EvandoCarlosPessini_TESE.pdf: 1797248 bytes, checksum: e3b1bb46971f452029930068e9f8babf (MD5) Previous issue date: 2014-07-29
Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior - CAPES
Esta tese apresenta um m?todo de certifica??o de composi??es de servi?os web sem?nticos, o qual visa assegurar estaticamente sua corre??o funcional. O m?todo de certifica??o consiste em duas dimens?es de verifica??o, denominadas base e funcional. A dimens?o base ? centrada na verifica??o da correta aplica??o dos servi?os web sem?nticos na composi??o, i.e., visa certificar que as invoca??es de servi?o especificadas na composi??o est?o em conformidade com as respectivas defini??es dos servi?os. A certifica??o desta dimens?o explora a compatibilidade sem?ntica entre os argumentos dados na invoca??o e os par?metros formais do servi?o web sem?ntico. A dimens?o funcional visa certificar que a composi??o cumpre uma dada especifica??o expressa na forma de pr? e p?s-condi??es. Esta dimens?o ? formalizada atrav?s de um c?lculo baseado na l?gica de Hoare. Especifica??es de corre??o parciais envolvendo composi??es de servi?os web sem?nticos podem ser derivadas a partir do sistema dedutivo proposto. Este trabalho caracteriza-se tamb?m por explorar o emprego de um fragmento da l?gica descritiva, i.e., ALC, para expressar as especifica??es de corre??o parciais. Como forma de operacionalizar o m?todo de certifica??o, foi desenvolvido um ambiente de suporte para a defini??o das composi??es de servi?os web sem?nticos, assim como os mecanismos necess?rios para realizar a certifica??o. O m?todo de certifica??o foi avaliado experimentalmente atrav?s da aplica??o em tr?s provas de conceito diferentes. As provas de conceito desenvolvidas possibilitaram avaliar de forma ampla o m?todo de certifica??o proposto
This thesis presents a certification method for semantic web services compositions which aims to statically ensure its functional correctness. Certification method encompasses two dimensions of verification, termed base and functional dimensions. Base dimension concerns with the verification of application correctness of the semantic web service in the composition, i.e., to ensure that each service invocation given in the composition comply with its respective service definition. The certification of this dimension exploits the semantic compatibility between the invocation arguments and formal parameters of the semantic web service. Functional dimension aims to ensure that the composition satisfies a given specification expressed in the form of preconditions and postconditions. This dimension is formalized by a Hoare logic based calculus. Partial correctness specifications involving compositions of semantic web services can be derived from the deductive system proposed. Our work is also characterized by exploiting the use of a fragment of description logic, i.e., ALC, to express the partial correctness specifications. In order to operationalize the proposed certification method, we developed a supporting environment for defining the semantic web services compositions as well as to conduct the certification process. The certification method were experimentally evaluated by applying it in three different proof concepts. These proof concepts enabled to broadly evaluate the method certification
Quirino, Gustavo da Silva. "Análise arquitetural de algoritmos criptográficos assimétricos em plataformas embarcadas usadas em RSSF". Pós-Graduação em Ciência da Computação, 2013. https://ri.ufs.br/handle/riufs/3339.
Texto completo da fonteEsse trabalho consiste na avaliação de desempenho de algoritmos criptográficos assimétrico em plataformas embarcadas usadas em Redes de Sensores Sem Fio (RSSF). Os dispositivos sensores têm baixa capacidade computacional e energética, portanto técnicas de segurança não devem consumir grande quantidade de recursos. Os algoritmos criptográficos assimétricos RSA, ECC e MQQ foram avaliados nas plataformas Desktop, ARM, MSP430 e AVR. A avaliação de desempenho foi realizada com auxílio dos simuladores SimpleScalar, Sim- Panalyzer, MSPsim e AVRORA. Os critérios de avaliação foram: tempo de processamento, uso de memória e processador, além do consumo de energia. Os dados revelaram que o algoritmo MQQ foi mais eficiente que os algoritmos RSA e ECC na maioria dos critérios de avaliação, além disso, o algoritmo ECC obteve os melhores resultados quando comparado com o algoritmo RSA
Miranda, César Davide Barbosa. "Large scale secure automatic provisioning of X.509 certificates via web services". Dissertação, 2015. https://repositorio-aberto.up.pt/handle/10216/82514.
Texto completo da fonteMiranda, César Davide Barbosa. "Large scale secure automatic provisioning of X.509 certificates via web services". Master's thesis, 2015. https://repositorio-aberto.up.pt/handle/10216/82514.
Texto completo da fonteTeixeira, Luís Manuel Magalhães Carvalho Valente. "Mecanismos Seguros para o auto-aprovisionamento de certificados do cartão U. Porto". Dissertação, 2012. https://repositorio-aberto.up.pt/handle/10216/75387.
Texto completo da fonteTeixeira, Luís Manuel Magalhães Carvalho Valente. "Mecanismos Seguros para o auto-aprovisionamento de certificados do cartão U. Porto". Master's thesis, 2012. https://repositorio-aberto.up.pt/handle/10216/75387.
Texto completo da fonteTlebere, Maleshoane Matheko. "An investigation of feedback to secondary schools from The Cambridge overseas school certificate(COSC) english language examinations in Lesotho". Thesis, 2006. http://hdl.handle.net/10539/348.
Texto completo da fonteThis study investigates how feedback from the Cambridge Overseas School Certificate (COSC) English language examinations marking board is transmitted to the teachers and other stakeholders for effective teaching and learning in Lesotho secondary schools. The aim was to discover teachers’ and other stakeholders’ views, feelings and reactions to examiners’ reports. The focus was also on the general information that comes from the marking board. In carrying out this study, interviews, questionnaires and documents were used to examine the extent to which teachers access and make use of this information in improving their pedagogical practices. End of year results, from selected schools, covering a period of five years, were analysed. The major findings of the research revealed that there was a correlation between the feedback and students’ results. Based on feedback from the marking board there were positive washback effects on teaching methods and on teachers’ perceptions, resulting in improved students’ scores. Nevertheless, there were contradicting views on the issue of washback effects and this situation simply highlighted the ambivalence of the concept of washback, especially on the high-stakes tests such as the COSC discussed here. One major discovery was in relation to the issue of full localization of COSC. An overwhelming majority of the respondents suggested that localized marking of the COSC has positive washback effects on teaching and learning of English language in the context of Lesotho, and more positive results are envisaged with full localization of such examinations and the curricula. It is hoped that the MOE, will make informed policy modifications using some of the findings in this report.
Livros sobre o assunto "Certificats exacts"
Moore, Imogen. 4. Shares and Shareholders. Oxford University Press, 2016. http://dx.doi.org/10.1093/he/9780198745228.003.0004.
Texto completo da fonteCapítulos de livros sobre o assunto "Certificats exacts"
Hellerstein, Lisa. "Certificate Complexity and Exact Learning". In Encyclopedia of Algorithms, 286–90. New York, NY: Springer New York, 2016. http://dx.doi.org/10.1007/978-1-4939-2864-4_66.
Texto completo da fonteHellerstein, Lisa. "Certificate Complexity and Exact Learning". In Encyclopedia of Algorithms, 1–5. Boston, MA: Springer US, 2015. http://dx.doi.org/10.1007/978-3-642-27848-8_66-2.
Texto completo da fonteHellerstein, Lisa. "Certificate Complexity and Exact Learning". In Encyclopedia of Algorithms, 131–34. Boston, MA: Springer US, 2008. http://dx.doi.org/10.1007/978-0-387-30162-4_66.
Texto completo da fonteAshbourn, Julian. "What exactly is a digital certificate?" In PKI Implementation and Infrastructures, 21–26. Boca Raton: CRC Press, 2023. http://dx.doi.org/10.1201/9781003360674-4.
Texto completo da fonteYano, Masayuki. "A Reduced Basis Method with an Exact Solution Certificate and Spatio-Parameter Adaptivity: Application to Linear Elasticity". In Model Reduction of Parametrized Systems, 55–76. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-58786-8_4.
Texto completo da fonte"Adjusting the Color Problem". In The Birth Certificate, editado por Susan J. Pearson, 189–222. University of North Carolina Press, 2021. http://dx.doi.org/10.5149/northcarolina/9781469665689.003.0007.
Texto completo da fonteLakafosis, Vasileios, Edward Gebara, Manos M. Tentzeris, Gerald DeJean e Darko Kirovski. "Near Field Authentication". In IT Policy and Ethics, 244–67. IGI Global, 2013. http://dx.doi.org/10.4018/978-1-4666-2919-6.ch012.
Texto completo da fonteMatthews, Clifford. "API RP 577: Welding Processes, Inspection and Metallurgy". In The API ICP Exam Handbook: Complete Guide to Passing the API 510/570/653 ICP Exams, 77–112. ASME, 2023. http://dx.doi.org/10.1115/1.862api_ch7.
Texto completo da fonteChapman, Con. "A Sax Is Born". In Rabbit's Blues, 3–10. Oxford University Press, 2019. http://dx.doi.org/10.1093/oso/9780190653903.003.0002.
Texto completo da fonteDzelzainis, Martin. "Marvell’s Poetry in Motion". In Imagining Andrew Marvell at 400, 277–98. British Academy, 2022. http://dx.doi.org/10.5871/bacad/9780197267073.003.0015.
Texto completo da fonteTrabalhos de conferências sobre o assunto "Certificats exacts"
Junek, Lubomir, Jaroslav Bartonicek e Milan Vrana. "Degradation Mechanisms Control of Mechanical Components During Operation". In ASME 2009 Pressure Vessels and Piping Conference. ASMEDC, 2009. http://dx.doi.org/10.1115/pvp2009-77655.
Texto completo da fonteHui, Qing, Jinglai Shen e Wei Qiao. "Dynamic Security Analysis of Electric Power Systems: Passivity-Based Approach and Positive Invariance Approach". In ASME 2010 Dynamic Systems and Control Conference. ASMEDC, 2010. http://dx.doi.org/10.1115/dscc2010-4111.
Texto completo da fonteRahia, Laurice El, e Marie-Thérèse Saliba. "A Study on the Sociology Official Exams for the Lebanese Secondary Certificate from 2001 to 2014". In 4th Annual International Conference on Cognitive - Social, and Behavioural Sciences. Cognitive-crcs, 2016. http://dx.doi.org/10.15405/epsbs.2016.05.22.
Texto completo da fonteLin, Tong, Tianliang Xu, Amit Zac e Sabina Tomkins. "SUSTAINABLESIGNALS: An AI Approach for Inferring Consumer Product Sustainability". In Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23}. California: International Joint Conferences on Artificial Intelligence Organization, 2023. http://dx.doi.org/10.24963/ijcai.2023/673.
Texto completo da fonteCruz de Oliveira, Elcio, e Paula Fernandes de Aguiar. "Evaluation of the Uncertainty in Measurement Versus the Limit of Specification: Qualitative and Quantitative Aspects of Compliance". In 2004 International Pipeline Conference. ASMEDC, 2004. http://dx.doi.org/10.1115/ipc2004-0302.
Texto completo da fonteCrepaldi, Bruno, Cid De Souza e Pedro De Rezende. "Um Algoritmo Eficiente para o Problema do Posicionamento Natural de Antenas". In XXVIII Concurso de Teses e Dissertações da SBC. Sociedade Brasileira de Computação - SBC, 2020. http://dx.doi.org/10.5753/ctd.2015.10005.
Texto completo da fonteSilva, Aline Bezerra, Juliana de Oliveira Musse Silva, Gleyce Kelly de Brito Brasileiro Santos, Viviane Nascimento Brandão Lima, João Amaury Lima Martins Júnior, Asclepíades José dos Santos Neto, Angela Maria da Silva e Adicinéia Aparecida de Oliveira. "Desenvolvimento de um sistema de monitoramento de hemotransfusão". In Congresso Científico da Faculdade de Enfermagem da UNICAMP. Universidade Estadual de Campinas, 2022. http://dx.doi.org/10.20396/ccfenf220224769.
Texto completo da fonteLiebenberg, Marais, Claudia C. Magalha˜es e David Eduardo G. P. Bueno. "On the Design of an Operator Training Simulator in a South African Pipeline Network". In 2008 7th International Pipeline Conference. ASMEDC, 2008. http://dx.doi.org/10.1115/ipc2008-64527.
Texto completo da fontede Souza, Alessandro Nunes, e Edimara Mezzomo Luciano. "O Papel da Certificação do Profissional de TI na Qualidade do Software: uma Investigação Preliminar". In Simpósio Brasileiro de Qualidade de Software. Sociedade Brasileira de Computação - SBC, 2004. http://dx.doi.org/10.5753/sbqs.2004.16185.
Texto completo da fonteLazaroiu, George, Gheorghe h. Popescu e Elvira Nica. "DEMOCRATIZING EDUCATION: THE POTENTIAL OF EDX IN REVOLUTIONIZING LEARNING". In eLSE 2016. Carol I National Defence University Publishing House, 2016. http://dx.doi.org/10.12753/2066-026x-16-181.
Texto completo da fonte