44 research outputs found
Conceptual design of an airborne laser Doppler velocimeter system for studying wind fields associated with severe local storms
An airborne laser Doppler velocimeter was evaluated for diagnostics of the wind field associated with an isolated severe thunderstorm. Two scanning configurations were identified, one a long-range (out to 10-20 km) roughly horizontal plane mode intended to allow probing of the velocity field around the storm at the higher altitudes (4-10 km). The other is a shorter range (out to 1-3 km) mode in which a vertical or horizontal plane is scanned for velocity (and possibly turbulence), and is intended for diagnostics of the lower altitude region below the storm and in the out-flow region. It was concluded that aircraft flight velocities are high enough and severe storm lifetimes are long enough that a single airborne Doppler system, operating at a range of less than about 20 km, can view the storm area from two or more different aspects before the storm characteristics change appreciably
Static Trace-Based Deadlock Analysis for Synchronous Mini-Go
We consider the problem of static deadlock detection for programs in the Go
programming language which make use of synchronous channel communications. In
our analysis, regular expressions extended with a fork operator capture the
communication behavior of a program. Starting from a simple criterion that
characterizes traces of deadlock-free programs, we develop automata-based
methods to check for deadlock-freedom. The approach is implemented and
evaluated with a series of examples
Proof Relevant Corecursive Resolution
Resolution lies at the foundation of both logic programming and type class
context reduction in functional languages. Terminating derivations by
resolution have well-defined inductive meaning, whereas some non-terminating
derivations can be understood coinductively. Cycle detection is a popular
method to capture a small subset of such derivations. We show that in fact
cycle detection is a restricted form of coinductive proof, in which the atomic
formula forming the cycle plays the role of coinductive hypothesis.
This paper introduces a heuristic method for obtaining richer coinductive
hypotheses in the form of Horn formulas. Our approach subsumes cycle detection
and gives coinductive meaning to a larger class of derivations. For this
purpose we extend resolution with Horn formula resolvents and corecursive
evidence generation. We illustrate our method on non-terminating type class
resolution problems.Comment: 23 pages, with appendices in FLOPS 201
Learning Interpretable Rules for Multi-label Classification
Multi-label classification (MLC) is a supervised learning problem in which,
contrary to standard multiclass classification, an instance can be associated
with several class labels simultaneously. In this chapter, we advocate a
rule-based approach to multi-label classification. Rule learning algorithms are
often employed when one is not only interested in accurate predictions, but
also requires an interpretable theory that can be understood, analyzed, and
qualitatively evaluated by domain experts. Ideally, by revealing patterns and
regularities contained in the data, a rule-based theory yields new insights in
the application domain. Recently, several authors have started to investigate
how rule-based models can be used for modeling multi-label data. Discussing
this task in detail, we highlight some of the problems that make rule learning
considerably more challenging for MLC than for conventional classification.
While mainly focusing on our own previous work, we also provide a short
overview of related work in this area.Comment: Preprint version. To appear in: Explainable and Interpretable Models
in Computer Vision and Machine Learning. The Springer Series on Challenges in
Machine Learning. Springer (2018). See
http://www.ke.tu-darmstadt.de/bibtex/publications/show/3077 for further
informatio
Operation of calcium-birnessite water-oxidation anodes: interactions of the catalyst with phosphate buffer anions
Investigating the interfaces between electrolytes and electrocatalysts during electrochemical water oxidation is of great importance for an understanding of the factors influencing catalytic activity and stability. Here, the interaction of a well-established, nanocrystalline and mesoporous Ca-birnessite catalyst material (initial composition K0.2Ca0.21MnO2.21·1.4H2O, initial Mn-oxidation state ∼+3.8) with an aqueous potassium phosphate buffer electrolyte at pH 7 was studied mainly by using various electron microscopy and X-ray spectroscopy techniques. In comparison to electrolyte solutions not containing phosphate, the investigated Ca-birnessite electrodes show especially high and stable oxygen evolution activity in phosphate buffer. During electrolysis, partial ion substitutions of Ca2+ by K+ and OH−/O2− by HnPO4(3−n)− were observed, leading to the formation of a stable, partially disordered Ca–K–Mn–HnPO4–H2O layer on the outer and the pore surfaces of the active electrocatalyst material. In this surface layer, Mn3+ ions are stabilized, which are often assumed to be of key importance for oxygen evolution catalysis. Furthermore, evidence for the formation of [Ca/PO4/H2O]− complexes located between the [MnO6] layers of the birnessite was found using the soft Ca 2p and Ca L-edge X-ray spectroscopy. A possible way to interpret the observed, obviously very favorable “special relationship” between (hydrogen)phosphates and Ca-birnessites in electrocatalytic water oxidation would be that HnPO4(3−n)− anions are incorporated into the catalyst material where they act as stabilizing units for Mn3+ highly active centers and also as “internal bases” for the protons released during the water-oxidation reaction
Exception analysis for non-strict languages
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP98-10
HM(X) type inference is CLP(X) solving
10.1017/S0956796807006569Journal of Functional Programming182251-28