HILBERT BETWEEN THE FORMAL AND THE INFORMAL SIDE OF MATHEMATICS

Abstract: In this article we analyze the key concept of Hilbert's axiomatic method, namely that of axiom. We will find two different concepts: the first one from the period of Hilbert's foundation of geometry and the second one at the time of the development of his proof theory. Both conceptions are linked to two different notions of intuition and show how Hilbert's ideas are far from a purely formalist conception of mathematics. The principal thesis of this article is that one of the main problems that Hilbert encountered in his foundational studies consisted in securing a link between formalization and intuition. We will also analyze a related problem, that we will call "Frege's Problem", form the time of the foundation of geometry and investigate the role of the Axiom of Completeness in its solution.

Experimental alternatives for evaluation of progenies and clones in eucalyptus breeding programs

The feasibility of using augmented block designs and spatial analysis methods for early stage selection in eucalyptus breeding programs was tested. A total of 113 half-sib progenies of Eucalyptus urophylla and eight clones were evaluated in an 11 x 11 triple lattice experiment at two locations: Posto da Mata (Bahia, Brazil) and São Mateus (Minas Gerais, Brazil). Four checks were randomly allocated within each block. Plots consisted of 15 m long rows containing 6 plants spaced 3 m apart. The girth at breast height (cm/plant) was evaluated at 19 and 26 months of age. Variance analyses were performed according to the following methods: lattice design, randomized complete block design, augmented block design, Papadakis method, moving means method, and check plots. Comparisons among different methods were based on the magnitude of experimental errors and precision of the estimates of genetic and phenotypic parameters. General results indicated that augmented block design is useful to evaluate progenies and clones in early selection in eucalyptus breeding programs using moderate and low selection intensities. However, this design is not suitable for estimating genetic and phenotypic parameters due to its low precision. Check plots, nearest neighbour, Papadakis (1937), and moving means methods were efficient in removing the heterogeneity within blocks. These efficiencies were compared to that in lattice analysis for estimation of genetic and phenotypic parameters.

CLASSIFICATION OF FOREST ROADS AND DETERMINATION OF ROUTE USING GEOGRAPHIC INFORMATION SYSTEM

ABSTRACT Geographic Information System (GIS) is an indispensable software tool in forest planning. In forestry transportation, GIS can manage the data on the road network and solve some problems in transportation, such as route planning. Therefore, the aim of this study was to determine the pattern of the road network and define transport routes using GIS technology. The present research was conducted in a forestry company in the state of Minas Gerais, Brazil. The criteria used to classify the pattern of forest roads were horizontal and vertical geometry, and pavement type. In order to determine transport routes, a data Analysis Model Network was created in ArcGIS using an Extension Network Analyst, allowing finding a route shorter in distance and faster. The results showed a predominance of horizontal geometry classes average (3) and bad (4), indicating presence of winding roads. In the case of vertical geometry criterion, the class of highly mountainous relief (4) possessed the greatest extent of roads. Regarding the type of pavement, the occurrence of secondary coating was higher (75%), followed by primary coating (20%) and asphalt pavement (5%). The best route was the one that allowed the transport vehicle travel in a higher specific speed as a function of road pattern found in the study.

Spatial distribution of canine Visceral Leishmaniasis in Ilha Solteira, São Paulo, Brazil

Visceral Leishmaniasis (VL) is caused by protozoan of genus Leishmania and transmitted by sand flies of genus Lutzomyia, which has been adapted to the peridomicile environment where dogs are their mainly food source, increasing the risk for human cases. In this study, techniques of geoprocessing and spatial statistics were utilized as a contribution to understanding the epidemiological dynamics of VL in the urban area of Ilha Solteira, SP.

Disturbance and ecosystem functioning : the role of changes in benthic biological traits

