The Iterate Manual

This is the manual for version 1.1 of Iterate, a powerful iteration macro for Common Lisp. Iterate is similar to Loop but provides numerous additional features, is well integrated with Lisp, and is extensible.

Automatic Qualitative Modeling of Dynamic Physical Systems

This report describes MM, a computer program that can model a variety of mechanical and fluid systems. Given a system's structure and qualitative behavior, MM searches for models using an energy-based modeling framework. MM uses general facts about physical systems to relate behavioral and model properties. These facts enable a more focussed search for models than would be obtained by mere comparison of desired and predicted behaviors. When these facts do not apply, MM uses behavior-constrained qualitative simulation to verify candidate models efficiently. MM can also design experiments to distinguish among multiple candidate models.

Effects of melatonin on ovarian follicles

Objective: To evaluate the histomorphometry and expression of Ki-67 and c-kit in ovarian follicles of pinealectomized or melatonin-treated pinealectomized rats.Study design: Forty adult rats were randomly divided into four groups of 10 animals: Group I - control; Group II - sham-pinealectomized; Group III - pinealectomized (Px), and Group IV - Px treated with melatonin (10 mu g/night, per animal). After two months' treatment, on the night of proestrous, the animals were placed in metabolic cages for night urine collection and subsequent measurement of 6-sulfatoxymelatonin (6-SMT). the rats were anesthetized, blood samples were taken for estrogen and progesterone determinations, and they were then euthanized. the ovaries were dissected out for further histological and immunohistochemical analyses. Data were first submitted to analysis of variance (ANOVA) complemented with the Tukey-Kramer test for multiple comparisons (P < 0.05).Results: the urinary levels of 6-SMT and serum progesterone were lower in the Px group (GIII). Exogenous melatonin treatment restored both blood melatonin and 6-SMT urinary levels. the histomorphometric data in Group III revealed a significant increase of degenerating antral and nonantral follicles with regard to the other groups. in addition no corpora lutea were observed in this group. No significant differences were noticed regarding the number of corpora lutea among the other groups (I, II and IV), but the number of cells and the thickness of the theca interna of Px animals (Group III) were higher than in the other groups. Conversely, the density of progesterone receptors (fmol/g) in the ovaries of Group III was significantly lower than in the other groups.Conclusion: Our data indicate that melatonin exerts a role on the maintenance of a proper follicular function, and is thus important for ovulation and progesterone production. (C) 2012 Elsevier Ireland Ltd. All rights reserved.

Soldiers, Peasants, Industry and Towns. The Roman Army in Britain: A Welsh Perspective

Davies, Jeffrey. 'Soldiers, Peasants, Industry and Towns. The Roman Army in Britain: A Welsh Perspective', In: The Roman Army and the Economy (Amsterdam: J.C. Gieben, 2002), pp.169-203 RAE2008

Aspects of Semantics and Pragmatics of Dialogue. SemDial 2010, 14th Workshop on the Semantics and Pragmatics of Dialogue

