Vorlesungen aus dem Gebiete der Kriegskunst; ein Handbuch für Offiziers,

Mode of access: Internet.

Letters of the Hon. C.F. Cleveland, and Hon. Henry Hubbard, Governors of Connecticut and New Hampshire, to Samuel Ward King, the charter governor of Rhode Island, refusing to deliver up Thomas Wilson Dorr, ...

Also, the letter of the Hon. Marcus Morton, and others, to the Suffrage Clam-bake.

Kleine Schriften /

1. Bd. Die Schlachten von Ligny, Quatre-Bras und Waterloo -- Briefe eines Militärs an einen andern -- Strategische Uebersicht des Feldzuges in Russland 1812 -- 2. Bd. Die Vertheidigung und der Fall von Montmedy im Jahre 1657 -- Ueber den Kosacken und dessen Brauchbarkeit im Felde -- Remarks on the organisation of the corps of artillery in the British service -- Bemerkungen bei Lesung von Jomini's Tableau analytique des principales combinaisons de la guerre -- Denkschrift über die Möglichkeit der militärischen Eroberung der europäischen Türkei durch die Russen -- 3. Bd. Der Feldzug in den Niederlanden 1793 -- 4. Bd. Biographisches. Fürst Carl von Schwarzenberg -- Fürst Joseph von Schwarzenberg -- Herzog von Reichstadt -- Wilhelm von Mayern -- Graf Johann Paar -- Graf Carl Clam-Martinitz -- 6. Bd. Gedichte -- 7. Bd. Kreig des Vizekönigs von Aegypten Mohammed Ali's gegen den Sultan in den Jahren 1831-1833.

Characterication of metals in hemolymph and tissues of the Antarctic bivalve Laternula elliptica

A high input of lithogenic sediment from glaciers was assumed to be responsible for high Fe and Mn contents in the Antarctic soft shell clam Laternula elliptica at King George Island. Indeed, withdrawal experiments indicated a strong influence of environmental Fe concentrations on Fe contents in bivalve hemolymph, but no significant differences in hemolymph and tissue concentrations were found among two sites of high and lower input of lithogenic debris. Comparing Fe and Mn concentrations of porewater, bottom water, and hemolymph from sampling sites, Mn appears to be assimilated as dissolved species, whereas Fe apparently precipitates as ferrihydrite within the oxic sediment or bottom water layer prior to assimilation by the bivalve. Hence, we attribute the high variability of Fe and Mn accumulation in tissues of L. elliptica around Antarctica to differences in the geochemical environment of the sediment and the resulting Fe and Mn flux across the benthic boundary.

Suspended paticulate matter and respiration experiments of Laternula elliptica in Potter Cove, King George Island, Western Antarctic Peninsula

Recent rapid changes of air temperature on the western side of the Antarctic Peninsula results in increased sediment discharge and ice scouring frequencies in coastal regions. These changes are bound to especially affect slow growing, sessile filter feeders such as the Antarctic bivalve, Laternula elliptica, a long-lived and abundant key species with circumpolar distribution. We investigated the effect of sedimentation and ice scouring on small/young and large/old individuals at two closely located stations, distinctly influenced by both types of disturbance. Small individuals dealt better with disturbance in terms of their respiratory response to sediment exposure, reburrowing ability, and survival after injury, compared to larger animals. At the more disturbed station L. elliptica population density was lower, but larger animals reburrowed faster after iceberg disturbance and reduced their metabolic rate under strong sediment coverage, compared to larger animals of the less disturbed station, indicating that an adaptation or learning response to both types of disturbance may be possible. Smaller individuals were not influenced. Laternula elliptica seems capable of coping with the rapidly changing environmental conditions. Due to a decrease in population density and mean population lifespan, L. elliptica could however lose its key role in the bentho-pelagic carbon flux in areas of high sediment deposition.

Variability of marine climate on the North Icelandic Shelf in a 1357-year proxy archive based on growth increments in the bivalve Arctica islandica

A multicentennial and absolutely-dated shell-based chronology for the marine environment of the North Icelandic Shelf has been constructed using annual growth increments in the shell of the long-lived bivalve clam Arctica islandica. The region from which the shells were collected is close to the North Atlantic Polar Front and is highly sensitive to the varying influences of Atlantic and Arctic water masses. A strong common environmental signal is apparent in the increment widths, and although the correlations between the growth increment indices and regional sea surface temperatures are significant at the 95% confidence level, they are low (r ~ 0.2), indicating that a more complex combination of environmental forcings is driving growth. Remarkable longevities of individual animals are apparent in the increment-width series used in the chronology, with several animals having lifetimes in excess of 300 years and one, at 507 years, being the longest-lived non-colonial animal so far reported whose age at death can be accurately determined. The sample depth is at least three shells after AD 1175, and the time series has been extended back to AD 649 with a sample depth of one or two by the addition of two further series, thus providing a 1357-year archive of dated shell material. The statistical and spectral characteristics of the chronology are investigated by using two different methods of removing the age-related trend in shell growth. Comparison with other proxy archives from the same region reveals several similarities in variability on multidecadal timescales, particularly during the period surrounding the transition from the Medieval Climate Anomaly to the Little Ice Age.

Burrowing times and proportions of Mesodesma donacium

Data archives with raw data of burrowing times and proportions of succesfully burrowed clams.

Aportes de las teorías sociológicas a la discusión de la ontología. Los casos de Luhmann, Habermas y Latour

