rojecto Educativo e Inclusão Sócio-educativa nos Jardins de Infância

O trabalho que ora apresentamos, constitui a nossa memória do fim de curso, designado à obtenção do grau de Licenciatura em Ciências da Educação e Praxis Educativa, vertente Direcção Pedagógica e Administração Escolar na Universidade Jean Piaget de Cabo Verde. Tem como tema “Projecto Educativo e Inclusão Sócio-educativa nos Jardins de Infância”, estudamos o caso concreto do Jardim “ Projecto Escola de Vida – Jardim Infantil” sito em Achada São Filipe, cidade da Praia. O Projecto Educativo é um documento que serve de guia/direcção as orientações educativas, um instrumento que permite projectar o futuro, esclarecendo o porquê e o para quê das actividades escolares, que diagnostica as situações reais vividas pelas escolas, identifica os recursos adequadas para as diversas situações, desenvolve estratégias/metodologias que permitem a inclusão de todas as crianças nos centros educativos, assim como, abrange todos os elementos da comunidade educativa na consecução dos objectivos da Instituição. Deve ser um documento atractivo, benéfico e funcional para toda a comunidade educativa, coerente com os outros instrumentos de gestão das instituições, inovador, atento as realidades locais, pautando para promover a igualdade de oportunidades à todos. As informações foram recolhidas através da aplicação de entrevista/questionários as monitoras de Infância, a Directora do Jardim, aos Pais Encarregados de Educação e os técnicos do Pré-escolar.

A Variant of Higher-Order Anti-Unification

We present a rule-based Huet’s style anti-unification algorithm for simply-typed lambda-terms in ɳ long β normal form, which computes a least general higher-order pattern generalization. For a pair of arbitrary terms of the same type, such a generalization always exists and is unique modulo α equivalence and variable renaming. The algorithm computes it in cubic time within linear space. It has been implemented and the code is freely available

An Efficient Nominal Unification Algorithm

Nominal Unification is an extension of first-order unification where terms can contain binders and unification is performed modulo α equivalence. Here we prove that the existence of nominal unifiers can be decided in quadratic time. First, we linearly-reduce nominal unification problems to a sequence of freshness and equalities between atoms, modulo a permutation, using ideas as Paterson and Wegman for first-order unification. Second, we prove that solvability of these reduced problems may be checked in quadràtic time. Finally, we point out how using ideas of Brown and Tarjan for unbalanced merging, we could solve these reduced problems more efficiently

Galois representations, embedding problems and modular forms