Rapid changes in biodiversity are occurring globally, as a consequence of anthropogenic disturbance. This has raised concerns, since biodiversity is known to significantly contribute to ecosystem functions and services. Marine benthic communities participate in numerous functions provided by soft-sedimentary ecosystems. Eutrophication-induced oxygen deficiency is a growing threat against infaunal communities, both in open sea areas and in coastal zones. There is thus a need to understand how such disturbance affects benthic communities, and what is lost in terms of ecosystem functioning if benthic communities are harmed. In this thesis, the status of benthic biodiversity was assessed for the open Baltic Sea, a system severely affected by broad-scale hypoxia. Long-term monitoring data made it possible to establish quantitative biodiversity baselines against which change could be compared. The findings show that benthic biodiversity is currently severely impaired in large areas of the open Baltic Sea, from the Bornholm Basin to the Gulf of Finland. The observed reduction in biodiversity indicates that benthic communities are structurally and functionally impoverished in several of the sub-basins due to the hypoxic stress. A more detailed examination of disturbance impacts (through field studies and -experiments) on benthic communities in coastal areas showed that changes in benthic community structure and function took place well before species were lost from the system. The degradation of benthic community structure and function was directed by the type of disturbance, and its specific temporal and spatial characteristics. The observed shifts in benthic trait composition were primarily the result of reductions in species’ abundances, or of changes in demographic characteristics, such as the loss of large, adult bivalves. Reduction in community functions was expressed as declines in the benthic bioturbation potential and in secondary biomass production. The benthic communities and their degradation accounted for a substantial proportion of the changes observed in ecosystem multifunctionality. Individual ecosystem functions (i.e. measures of sediment ecosystem metabolism, elemental cycling, biomass production, organic matter transformation and physical structuring) were observed to differ in their response to increasing hypoxic disturbance. Interestingly, the results suggested that an impairment of ecosystem functioning could be detected at an earlier stage if multiple functions were considered. Importantly, the findings indicate that even small-scale hypoxic disturbance can reduce the buffering capacity of sedimentary ecosystem, and increase the susceptibility of the system towards further stress. Although the results of the individual papers are context-dependent, their combined outcome implies that healthy benthic communities are important for sustaining overall ecosystem functioning as well as ecosystem resilience in the Baltic Sea.

Dynamics of coherent vortices in mixing layers using direct numerical and large-eddy simulations

Coherent vortices in turbulent mixing layers are investigated by means of Direct Numerical Simulation (DNS) and Large-Eddy Simulation (LES). Subgrid-scale models defined in spectral and physical spaces are reviewed. The new "spectral-dynamic viscosity model", that allows to account for non-developed turbulence in the subgrid-scales, is discussed. Pseudo-spectral methods, combined with sixth-order compact finite differences schemes (when periodic boundary conditions cannot be established), are used to solve the Navier- Stokes equations. Simulations in temporal and spatial mixing layers show two types of pairing of primary Kelvin-Helmholtz (KH) vortices depending on initial conditions (or upstream conditions): quasi-2D and helical pairings. In both cases, secondary streamwise vortices are stretched in between the KH vortices at an angle of 45° with the horizontal plane. These streamwise vortices are not only identified in the early transitional stage of the mixing layer but also in self-similar turbulence conditions. The Re dependence of the "diameter" of these vortices is analyzed. Results obtained in spatial growing mixing layers show some evidences of pairing of secondary vortices; after a pairing of the primary Kelvin-Helmholtz (KH) vortices, the streamwise vortices are less numerous and their diameter has increased than before the pairing of KH vortices.

Forest cover and its change in Unguja Island, Zanzibar

Tropical forests are sources of many ecosystem services, but these forests are vanishing rapidly. The situation is severe in Sub-Saharan Africa and especially in Tanzania. The causes of change are multidimensional and strongly interdependent, and only understanding them comprehensively helps to change the ongoing unsustainable trends of forest decline. Ongoing forest changes, their spatiality and connection to humans and environment can be studied with the methods of Land Change Science. The knowledge produced with these methods helps to make arguments about the actors, actions and causes that are behind the forest decline. In this study of Unguja Island in Zanzibar the focus is in the current forest cover and its changes between 1996 and 2009. The cover and changes are measured with often used remote sensing methods of automated land cover classification and post-classification comparison from medium resolution satellite images. Kernel Density Estimation is used to determine the clusters of change, sub-area –analysis provides information about the differences between regions, while distance and regression analyses connect changes to environmental factors. These analyses do not only explain the happened changes, but also allow building quantitative and spatial future scenarios. Similar study has not been made for Unguja and therefore it provides new information, which is beneficial for the whole society. The results show that 572 km2 of Unguja is still forested, but 0,82–1,19% of these forests are disappearing annually. Besides deforestation also vertical degradation and spatial changes are significant problems. Deforestation is most severe in the communal indigenous forests, but also agroforests are decreasing. Spatially deforestation concentrates to the areas close to the coastline, population and Zanzibar Town. Biophysical factors on the other hand do not seem to influence the ongoing deforestation process. If the current trend continues there should be approximately 485 km2 of forests remaining in 2025. Solutions to these deforestation problems should be looked from sustainable land use management, surveying and protection of the forests in risk areas and spatially targeted self-sustainable tree planting schemes.

