Lead poisoning in cattle and chickens in the state of Pará, Brazil

O presente estudo descreve a ocorrência de intoxicação por chumbo em bovinos e galinhas no Pará, Brasil. Em um lote composto de 80 bezerros de um rebanho leiteiro, 10 animais ficaram doentes e nove morreram, e um animal se recuperou após ser removido do piquete. Após a inspeção deste piquete, foi observada a presença de baterias de caminhões usados para armazenar a energia captada por painéis solares. Os sinais clínicos observados nos bezerros incluíam dificuldade respiratória, corrimento nasal, salivação excessiva, opacidade da córnea, pressão da cabeça contra objetos e decúbito. As galinhas tinham diminuída oviposição e os ovos produzidos eram com cascas malformadas ou tinham a casca mais fina. Os achados de necropsia e as alterações histopatológicas observadas nos bovinos eram de pouco significado, com exceção de um animal que mostrou leve astrocitose no córtex cerebral. Em uma das galinhas, na histopatologia renal observou-se leve necrose tubular aguda multifocal. As concentrações de chumbo médios nos fígados e rins dos bovinos eram 93,91mg/kg e 209,76mg/kg, respectivamente, e a concentração média no fígado de galinhas foi 105,02mg/ kg. Concluiu-se que a fonte de contaminação por chumbo nesses bezerros e galinhas eram placas de bateria de caminhão, aos quais os animais tiveram acesso na pastagem.

Ontogeny of manipulative behavior and nut-cracking in young tufted capuchin monkeys (Cebus apella): a Perception-action perspective

How do capuchin monkeys learn to use stones to crack open nuts? Perception-action theory posits that individuals explore producing varying spatial and force relations among objects and surfaces, thereby learning about affordances of such relations and how to produce them. Such learning supports the discovery of tool use. We present longitudinal developmental data from semifree-ranging tufted capuchin monkeys (Cebus apella) to evaluate predictions arising from Perception-action theory linking manipulative development and the onset of tool-using. Percussive actions bringing an object into contact with a surface appeared within the first year of life. Most infants readily struck nuts and other objects against stones or other surfaces from 6 months of age, but percussive actions alone were not sufficient to produce nut-cracking sequences. Placing the nut on the anvil surface and then releasing it, so that it could be struck with a stone, was the last element necessary for nut-cracking to appear in capuchins. Young chimpanzees may face a different challenge in learning to crack nuts: they readily place objects on surfaces and release them, but rarely vigorously strike objects against surfaces or other objects. Thus the challenges facing the two species in developing the same behavior (nut-cracking using a stone hammer and an anvil) may be quite different. Capuchins must inhibit a strong bias to hold nuts so that they can release them; chimpanzees must generate a percussive action rather than a gentle placing action. Generating the right actions may be as challenging as achieving the right sequence of actions in both species. Our analysis suggests a new direction for studies of social influence on young primates learning sequences of actions involving manipulation of objects in relation to surfaces.

The peculiar isolated neutron star in the Carina Nebula Deep XMM-Newton and ESO-VLT observations of 2XMM J104608.7-594306

While fewer in number than the dominant rotation-powered radio pulsar population, peculiar classes of isolated neutron stars (INSs) which include magnetars, the ROSAT-discovered "Magnificent Seven" (M7), rotating radio transients (RRATs), and central compact objects in supernova remnants (CCOs) - represent a key element in understanding the neutron star phenomenology. We report the results of an observational campaign to study the properties of the source 2XMM J104608.7-594306, a newly discovered thermally emitting INS. The evolutionary state of the neutron star is investigated by means of deep dedicated observations obtained with the XMM-Newton Observatory, the ESO Very Large Telescope, as well as publicly available gamma-ray data from the Fermi Space Telescope and the AGILE Mission. The observations confirm previous expectations and reveal a unique type of object. The source, which is likely within the Carina Nebula (N-H = 2.6x10(21) cm(-2)), has a spectrum that is both thermal and soft, with kT(infinity) = 135 eV. Non-thermal (magnetospheric) emission is not detected down to 1% (3 sigma, 0.1-12 keV) of the source luminosity. Significant deviations (absorption features) from a simple blackbody model are identified in the spectrum of the source around energies 0.6 keV and 1.35 keV. While the former deviation is likely related to a local oxygen overabundance in the Carina Nebula, the latter can only be accounted for by an additional spectral component, which is modelled as a Gaussian line in absorption with EW = 91 eV and sigma = 0.14 keV (1 sigma). Furthermore, the optical counterpart is fainter than m(V) = 27 (2 sigma) and no gamma-ray emission is significantly detected by either the Fermi or AGILE missions. Very interestingly, while these characteristics are remarkably similar to those of the M7 or the only RRAT so far detected in X-rays, which all have spin periods of a few seconds, we found intriguing evidence of very rapid rotation, P = 18.6ms, at the 4 sigma confidence level. We interpret these new results in the light of the observed properties of the currently known neutron star population, in particular those of standard rotation-powered pulsars, recycled objects, and CCOs. We find that none of these scenarios can satisfactorily explain the collective properties of 2XMM J104608.7-594306, although it may be related to the still poorly known class of Galactic anti-magnetars. Future XMM-Newton data, granted for the next cycle of observations (AO11), will help us to improve our current observational interpretation of the source, enabling us to significantly constrain the rate of pulsar spin down.