To an odd irreducible 2-dimensional complex linear representation of the absolute Galois group of the field Q of rational numbers, a modular form of weight 1 is associated (modulo Artin's conjecture on the L-series of the representation in the icosahedral case). In addition, linear liftings of 2-dimensional projective Galois representations are related to solutions of certain Galois embedding problems. In this paper we present some recent results on the existence of liftings of projective representations and on the explicit resolution of embedding problems associated to orthogonal Galois representations, and explain how these results can be used to construct modular forms.

Gestão de recursos para manutenção e desenvolvimento do ensino na esfera municipal

O trabalho objetivou desvelar a gestão dos recursos para manutenção e desenvolvimento do ensino no município de Campo Grande, capital do estado de Mato Grosso do Sul, no período de 1997 a 2012. O propósito foi verificar em que medida o montante de recursos disponíveis seria suficiente para a garantia do direito à educação nas etapas da educação básica sob a responsabilidade e a competência do município. Trabalhou-se com a legislação e documentos de âmbito federal e municipal, com destaque para os balanços gerais do município e a literatura pertinente à temática. Constatou-se que as receitas municipais se mostraram ascendentes no período, o que pode ter contribuído para a universalização do ensino fundamental e para a expansão obrigatória da educação básica.

Aprendizaje basado en problemas en la formación de psicólogos

Este trabajo presenta una experiencia innovadora en la formación de pregrado de estudiantes de psicología de la Universidad de Talca. Para ello se diseñó un ambiente de aprendizaje sustentado en la metodología de aprendizaje basado en problemas, con el propósito de mejorar las capacidades de toma de decisiones de los futuros psicólogos frente a una posible intervención en un contexto educativo. Los resultados de la experiencia mostraron un leve aumento en el desempeño estudiantil, mayor compromiso y participación, autogestión en la búsqueda de información y capacidad de problematización en los estudiantes.

Casanovas i Miró, Jordi: El Museu de l'Acadèmia de Bones Lletres de Barcelona. Dades per a una història".

El dos de noviembre de 1935 se inauguró el Museo Arqueológico de Barcelona, sito en el antiguo edificio del Palacio de las Artes Gráficas construido para la Exposición Universal de 1929. Era el resultado de una ardua trayectoria iniciada por Pere Bosch Gimpera en 1916 por la que intentaba aplicar en Cataluña el esquema tripartito de protección del patrimonio histórico-artístico y arqueológico que había aprendido durante su estancia en Alemania como becario de la JAE entre 1911 y 1914, basado en la suma de tres conceptos: investigación, docencia y difusión. El nuevo equipamiento nacía bajo los auspicios de la Generalitat republicana y tras haber superado múltiples obstáculos derivados de la concepción clasista y winckelmaniana que ejercían tanto los responsables del museo del parque de la Ciudadela, como los integrantes de la Junta de Museos de Barcelona, más preocupados por el goce artístico de las obras de arte que por su inclusión como documentos en el ámbito del estudio de los procesos históricos.

« Testaments de roys, princes et grands seigneurs, et homes doctes; testaments fictifs ». 1306 à 1669. Copies.

Contient : 1 « Testament de GUILLAUME LE HONGRE, chevalier de la ville de Metz... Ceste devise fust faitte devant feste S. Luc euvangeliste, quant il out a millair M.CCC.LIX ans » ; 2 « Testamentum GALESII DE BALMA, domini VALAFINI,... Actum et datum apud Montem Revellum, in castro nostro dicti loci, duodecima mensis augusti, hora meridiei, anno Domini millesimo trecentesimo sexagesimo secundo ». En latin ; 3 « Codicillus GALESII DE BALMA, domini VALAFINI ». Même date. En latin ; 4 « Testament de JEAN DE SAULZ, escuyer, seigneur DE COURTIVRON, chancelier de Bourgongne... Le mardy vint cinquiesme jour du mois de janvier, l'an de grace courant mille trois cent soixante et dix neuf » ; 5 « Testament de CATHERINE D'ESTRABONE, dame D'AUMONT ». Après 1456 ; 6 « Testament de Jean d'Arsonvalle, evesque de Chaalon. Tiré des registres du parlement de Paris ». 23 et 24 août 1416. En latin ; 7 « Testament de messire JEHAN DE CHALLON, prince D'ORENGE et seigneur D'ARLAY,... Faict et donné en mon chastel de Lyons le Saulnyer... le 21 d'octobre 1417... Extraict des registres de l'officialité de l'arcevesché de Bezançon » ; 8 Testament de « CLAUDE DE MONTAGU, chevalier, Sr DE COULCHES, DE LONGVY et D'ESPOISSE,... Le cinquiesme jour de... l'an mil IIII.C. cinquante et trois » ; 9 Extrait du testament de Pierre Berland, archevêque de Bordeaux. Samedi 5 février 1457. En latin ; 10 « Testamentum illustris comitis Troyae, Joannis Cossa, domini de Grimaldo et de Marignana, magni Provinciae senescalli ». Dimanche 15 septembre 1476. En latin ; 11 « Testament d'Olivier, seigneur de La Marche, conseiller et premier maistre d'hostel de Mr l'archiduc d'Austriche ». Bruxelles, 8 octobre 1501 ; 12 « Testament de PHILIPPE DE MONTAGU, comtesse DE JOIGNY » ; 13 « Testament de... Loys, Sr de Graville, admiral de France... Au chasteau de Marcoussys, l'an 1516, le jeudi 26 juing » ; 14 « Testamentum Claudii de Seyssel, archiepiscopi Taurinensis ». Turin, dimanche 27 mai 1520. En latin ; 15 Testament de « GUILLAUME BUDE, conseiller du roy, maistre des requestes ordinaire de son hostel, et maistre de sa librairie... 23 juin 1536 » ; 16 Testament de « Guillaume Du Bellay, seigneur de Langey et Glatigny,... lieutenant general en Italye... Turin, le 13 novembre 1542 » ; 17 « Testament de Michel Nostradamus,... docteur en medecine et astrophile de la ville de Salon... 17 juin 1566 » ; 18 « Testament de Caesar de Nostredame, gentilhomme ordinaire de la chambre du roy... Salon, 23 janvier 1630 » ; 19 Testament d'« ODINET GODRAN, baron D'ANTILLY, president au parlement de Bourgoigne ». 3 février 1581 ; 20 « Testament de JACQUELINE DE ROHAN, marquise DE ROTHELIN ». Décédée en 1586 ; 21 Testament de FRANÇOIS, duc D'ALENÇON, fils de Henri II, roi de France. Château-Thierry, 8 juin 1584 ; 22 Testament de « JEANNOT PATOILLET, protonotaire du S. Siege... demeurant à S. Ligier ». 22 juillet 1585 ; 23 Lettres de légitimation accordées par HENRI III, roi de France, à « Lune Patouillet, fille naturelle de Jeannot Patouillet et Jeanne Sailliot, du village d'Estrevaut, bailliage de Dijon... Donné à Dijon, au mois de febvrier, l'an 1575 » ; 24 à 26 Épitaphes d'«Odet Patoillet, d'Estrevaux », Richard Patoillet, et Jeannot Patoillet, le protonotaire. 1543, 1546, 1585. La première est en français, les deux autres sont en latin ; 27 Testament de « JAQUES DE GERMIGNY, Sr DE GERMOLLES, chevalier de l'ordre du roy, conseiller et maistre d'hostel ordinaire de sa maison, et cy devant ambassadeur pour S. M. en Levant », et de « JEHANNE BORLETTE, femme dud. Sr de Germigny,... Novembre 1585, en [la] ville de Chalon » ; 28 « Advis de conseil au proces de Mrs [Henri] de Vienne », baron de Chevreau, et François de Vienne, chevalier de Malte, « contre [Claude de La Baume], archevesque de Besançon ». Avant 1582. Commence par un extrait du testament de « dame JEHANNE DE MONBELIARD, [femme de] Loys de Chalon, prince d'Oranges et Sr d'Arlay » ; 29 Testament de « François, filz de feu Henry de Vienne, baron de Chevreaul,... Mostier, 25 octobre 1596 » ; 30 « Testamentum ROBERTI, cardinalis BELLARMINI,... Die 23 januarii, anno 1611 ». En latin ; 31 « Testament de FRANÇOIS PITHOU,... 20 novembre 1617 » ; 32 « Testament de PHILIPPE-GUILLAUME, prince D'ORANGE,... Faict à Bruxelles, le 20 de febvrier 1618 » ; 33 « Testament de messire GUILLAUME DU VAIR, evesque de Lizieux et garde des sceaux de France ». Du 10 juin au 5 juillet 1620 ; 34 « Testament de messire ANTHOINE FAVRE, baron de Peroges, de Domessin,... premier president au senat de Savoye... Faict à Chambery... ce 15 febvrier 1624 » ; 35 « Testamento di Leonor de Semeur, sigr de Tremon,... governatore per il re christianissimo di Francia della citta et paese di Macon di Bergongna... Nel... monasterio di molto reverendi padri capucini... sito sopra le fini d'Asti ». 14 juillet 1625. En italien ; 36 « Testament de Gabriel de Ste Marie, archevesque de Reims... Reims, 27 septembre 1628 » ; 37 « Exemplar testamenti cardinalis LUDOVISII ». Bologne, 10 avril 1629. En latin ; 38 « Testament de Nicolas Claude Fabri, seigneur de Peiresc, seigneur et abbé de Guistres, baron de Rians, conseiller du roy en sa cour de parlement de Provence... Aix, 22 juin 1637 » ; 39 Pièce imprimée, de 16 pages, contenant le « Testament de Mr le cardinal DE RICHELIEU ». Narbonne, 23 mai 1642 ; 40 « Testament d'ANNE DE MONTAFIE, comtesse DE SOISSONS,... Faict en mon chasteau de Creil, le 30 octobre 1642 » ; 41 « Premier testament de Gabriel de Syon,... prestre, docteur on theologie... et professeur royal... es langues orientales... Ligny le Chastel, 8 juin 1648 » ; 42 « Second Testament » du même. « Fontaine en Duesmois, 29 juin 1648 » ; 43 « Testament de CLAUDE DE SAUMAISE, chevalier de l'ordre du roy et conseiller en ses conseils d'Estat et privé... Spa, le 30 aoust 1653 » ; 44 Testament de « JEAN QUENAULT, conseiller du roy en ses conseils, et cy devant secretaire des commandemens de la feue reine Marie de Medicis,... Paris, 4 febvrier 1655 » ; 45 « Testament et codicille de Pierre Gassendi, prestre, prevost de Digne et professeur royal aux mathematiques à Paris ». 17 et 18 septembre 1655 ; 46 « Testament de Jules, cardinal Mazarin, duc de Nivernois et Donziois, pair de France ». Vincennes, 3 à 7 mars 1661 ; 47 « Testament d'Anne d'Autriche, royne de France et de Navarre... S. Germain en Laye, 13 aoust 1665 » ; 48 Pièce imprimée, de 6 pages, contenant le testament de « LOUIS DE LA RIVIERE, evesque de Langres... Petit Bourg, 22 may 1669 » ; 49 « Testamentum THEOPHILI VIAUT,... Datum in aula burgundica ». 1626. En latin ; 50 « Ejusdem epitaphium ». En latin ; 51 « Testamentum christianum cardinalis RICHELII ». En latin ; 52 « Testamentum politicum ». En latin ; 53 « Testamento della citta di Candia. Copia tratta da Pasquino, notaro publico ». En italien ; 54 « Testamento del Ruyseñor de Sa Eminencia ». En espagnol ; 55 « Epitaphio del Ruyseñor ». En espagnol

Los roles en trabajo social: profesionalización y formación

El proceso de convergencia hacia el llamado Espacio Europeo de Educación Superior es una oportunidad que podemos aprovechar para replantearnos tanto la formación de nuestros alumnos como los requerimientos profesionales que exige hoy día el trabajo social. En este sentido, el estudio de las competencias profesionales que se realizó para presentar la propuesta del Título de grado en Trabajo Social ya representó una aproximación a las percepciones existentes entre la comunidad profesional. Partiendo de aquellos datos, la presente comunicación pretende aportar una particular reflexión sobre el significado de las competencias que se demandan a los futuros profesionales y los roles del trabajo social que implícitamente se potencian. Del análisis de las competencias más valorados se pueden inferir las representaciones predominantes que se construyen entorno al modelo de profesional que se pide, lo cual, en la práctica, compromete la formación que deberían proporcionar los centros universitarios. La asunción acrítica de los requerimientos del mercado –en parte potenciados por la propia convergencia europea– supone unas consecuencias a nivel académico y también profesional que no pueden ignorarse sin grave riesgo para el futuro del trabajo social y la realidad social en la que éste se ve implicado.

The Bonenblust-Hille inequality for homogeneous polynomials is hypercontractive

The Bohnenblust-Hille inequality says that the $\ell^{\frac{2m}{m+1}}$ -norm of the coefficients of an $m$-homogeneous polynomial $P$ on $\Bbb{C}^n$ is bounded by $\| P \|_\infty$ times a constant independent of $n$, where $\|\cdot \|_\infty$ denotes the supremum norm on the polydisc $\mathbb{D}^n$. The main result of this paper is that this inequality is hypercontractive, i.e., the constant can be taken to be $C^m$ for some $C>1$. Combining this improved version of the Bohnenblust-Hille inequality with other results, we obtain the following: The Bohr radius for the polydisc $\mathbb{D}^n$ behaves asymptotically as $\sqrt{(\log n)/n}$ modulo a factor bounded away from 0 and infinity, and the Sidon constant for the set of frequencies $\bigl\{ \log n: n \text{a positive integer} \le N\bigr\}$ is $\sqrt{N}\exp\{(-1/\sqrt{2}+o(1))\sqrt{\log N\log\log N}\}$.

Determinantes internos y externos en el proceso de aprendizaje. Una aproximación al caso español a partir de la ECV-05

El principal objetivo del trabajo es determinar el grado de influencia de los diferentes factores individuales y del entorno, familiar y social, en la capacidad de los individuos para alcanzar o no ciertos objetivos educativos, teniendo en cuenta los efectos posteriores de aquellos en relación con su inserción en el mercado de trabajo, su nivel salarial y su productividad (Card, 1999). Para ello, se ha aplicado un método de estimación de máxima verosimilitud, mediante la utilización de un logit ordenado, empleando el modulo especial de 2007 de la Encuesta de Condiciones de Vida de EUROSTAT dedicado a la transmisión intergeneracional de la pobreza. Esta base de datos cuenta con valiosa información acerca del individuo y la situación personal y familiar de éste cuando tenía entre 12 y 16 años, resultando representativa para las Comunidades Autónomas españolas y para la población inmigrante. Los resultados obtenidos, que van en la línea de la literatura empírica analizada; indican la relevancia del género, del estado de salud y del lugar de nacimiento, en cuanto a las variables referidas directamente al individuo y, en relación al resto de las variables utilizadas; destaca la importancia de la educación y el tipo de ocupación de los padres, de la estructura familiar y de la situación financiera existente en el momento en que el individuo se estaba educando

A hybrid approach to treebank construction

Este artículo describe investigación sobre los efectos de la desambiguación morfosintáctica usada como un preproceso de un analizador sint´actico profundo basado en HPSG, en el contexto del desarrollo de un treebank del español de código abierto, en el entorno de DELPH-IN. La anotación treebank se realiza manualmente tomando las decisiones apropiadas entre las opciones propuestas por el sistema y ordenadas por un módulo estadístico. Los experimentos presentados muestran que el uso de un etiquetador reduce la ambigüedad de las frases, y contribuye a limitar la cantidad de frases cuyo análisis sobrepasa a el límite de tiempo, y ayuda a al m´odulo estadístico a clasificar el árbol correcto entre los n mejores. Por un lado, nuestros resultados validan los beneficios ya reportados en la literatura de tal preproceso de análisis profundo con respecto a la velocidad, cobertura y precisión. Por otro lado, proponemos una estrategia basada en existentes herramientas de código abierto y recursos para desarrollar con alta consitencia treebanks de sintaxis profunda para idiomas con limitada disponibilidad de recursos lingüísticos.

Tool-supported invariant-based programming

The development of correct programs is a core problem in computer science. Although formal verification methods for establishing correctness with mathematical rigor are available, programmers often find these difficult to put into practice. One hurdle is deriving the loop invariants and proving that the code maintains them. So called correct-by-construction methods aim to alleviate this issue by integrating verification into the programming workflow. Invariant-based programming is a practical correct-by-construction method in which the programmer first establishes the invariant structure, and then incrementally extends the program in steps of adding code and proving after each addition that the code is consistent with the invariants. In this way, the program is kept internally consistent throughout its development, and the construction of the correctness arguments (proofs) becomes an integral part of the programming workflow. A characteristic of the approach is that programs are described as invariant diagrams, a graphical notation similar to the state charts familiar to programmers. Invariant-based programming is a new method that has not been evaluated in large scale studies yet. The most important prerequisite for feasibility on a larger scale is a high degree of automation. The goal of the Socos project has been to build tools to assist the construction and verification of programs using the method. This thesis describes the implementation and evaluation of a prototype tool in the context of the Socos project. The tool supports the drawing of the diagrams, automatic derivation and discharging of verification conditions, and interactive proofs. It is used to develop programs that are correct by construction. The tool consists of a diagrammatic environment connected to a verification condition generator and an existing state-of-the-art theorem prover. Its core is a semantics for translating diagrams into verification conditions, which are sent to the underlying theorem prover. We describe a concrete method for 1) deriving sufficient conditions for total correctness of an invariant diagram; 2) sending the conditions to the theorem prover for simplification; and 3) reporting the results of the simplification to the programmer in a way that is consistent with the invariantbased programming workflow and that allows errors in the program specification to be efficiently detected. The tool uses an efficient automatic proof strategy to prove as many conditions as possible automatically and lets the remaining conditions be proved interactively. The tool is based on the verification system PVS and i uses the SMT (Satisfiability Modulo Theories) solver Yices as a catch-all decision procedure. Conditions that were not discharged automatically may be proved interactively using the PVS proof assistant. The programming workflow is very similar to the process by which a mathematical theory is developed inside a computer supported theorem prover environment such as PVS. The programmer reduces a large verification problem with the aid of the tool into a set of smaller problems (lemmas), and he can substantially improve the degree of proof automation by developing specialized background theories and proof strategies to support the specification and verification of a specific class of programs. We demonstrate this workflow by describing in detail the construction of a verified sorting algorithm. Tool-supported verification often has little to no presence in computer science (CS) curricula. Furthermore, program verification is frequently introduced as an advanced and purely theoretical topic that is not connected to the workflow taught in the early and practically oriented programming courses. Our hypothesis is that verification could be introduced early in the CS education, and that verification tools could be used in the classroom to support the teaching of formal methods. A prototype of Socos has been used in a course at Åbo Akademi University targeted at first and second year undergraduate students. We evaluate the use of Socos in the course as part of a case study carried out in 2007.

