In this paper we present an amorphous silicon device that can be used in two operation modes to measure the concentration of ions in solution. While crystalline devices present a higher sensitivity, their amorphous counterpart present a much lower fabrication cost, thus enabling the production of cheap disposable sensors for use, for example, in the food industry. The devices were fabricated on glass substrates by the PECVD technique in the top gate configuration, where the metallic gate is replaced by an electrolytic solution with an immersed Ag/AgCl reference electrode. Silicon nitride is used as gate dielectric enhancing the sensitivity and passivation layer used to avoid leakage and electrochemical reactions. In this article we report on the semiconductor unit, showing that the device can be operated in a light-assisted mode, where changes in the pH produce changes on the measured ac photocurrent. In alternative the device can be operated as a conventional ion selective field effect device where changes in the pH induce changes in the transistor's threshold voltage.

In this paper we present an amorphous silicon device that can be used in two operation modes to measure the concentration of ions in solution. While crystalline devices present a higher sensitivity, their amorphous counterpart present a much lower fabrication cost, thus enabling the production of cheap disposable sensors for use, for example, in the food industry. The devices were fabricated on glass substrates by the PECVD technique in the top gate configuration, where the metallic gate is replaced by an electrolytic solution with an immersed Ag/AgCl reference electrode. Silicon nitride is used as gate dielectric enhancing the sensitivity and passivation layer used to avoid leakage and electrochemical reactions. In this article we report on the semiconductor unit, showing that the device can be operated in a light-assisted mode, where changes in the pH produce changes on the measured ac photocurrent. In alternative the device can be operated as a conventional ion selective field effect device where changes in the pH induce changes in the transistor's threshold voltage.

A portion of a left humerus from the Upper Maastrichtian of Vratsa district (NW Bulgaria)
is shown to be from a non-avian theropod dinosaur: this is the first record of a
dinosaur from Bulgaria. We describe this bone, suggest that it most likely pertains to an
ornithomimosaur, and discuss the fossil record of other similar taxa of Late Cretaceous
age that have been reported from Europe. To investigate the taphonomy of this fossil,
rare earth element (REE) analysis is combined with strontium (Sr) isotope data to confirm
that this Bulgarian dinosaur bone was initially fossilized in a terrestrial environment,
then later re-worked into late Maastrichtian marine sediments.

A general top-down algorithmization for the Well-Founded MKNF Semantics - a semantics for combining rules and
ontologies - was recently defined based on an extension of SLG resolution for Logic Programming with an abstract oracle to the parametric ontology language. Here we provide a concrete oracle with practical usage, namely for EL+ which is tractable for reasoning tasks like subsumption. We show that the defined oracle remains tractable
(wrt. data complexity) so that the combined (query-driven) approach of non-monotonic rules with that oracle is tractable as well.

n/a

n/a

n/a

n/a

n/a

In 1968, Israel Gohberg and Naum Krupnik discovered that local spectra of singular integral operators with piecewise continuous coefficients on Lebesgue spaces \(L^p(\Gamma)\) over Lyapunov curves have the shape of circular arcs. About 25 years later, Albrecht Böttcher and Yuri Karlovich realized that these circular arcs metamorphose to so-called logarithmic leaves with a median separating point when Lyapunov curves metamorphose to arbitrary Carleson curves. We show that this result remains valid in a more general setting of variable Lebesgue spaces \(L^{p(\cdot)}(\Gamma)\) where \(p:\Gamma\to(1,\infty)\) satisfies the Dini-Lipschitz condition. One of the main ingredients of the proof is a new condition for the boundedness of the Cauchy singular integral operator on variable Lebesgue spaces with weights related to oscillations of Carleson curves.

We prove a Fredholm criterion for operators in the Banach algebra of singular integral operators with matrix piecewise continuous coefficients acting on a variable Lebesgue space with a radial oscillating weight over a logarithmic Carleson curve. The local spectra of these operators are massive and have a shape of spiralic horns depending on the value of the variable exponent, the spirality indices of the curve, and the Matuszewska-Orlicz indices of the weight at each point. These results extend (partially) the results of A. Böttcher, Yu. Karlovich, and V. Rabinovich for standard Lebesgue spaces to the case of variable Lebesgue spaces.

SmART (Smart Application Reconfiguration Tool) is a framework for the automatic configuration of systems and applications. The tool implements an application configuration workflow that resorts to the similarities between configuration files (i.e., patterns such as parameters, comments and blocks) to allow a syntax independent manipulation and transformation of system and application configuration files.Without compromising its generality, SmART targets virtualized IT infrastructures, configuring virtual appliances and its applications. SmART reduces the time required to (re)configure a set of applications by automating time-consuming steps of the process, independently of the nature of the application to be configured. Industrial experimentation and utilization of SmART show that the framework is able to correctly transform a large amount of configuration files into a generic syntax and back to their original syntax. They also show that the elapsed time in that process is adequate to what would be expected of an interactive tool. SmART is currently being integrated into the VIRTU bundle, whose trial version is available for download from the projects web page.

n/a