Educational orientation regarding vocabulary and literacy access : Evaluating the impact of an intervention program designed to promote early learning at home

El estudio evalúa el impacto de un programa de promoción del desarrollo lingüístico y cognitivo para niños de 5 años implementado según dos modalidades: una que implicó acciones de alfabetización familiar en los hogares de los niños (modalidad intensiva) y otra que incluyó la participación de los niños en las salas de jardín de infantes (modalidad extensiva). La evaluación del impacto se realizó por medio de un diseño pre-test ? post-test. Se tomaron pruebas de vocabulario receptivo (VR), producción de categorías (PC) y escritura a una muestra de 214 niños participantes de la modalidad intensiva, 69 participantes de la modalidad extensiva y un grupo control de no participó del programa (49 niños). Los resultados mostraron que la participación en la modalidad intensiva implicó un mayor incremento en las habilidades infantiles de VR, PC que en la modalidad extensiva. A su vez ambas modalidades experimentales mostraron un mayor incremento en las variables examinadas respecto de las observadas en el grupo control. No se detectaron efectos de la escolaridad de la madre y la asistencia previa al jardín. Los resultados mostraron correlaciones significativas entre todas las variables analizadas y el valor predictivo de los puntajes en VR a principio de año respecto de los puntajes en VR y escritura a fin de año.

Educational orientation regarding vocabulary and literacy access : Evaluating the impact of an intervention program designed to promote early learning at home

El estudio evalúa el impacto de un programa de promoción del desarrollo lingüístico y cognitivo para niños de 5 años implementado según dos modalidades: una que implicó acciones de alfabetización familiar en los hogares de los niños (modalidad intensiva) y otra que incluyó la participación de los niños en las salas de jardín de infantes (modalidad extensiva). La evaluación del impacto se realizó por medio de un diseño pre-test ? post-test. Se tomaron pruebas de vocabulario receptivo (VR), producción de categorías (PC) y escritura a una muestra de 214 niños participantes de la modalidad intensiva, 69 participantes de la modalidad extensiva y un grupo control de no participó del programa (49 niños). Los resultados mostraron que la participación en la modalidad intensiva implicó un mayor incremento en las habilidades infantiles de VR, PC que en la modalidad extensiva. A su vez ambas modalidades experimentales mostraron un mayor incremento en las variables examinadas respecto de las observadas en el grupo control. No se detectaron efectos de la escolaridad de la madre y la asistencia previa al jardín. Los resultados mostraron correlaciones significativas entre todas las variables analizadas y el valor predictivo de los puntajes en VR a principio de año respecto de los puntajes en VR y escritura a fin de año.

(Table 2) Vertical fluxes of organic carbon and sediment matter from the photic zone in the Arctic Basin

On the basis of analysis of satellite and field data collected in Russian Arctic Seas maps of distribution of primary production for different months of the vegetation period were compiled. These maps were used to estimate annual primary production of organic carbon: 55 million tons in the Barents Sea; about 20 million tons in the Kara Sea; 10-15 million tons in the Laptev Sea and in the East Siberian Sea, 42 million tons in the Chukchi Sea. In the central and eastern parts of the Barents Sea during the vegetation period values of primary production decreased by factor >5 (from >500 to <100 mg C/m**2/day). By reviewing results of studies with sediment traps vertical fluxes of organic carbon in different regions of the Arctic Basin were estimated. Significant temporal variability of Corg fluxes with maxima during phytoplankton blooms (by 830 mg C/m**2/day) was noted. Typical summer fluxes of Corg are 10-40 mg C/m**2/day in the southern Barents Sea, 1-10 mg C/m**2/day in the northern Barents Sea and in the Kara Sea, and up to 370 mg C/m**2/day in the zone of marginal filters of the Ob and Yenisey rivers.

(Table 1) Primary production and chlorophyll a concentration in the Northeastern Tropical Atlantic

