We develop a dimension theory for D-semianalytic sets over an arbitrary non-Archimedean complete field. Our main results are the equivalence of several notions of dimension and a theorem on additivity of dimensions of projections and fibers in characteristic 0. We also prove a parameterized version of normalization for D-semianalytic

Normalisation of environmental data aims at clarifying the human impact on the environment by suppressing meteorologically driven fluctuations and other natural variation in the collected data. This paper shows that the procedures presently used to adjust air and water quality data have a common probabilistic framework. Furthermore, this framework can support a number of new techniques for the ...

The present study introduces a recording technique to maintain all dynamic information of even full-blown emotional speech, and investigates the effect of emotion class, speaker, and sentence type on the amplitude of speech. The results show that the factors emotion class and speaker are highly significant and that the former explains half of the variance while the latter explains only one nint...

We de ne a perpetual one-step reduction strategy which enables one to construct minimal (w.r.t. L evy's ordering on reductions) in nite reductions in Conditional Orthogonal Expression Reduction Systems. We use this strategy to derive two characterizations of perpetual redexes, i.e., redexes whose contractions retain the existence of in nite reductions. These characterizations generalize existin...

We develop some Higher-Order Abstract Syntax (HOAS) concepts and proof principles as a collection of definitions and propositions on top of the original syntax with bindings. Our approach brings together hassle-free (i.e., bindingand substitution-free) manipulation of the objects on the one hand, and inductive reasoning about the same objects on the other. We present our approach by providing a...

We give an introduction to normalization by evaluation and type-directed partial evaluation. We first present normalization by evaluation for a combinatory version of Gödel System T. Then we show normalization by evaluation for typed lambda calculus with β and η conversion. Finally, we introduce the notion of binding time, and explain the method of type-directed partial evaluation for a small P...

the idea of separation of powers has been recognized as a model which was first developed and favored by thomas hobbes, john locke, montesquieu and rousseau and was progressively adopted by political systems and constitutional law of various countries. few other countries can be found today that their structure – although seemingly – are not organized on the basis of separation of powers. this ...

the existing studies of threshing process of combine harvesters adopt the assumption of constant mass, which is contradictory to the phenomenon of separation of grains and short stalks in actual threshing process. therefore, the characteristics of threshing and separation are not accurately described. aiming at this problem, this study established the tangential-longitudinal threshing and separ...

Novel magnetic biochar has been successfully synthesized by using microwave technique, using discarded materials such as Empty Fruit Bunch (EFB). The optimized conditions for the best novel magnetic biochar synthesis are at 900 w reaction power, 20 min reaction time, and impregnation ratio 0.5 (biomas:FeCl3) The details physical and chemical analyses of novel magnetic biochar wer...

the gas separation performance of commercial ceramic titania and hybrid silica (hybsi®) membranes was assessed using the gas permeation and permporometry methods. results indicated that the hybsi® membranes have a hybrid surface containing regions covered by a polymeric matrix and others with inorganic pores. these membranes have high h2 selectivity, which increases significantly with temperatu...