The papers collected in this book cover a range of topics in semantics and pragmatics of dialogue. All these papers were presented at SemDial 2010, the 14th Workshop on the Semantics and Pragmatics of Dialogue. This 14th edition in the SemDial series, also known as PozDial, took place in Poznań (Poland) in June 2010, and was organized by the Chair of Logic and Cognitive Science (Institute of Psychology, Adam Mickiewicz University). From over 30 submissions overall, 14 were accepted as full papers for plenary presentation at the workshop, and all are included in this book. In addition, 10 were accepted as posters, and are included here as 2-4 page short papers. Finally, we also include abstracts from our keynote speakers. We hope that the ideas gathered in this book will be a valuable source of up-to-date achievements in the field, and will become a valuable inspiration for new ones. We would like to express our thanks to all those who submitted to and participated in SemDial 2010, especially the invited speakers: Dale Barr (University of Glasgow), Jonathan Ginzburg (King's College London), Jeroen Groenendijk (University of Amsterdam) and Henry Prakken (Utrecht University, The University of Groningen). Last but not least, we would like to thank everybody engaged in the workshop organization -- the chairs, the local organizing committee for their hard work in Poznań, and the programme committee members for their thorough and helpful reviews.

Dual-layer frequency-selective grid polarizers on thin-film substrates for THz applications

Dual-layer frequency-selective subwavelength grid polarizers on thin-film dielectric substrates are proposed for THz and sub-THz applications. The dual-layer grids possess enhanced (squared) polarizing efficiency at a sequence of discrete frequencies in reflection and within extended frequency bands in transmission as compared to conventional single grids.

Wavelength division multiplexing at 2μm

This paper shows, for the first time, the implementation of a WDM subsystem at the 2μm wavelength window with mixed formats. Three wavelength channels were directly modulated withBPSK Fast-OFDM at 5Gbit/s per channel, with a fourth channel NRZ-OOK externally modulated at8.5Gbit/s giving a total capacity in excess of 20 Gbit/s.

Variability of particulate matter concentrations along roads and motorways determined by a moving measurement unit

The spatial variability of aerosol number and mass along roads was determined in different regions (urban, rural and coastal-marine) of the Netherlands. A condensation particle counter (CPC) and an optical aerosol spectrometer (LAS-X) were installed in a van along with a global positioning system (GPS). Concentrations were measured with high-time resolutions while driving allowing investigations not possible with stationary equipment. In particular, this approach proves to be useful to identify those locations where numbers and mass attain high levels ('hot spots'). In general, concentrations of number and mass of particulate matter increase along with the degree of urbanisation, with number concentration being the more sensitive indicator. The lowest particle numbers and PM1-concentrations are encountered in a coastal and rural area: <5000cm-3 and 6μgm-3, respectively. The presence of sea-salt material along the North-Sea coast enhances PM>1-concentrations compared to inland levels. High-particle numbers are encountered on motorways correlating with traffic intensity; the largest average number concentration is measured on the ring motorway around Amsterdam: about 160000cm-3 (traffic intensity 100000vehday-1). Peak values occur in tunnels where numbers exceed 106cm-3. Enhanced PM1 levels (i.e. larger than 9μgm-3) exist on motorways, major traffic roads and in tunnels. The concentrations of PM>1 appear rather uniformly distributed (below 6μgm-3 for most observations). On the urban scale, (large) spatial variations in concentration can be explained by varying intensities of traffic and driving patterns. The highest particle numbers are measured while being in traffic congestions or when behind a heavy diesel-driven vehicle (up to 600×103cm-3). Relatively high numbers are observed during the passages of crossings and, at a decreasing rate, on main roads with much traffic, quiet streets and residential areas with limited traffic. The number concentration exhibits a larger variability than mass: the mass concentration on city roads with much traffic is 12% higher than in a residential area at the edge of the same city while the number of particles changes by a factor of two (due to the presence of the ultrafine particles (aerodynamic diameter <100nm). It is further indicated that people residing at some 100m downwind a major traffic source are exposed to (still) 40% more particles than those living in the urban background areas. © 2004 Elsevier Ltd. All rights reserved.

An approach to monitor the fraction of elemental carbon in the ultrafine aerosol

Attempts were made to measure the fraction of elemental carbon (EC) in ultrafine aerosol by modifying an Ambient Carbonaceous Particulate Monitor (ACPM, R&P 5400). The main modification consisted in placing a quartz filter in one of the sampling lines of this dual-channel instrument. With the filter all aerosol and EC contained in it is collected, while in the other line of the instrument the standard impactor samples only particles larger than 0.14 μm. The fraction of EC in particles smaller than 0.14 μm is derived from the difference in concentration as measured via the two sampling lines. Measurements with the modified instrument were made at a suburban site in Amsterdam, The Netherlands. An apparent adsorption artefact, which could not be eliminated by the use of denuders, precluded meaningful evaluation of the data for total carbon. Blanks in the measurements of EC were negligible and the EC data were hence further evaluated. We found that the concentration of EC obtained via the channel with the impactor was systematically lower than that in the filter-line. The average ratio of the concentrations was close to 0.6, which indicates that approximately 40% of the EC was in particles smaller than 0.14 μm. Alternative explanations for the difference in the concentration in the two sampling lines could be excluded, such as a difference in the extent of oxidation. This should be a function of loading, which is not the case. Another reason for the difference could be that less material is collected by the impactor due to rebound, but such bounce of aerosol is very unlikely in The Netherlands due to co-deposition of abundant deliquesced and thus viscous ammonium compounds. The conclusion is that a further modification to assess the true fraction of ultrafine EC, by installing an impactor with cut-off diameter at 0.1 μm, would be worth pursuing. © 2005 Elsevier Ltd. All rights reserved.

Automatic verification of linear controller software

© 2015 IEEE.We consider the problem of verification of software implementations of linear time-invariant controllers. Commonly, different implementations use different representations of the controller's state, for example due to optimizations in a third-party code generator. To accommodate this variation, we exploit input-output controller specification captured by the controller's transfer function and show how to automatically verify correctness of C code controller implementations using a Frama-C/Why3/Z3 toolchain. Scalability of the approach is evaluated using randomly generated controller specifications of realistic size.

Immune response to B. pertussis infection and vaccine in infants

info:eu-repo/semantics/nonPublished