Results of simultaneous determinations of chlorophyll "a" concentrations and primary production in the northeastern part of the Tropical Atlantic in spring 1977 are discussed. Primary production was low (250-350 mg C/m**2/day in the open parts of the ocean and high (600-1500 mg C/m**2/day) mainly in zones of current divergences and coastal region of the West Africa. Chlorophyll "a" concentration throughout the euphotic zone varied from 6 to 36 mg/m**3 and in the surface layer from 0.05 to 0.60 mg/m**3. Uneven distribution of primary production is due to physiological condition of phytoplankton.

(Table 1) Vertical fluxes of sediment matter and organic carbon in the Kara Sea and in the Yenisey and Ob estuaries

Sedimentary particle fluxes in the Kara Sea and in the Ob and Yenisey estuaries were first estimated and particulate matter composition was studied in September 1993 during Cruise 49 of R/V Dmitry Mendeleev. Twenty three bottom stations with sediment traps were deployed, and samples were collected from 13 stations. Particle fluxes ranged from 9.0 to 62.6 mg/m**2/day to the north of the Ob and Yenisey estuaries and were 18.7 to 62.0 mg/m**2/day in the southwestern part of the Kara Sea. Fluxes were up to 1321 mg/m**2/day in the Ob estuary and up to 22156 mg/m**2/day in the Yenisey estuary. Organic matter fluxes were estimated as 0.71-3.29, 4.28-9.04, 26.7, and 368 mg/m**2/day, respectively. Particulate matter is largely represented by pellets of planktic Crustacea and by "sea snow" flakes mainly composed of diatoms. Rapidly settling particles are extensively inhabited by bacterial flora.

(Table 1) Productivity characteristics of phytoplankton and some concomitant factors in the Kara Sea in September 1993

Primary production in water column (P_p) varied from 107 to 312 mg C/m**2/day in Yenisey Bay: from 25 to 63 mg C/m**2/day in Obskaya Guba: and from 20 to 359 mg C/m**2/day in the open sea, that is: in the western Kara Sea and Ob-Yenisey shoals. The average concentration of chlorophyll a in the photosynthesis layer (C_ph) ranged from 0.2 to 1.8 mg/m**3 in these two regions, lower than in the estuaries of Ob (1.6-21.7 mg/m**3) and Yenisey (2.0-5.2 mg/m**3) Rivers. An inverse relation between surface salinity (S) and chlorophyll concentration (C_s) and chlorophyll concentration in the photosynthesis layer was found for all of the regions. The highest values of C_s and C_ph (0.8-22 mg/m**3) were measured at S<10 ppt, and the lowest values (0.2-0.8 mg/m**3) at S>22 ppt. A similar correlation of S with values of Pp occurred only in the Yenisey Bay and offshore regions. Obtained results agree well with the "outwelling" hypothesis. It states that large part of organic matter produced in estuaries is not used in estuarine trophic chains but is transported into adjacent sea areas and increases their productivity. Low values of Pp in the study regions may be attributed to such unfavorable factors as deficiency in nutrients, low temperature and turbidity, and lack of solar radiation.

(Table 1) Results of measurements of production characteristics of phytoplankton and some physical parameters of the environment in the northeastern Norwegian Sea in July 1995

From July 4 to 18,1995 surface chlorophyll a concentrations (C_cs) and integral primary production (C_ps) were studied in the northeastern part of the Norwegian Sea (73°42'N; 13°16'E), over a test area where an accident of the nuclear submarine Komsomolets had taken place. It was found that during this interval C_cs decreased by factor of about 3.3 (from 0.78 to 0.24 mg/m**3); average chlorophyll concentration within the photo-synthetic layer (C_cl) decreased by factor of about 3.5 (from 0.97 to 0.28 mg/m**3). The value of C_ps in the water column varied slightly (from 445 to 539 mg C/m**2 per day), since decrease in C_cl was compensated both by 1.5-fold growth of the photosynthetic layer thickness (from 40 to 60 m) and by 2.1-fold increase in its average assimilation number (from 0.58 to 1.20 mg C/mg chl a per hour). Monthly averages of C_ps were obtained from published data on seasonal C_cs changes and on the level of incident solar irradiation. They were found to be less than 100 mg C/m**2 per day in March and October and 100-500 mg C/m**2 per day in April-June. Annual primary production calculated from above values was equal to 105 g C/m**2.

Sulfur and carbon in mIcrobial processes in waters and sediments of the Kara Sea in September 2007

Results of microbiological, biogeochemical and isotope geochemical studies in the Kara Sea are described. Samples for these studies were obtained during Cruise 54 of R/V Akademik Mstislav Keldysh in September 2007. The studied area covered the northern, central, and southwestern parts of the Kara Sea and the Obskaya Guba (Ob River estuary). Quantitative characteristics of total bacterial population and activity of microbial processes in the water column and bottom sediments were obtained. Total abundance of bacterioplankton (BP) varied from 250000 cells/ml in the northern Kara Sea to 3000000 cells/ml in the Obskaya Guba. BP abundance depended on concentration of suspensded matter. Net BP production was minimal in the central Kara Sea (up to 0.15-0.2 µg C/l/day) and maximal (0.5-0.75 µg C/l/day) in the Obskaya Guba. Organic material at the majority of stations at the Ob transect predominantly contained light carbon isotopes (-28.0 to -30.18 per mil) of terrigenous origin. Methane concentration in the surface water layer varied from 0.18 to 2.0 µl CH4/l, and methane oxidation rate varied from 0.1 to 100 nl CH4/l/day. Methane concentration in the upper sediment layer varied from 30 to 300 µl CH4/dm**3; rate of methane formation was varied from 44 to 500 nl CH4/dm**3/day and rate of methane oxidation - from 30 to 2000 nl CH4/dm**3/day. Rate of sulfate reduction varied from 4 to 184 µg S/dm**3/day.

Benthic foraminifera of the central Indian Ocean

Late Oligocene to late Pliocene vertical water-mass stratification along depth traverses in the northern Indian Ocean is depicted in this paper by benthic foraminifer index faunas. During most of this time, benthic faunas indicate well-oxygenated, bottom-water conditions at all depths except under the southern Indian upwelling and in the Pliocene in the southern Arabian Sea. Faunas suggest the initiation of lower oxygen conditions at intermediate depths in the northern Indian Ocean beginning in Oligocene Zone P21a. Lower oxygen conditions intensified during primary productivity pulses, possibly related to increased upwelling vigor, in the latest Oligocene and throughout most of the late middle through late Miocene. During times of elevated primary production, there may be more oxygen flux into sedimentary pore waters and the shallow infaunal habitat may become more oxygenated. One criterion for locating the source of "new" water masses is vertical homogeneity of benthic foraminifer indexes for well-oxygenated water masses from intermediate through abyssal depths. In the northern Mascarene Basin, this type of faunal homogeneity with depth corroborates the proposal that the northern Indian Ocean was an area of sinking well-oxygenated waters through most of the Miocene before Zone N17. Oxygenated, possibly "new" intermediate-water masses in the low- to middle-latitude Mascarene and Central Indian basins first developed in the late Oligocene. These well-oxygenated waters were probably more fertile than the Antarctic Intermediate Waters (AAIW) that cover intermediate depths in these areas today. Production of intermediate waters more similar to modern AAIW is indicated by the sparse benthic population of epifaunal rotaloid species in the northern Mascarene Basin during middle Miocene Zone N9 and from early through late Pliocene time. Deep-water characteristics are more difficult to interpret because of the extensive redeposition at the deeper sites. Redeposited intermediate, rather than shallow, water fossils and erosion from north to south in the Mascarene Basin are incompatible with the sluggish circulation from south to north through the western Indian Ocean basins today. Such erosion could result from the vigorous sinking of an intermediate-depth water mass of northern origin. Before late Oligocene Zone P22, benthic faunas indicate a twofold subdivision of the troposphere, with the boundary between upper and lower well-oxygenated water masses located from 2500-3000 mbsl. No characteristic bottom-water fauna developed before the end of late Oligocene Zone P22. Deep and abyssal benthic indexes suggest the development of water masses similar to those of the present day in the latest Miocene. Faunas containing deep-water benthic indexes, including the uvigerinids, suggestive of a water mass similar to modern Indian Deep Water (IDW), appeared during the late Miocene in the northern Mascarene and Central Indian basins. In the early Pliocene, this deep-water fauna was found only in the Central Indian Basin, whereas a fauna typical of modern Antarctic Bottom Water (AABW) spread through deep waters at 2800 mbsl in the Mascarene Basin. By late Pliocene Zone N21, however, deep-water faunas similar to their modern analogs were developed in both the eastern and western basins. Abyssal faunas, studied only in the Mascarene Basin, show more or less similarity to those under modern AABW. Bottom-water faunas containing Nuttallides umbonifera or Epistominella exiguua were first differentiated at the end of Zone P22, then appeared episodically during the early Miocene. These AABW-type faunas reappeared and migrated updepth into deep waters during the glacial episodes at the end of the Miocene and at the beginning of the Pliocene. By late Pliocene Zone N21, however, a bottom-water fauna similar to that under eastern Indian Bottom Water (IBW) developed in the Mascarene Basin. Modern bottom-water characteristics of the Mascarene Basin must have developed after ZoneN21.

Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)

