Littérature scientifique sur le sujet « Certificats exacts »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Certificats exacts ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Articles de revues sur le sujet "Certificats exacts"
Zhang, Brian Hu, et Tuomas Sandholm. « Finding and Certifying (Near-)Optimal Strategies in Black-Box Extensive-Form Games ». Proceedings of the AAAI Conference on Artificial Intelligence 35, no 6 (18 mai 2021) : 5779–88. http://dx.doi.org/10.1609/aaai.v35i6.16724.
Texte intégralYano, Masayuki. « A reduced basis method with exact-solution certificates for steady symmetric coercive equations ». Computer Methods in Applied Mechanics and Engineering 287 (avril 2015) : 290–309. http://dx.doi.org/10.1016/j.cma.2015.01.003.
Texte intégralLiu, Minghui, et Gábor Pataki. « Exact duals and short certificates of infeasibility and weak infeasibility in conic linear programming ». Mathematical Programming 167, no 2 (10 avril 2017) : 435–80. http://dx.doi.org/10.1007/s10107-017-1136-5.
Texte intégralJaworowicz, D. J., J. Nie, M. R. Bonner, D. Han, D. Vito, A. Hutson, N. Potischman, M. Trevisan, P. Muti et J. L. Freudenheim. « Agreement between self-reported birth weight and birth certificate weights ». Journal of Developmental Origins of Health and Disease 1, no 2 (21 janvier 2010) : 106–13. http://dx.doi.org/10.1017/s2040174410000012.
Texte intégralNhoncanse, Geiza Cesar, Carla Maria R. Germano, Lucimar Retto da S. de Avo et Debora Gusmao Melo. « Maternal and perinatal aspects of birth defects : a case-control study ». Revista Paulista de Pediatria 32, no 1 (mars 2014) : 24–31. http://dx.doi.org/10.1590/s0103-05822014000100005.
Texte intégralQuesinberry, Dana, Terry L. Bunn, Sarah Hargrove et Svetla Slavova. « Impact of a Drug Overdose Decedent Toxicology Testing Legislative Mandate on Informing Coroner Death Investigation and Certification Practices ». Academic Forensic Pathology 9, no 1-2 (mars 2019) : 66–80. http://dx.doi.org/10.1177/1925362119851127.
Texte intégralFlores-Ríos, Paulina Alejandra, Robles Celerino et 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, no 6 (18 septembre 2020) : 1437–45. http://dx.doi.org/10.29312/remexca.v11i6.2615.
Texte intégralGould, Jeffrey B. « Vital Records for Quality Improvement ». Pediatrics 103, Supplement_E1 (1 janvier 1999) : 278–90. http://dx.doi.org/10.1542/peds.103.se1.278.
Texte intégralVershik, A. M. « Vladimir Abramovich Rokhlin—A biographical tribute (23.8.1919–3.12.1984) ». Ergodic Theory and Dynamical Systems 9, no 4 (décembre 1989) : 629–41. http://dx.doi.org/10.1017/s0143385700005265.
Texte intégralZhou, J. Z., W. J. Chu, J. H. Cheng, J. Y. Dai et C. Li. « Experimental Study on Transverse Stability of Wheel Loader ». Key Engineering Materials 499 (janvier 2012) : 79–84. http://dx.doi.org/10.4028/www.scientific.net/kem.499.79.
Texte intégralThèses sur le sujet "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.
Texte intégralThe 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.
Texte intégralNowadays 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.
Texte intégralLanguage 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.
Texte intégralApproved 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.
Texte intégralEsse 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.
Texte intégralMiranda, 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.
Texte intégralTeixeira, 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.
Texte intégralTeixeira, 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.
Texte intégralTlebere, 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.
Texte intégralThis 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.
Livres sur le sujet "Certificats exacts"
Moore, Imogen. 4. Shares and Shareholders. Oxford University Press, 2016. http://dx.doi.org/10.1093/he/9780198745228.003.0004.
Texte intégralChapitres de livres sur le sujet "Certificats exacts"
Hellerstein, Lisa. « Certificate Complexity and Exact Learning ». Dans Encyclopedia of Algorithms, 286–90. New York, NY : Springer New York, 2016. http://dx.doi.org/10.1007/978-1-4939-2864-4_66.
Texte intégralHellerstein, Lisa. « Certificate Complexity and Exact Learning ». Dans Encyclopedia of Algorithms, 1–5. Boston, MA : Springer US, 2015. http://dx.doi.org/10.1007/978-3-642-27848-8_66-2.
Texte intégralHellerstein, Lisa. « Certificate Complexity and Exact Learning ». Dans Encyclopedia of Algorithms, 131–34. Boston, MA : Springer US, 2008. http://dx.doi.org/10.1007/978-0-387-30162-4_66.
Texte intégralAshbourn, Julian. « What exactly is a digital certificate ? » Dans PKI Implementation and Infrastructures, 21–26. Boca Raton : CRC Press, 2023. http://dx.doi.org/10.1201/9781003360674-4.
Texte intégralYano, Masayuki. « A Reduced Basis Method with an Exact Solution Certificate and Spatio-Parameter Adaptivity : Application to Linear Elasticity ». Dans Model Reduction of Parametrized Systems, 55–76. Cham : Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-58786-8_4.
Texte intégral« Adjusting the Color Problem ». Dans The Birth Certificate, sous la direction de Susan J. Pearson, 189–222. University of North Carolina Press, 2021. http://dx.doi.org/10.5149/northcarolina/9781469665689.003.0007.
Texte intégralLakafosis, Vasileios, Edward Gebara, Manos M. Tentzeris, Gerald DeJean et Darko Kirovski. « Near Field Authentication ». Dans IT Policy and Ethics, 244–67. IGI Global, 2013. http://dx.doi.org/10.4018/978-1-4666-2919-6.ch012.
Texte intégralMatthews, Clifford. « API RP 577 : Welding Processes, Inspection and Metallurgy ». Dans 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.
Texte intégralChapman, Con. « A Sax Is Born ». Dans Rabbit's Blues, 3–10. Oxford University Press, 2019. http://dx.doi.org/10.1093/oso/9780190653903.003.0002.
Texte intégralDzelzainis, Martin. « Marvell’s Poetry in Motion ». Dans Imagining Andrew Marvell at 400, 277–98. British Academy, 2022. http://dx.doi.org/10.5871/bacad/9780197267073.003.0015.
Texte intégralActes de conférences sur le sujet "Certificats exacts"
Junek, Lubomir, Jaroslav Bartonicek et Milan Vrana. « Degradation Mechanisms Control of Mechanical Components During Operation ». Dans ASME 2009 Pressure Vessels and Piping Conference. ASMEDC, 2009. http://dx.doi.org/10.1115/pvp2009-77655.
Texte intégralHui, Qing, Jinglai Shen et Wei Qiao. « Dynamic Security Analysis of Electric Power Systems : Passivity-Based Approach and Positive Invariance Approach ». Dans ASME 2010 Dynamic Systems and Control Conference. ASMEDC, 2010. http://dx.doi.org/10.1115/dscc2010-4111.
Texte intégralRahia, Laurice El, et Marie-Thérèse Saliba. « A Study on the Sociology Official Exams for the Lebanese Secondary Certificate from 2001 to 2014 ». Dans 4th Annual International Conference on Cognitive - Social, and Behavioural Sciences. Cognitive-crcs, 2016. http://dx.doi.org/10.15405/epsbs.2016.05.22.
Texte intégralLin, Tong, Tianliang Xu, Amit Zac et Sabina Tomkins. « SUSTAINABLESIGNALS : An AI Approach for Inferring Consumer Product Sustainability ». Dans 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.
Texte intégralCruz de Oliveira, Elcio, et Paula Fernandes de Aguiar. « Evaluation of the Uncertainty in Measurement Versus the Limit of Specification : Qualitative and Quantitative Aspects of Compliance ». Dans 2004 International Pipeline Conference. ASMEDC, 2004. http://dx.doi.org/10.1115/ipc2004-0302.
Texte intégralCrepaldi, Bruno, Cid De Souza et Pedro De Rezende. « Um Algoritmo Eficiente para o Problema do Posicionamento Natural de Antenas ». Dans 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.
Texte intégralSilva, 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 et Adicinéia Aparecida de Oliveira. « Desenvolvimento de um sistema de monitoramento de hemotransfusão ». Dans Congresso Científico da Faculdade de Enfermagem da UNICAMP. Universidade Estadual de Campinas, 2022. http://dx.doi.org/10.20396/ccfenf220224769.
Texte intégralLiebenberg, Marais, Claudia C. Magalha˜es et David Eduardo G. P. Bueno. « On the Design of an Operator Training Simulator in a South African Pipeline Network ». Dans 2008 7th International Pipeline Conference. ASMEDC, 2008. http://dx.doi.org/10.1115/ipc2008-64527.
Texte intégralde Souza, Alessandro Nunes, et Edimara Mezzomo Luciano. « O Papel da Certificação do Profissional de TI na Qualidade do Software : uma Investigação Preliminar ». Dans Simpósio Brasileiro de Qualidade de Software. Sociedade Brasileira de Computação - SBC, 2004. http://dx.doi.org/10.5753/sbqs.2004.16185.
Texte intégralLazaroiu, George, Gheorghe h. Popescu et Elvira Nica. « DEMOCRATIZING EDUCATION : THE POTENTIAL OF EDX IN REVOLUTIONIZING LEARNING ». Dans eLSE 2016. Carol I National Defence University Publishing House, 2016. http://dx.doi.org/10.12753/2066-026x-16-181.
Texte intégral