Influence of pore size distribution on drying behaviour of porous media by a continuous model

Bundle of capillaries, drying kinetics, continuous model, relative permeability, capillary pressure, control volume method

A Soft Edge Target Zone Model: Theory And Application To Hong Kong

Hong Kong’s currency is pegged to the US dollar in a currency board arrangement. In autumn 2003, the Hong Kong dollar appreciated from close to 7.80 per US dollar to 7.70, as investors feared that the currency board would be abandoned. In the wake of this appreciation, the monetary authorities revamped the one-sided currency board mechanism into a symmetric two-sided system with a narrow exchange rate band. This paper reviews the characteristics of the new currency board arrangement and embeds a theoretical soft edge target zone model typifying many intermediate regimes, to explain the notable achievement of speculative peace and credibility since May 2005.

Evidence for oxygen-island formation on Al(111): Cluster-model theory and x-ray photoelectron spectroscopy

The O 1s x-ray photoelectron spectroscopy spectrum for Al(111)/O at 300 K shows two components whose behavior as a function of time and variation of detection angle are consistent with either (a) a surface species represented by the higher binding-energy (BE) component and a subsurface species represented by the lower BE component, or (b) small close-packed oxygen islands with the interior atoms represented by the lower BE component and the perimeter atoms by the higher BE component. We have modeled both situations using ab initio Hartree-Fock wave functions for clusters of Al and O atoms. For an O atom in a threefold site, it was found that a below-surface position gave a higher O 1s BE than an above-surface position, incompatible with interpretation (a). This change in the O 1s BE could arise because the bond for O to Al may have a more covalent character when the O is below the surface than when it is above the surface. We present evidence consistent with this view. An O adatom island with all the O atoms in threefold sites gives calculated O 1s BE's which are significantly higher for the perimeter O atoms. Further, the results for an isolated O island without the Al substrate present also give higher BE¿s for the perimeter atoms. Both these results are consistent with interpretation (b). Published scanning-tunneling-microscopy data supports the suggestion that the chemisorbed state consists of small, close-packed islands, whereas the presence of two vibrational modes in high-resolution electron-energy-loss spectroscopy data has been interpreted as representing surface and subsurface oxygen atoms. In light of the present results, we suggest that a vibrational interpretation in terms of interior and perimeter adatoms should be considered.

A qualitative continuous model of cellular auxin and brassinosteroid signaling and their crosstalk.

Motivation: Hormone pathway interactions are crucial in shaping plant development, such as synergism between the auxin and brassinosteroid pathways in cell elongation. Both hormone pathways have been characterized in detail, revealing several feedback loops. The complexity of this network, combined with a shortage of kinetic data, renders its quantitative analysis virtually impossible at present.Results: As a first step towards overcoming these obstacles, we analyzed the network using a Boolean logic approach to build models of auxin and brassinosteroid signaling, and their interaction. To compare these discrete dynamic models across conditions, we transformed them into qualitative continuous systems, which predict network component states more accurately and can accommodate kinetic data as they become available. To this end, we developed an extension for the SQUAD software, allowing semi-quantitative analysis of network states. Contrasting the developmental output depending on cell type-specific modulators enabled us to identify a most parsimonious model, which explains initially paradoxical mutant phenotypes and revealed a novel physiological feature.

Graphoids and separoids in model theory

We treat graphoid and separoid structures within the mathematical framework of model theory, specially suited for representing and analysing axiomatic systems with multiple semantics. We represent the graphoid axiom set in model theory, and translate algebraic separoid structures to another axiom set over the same symbols as graphoids. This brings both structures to a common, sound theoretical ground where they can be fairly compared. Our contribution further serves as a bridge between the most recent developments in formal logic research, and the well-known graphoid applications in probabilistic graphical modelling.

A continuous model for quasinilpotent operators.

A classical result due to Foias and Pearcy establishes a discrete model for every quasinilpotent operator acting on a separable, infinite-dimensional complex Hilbert space HH . More precisely, given a quasinilpotent operator T on HH , there exists a compact quasinilpotent operator K in HH such that T is similar to a part of K⊕K⊕⋯⊕K⊕⋯K⊕K⊕⋯⊕K⊕⋯ acting on the direct sum of countably many copies of HH . We show that a continuous model for any quasinilpotent operator can be provided. The consequences of such a model will be discussed in the context of C0C0 -semigroups of quasinilpotent operators.

Mechanisms influencing levitation and the scaling laws in nanopores: Oscillator model theory

We provide here a detailed theoretical explanation of the floating molecule or levitation effect, for molecules diffusing through nanopores, using the oscillator model theory (Phys. Rev. Lett. 2003, 91, 126102) recently developed in this laboratory. It is shown that on reduction of pore size the effect occurs due to decrease in frequency of wall collision of diffusing particles at a critical pore size. This effect is, however, absent at high temperatures where the ratio of kinetic energy to the solid-fluid interaction strength is sufficiently large. It is shown that the transport diffusivities scale with this ratio. Scaling of transport diffusivities with respect to mass is also observed, even in the presence of interactions.

Relative commutants of strongly self-absorbing C∗-algebras

Peer reviewed

Determination of the numerical parameters of a continuous damage model for the structural analysis of clay brick masonry

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

A new model construction by making a detour via intuitionistic theories I: Operational set theory without choice is Π1-equivalent to KP