Self-deposit, discovery, and delivery of scientific GIS datasets using GeoHydra

Presentation at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014

Floristic composition and phytogeography of the tree component of Araucaria Forest fragments in southern Brazil

The present study examined the floristic composition of three fragments of Araucaria Forest (AF) in the Planalto Catarinense region of southern Brazil as well as the floristic contextualization of these areas in relation to other remnant AF sites. Three AF fragments at different altitudes were analyzed in the municipalities of Campos Novos, Lages, and Painel. Fifty 200 m² plots were examined in each fragment and all of the trees with CBH (circumference at breast height) > 15.7 cm were identified. In order to floristically contextualize the study fragments, comparisons were made with other remnant AF sites by way of dendrograms and NMDS (Non-metric multidimensional scaling). Environmental and spatial variables were plotted on the diagram produced by the NMDS to evaluate their influence on the floristic patterns encountered. The forest fragments studied demonstrated high floristic heterogeneity, indicating that AFs cannot be considered homogeneous formations and they could be classified into 3 phytogeographical categories: i) high altitude areas influenced by cloud cover/fog, including the Painel region; ii) areas of lesser altitude and greater mean annual temperatures situated in the Paraná River basin, and iii) areas situated in the Paraná and Upper-Uruguay river basins and the smaller basins draining directly into the southern Atlantic, near Campos Novos and Lages. The environmental variables most highly correlated with species substitutions among the sites were altitude, mean annual temperature, and the mean temperature of the most humid trimester.

Modulation of the perception of temporal order by attentional and pre-attentional factors

When two stimuli are presented simultaneously to an observer, the perceived temporal order does not always correspond to the actual one. In three experiments we examined how the location and spatial predictability of visual stimuli modulate the perception of temporal order. Thirty-two participants had to report the temporal order of appearance of two visual stimuli. In Experiment 1, both stimuli were presented at the same eccentricity and no perceptual asynchrony between them was found. In Experiment 2, one stimulus was presented close to the fixation point and the other, peripheral, stimulus was presented in separate blocks in two eccentricities (4.8º and 9.6º). We found that the peripheral stimulus was perceived to be delayed in relation to the central one, with no significant difference between the delays obtained in the two eccentricities. In Experiment 3, using three eccentricities (2.5º, 7.3º and 12.1º) for the presentation of the peripheral stimulus, we compared a condition in which its location was highly predictable with two other conditions in which its location was progressively less predictable. Here, the perception of the peripheral stimulus was also delayed in relation to the central one, with this delay depending on both the eccentricity and predictability of the stimulus. We argue that attentional deployment, manipulated by the spatial predictability of the stimulus, seems to play an important role in the temporal order perception of visual stimuli. Yet, under whichever condition of spatial predictability, basic sensory and attentional processes are unavoidably entangled and both factors must concur to the perception of temporal order.

Building bone tissue: matrices and scaffolds in physiology and biotechnology

Deposition of bone in physiology involves timed secretion, deposition and removal of a complex array of extracellular matrix proteins which appear in a defined temporal and spatial sequence. Mineralization itself plays a role in dictating and spatially orienting the deposition of matrix. Many aspects of the physiological process are recapitulated in systems of autologous or xenogeneic transplantation of osteogenic precursor cells developed for tissue engineering or modeling. For example, deposition of bone sialoprotein, a member of the small integrin-binding ligand, N-linked glycoprotein family, represents the first step of bone formation in ectopic transplantation systems in vivo. The use of mineralized scaffolds for guiding bone tissue engineering has revealed unexpected manners in which the scaffold and cells interact with each other, so that a complex interplay of integration and disintegration of the scaffold ultimately results in efficient and desirable, although unpredictable, effects. Likewise, the manner in which biomaterial scaffolds are "resorbed" by osteoclasts in vitro and in vivo highlights more complex scenarios than predicted from knowledge of physiological bone resorption per se. Investigation of novel biomaterials for bone engineering represents an essential area for the design of tissue engineering strategies.