The technique of Abstract Interpretation has allowed the development of very sophisticated global program analyses which are at the same time provably correct and practical. We present in a tutorial fashion a novel program development framework which uses abstract interpretation as a fundamental tool. The framework uses modular, incremental abstract interpretation to obtain information about the program. This information is used to validate programs, to detect bugs with respect to partial specifications written using assertions (in the program itself and/or in system libraries), to generate and simplify run-time tests, and to perform high-level program transformations such as multiple abstract specialization, parallelization, and resource usage control, all in a provably correct way. In the case of validation and debugging, the assertions can refer to a variety of program points such as procedure entry, procedure exit, points within procedures, or global computations. The system can reason with much richer information than, for example, traditional types. This includes data structure shape (including pointer sharing), bounds on data structure sizes, and other operational variable instantiation properties, as well as procedure-level properties such as determinacy, termination, nonfailure, and bounds on resource consumption (time or space cost). CiaoPP, the preprocessor of the Ciao multi-paradigm programming system, which implements the described functionality, will be used to illustrate the fundamental ideas.

A framework for assertion-based debugging in constraint logic programming

We propose a general framework for assertion-based debugging of constraint logic programs. Assertions are linguistic constructions which allow expressing properties of programs. We define assertion schemas which allow writing (partial) specifications for constraint logic programs using quite general properties, including user-defined programs. The framework is aimed at detecting deviations of the program behavior (symptoms) with respect to the given assertions, either at compile-time or run-time. We provide techniques for using information from global analysis both to detect at compile-time assertions which do not hold in at least one of the possible executions (i.e., static symptoms) and assertions which hold for all possible executions (i.e., statically proved assertions). We also provide program transformations which introduce tests in the program for checking at run-time those assertions whose status cannot be determined at compile-time. Both the static and the dynamic checking are provably safe in the sense that all errors flagged are definite violations of the specifications. Finally, we report on an implemented instance of the assertion language and framework.