We introduce a version of operational set theory, OST−, without a choice operation, which has a machinery for Δ0Δ0 separation based on truth functions and the separation operator, and a new kind of applicative set theory, so-called weak explicit set theory WEST, based on Gödel operations. We show that both the theories and Kripke–Platek set theory KPKP with infinity are pairwise Π1Π1 equivalent. We also show analogous assertions for subtheories with ∈-induction restricted in various ways and for supertheories extended by powerset, beta, limit and Mahlo operations. Whereas the upper bound is given by a refinement of inductive definition in KPKP, the lower bound is by a combination, in a specific way, of realisability, (intuitionistic) forcing and negative interpretations. Thus, despite interpretability between classical theories, we make “a detour via intuitionistic theories”. The combined interpretation, seen as a model construction in the sense of Visser's miniature model theory, is a new way of construction for classical theories and could be said the third kind of model construction ever used which is non-trivial on the logical connective level, after generic extension à la Cohen and Krivine's classical realisability model.

Tieliikelaitoksen t&k -projektien kannattavuuden arviointi

Työn tavoitteena oli laatia Tieliikelaitoksen tutkimus- ja kehitysprojektien kannattavuuden arvioinnin toimintamalli ja laskentamalli. Työn tavoitteena oli myös kehittääTieliikelaitoksen tutkimus- ja kehitysprojektin kannattavuuden arviointia ja tuottaa informaatiota t&k -projektien valintatilanteisiin. Työ koostuu teoriasta, haastatteluista, t&k -projektien kannattavuuden arvioinnin toimintamallista ja laskentamallista. Työssä käsitellään kirjallisuudesta ja haastatteluista esille tulleita käytäntöjä ja menetelmiä, joiden avulla tutkimus- ja kehitysprojektien kannattavuutta voidaan arvioida. Työssä kuvataan myös arviointimenetelmien käyttöä t&k -prosessin eri vaiheissa. Työn merkittävimpinä tuloksina ovat laaditut toimintamalli ja laskentamalli Tieliikelaitoksen t&k -projektien kannattavuuden arviointiin. Lisäksi työssä tuloksena oli, että arviointimenetelmiä tulee käyttää monipuolisesti ja projektien arviointi tulee olla jatkuvaa. Projektien kannattavuuden arviointi ei voi perustua pelkästään taloudellisiin menetelmiin vaan arviointiin tulee valita sekä taloudellisia että laadullisia menetelmiä. Projektien jatkuvalla arvioinnilla ja arviointimenetelmien käytön monipuolisuudella varmistetaan oikeiden ja kannattavien projektien toteuttaminen.

A Write-Based Solver for SAT Modulo the Theory of Arrays

The extensional theory of arrays is one of the most important ones for applications of SAT Modulo Theories (SMT) to hardware and software verification. Here we present a new T-solver for arrays in the context of the DPLL(T) approach to SMT. The main characteristics of our solver are: (i) no translation of writes into reads is needed, (ii) there is no axiom instantiation, and (iii) the T-solver interacts with the Boolean engine by asking to split on equality literals between indices. As far as we know, this is the first accurate description of an array solver integrated in a state-of-the-art SMT solver and, unlike most state-of-the-art solvers, it is not based on a lazy instantiation of the array axioms. Moreover, it is very competitive in practice, specially on problems that require heavy reasoning on array literals

Remarks on abstract Galois theory

This paper is a historical companion to a previous one, in which it was studied the so-called abstract Galois theory as formulated by the Portuguese mathematician José Sebastião e Silva (see da Costa, Rodrigues (2007)). Our purpose is to present some applications of abstract Galois theory to higher-order model theory, to discuss Silva's notion of expressibility and to outline a classical Galois theory that can be obtained inside the two versions of the abstract theory, those of Mark Krasner and of Silva. Some comments are made on the universal theory of (set-theoretic) structures.

Microbusiness: A new social business model to alleviate poverty in developing countries?

Poverty alleviation views have shifted from seeing the poor as victims or as potential consumers, to seeing them as gainers. Social businesses include microfinancing and microfranchising, which engage people at the bottom of the pyramid using business instead of charity. There are, however, social business firms that do not fit to the existing social business model theory. These firms provide markets to poor producers and mix traditional, local craftsmanship with western design. Social business models evolve faster than the academic literature can study them. This study contributes to filling this gap. The purpose of this Master’s thesis is to develop the concept of social business as poverty alleviation method in developing countries. It also aims; 1) to describe the means for poverty alleviation in developing countries; 2) to introduce microbusiness as a social business model; and 3) to examine the challenges of microbusinesses. Qualitative case study is used as a research strategy and theme interviews as a data collecting method. The empirical data is gathered from four interviews of Finnish or Finnish-owned firms that employ microbusiness – Mifuko, Tensira, Mangomaa and Tikau – and this is supported with secondary data including articles on case companies. The results show that microbusiness is a valid new social business model that aims at poverty alleviation by engaging the poor at the bottom of the pyramid. It is possible to map the value proposition, value constellation, and economic and social profit equations of the case firms. Two major types of firms emerge from the results; the first consists of design-oriented firms that emphasize the quality and design of the products, and the second consists of bazaar-like firms whose product portfolio is less sophisticated and who promote more the stories of the products – not the design. All microbusiness firms provide markets, promote traditional handicrafts, form close relationships to their producers, and aim at enhancing lives through their businesses. The attitudes towards social businesses are sometimes negative, but this is changing for the better. In conclusion, microbusiness answers to two different needs at the same time – consumers’ needs for ethical products and the social needs of the producers – but the social need is the ultimate reason why the entrepreneurs started business. Microbusiness continues as a poverty alleviation tool that sees the poor as gainers; by providing them steady employment, microbusiness increases the poor’s self-esteem and enables them for a better living. Academic literature has not been able to offer enough alternative business models to cover all social businesses; the current study contributes to this by concluding that microbusiness is another social business model.