Assessing negative priming by attended distractors in a paper-and-pencil task

The paper-and-pencil digit-comparison task for assessing negative priming (NP) was introduced, using a referent-size-selection procedure that was demonstrated to enhance the effect. NP is indicated by slower responses to recently ignored items, and proposed within the clinical-experimental framework as a major cognitive index of active suppression of distracting information, critical to executive functioning. The digit-comparison task requires circling digits of a list with digit-asterisk pairs (a baseline measure for digit-selection), and the larger of two digits in each pair of the unrelated (with different digits in successive digit-pairs) and related lists (in which the smaller digit subsequently became a target). A total of 56 students (18-38 years) participated in two experiments that explored practice effects across lists and demonstrated reliable NP, i.e., slowing to complete the related list relative to the unrelated list, (F(2, 44) = 52.42, P < 0.0001). A 3rd experiment examined age-related effects. In the paper-and-pencil digit-comparison task, NP was reliable for the younger (N = 8, 18-24 years) and middle-aged adults (N = 8, 31-54 years), but absent for the older group (N = 8, 68-77 years). NP was also reduced with aging in a computer-implemented digit-comparison task, and preserved in a task typically used to test location-specific NP, accounting for the dissociation between identity- and spatial-based suppression of distractors (Rao R(3, 12) = 16.02, P < 0.0002). Since the paper-and-pencil digit-comparison task can be administered easily, it can be useful for neuropsychologists seeking practical measures of NP that do not require cumbersome technical equipment.

Distribution of microglial cells in the cerebral hemispheres of embryonic and neonatal chicks

The distribution, morphology and morphometry of microglial cells in the chick cerebral hemispheres from embryonic day 4 (E4) to the first neonatal day (P1) were studied by histochemical labeling with a tomato (Lycopersicon esculentum) lectin. The histochemical analysis revealed lectin-reactive cells in the nervous parenchyma on day E4. Between E4 (5.7 ± 1.35 mm length) and E17 (8.25 ± 1.2 mm length), the lectin-reactive cells were identified as ameboid microglia and observed starting from the subventricular layer, distributed throughout the mantle layer and in the proximity of the blood vessels. After day E13, the lectin-reactive cells exhibited elongated forms with small branched processes, and were considered primitive ramified microglia. Later, between E18 (5.85 ± 1.5 mm cell body length) and P1 (3.25 ± 0.6 mm cell body length), cells with more elongated branched processes were observed, constituting the ramified microglia. Our findings provide additional information on the migration and differentiation of microglial cells, whose ramified form is observed at the end of embryonic development. The present paper focused on the arrangement of microglial cells in developing cerebral hemispheres of embryonic and neonatal chicks, which are little studied in the literature. Details of morphology, morphometry and spatial distribution of microglial cells contributed to the understanding of bird and mammal central nervous system ontogeny. Furthermore, the identification and localization of microglial cells during the normal development could be used as a morphological guide for embryonic brain injury researches.

Blue and Uv-Emitting Upconversion Nanoparticles: Synthesis and (Bio) Analytical Applications.