Utilization of fringe projection technique for evaluation of wound dimensions and of healing progress.

Background: The methods used for evaluating wound dimensions, especially the chronic ones, are invasive and inaccurate. The fringe projection technique with phase shift is a non-invasive, accurate and low-cost optical method. Objective: The aim is to validate the technique through the determination of dimensions of objects of known topography and with different geometries and colors to simulate the wounds and tones of skin color. Taking into account the influence of skin wound optical factors, the technique will be used to evaluate actual patients’ wound dimensions and to study its limitations in this application. Methods: Four sinusoidal fringe patterns, displaced ¼ of period each, were projected onto the objects surface. The object dimensions were obtained from the unwrapped phase map through the observation of the fringe deformations caused by the object topography and using phase shift analysis. An object with simple geometry was used for dimensional calibration and the topographic dimensions of the others were determined from it. After observing the compatibility with the data and validating the method, it was used for measuring the dimensions of real patients’ wounds. Results and Conclusions: The discrepancies between actual topography and dimensions determined with Fringe Projection Technique and for the known object were lower than 0.50 cm. The method was successful in obtaining the topography of real patient’s wounds. Objects and wounds with sharp topographies or causing shadow or reflection are difficult to be evaluated with this technique.

Pattern-based segmentation of digital documents: model and implementation

This thesis proposes a new document model, according to which any document can be segmented in some independent components and transformed in a pattern-based projection, that only uses a very small set of objects and composition rules. The point is that such a normalized document expresses the same fundamental information of the original one, in a simple, clear and unambiguous way. The central part of my work consists of discussing that model, investigating how a digital document can be segmented, and how a segmented version can be used to implement advanced tools of conversion. I present seven patterns which are versatile enough to capture the most relevant documents’ structures, and whose minimality and rigour make that implementation possible. The abstract model is then instantiated into an actual markup language, called IML. IML is a general and extensible language, which basically adopts an XHTML syntax, able to capture a posteriori the only content of a digital document. It is compared with other languages and proposals, in order to clarify its role and objectives. Finally, I present some systems built upon these ideas. These applications are evaluated in terms of users’ advantages, workflow improvements and impact over the overall quality of the output. In particular, they cover heterogeneous content management processes: from web editing to collaboration (IsaWiki and WikiFactory), from e-learning (IsaLearning) to professional printing (IsaPress).

Language and Embodiment: sensory-motor and linguistic-social experience. Evidence on sentence comprehension