Complete and efficient methods for supporting side effects in independent/restricted and-parallelism

It has been shown that it is possible to exploit Independent/Restricted And-parallelism in logic programs while retaining the conventional "don't know" semantics of such programs. In particular, it is possible to parallelize pure Prolog programs while maintaining the semantics of the language. However, when builtin side-effects (such as write or assert) appear in the program, if an identical observable behaviour to that of sequential Prolog implementations is to be preserved, such side-effects have to be properly sequenced. Previously proposed solutions to this problem are either incomplete (lacking, for example, backtracking semantics) or they force sequentialization of significant portions of the execution graph which could otherwise run in parallel. In this paper a series of side-effect synchronization methods are proposed which incur lower overhead and allow more parallelism than those previously proposed. Most importantly, and unlike previous proposals, they have well-defined backward execution behaviour and require only a small modification to a given (And-parallel) Prolog implementation.

Program development using abstract interpretation (and the ciao system preprocessor)

The technique of Abstract Interpretation has allowed the development of very sophisticated global program analyses which are at the same time provably correct and practical. We present in a tutorial fashion a novel program development framework which uses abstract interpretation as a fundamental tool. The framework uses modular, incremental abstract interpretation to obtain information about the program. This information is used to validate programs, to detect bugs with respect to partial specifications written using assertions (in the program itself and/or in system librarles), to genérate and simplify run-time tests, and to perform high-level program transformations such as múltiple abstract specialization, parallelization, and resource usage control, all in a provably correct way. In the case of validation and debugging, the assertions can refer to a variety of program points such as procedure entry, procedure exit, points within procedures, or global computations. The system can reason with much richer information than, for example, traditional types. This includes data structure shape (including pointer sharing), bounds on data structure sizes, and other operational variable instantiation properties, as well as procedure-level properties such as determinacy, termination, non-failure, and bounds on resource consumption (time or space cost). CiaoPP, the preprocessor of the Ciao multi-paradigm programming system, which implements the described functionality, will be used to illustrate the fundamental ideas.