En este trabajo se discuten los aportes de la teoría sociológica contemporánea al debate filosófico y científico de la ontología, para ello son cotejados los componentes ontológicos de la Teoría General de Sistemas Sociales de Niklas Luhmann, lla Teoría de la Acción Comunicativa de Jürgen Habermas y la Actor-Network Theory de Bruno Latour.

Genetic evidence supports recolonisation by Mya arenaria of western Europe from North America

The softshell clam Mya arenaria (L.) is currently widespread on the east and west coasts of North America. This bivalve also occurs on western European shores, where the post-Pleistocene origin of the species, whether introduced or relict, has been debated. We collected 320 M. arenaria from 8 locations in Europe and North America. Clams (n = 84) from 7 of the locations were examined for mitochondrial DNA variation by sequencing a section of the cytochrome oxidase 1 (COX1) gene. These were analysed together with 212 sequences, sourced from GenBank, from the same gene from 12 additional locations, chiefly from eastern North America but also 1 site each from western North America and from western Europe. Ten microsatellite loci were also investigated in all 320 clams. Nuclear markers showed reduced levels of variation in certain European samples. The same common COX1 haplotypes and microsatellite alleles were present throughout the range of M. arenaria, although significant differences were identified in haplotypic and allelic composition between many samples, particularly those from the 2 continents (Europe and North America). These findings support the hypothesis of post-Pleistocene colonisation of European shores from eastern North America (and the recorded human transfer of clams from the east to the west coast of North America in the 19th century).

Length-weight relationship of benthic bivalves of the Andoni Flats, Niger Delta, Nigeria

The length weight relationship of three benthic bivalves namely, Senilia (= Anadara) senilis (bloody cockle), Tagelus adansonii (knife clam), Tellina nymphalis (soft shell clam) from the Andoni Flats were determined. The bivalves which are of ecological importance were obtained from the intertidal areas of the Andoni Flats. Shell lengths of the bivalves were measured and corresponding dry weight measurements were also taken. The data obtained were then subjected to regression analysis using the FAO-ICLARM Fish Stock Assessment Tools (FiSAT). The length weight relationships obtained from the FiSAT analysis indicated isometric growth for Senilia (= Anadara) senilis, with slope (b) value of 2.942; positive allometric growth for Tagelus adansonii, with a ‘b’ value of 3.395 and negative allometric growth for Tellina nymphalis with ‘b’ value of 2.633. KEYWORDS: bivalves, length-weight, isometric growth, allometric growth, cockle, clam.

The Use of Proof Planning Critics to Diagnose Errors in the Base Cases of Recursive Programs

This paper reports the use of proof planning to diagnose errors in program code. In particular it looks at the errors that arise in the base cases of recursive programs produced by undergraduates. It describes two classes of error that arise in this situation. The use of test cases would catch these errors but would fail to distinguish between them. The system adapts proof critics, commonly used to patch faulty proofs, to diagnose such errors and distinguish between the two classes. It has been implemented in Lambda-clam, a proof planning system, and applied successfully to a small set of examples.

Inductive Theorem Proving and Computer Algebra in the Mathweb Software Bus

Reasoning systems have reached a high degree of maturity in the last decade. However, even the most successful systems are usually not general purpose problem solvers but are typically specialised on problems in a certain domain. The MathWeb SOftware Bus (Mathweb-SB) is a system for combining reasoning specialists via a common osftware bus. We described the integration of the lambda-clam systems, a reasoning specialist for proofs by induction, into the MathWeb-SB. Due to this integration, lambda-clam now offers its theorem proving expertise to other systems in the MathWeb-SB. On the other hand, lambda-clam can use the services of any reasoning specialist already integrated. We focus on the latter and describe first experimnents on proving theorems by induction using the computational power of the MAPLE system within lambda-clam.

Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain

This paper reports a case study in the use of proof planning in the context of higher order syntax. Rippling is a heuristic for guiding rewriting steps in induction that has been used successfully in proof planning inductive proofs using first order representations. Ordinal arithmetic provides a natural set of higher order examples on which transfinite induction may be attempted using rippling. Previously Boyer-Moore style automation could not be applied to such domains. We demonstrate that a higher-order extension of the rippling heuristic is sufficient to plan such proofs automatically. Accordingly, ordinal arithmetic has been implemented in lambda-clam, a higher order proof planning system for induction, and standard undergraduate text book problems have been successfully planned. We show the synthesis of a fixpoint for normal ordinal functions which demonstrates how our automation could be extended to produce more interesting results than the textbook examples tried so far.

The Productive use of Failure to Generate Witnesses from Divergent Proof Attempts for Coinduction

Coinduction is a proof rule. It is the dual of induction. It allows reasoning about non--well--founded structures such as lazy lists or streams and is of particular use for reasoning about equivalences. A central difficulty in the automation of coinductive proof is the choice of a relation (called a bisimulation). We present an automation of coinductive theorem proving. This automation is based on the idea of proof planning. Proof planning constructs the higher level steps in a proof, using knowledge of the general structure of a family of proofs and exploiting this knowledge to control the proof search. Part of proof planning involves the use of failure information to modify the plan by the use of a proof critic which exploits the information gained from the failed proof attempt. Our approach to the problem was to develop a strategy that makes an initial simple guess at a bisimulation and then uses generalisation techniques, motivated by a critic, to refine this guess, so that a larger class of coinductive problems can be automatically verified. The implementation of this strategy has focused on the use of coinduction to prove the equivalence of programs in a small lazy functional language which is similar to Haskell. We have developed a proof plan for coinduction and a critic associated with this proof plan. These have been implemented in CoClam, an extended version of Clam with encouraging results. The planner has been successfully tested on a number of theorems.