Results 31 to 40 of about 7,308 (149)
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
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
Uma dimensão avaliativa do Fundef: a desigualdade regional [PDF]
Educar em Revista, 2003 O objetivo deste texto é discutir a desigualdade nacional em educação, tomando como referência o papel da esfera federal no financiamento da educação e de sua possível ação com vistas a diminuir as desigualdades intrafederativas. Toma-se como objeto de reflexão o Fundo de Manutenção e Desenvolvimento do Ensino Fundamental e de Valorização do Magistério
openaire +3 more sources
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
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
FINEDUCA - Revista de Financiamento da Educação, 2018 O objetivo deste artigo foi analisar se os fundos contábeis, conforme se estruturam no Fundef e no Fundeb, diante da complexidade da estrutura federativa brasileira, têm se constituído em alternativa adequada para o financiamento da educação. Por meio de
Nelton Carlos Conte
semanticscholar +1 more source
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
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
Participação e controle social no Fundef e no Fundeb
Poiésis - Revista do Programa de Pós-Graduação em Educação, 2009 Este trabalho discute aspectos do controle social realizado pelo Conselho de Acompanhamento e Controle Social (CACS) introduzidos no financiamento da educação nacional, a partir da entrada em vigência do Fundo de Manutenção e Desenvolvimento do Ensino Fundamental e de Valorização do Magistério (Fundef), em 1998. O trabalho estabelece uma comparação com
Bassi, Marcos Edgar +1 more
openaire +3 more sources