928 research outputs found

    Almond volatiles attract neonate larvae of Anarsia lineatella (Zeller) (Lepidoptera: Gelechiidae)

    Get PDF
    Post-diapause overwintered larvae and neonates of any generation of the peach twig borer, Anarsia lineatella (Zeller), seek suitable sites to bore into and mine tissue of their host plants, including almond and peach. We tested the hypothesis that larvae are attracted to the same almond volatiles that elicit antennal responses from adult moths. Of five candidate almond semiochemicals [β-bourbonene, (E,E)-α-farnesene, (E)-β-ocimene, nonanal, decenal] tested singly or in binary combination (nonanal, decenal) in laboratory Y-tube olfactometers, only β-bourbonene attracted neonate larvae. β-bourbonene in combination with (EE)-α-farnesene was as attractive as the complete almond volatile blend, indicating that they are key semiochemicals for foraging larvae

    Which mathematics for the Information Society?

    Get PDF
    MathIS is a new project that aims to reinvigorate secondary- school mathematics by exploiting insights of the dynamics of algorithmic problem solving. This paper describes the main ideas that underpin the project. In summary, we propose a central role for formal logic, the development of a calculational style of reasoning, the emphasis on the algorithmic nature of mathematics, and the promotion of self-discovery by the students. These ideas are discussed and the case is made, through a number of examples that show the teaching style that we want to introduce, for their relevance in shaping mathematics training for the years to come. In our opinion, the education of software engineers that work effectively with formal methods and mathematical abstractions should start before university and would benefit from the ideas discussed here.Long-term collaboration with J. N. Oliveira on calculational approaches to mathematics is deeply acknowledged. We are also grateful to the anonymous referees for their valuable comments. This research was supported by FCT (the Portuguese Foundation for Science and Technology), in the context of the MATHIS Project under contract PTDC/EIA/73252/2006. The work of Joao F. Ferreira and AlexandraMendeswas further supported by FCT grants SFRH/BD/24269/2005 and SFRH/BD/29553/2006, respectively

    Using domain-independent problems for introducing formal methods

    Get PDF
    The key to the integration of formal methods into engineering practice is education. In teaching, domain-independent problems i.e., not requiring prior engineering background-offer many advantages. Such problems are widely available, but this paper adds two dimensions that are lacking in typical solutions yet are crucial to formal methods: (i) the translation of informal statements into formal expressions; (ii) the role of formal calculation (including proofs) in exposing risks or misunderstandings and in discovering pathways to solutions. A few example problems illustrate this: (a) a small logical one showing the importance of fully capturing informal statements; (b) a combinatorial one showing how, in going from "real-world" formulations to mathematical ones, formal methods can cover more aspects than classical mathematics, and a half-page formal program semantics suitable for beginners is presented as a support; (c) a larger one showing how a single problem can contain enough elements to serve as a Leitmotiv for all notational and reasoning issues in a complete introductory course. An important final observation is that, in teaching formal methods, no approach can be a substitute for an open mind, as extreme mathphobia appears resistant to any motivation

    Random and exhaustive generation of permutations and cycles

    Full text link
    In 1986 S. Sattolo introduced a simple algorithm for uniform random generation of cyclic permutations on a fixed number of symbols. This algorithm is very similar to the standard method for generating a random permutation, but is less well known. We consider both methods in a unified way, and discuss their relation with exhaustive generation methods. We analyse several random variables associated with the algorithms and find their grand probability generating functions, which gives easy access to moments and limit laws.Comment: 9 page

    ecocomDP: A flexible data design pattern for ecological community survey data

    Get PDF
    The idea of harmonizing data is not new. Decades of amassing data in databases according to community standards - both locally and globally - have been more successful for some research domains than others. It is particularly difficult to harmonize data across studies where sampling protocols vary greatly and complex environmental conditions need to be understood to apply analytical methods correctly. However, a body of longterm ecological community observations is increasingly becoming publicly available and has been used in important studies. Here, we discuss an approach to preparing harmonized community survey data by an environmental data repository, in collaboration with a national observatory. The workflow framework and repository infrastructure are used to create a decentralized, asynchronous model to reformat data without altering original data through cleaning or aggregation, while retaining metadata about sampling methods and provenance, and enabling programmatic data access. This approach does not create another data ‘silo’ but will allow the repository to contribute subsets of available data to a variety of different analysis-ready data preparation efforts. With certain limitations (e.g., changes to the sampling protocol over time), data updates and downstream processing may be completely automated. In addition to supporting reuse of community observation data by synthesis science, a goal for this harmonization and workflow effort is to contribute these datasets to the Global Biodiversity Information Facility (GBIF) to increase the data’s discovery and use

    Effect of Intraduodenal Bile and Na-Taurodeoxycholate on Exocrine Pancreatic Secretion and on Plasma Levels of Secretin, Pancreatic Polypeptide, and Gastrin in Man

    Get PDF
    The effect of intraduodenally administered cattle bile (CB) and Na-taurodeoxycholate (TDC) on basal pancreatic secretion and plasma levels of secretin, pancreatic polypeptide (PP), and gastrin were investigated on two separate days in 10 fasting volunteers. Doses of 2-6 g CB and 20&600 mg TDC were given intraduodenally at 65-min intervals. Volume, bicarbonate, lipase, trypsin, amylase, and bilirubin were measured in 10-min fractions of duodenal juice, and GI peptides determined by radioimmunoassay. CB and TDC enhanced significantly and dose-dependently volume, bicarbonate and enzyme secretion, and plasma secretin and PP levels. In contrast, plasma gastrin showed only a marginal increase. We conclude that the hydrokinetic effect of intraduodenal CB and TDC is at least partially mediated by secretin. Gastrin could be ruled out as a mediator of the ecbolic effect, whereas other GI peptides, primarily CCK, and/or neural mechanisms must be considered possible mediators. Both pathways may also play a role in the PP release

    The Role of Bile in the Regulation of Exocrine Pancreatic Secretion

    Get PDF
    As early as 1926 Mellanby (1) was able to show that introduction of bile into the duodenum of anesthetized cats produces a copious flow of pancreatic juice. In conscious dogs, Ivy & Lueth (2) reported, bile is only a weak stimulant of pancreatic secretion. Diversion of bile from the duodenum, however, did not influence pancreatic volume secretion stimulated by a meal (3,4). Moreover, Thomas & Crider (5) observed that bile not only failed to stimulate the secretion of pancreatic juice but also abolished the pancreatic response to intraduodenally administered peptone or soap
    • …
    corecore