Distribution and Host Plants of \u3ci\u3eCorthylus Punctatissimus\u3c/i\u3e (Coleoptera: Scolytidae) in the Lower Peninsula of Michigan

(excerpt) The pitted ambrosia beetle. Corthylus punctatissimus Zimmerman, infests woody saplings and shrubs 14 mm in diameter or less. The beetle bores an entrance hole into the main stem at soil level and constructs a main gallery tunnel which generally spirals downward in the stem. Egg-niche construction is followed by inoculation of symbiotic fungi and oviposition. The main stem of the host tree wilts as a result of the girdling activity of the beetle. Finnegan (1967) described the life history of C. punctatissimus infesting Acer saccharum Marshall in Ontario and Quebec

Seasonal Patterns of Flight and Attack of Maple Saplings by the Ambrosia Beetle \u3ci\u3eCorthylus Punctatissimus\u3c/i\u3e (Coleoptera: Scolytidae) in Central Michigan

Window traps with ethanol were used to observe seasonal flight patterns of Corthylus punctatissimus in central Michigan. Flights peaked in early July with a second peak seven weeks later in late August. Similarly, wilting of attacked maple (Acer) saplings began to appear a week after initial Corthylus flights, and showed twopeaks, one in mid-July and again with another peak, seven weeks later, in early September. The second peak of activity is presumably from reemerged adults, and not a second generation

Observations of the Habits of \u3ci\u3eCorthylus Punctatissimus\u3c/i\u3e (Coleoptera: Scolytidae) Infesting Maple Saplings in Central Michigan

Corthylus punctatissimus, the pitted ambrosia beetle, infested and killed maple saplings that were 3-12 years of age with a basal diameter of 4-14 mm. The habits of the parental pair of adults are described. The beetles construct a spiral gallery system with about five egg niches per host. Half the brood reaches adult stage during the summer with a sex ratio of 1:1. No relationship was found between the number of niches, length of gallery system, or diameter of stem

An in-depth investigation of interval temporal logic model checking with regular expressions

In the last years, the model checking (MC) problem for interval temporal logic (ITL) has received an increasing attention as a viable alternative to the traditional (point-based) temporal logic MC, which can be recovered as a special case. Most results have been obtained by imposing suitable restrictions on interval labeling. In this paper, we overcome such limitations by using regular expressions to define the behavior of proposition letters over intervals in terms of the component states. We first prove that MC for Halpern and Shoham’s ITL (HS), extended with regular expressions, is decidable. Then, we show that formulas of a large class of HS fragments, namely, all fragments featuring (a subset of) HS modalities for Allen’s relations meets, met-by, starts, and started-by, can be model checked in polynomial working space (MC for all these fragments turns out to be PSPACE-complete)

Eliminating Ditransitives

Abstract. We discuss how higher arity verbs such as give or promise can be treated in an algebraic framework that admits only unary and binary relations and does not rely on event variables

Inconsistent boundaries

Research on this paper was supported by a grant from the Marsden Fund, Royal Society of New Zealand.Mereotopology is a theory of connected parts. The existence of boundaries, as parts of everyday objects, is basic to any such theory; but in classical mereotopology, there is a problem: if boundaries exist, then either distinct entities cannot be in contact, or else space is not topologically connected (Varzi in Noûs 31:26–58, 1997). In this paper we urge that this problem can be met with a paraconsistent mereotopology, and sketch the details of one such approach. The resulting theory focuses attention on the role of empty parts, in delivering a balanced and bounded metaphysics of naive space.PostprintPeer reviewe

The human channel gating–modifying A749G CACNA1D (Cav1.3) variant induces a neurodevelopmental syndrome–like phenotype in mice

Germline de novo missense variants of the CACNA1D gene, encoding the pore-forming α1 subunit of Cav1.3 L-type Ca2+ channels (LTCCs), have been found in patients with neurodevelopmental and endocrine dysfunction, but their disease-causing potential is unproven. These variants alter channel gating, enabling enhanced Cav1.3 activity, suggesting Cav1.3 inhibition as a potential therapeutic option. Here we provide proof of the disease-causing nature of such gating-modifying CACNA1D variants using mice (Cav1.3AG) containing the A749G variant reported de novo in a patient with autism spectrum disorder (ASD) and intellectual impairment. In heterozygous mutants, native LTCC currents in adrenal chromaffin cells exhibited gating changes as predicted from heterologous expression. The A749G mutation induced aberrant excitability of dorsomedial striatum–projecting substantia nigra dopamine neurons and medium spiny neurons in the dorsal striatum. The phenotype observed in heterozygous mutants reproduced many of the abnormalities described within the human disease spectrum, including developmental delay, social deficit, and pronounced hyperactivity without major changes in gross neuroanatomy. Despite an approximately 7-fold higher sensitivity of A749G-containing channels to the LTCC inhibitor isradipine, oral pretreatment over 2 days did not rescue the hyperlocomotion. Cav1.3AG mice confirm the pathogenicity of the A749G variant and point toward a pathogenetic role of altered signaling in the dopamine midbrain system

Beacon Virtua: A Virtual Reality Simulation Detailing the Recent and Shipwreck History of Beacon Island, Western Australia

Beacon Virtua is a project to document and virtually preserve a historically significant offshore island as a virtual reality experience. In 1629, survivors of the wreck of VOC ship Batavia took refuge on Beacon Island, Western Australia, followed by a mutiny and massacre. In the 1950s the island became the base of a successful fishing industry, and in 1963 human remains from Batavia were located. The fishing community has recently been moved off the island to protect and preserve the site and allow a thorough archaeological investigation of the island. Beacon Virtua exposes users to the history of both the shipwreck survivors and the fishing community. The project uses the virtual environment development software Unity to present a simulation of the island, with 3D models of buildings and jetties, photogrammetric 3D reconstructions of graves and other features, 360° photographic panoramas, and information on the history of the island. The experience has been made available on a wide range of different platforms including via a web-page, as part of an exhibition, and on head mounted displays (VR headsets). This chapter discusses the features included in Beacon Virtua, the storytelling techniques used in the simulation, the challenges encountered and solutions used during the project

Interval temporal logic model checking: The border between good and bad HS fragments

The model checking problem has thoroughly been explored in the context of standard point-based temporal logics, such as LTL, CTL, and CTL 17, whereas model checking for interval temporal logics has been brought to the attention only very recently. In this paper, we prove that the model checking problem for the logic of Allen\u2019s relations started-by and finished-by is highly intractable, as it can be proved to be EXPSPACE-hard. Such a lower bound immediately propagates to the full Halpern and Shoham\u2019s modal logic of time intervals (HS). In contrast, we show that other noteworthy HS fragments, namely, Propositional Neighbourhood Logic extended with modalities for the Allen relation starts (resp., finishes) and its inverse started-by (resp., finished-by), turn out to have\u2014maybe unexpectedly\u2014the same complexity as LTL (i.e., they are PSPACE-complete), thus joining the group of other already studied, well-behaved albeit less expressive, HS fragments