Program analysis, debugging and optimization using the ciao system preprocessor

We present a tutorial overview of Ciaopp, the Ciao system preprocessor. Ciao is a public-domain, next-generation logic programming system, which subsumes ISO-Prolog and is specifically designed to a) be highly extensible via librarles and b) support modular program analysis, debugging, and optimization. The latter tasks are performed in an integrated fashion by Ciaopp. Ciaopp uses modular, incremental abstract interpretation to infer properties of program predicates and literals, including types, variable instantiation properties (including modes), non-failure, determinacy, bounds on computational cost, bounds on sizes of terms in the program, etc. Using such analysis information, Ciaopp can find errors at compile-time in programs and/or perform partial verification. Ciaopp checks how programs cali system librarles and also any assertions present in the program or in other modules used by the program. These assertions are also used to genérate documentation automatically. Ciaopp also uses analysis information to perform program transformations and optimizations such as múltiple abstract specialization, parallelization (including granularity control), and optimization of run-time tests for properties which cannot be checked completely at compile-time. We illustrate "hands-on" the use of Ciaopp in all these tasks. By design, Ciaopp is a generic tool, which can be easily tailored to perform these and other tasks for different LP and CLP dialects.

A tutorial on program development and optimization using the Ciao preprocessor

We present in a tutorial fashion CiaoPP, the preprocessor of the Ciao multi-paradigm programming system, which implements a novel program development framework which uses abstract interpretation as a fundamental tool. The framework uses modular, incremental abstract interpretation to obtain information about the program. This information is used to validate programs, to detect bugs with respect to partial specifications written using assertions (in the program itself and/or in system libraries), to generate and simplify run-time tests, and to perform high-level program transformations such as multiple abstract specialization, parallelization, and resource usage control, all in a provably correct way. In the case of validation and debugging, the assertions can refer to a variety of program points such as procedure entry, procedure exit, points within procedures, or global computations. The system can reason with much richer information than, for example, traditional types. This includes data structure shape (including pointer sharing), bounds on data structure sizes, and other operational variable instantiation properties, as well as procedure-level properties such as determinacy, termination, non-failure, and bounds on resource consumption (time or space cost).