In this work I address the study of language comprehension in an “embodied” framework. Firstly I show behavioral evidence supporting the idea that language modulates the motor system in a specific way, both at a proximal level (sensibility to the effectors) and at the distal level (sensibility to the goal of the action in which the single motor acts are inserted). I will present two studies in which the method is basically the same: we manipulated the linguistic stimuli (the kind of sentence: hand action vs. foot action vs. mouth action) and the effector by which participants had to respond (hand vs. foot vs. mouth; dominant hand vs. non-dominant hand). Response times analyses showed a specific modulation depending on the kind of sentence: participants were facilitated in the task execution (sentence sensibility judgment) when the effector they had to use to respond was the same to which the sentences referred. Namely, during language comprehension a pre-activation of the motor system seems to take place. This activation is analogous (even if less intense) to the one detectable when we practically execute the action described by the sentence. Beyond this effector specific modulation, we also found an effect of the goal suggested by the sentence. That is, the hand effector was pre-activated not only by hand-action-related sentences, but also by sentences describing mouth actions, consistently with the fact that to execute an action on an object with the mouth we firstly have to bring it to the mouth with the hand. After reviewing the evidence on simulation specificity directly referring to the body (for instance, the kind of the effector activated by the language), I focus on the specific properties of the object to which the words refer, particularly on the weight. In this case the hypothesis to test was if both lifting movement perception and lifting movement execution are modulated by language comprehension. We used behavioral and kinematics methods, and we manipulated the linguistic stimuli (the kind of sentence: the lifting of heavy objects vs. the lifting of light objects). To study the movement perception we measured the correlations between the weight of the objects lifted by an actor (heavy objects vs. light objects) and the esteems provided by the participants. To study the movement execution we measured kinematics parameters variance (velocity, acceleration, time to the first peak of velocity) during the actual lifting of objects (heavy objects vs. light objects). Both kinds of measures revealed that language had a specific effect on the motor system, both at a perceptive and at a motoric level. Finally, I address the issue of the abstract words. Different studies in the “embodied” framework tried to explain the meaning of abstract words The limit of these works is that they account only for subsets of phenomena, so results are difficult to generalize. We tried to circumvent this problem by contrasting transitive verbs (abstract and concrete) and nouns (abstract and concrete) in different combinations. The behavioral study was conducted both with German and Italian participants, as the two languages are syntactically different. We found that response times were faster for both the compatible pairs (concrete verb + concrete noun; abstract verb + abstract noun) than for the mixed ones. Interestingly, for the mixed combinations analyses showed a modulation due to the specific language (German vs. Italian): when the concrete word precedes the abstract one responses were faster, regardless of the word grammatical class. Results are discussed in the framework of current views on abstract words. They highlight the important role of developmental and social aspects of language use, and confirm theories assigning a crucial role to both sensorimotor and linguistic experience for abstract words.

Trasmission and Reflection (ATR)Far-Infrared Spectroscopy Applied in the Analysis of Cultural Heritage Materials

FIR spectroscopy is an alternative way of collecting spectra of many inorganic pigments and corrosion products found on art objects, which is not normally observed in the MIR region. Most FIR spectra are traditionally collected in transmission mode but as a real novelty it is now also possible to record FIR spectra in ATR (Attenuated Total Reflectance) mode. In FIR transmission we employ polyethylene (PE) for preparation of pellets by embedding the sample in PE. Unfortunately, the preparation requires heating of the PE in order to produces at transparent pellet. This will affect compounds with low melting points, especially those with structurally incorporated water. Another option in FIR transmission is the use of thin films. We test the use of polyethylene thin film (PETF), both commercial and laboratory-made PETF. ATR collection of samples is possible in both the MIR and FIR region on solid, powdery or liquid samples. Changing from the MIR to the FIR region is easy as it simply requires the change of detector and beamsplitter (which can be performed within a few minutes). No preparation of the sample is necessary, which is a huge advantage over the PE transmission method. The most obvious difference, when comparing transmission with ATR, is the distortion of band shape (which appears asymmetrical in the lower wavenumber region) and intensity differences. However, the biggest difference can be the shift of strong absorbing bands moving to lower wavenumbers in ATR mode. The sometimes huge band shift necessitates the collection of standard library spectra in both FIR transmission and ATR modes, provided these two methods of collecting are to be employed for analyses of unknown samples. Standard samples of 150 pigment and corrosion compounds are thus collected in both FIR transmission and ATR mode in order to build up a digital library of spectra for comparison with unknown samples. XRD, XRF and Raman spectroscopy assists us in confirming the purity or impurity of our standard samples. 24 didactic test tables, with known pigment and binder painted on the surface of a limestone tablet, are used for testing the established library and different ways of collecting in ATR and transmission mode. In ATR, micro samples are scratched from the surface and examined in both the MIR and FIR region. Additionally, direct surface contact of the didactic tablets with the ATR crystal are tested together with water enhanced surface contact. In FIR transmission we compare the powder from our test tablet on the laboratory PETF and embedded in PE. We also compare the PE pellets collected using a 4x beam condenser, focusing the IR beam area from 8 mm to 2 mm. A few samples collected from a mural painting in a Nepalese temple, corrosion products collected from archaeological Chinese bronze objects and samples from a mural paintings in an Italian abbey, are examined by ATR or transmission spectroscopy.