Rare-earth based upconverting nanoparticles (UCNPs) have attracted much attention due to their unique luminescent properties. The ability to convert multiple photons of lower energy to ones with higher energy through an upconversion (UC) process offers a wide range of applications for UCNPs. The emission intensities and wavelengths of UCNPs are important performance characteristics, which determine the appropriate applications. However, insufficient intensities still limit the use of UCNPs; especially the efficient emission of blue and ultraviolet (UV) light via upconversion remains challenging, as these events require three or more near-infrared (NIR) photons. The aim of the study was to enhance the blue and UV upconversion emission intensities of Tm3+ doped NaYF4 nanoparticles and to demonstrate their utility in in vitro diagnostics. As the distance between the sensitizer and the activator significantly affect the energy transfer efficiency, different strategies were explored to change the local symmetry around the doped lanthanides. One important strategy is the intentional co-doping of active (participate in energy transfer) or passive (do not participate in energy transfer) impurities into the host matrix. The roles of doped passive impurities (K+ and Sc3+) in enhancing the blue and UV upconversions, as well as in influencing the intense UV upconversion emission through excess sensitization (active impurity) were studied. Additionally, the effects of both active and passive impurity doping on the morphological and optical performance of UCNPs were investigated. The applicability of UV emitting UCNPs as an internal light source for glucose sensing in a dry chemistry test strip was demonstrated. The measurements were in agreement with the traditional method based on reflectance measurements using an external UV light source. The use of UCNPs in the glucose test strip offers an alternative detection method with advantages such as control signals for minimizing errors and high penetration of the NIR excitation through the blood sample, which gives more freedom for designing the optical setup. In bioimaging, the excitation of the UCNPs in the transparent IR region of the tissue permits measurements, which are free of background fluorescence and have a high signal-to-background ratio. In addition, the narrow emission bandwidth of the UCNPs enables multiplexed detections. An array-in-well immunoassay was developed using two different UC emission colours. The differentiation between different viral infections and the classification of antibody responses were achieved based on both the position and colour of the signal. The study demonstrates the potential of spectral and spatial multiplexing in the imaging based array-in-well assays.

The Construction of ‘Disciplinary’ Violence Against Children — Social Workers’, Police Officers’ and Parents’ Rationales

This dissertation examines parental disciplinary violence against children in authority records and in the criminal procedure in Finland. The main aim is to analyze disciplinary violence, how it is defined, and how it is constructed as a crime by social workers, the police, and parents. This dissertation consists of four sub-studies and a summary article. In the first sub-study, I examine how disciplinary violence appears in child welfare documents and analyze the decision-making processes and measures taken by the child welfare workers. The second sub-study, utilizing police interview data, examines police officers’ perceptions of disciplinary violence, its criminalization, and its investigation. In addition to this analysis of police officers’ own perceptions, in the third sub-study, I use reports of crime and pre-trial investigation documents to look at what a typical suspicion of disciplinary violence coming to the attention of the police is and examine the decision-making processes of the police. Utilizing authority data, the fourth sub-study analyzes how parents rationalize the use of disciplinary violence to the authorities investigating these suspicions. The research provides findings that are unprecedented in Finland. Firstly, it was shown that social workers’ decision-making processes in suspicions of disciplinary violence follow three pathways of reasoning, with many factors taken into consideration; and in less than one-third of the cases, a request for criminal investigation has been made to the police. Secondly, it was verified that police officers hold different perceptions of disciplinary violence, and these perceptions have multiple effects on the investigation of these cases and the construction of disciplinary violence as a crime. Thirdly, the analysis of the reports of crime and pre-trial investigation documents showed that almost two-thirds of the cases of disciplinary violence had been sent to a prosecutor by the police and, thus, defined as a crime. However, in many cases, acts of disciplinary violence were often seen as ‘educational, petty one-off incidents’ and a possible trial and punishment for the perpetrator were seen as unreasonable. Fourthly, it was found that parents often try to neutralize and rationalize the violence they have used against their children, for example, either by denying the victim, the criminal intent, or the entire act, or relying on the necessity of the forbidden act. The dissertation concludes that disciplinary violence is defined and constructed in authority policies and practices, first and foremost, by the severity of the act, the nature of the act as continuous or singular, the perceived harm caused by the act to a child, and the perceptions of authorities regarding physical punishment of children. The asymmetrical power setting present in disciplinary violence and parents’ legitimized right to raise and discipline their children partly seem to explain why criminal-law processing of these suspicions of violence and understanding these as crimes is difficult. Finally, this research calls for more coherent and consistent authority practices and policies, achieved by educating authorities and increasing awareness on disciplinary violence, questions the need for a concept like ‘disciplinary’ violence, and suggests more emphasis on unambiguous perceptions of a child’s best interest.