962 research outputs found
Modelling the effect of hydraulic conductivity variability on slope stability calculations for a site in South-East Quito, Ecuador
Evaluation of the CARE Program.
Prepared under contract for the City/County Criminal Justice Coordinating Committee of Hennepin County and the City of Minneapolis by the Center for Urban and Regional Affairs
Exploding wire excitation for trace analysis of Hg, Cd, Pb and Ni using electrodeposition for preconcentration
The use of exploding silver wires for spectrochemical excitation is described. The apparatus used in these studies is discussed along with the electrical and radiative properties of exploding silver wires. The use of controlled-potential electrodeposition onto silver wires for sample introduction is considered. Experimental parameters for electrodeposition and exploding-wire excitation are presented. Cd, Ni, Hg and Pb are considered for analysis and show absolute detection limits of 10 ng, 10 ng, 30 ng and 15 ng, respectively. These amounts of material on the wire represent relative detection limits of 0.001 ppm, 0.002 ppm, 0.003 ppm and 0.001 ppm respectively in the analytical solutions. The exploding wire excitation method exhibits minimal matrix dependency and good reproducibility. Percent relative standard deviations for Cd, Ni, Hg and Pb are +/-17.3%, +/-16.6%, +/-26.5% and +/-12.4%, respectively. Sample introduction by controlled-potential electrodeposition offers not only a convenient means of preconcentrating trace metals from solution but also the possibility of selectively plating one element in the presence of a large excess of other elements in solution.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/33764/1/0000016.pd
A direct route to cyclic organic nanostructures via ring-expansion metathesis polymerization of a dendronized macromonomer
Cyclic organic nanostructures were prepared via ring-expansion metathesis polymerization of a dendronized norbornene macromonomer. The strategy provides a direct, efficient route to nanoscale rings in a single operation. AFM imaging confirmed toroidal features having diameters of ca. 35â40 nm
Effects of exenatide twice daily versus sitagliptin on 24-h glucose, glucoregulatory and hormonal measures: a randomized, double-blind, crossover study
Aim: To compare exenatide and sitagliptin glucose and glucoregulatory measures in subjects with type 2 diabetes
JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction
Popular software testing tools, such as JUnit, allow frequent retesting of modified code; yet the manually created test scripts are often seriously incomplete. A unit-testing tool called JWalk has therefore been developed to address the need for systematic unit testing within the context of agile methods. The tool operates directly on the compiled code for Java classes and uses a new lazy method for inducing the changing design of a class on the fly. This is achieved partly through introspection, using Javaâs reflection capability, and partly through interaction with the user, constructing and saving test oracles on the fly. Predictive rules reduce the number of oracle values that must be confirmed by the tester. Without human intervention, JWalk performs bounded exhaustive exploration of the classâs method protocols and may be directed to explore the space of algebraic constructions, or the intended design state-space of the tested class. With some human interaction, JWalk performs up to the equivalent of fully automated state-based testing, from a specification that was acquired incrementally
Modelling of Multi-Agent Systems: Experiences with Membrane Computing and Future Challenges
Formal modelling of Multi-Agent Systems (MAS) is a challenging task due to
high complexity, interaction, parallelism and continuous change of roles and
organisation between agents. In this paper we record our research experience on
formal modelling of MAS. We review our research throughout the last decade, by
describing the problems we have encountered and the decisions we have made
towards resolving them and providing solutions. Much of this work involved
membrane computing and classes of P Systems, such as Tissue and Population P
Systems, targeted to the modelling of MAS whose dynamic structure is a
prominent characteristic. More particularly, social insects (such as colonies
of ants, bees, etc.), biology inspired swarms and systems with emergent
behaviour are indicative examples for which we developed formal MAS models.
Here, we aim to review our work and disseminate our findings to fellow
researchers who might face similar challenges and, furthermore, to discuss
important issues for advancing research on the application of membrane
computing in MAS modelling.Comment: In Proceedings AMCA-POP 2010, arXiv:1008.314
- âŠ