Development and optimization of graphic user interfaces (GUIs) for infrared spectrometers at the Telescopio Nazionale Galileo

This Phd thesis was entirely developed at the Telescopio Nazionale Galileo (TNG, Roque de los Muchachos, La Palma Canary Islands) with the aim of designing, developing and implementing a new Graphical User Interface (GUI) for the Near Infrared Camera Spectrometer (NICS) installed on the Nasmyth A of the telescope. The idea of a new GUI for NICS has risen for optimizing the astronomers work through a set of powerful tools not present in the existing GUI, such as the possibility to move automatically, an object on the slit or do a very preliminary images analysis and spectra extraction. The new GUI also provides a wide and versatile image display, an automatic procedure to find out the astronomical objects and a facility for the automatic image crosstalk correction. In order to test the overall correct functioning of the new GUI for NICS, and providing some information on the atmospheric extinction at the TNG site, two telluric standard stars have been spectroscopically observed within some engineering time, namely Hip031303 and Hip031567. The used NICS set-up is as follows: Large Field (0.25'' /pixel) mode, 0.5'' slit and spectral dispersion through the AMICI prism (R~100), and the higher resolution (R~1000) JH and HK grisms.

Inverse problems in classical and quantum physics

The subject of this thesis is in the area of Applied Mathematics known as Inverse Problems. Inverse problems are those where a set of measured data is analysed in order to get as much information as possible on a model which is assumed to represent a system in the real world. We study two inverse problems in the fields of classical and quantum physics: QCD condensates from tau-decay data and the inverse conductivity problem. Despite a concentrated effort by physicists extending over many years, an understanding of QCD from first principles continues to be elusive. Fortunately, data continues to appear which provide a rather direct probe of the inner workings of the strong interactions. We use a functional method which allows us to extract within rather general assumptions phenomenological parameters of QCD (the condensates) from a comparison of the time-like experimental data with asymptotic space-like results from theory. The price to be paid for the generality of assumptions is relatively large errors in the values of the extracted parameters. Although we do not claim that our method is superior to other approaches, we hope that our results lend additional confidence to the numerical results obtained with the help of methods based on QCD sum rules. EIT is a technology developed to image the electrical conductivity distribution of a conductive medium. The technique works by performing simultaneous measurements of direct or alternating electric currents and voltages on the boundary of an object. These are the data used by an image reconstruction algorithm to determine the electrical conductivity distribution within the object. In this thesis, two approaches of EIT image reconstruction are proposed. The first is based on reformulating the inverse problem in terms of integral equations. This method uses only a single set of measurements for the reconstruction. The second approach is an algorithm based on linearisation which uses more then one set of measurements. A promising result is that one can qualitatively reconstruct the conductivity inside the cross-section of a human chest. Even though the human volunteer is neither two-dimensional nor circular, such reconstructions can be useful in medical applications: monitoring for lung problems such as accumulating fluid or a collapsed lung and noninvasive monitoring of heart function and blood flow.

Technologies for Ambient intelligence: from Smart Objects to Sensor Networks

n the last few years, the vision of our connected and intelligent information society has evolved to embrace novel technological and research trends. The diffusion of ubiquitous mobile connectivity and advanced handheld portable devices, amplified the importance of the Internet as the communication backbone for the fruition of services and data. The diffusion of mobile and pervasive computing devices, featuring advanced sensing technologies and processing capabilities, triggered the adoption of innovative interaction paradigms: touch responsive surfaces, tangible interfaces and gesture or voice recognition are finally entering our homes and workplaces. We are experiencing the proliferation of smart objects and sensor networks, embedded in our daily living and interconnected through the Internet. This ubiquitous network of always available interconnected devices is enabling new applications and services, ranging from enhancements to home and office environments, to remote healthcare assistance and the birth of a smart environment. This work will present some evolutions in the hardware and software development of embedded systems and sensor networks. Different hardware solutions will be introduced, ranging from smart objects for interaction to advanced inertial sensor nodes for motion tracking, focusing on system-level design. They will be accompanied by the study of innovative data processing algorithms developed and optimized to run on-board of the embedded devices. Gesture recognition, orientation estimation and data reconstruction techniques for sensor networks will be introduced and implemented, with the goal to maximize the tradeoff between performance and energy efficiency. Experimental results will provide an evaluation of the accuracy of the presented methods and validate the efficiency of the proposed embedded systems.

