A5081229637- Ancient Near East History
- Global Peace and Security Dynamics
- Religion and Society Interactions
- International Relations and Foreign Policy
- Software-Defined Networks and 5G
- Ancient Egypt and Archaeology
- Legal Issues in South Africa
- Biblical Studies and Interpretation
- International Development and Aid
- Political Conflict and Governance
- Software System Performance and Reliability
- Archaeology and Historical Studies
- Eurasian Exchange Networks
- Historical and Contemporary Political Dynamics
- Global Security and Public Health
- American Constitutional Law and Politics
- Globalization, Historical Perspectives, and International Relations
- Radiation Effects in Electronics
- Religion, Society, and Development
- Network Security and Intrusion Detection
- Economic Theory and Institutions
- Political Philosophy and Ethics
- Historical and Architectural Studies
- Reformed Theology and Governance
- History of Science and Natural History
Universidade Federal do Rio Grande do Norte
2024
Fundação Getulio Vargas
2022
Universidade de Brasília
2022
Universidade do Estado do Rio de Janeiro
2022
Johns Hopkins University
2022
University of Exeter
2010-2021
Cultura
2020
Universidade Federal de Minas Gerais
2020
Autonomous University of Lisbon
2012-2019
Instituto Paulo Freire
2019
Recent trends in software-defined networking have extended network programmability to the data plane through programming languages such as P4. Unfortunately, chance of introducing bugs also increases significantly this new context. Existing verification approaches are unable model P4 programs, or they present severe restrictions set properties that can be modeled. In paper, we introduce a program approach based on assertion checking and symbolic execution. Network programmers annotate...
Recent trends in software-defined networking have extended network programmability to the data plane. Unfortunately, chance of introducing bugs increases significantly. Verification can help prevent by assuring that program does not violate its requirements. Although research on verification P4 programs is very active, we still need tools make easier for programmers express properties and rapidly verify complex invariants. In this paper, leverage assertions symbolic execution propose a more...
Current trends in SDN extend network programmability to the data plane through use of programming languages such as P4. In this context, chance introducing errors and consequently software vulnerabilities increases significantly. Existing verification mechanisms are unable model P4 programs or present severe restrictions set modeled properties. To overcome these limitations make programmable planes more secure, we a program technique based on assertion checking symbolic execution. First,...
Abraham Kuyper and Guillaume Groen van Prinsterer as Anti-Rationalist Liberals Lucas G Freire BA in Economics, Universidade Federal de Minas Gerais Email: lucas.freire@mackenzie.br https://orcid.org/0000-0002-4072-1924 Search for other works by this author on: Oxford Academic Google Scholar Journal of Church State, Volume 63, Issue 2, Spring 2021, Pages 197–215, https://doi.org/10.1093/jcs/csaa029 Published: 26 April 2020 Article history Received: 01 November 2019 Revision received: 14...
<title>Abstract</title> Stereotomography is a tomographic technique that can be used in the process of subsurface imaging, especially useful for oil and gas exploration. In this paper, we apply parallelization techniques on stereotomography algorithm an attempt to make it run faster systems support paradigm. The program was subjected hybrid using OpenMPand OpenMPI, decreasing runtimes with both shared distributed memory models. A scalability analysis performed thereafter, aid...
Oaths and curses, embedded in a covenantal context, were paramount normative mechanisms the foreign relations between ancient Near Eastern kings. This article provides an account of political role covenants oaths their religious background, presenting textual evidence denoting notion that breaking covenant was serious offense punishable by divine curses. The further explores how curses operated, looking at other texts portraying kings as representatives people, prophets deities, not only to...
O objetivo geral deste estudo é examinar como a praxiologia lida com os problemas relacionados ao caráter empirista das formulações do indutivismo, positivismo lógico e falsificacionismo na filosofia da ciência. Um secundário criticar essas propostas base discussão que vem sendo travada ciência há décadas. Outro divulgar proposta metodológica em Economia. Em resposta diversos têm inspirado teorização econômica dominante por muito tempo, apresenta uma alternativa para Merece mais consideração...
Apresentação do dossiê "Entre 'precariedades', 'crises' e o 'colapso': perspectivas antropológicas sobre "desmonte" SUS"Between "precariousness", "crises" and "collapse": anthropological perspectives on the "dismantling" of SUS
How can reformational philosophy help us reconceptualise the notion of security? In field Security Studies, theoretical isms abound, each them rooted in a different philosophical tradition. One these approaches, “securitization theory”, portrays security connection to five “sectors” that seem reflect some basic aspects cosmos analysed by philosophy. I consider potential this theory an initial attempt introduce approach Studies. also briefly its shortcomings. Finally, on elements security. At...
A partir do acompanhamento das rotinas de trabalho funcionárias Núcleo Defesa da Diversidade Sexual e Direitos Homoafetivos (NUDIVERSIS) Defensoria Pública Geral Estado Rio Janeiro (DPGE-RJ) tanto nos atendimentos aos usuários serviço, quanto em seus expedientes internos, busco discutir como as pessoas transexuais são produzidas enquanto “sujeitos direitos” no cotidiano administração pública. Destaco que esta produção engendra uma série definições avaliações acerca quem seriam os legítimos”...
This article is a contribution to the clarification of central claim Kenneth Waltz’s neorealist international relations theory. Over years, notion that Theory International Politics postulates deterministic connection between configuration structure system and behaviour each units has gained traction in textbooks straw-man critiques approach. Two major groups critics neorealism’s alleged determinism have formed. The first group focuses on instances where predicted balancing did not occur...