Ylä-Savon liikenneturvallisuussuunnitelma : Sonkajärven liikenneturvallisuustyön toimintasuunnitelma

Ylä-Savon liikenneturvallisuussuunnitelma laadittiin seudun kuntien sekä Pohjois-Savon ELY-keskuksen yhteistyönä. Suunnitelmassa määriteltiin yhteiset seudulliset liikenneturvallisuuden ja esteettömyyden parantamista koskevat periaatteet. Seudullisten periaatteiden ja kuntakohtaisten erityispiirteiden ohjaamina laadittiin kunkin kunnan aikaisempien suunnitelmien päivitystarpeesta riippuen kuntakohtaiset liikenneympäristön parantamissuunnitelmat ja/tai liikenneturvallisuustyön toimintasuunnitelmat. Sonkajärvellä uusittiin liikenneturvallisuustyön toimintasuunnitelma. Liikenneturvallisuusongelmia kartoitettiin syksyn 2010 aikana tehdyillä liikenneilmapiiri ja -asennekyselyllä sekä vuosina 2005-2009 tapahtuneiden onnettomuuksien analyyseillä. Liikenneturvallisuusongelmien analysoinnin sekä valtakunnallisten ja Itä-Suomen liikenneturvallisuustavoitteiden pohjalta Ylä-Savon seudulle määritettiin yhteiset määrälliset ja toiminnalliset liikenneturvallisuustavoitteet. Määrälliseksi tavoitteeksi asetettiin, että kenenkään ei tarvitse kuolla tai loukkaantua vakavasti liikenteessä. Sonkajärven kunnan liikenneympäristön parantamistoimenpiteet on suunniteltu vuonna 2008 laaditussa liikenneympäristösuunnitelman päivitystyössä, minkä vuoksi tässä työssä ei suunniteltu uusia liikenneympäristön parantamistoimenpiteitä. Kokonaisvaltaisen liikenneturvallisuustyön toteutumisen seurannan helpottamiseksi aikaisemmin laaditut liikenneympäristön toimenpidekartat ja -taulukot kuitenkin päivitettiin ja liitettiin tähän suunnitelmaan. Hallintokuntakohtaiset liikenneturvallisuustyön toimintasuunnitelmat sisältävät liikenneturvallisuuskoulutuksen, -tiedotuksen ja -valistuksen toimenpiteet tuleville vuosille. Toimenpiteitä kohdistetaan kaikille ikäryhmille sisällyttäen liikenneturvallisuustyö kuntien palveluihin ja osaksi hallintokuntien jokapäiväistä työtä. Sonkajärvellä määritettiin myös kaikkien hallintokuntien yhteiset liikenneturvallisuustyön teemat tuleville vuosille. Vuonna 2012 teemana on ”Pyöräily ja muu kevyt liikenne”, vuonna 2013 ”Ikäihmiset liikenteessä”, vuonna 2014 ”Turvallinen liikenneympäristö” sekä vuonna 2015 ”Turvallisuutta liikenteeseen; oikealla asenteella ja nopeusrajoituksia noudattamalla”. Teeman valinnalla pyritään vaikuttamaan tärkeäksi koettuun kohderyhmään tai asiaan sekä tehostamaan hallintokuntien välistä yhteistyötä. Liikenneturvallisuussuunnitelman toteuttamista seurataan kunnan liikenneturvallisuustyöryhmässä, jonka kokoonpano tarkistettiin työn aikana. Ryhmään kuuluvat kunnan eri hallintokuntien edustajien lisäksi Liikenneturvan, poliisin ja Pohjois-Savon ELY-keskuksen edustajat.