Cognition in context: Evidence on affordances and verbal language

This thesis investigated affordances and verbal language to demonstrate the flexibility of embodied simulation processes. Starting from the assumption that both object/action understanding and language comprehension are tied to the context in which they take place, six studies clarified the factors that modulate simulation. The studies in chapter 4 and 5 investigated affordance activation in complex scenes, revealing the strong influence of the visual context, which included either objects and actions, on compatibility effects. The study in chapter 6 compared the simulation triggered by visual objects and objects names, showing differences depending on the kind of materials processed. The study in chapter 7 tested the predictions of the WAT theory, confirming that the different contexts in which words are acquired lead to the difference typically observed in the literature between concrete and abstract words. The study in chapter 8 on the grounding of abstract concepts tested the mapping of temporal contents on the spatial frame of reference of the mental timeline, showing that metaphoric congruency effects are not automatic, but flexibly mediated by the context determined by the goals of different tasks. The study in chapter 9 investigated the role of iconicity in verbal language, showing sound-to-shape correspondences when every-day object figures, result that validated the reality of sound-symbolism in ecological contexts. On the whole, this evidence favors embodied views of cognition, and supports the hypothesis of a high flexibility of simulation processes. The reported conceptual effects confirm that the context plays a crucial role in affordances emergence, metaphoric mappings activation and language grounding. In conclusion, this thesis highlights that in an embodied perspective cognition is necessarily situated and anchored to a specific context, as it is sustained by the existence of a specific body immersed in a specific environment.

High mobility rates during the period of the "Celtic migrations"? - 87 Sr, 86 Sr and delta 18 O evidence from Early La Tène Europe

Although the period of the historic “Celtic migrations” is archaeologically extensively studied, the long-lasting question whether mass migration or increased individual mobility caused the expansion of the La Tène culture throughout continental Europe persist. Strontium (Sr) and in part oxygen (O) isotope analysis of human remains from the early La Tène cemeteries of Nebringen (Germany), Münsingen-Rain (Switzerland), Monte Bibele (Italy) and the Czech cemeteries of Radovesice I, Radovesice II and Kutná Hora was, therefore, carried out to investigate the importance of residential changes during this time period. These isotope analyses showed that most analysed individuals either came from the area they were buried in or from the surrounding area of the cemetery. An exception was formed by the Czech cemeteries, where almost a quarter of the studied individuals appeared non-local. Together with Nebringen, these cemeteries also had the most varied Sr isotope ratios, which suggest highly mobile communities in which individuals regularly changed their residency. The isotopic ratios of the cemeteries of Münsingen-Rain and Monte Bibele appeared far less varied. In part, these differences might be explained by the community structures of these cemeteries. Morphological kinship analysis in Münsingen-Rain demonstrated biological relatedness among most of the analysed individuals. These related individuals also shared similar isotope signatures, which suggest an origin from the surrounding Aar Valley. In the vicinity of the cemetery of Monte Bibele, an associated settlement site was discovered. The deceased presumably not only shared this settlement, but also cultivated the same land plots. Dispersed settlement structures were suggested for Nebringen, Radovesice and Kutná Hora, as these agriculturally favourable landscapes were densely populated during prehistoric times. Connected to these community structures are the prevailing geological conditions in these areas. Both Münsingen-Rain and Monte Bibele are located in a region where homogeneous geological conditions prevail, whereas the landscapes of Nebringen, Radovesice and Kutná Hora are characterised by complex heterogeneous geological conditions. As the majority of individuals in Nebringen and the Czech cemeteries correspond to the expected isotope values for the studied areas, regularly changing land plots might have contributed to the observed variation. Although mass migration as depicted by the historical sources was not observed individual mobility of a small part of these studied communities certainly played a role. Males appeared, thereby, to have slightly more often a non-local birthplace or moved during childhood. Male mobility was, however, not always associated with burial as a warrior. Females, on the other hand, originated more often from the region. Patrilocal residential patterns, with the exception of the Czech cemeteries, were nevertheless not observed. Objects and ideas also seem to have been exchanged freely, as there are no indications that individuals with particular grave goods came from specific areas. It rather appears that the individuals buried with them were either local or had different places of origin. This can be explained by the fact that the exact origin of grave goods is difficult to establish and the occurrence of similar 87Sr/86Sr values in different areas. This study provided important new insights on the period of the “Celtic migrations” and the way of life of these prehistoric people.

