Results 21 to 30 of about 6,993 (142)
O Fundef e a Educação Básica em São Paulo: análise de quatro municípios
Educação: Teoria e Prática, 2007 This paper presents a comparison of the performances adopted by municipalities in the State of São Paulo: Leme, Pirassununga, Rio Claro and Limeira, during the period between 1996 - 2000, executing the constitutional obligations regarding the supply of ...
Theresa Maria de Freitas Adrião +1 more
doaj +3 more sources
Os Impactos Financeiros do Fundef na Educação Básica no Município de João Pessoa
Educação: Teoria e Prática, 2007 One of the main actions of the current Brazilian was the creation of FUNDEF - Fund for the of Maintenance and Development of the Elementary Education and of Valorization of the Teachers Work – in 1996, destined to finance the elementary education public ...
Luiz de Souza Junior
doaj +2 more sources
Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs [PDF]
, 2018 Dynamically typed languages, like Erlang, allow developers to quickly write programs without explicitly providing any type information on expressions or function definitions. However, this feature makes those languages less reliable than statically typed
De Angelis, Emanuele +4 more
core +2 more sources
Ensaio, 2011 Este artigo, que envolve a combinação de procedimentos quantitativos e qualitativos, traz resultados de pesquisa que analisou o impacto do Fundef na estruturação da rede municipal de ensino de Pirapozinho-SP, e mostra como estes resultados trazem ...
Regina Celia Ramos +1 more
doaj +1 more source
Pesquisa e Debate em Educação, 2019 O artigo pretende oferecer um panorama do financiamento da educação no Brasil, com base em análise documental e bibliográfica, descrevendo e analisando as receitas e despesas vinculadas à educação, o Fundef e o Fundeb, e os seus percalços, como equívocos
Nicholas Davies
doaj +1 more source
Memoizing a monadic mixin DSL [PDF]
, 2011 Modular extensibility is a highly desirable property of a domain-specific language (DSL): the ability to add new features without affecting the implementation of existing features.
Samulowitz, Horst +4 more
core +1 more source
FUNDEB: a redenção da educação básica? FUNDEB: the redemption of basic education?
Educação & Sociedade, 2006 O artigo examina o FUNDEF e o FUNDEB, que são mecanismos para redistribuir, dentro de cada estado, entre o governo estadual e as prefeituras, uma parte dos impostos (15% de alguns, no caso do FUNDEF, e 20% de um número maior de impostos, no caso do ...
Nicholas Davies
doaj +1 more source
Journal of Metallurgy, Volume 2010, Issue 1, 2010., 2010 A dislocation model, accurately describing the uniaxial plastic stress‐strain behavior of dual phase (DP) steels, is proposed and the impact of martensite content and ferrite grain size in four commercially produced DP steels is analyzed. It is assumed that the plastic deformation process is localized to the ferrite.
Yngve Bergström +3 more
wiley +1 more source
Formal Compiler Implementation in a Logical Framework [PDF]
, 2003 The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the use of higher-order abstract syntax and term rewriting in a logical framework. All program transformations,
Aydemir, Brian +3 more
core +7 more sources
A política educacional do governo Fernando Henrique Cardoso: uma visão comparada [PDF]
, 2010 O artigo avalia comparativamente as políticas educacionais do governo Fernando Henrique Cardoso (1995-2003) no contexto do período entre 1992-2008.
DURHAM, Eunice Ribeiro
core +2 more sources