Results 31 to 40 of about 9,323 (189)
Combining Lists with Non-Stably Infinite Theories [PDF]
, 2004 http://www.springerlink.comIn program verification one has often to reason about lists over elements of a given nature. Thus, it becomes important to be able to combine the theory of lists with a generic theory $T$ modeling the elements. This combination
Fontaine, Pascal +2 more
core +5 more sources
Processos de Leitura e Escrita na formação inicial do professor que ensina Matemática
Boletim GEPEM, 2022 Esse texto apresenta apontamentos da Mesa Redonda n. 9, intitulada “Processos de leitura e escrita na formação inicial do professor que ensina matemática”, ocorrida por ocasião do 6º Seminário de Escritas e Leituras em Educação Matemática - VI SELEM.
Jorge Cássio Costa Nóbriga +2 more
doaj +3 more sources
A comprehensive review on textile wastewater treatment by coupling TiO2 with PVDF membrane
Bulletin of the National Research Centre, 2023 Background The textile industry represents a great portion of the global industry due to the increase in population and demand for sustainable products.
Zeyad Zeitoun, Nora Yehia Selem
doaj +1 more source
O que Podem as Escritas com Professoras que Ensinam Matemática?
Boletim GEPEM, 2022 Neste artigo transcreve-se a palestra intitulada “O que Podem as Escritas e Leituras com Professoras que Ensinam Matemática?”. Apresentava-se um exercício de pensamento que emerge para com VI SELEM e tem a intenção de compartilhar algumas ...
Jussara Brigo
doaj +3 more sources
Economía Política para entender el crecimiento económico en China
Pensamiento Crítico, 2014 Después de un excelente perfil de crecimiento económico en China durante la primera década del siglo XXI, este país experimenta una crisis de modelo de acumulación.
Carlos Palomino Selem
doaj +1 more source
Pensamiento Crítico, 2013 El Sistema de la Reserva Federal de los Estados Unidos de América (Fed) con el propósito de hacer posible la recuperación económica y colocar ha EE.UU. en la senda del crecimiento económico sostenido, desarrollo los programas de flexibilidad cuantitativa
Carlos Palomino Selem
doaj +1 more source
Glaciaciones del cuaternario tardío en el volcán Teyotl, Sierra Nevada
Investigaciones Geográficas, 1991 Geomorphological and stratigraphical evidences of three glaciations have been recognized over the late Pleistocene lavas that formed the Téyotl volcano (4 660 m), located oil the northern side of the Iztaccíhuatl volcanic complex (ca.
Lorenzo Vázquez Selem
doaj +1 more source
Clinical Ophthalmology, 2022 Jorge Selem Haddad,1,2 Clainijane Borges,2 Nathalie Dalloul Daher,2 Alexandre Mine,2 Marcella Salomão,1,3 Renato Ambrósio Jr3 1Department of Ophthalmology, Federal University of São Paulo, São Paulo, SP, Brazil; 2Instituto Oftalmológico Paulista, São ...
Haddad JS +5 more
doaj
Pensamiento Crítico, 2015 En este primer documento, tenemos el propósito de presentar los fundamentos teóricos y el modelo macroeconómico multifactorial que se deriva de aquellos; este modelo está basado en el balance del sistema de la Reserva Federal, aplicado para explicar los ...
Carlos Palomino Selem
doaj +1 more source