Infrared Parallaxes of Young Field Brown Dwarfs and Connections to Directly Imaged Gas-Giant Exoplanets

We have measured high-precision infrared parallaxes with the Canada-France-Hawaii Telescope for a large sample of candidate young (approximate to 10-100 Myr) and intermediate-age (approximate to 100-600 Myr) ultracool dwarfs, with spectral types ranging from M8 to T2.5. These objects are compelling benchmarks for substellar evolution and ultracool atmospheres at lower surface gravities (i.e., masses) than most of the field population. We find that the absolute magnitudes of our young sample can be systematically offset from ordinary (older) field dwarfs, with the young late-M objects being brighter and the young/dusty mid-L (L3-L6.5) objects being fainter, especially at J band. Thus, we conclude the "underluminosity" of the young planetary-mass companions HR 8799b and 2MASS J1207-39b compared to field dwarfs is also manifested in young free-floating brown dwarfs, though the effect is not as extreme. At the same time, some young objects over the full spectral type range of our sample are similar to field objects, and thus a simple correspondence between youth and magnitude offset relative to the field population appears to be lacking. Comparing the kinematics of our sample to nearby stellar associations and moving groups, we identify several new moving group members, including the first free-floating L dwarf in the AB Dor moving group, 2MASS J0355+11. Altogether, the effects of surface gravity (age) and dust content on the magnitudes and colors of substellar objects appear to be degenerate. (C) 2013 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim

Patterns of regional brain hypometabolism associated with knowledge of semantic features and categories in Alzheimer's disease

The study of semantic memory in patients with Alzheimer's disease (AD) has raised important questions about the representation of conceptual knowledge in the human brain. It is still unknown whether semantic memory impairments are caused by localized damage to specialized regions or by diffuse damage to distributed representations within nonspecialized brain areas. To our knowledge, there have been no direct correlations of neuroimaging of in vivo brain function in AD with performance on tasks differentially addressing visual and functional knowledge of living and nonliving concepts. We used a semantic verification task and resting 18-fluorodeoxyglucose positron emission tomography in a group of mild to moderate AD patients to investigate this issue. The four task conditions required semantic knowledge of (1) visual, (2) functional properties of living objects, and (3) visual or (4) functional properties of nonliving objects. Visual property verification of living objects was significantly correlated with left posterior fusiform gyrus metabolism (Brodmann's area [BA] 37/19). Effects of visual and functional property verification for non-living objects largely overlapped in the left anterior temporal (BA 38/20) and bilateral premotor areas (BA 6), with the visual condition extending more into left lateral precentral areas. There were no associations with functional property verification for living concepts. Our results provide strong support for anatomically separable representations of living and nonliving concepts, as well as visual feature knowledge of living objects, and against distributed accounts of semantic memory that view visual and functional features of living and nonliving objects as distributed across a common set of brain areas.

A Calculus of Evolving Objects

The demands of developing modern, highly dynamic applications have led to an increasing interest in dynamic programming languages and mechanisms. Not only applications must evolve over time, but the object models themselves may need to be adapted to the requirements of different run-time contexts. Class-based models and prototype-based models, for example, may need to co-exist to meet the demands of dynamically evolving applications. Multi-dimensional dispatch, fine-grained and dynamic software composition, and run-time evolution of behaviour are further examples of diverse mechanisms which may need to co-exist in a dynamically evolving run-time environment How can we model the semantics of these highly dynamic features, yet still offer some reasonable safety guarantees? To this end we present an original calculus in which objects can adapt their behaviour at run-time to changing contexts. Both objects and environments are represented by first-class mappings between variables and values. Message sends are dynamically resolved to method calls. Variables may be dynamically bound, making it possible to model a variety of dynamic mechanisms within the same calculus. Despite the highly dynamic nature of the calculus, safety properties are assured by a type assignment system.