Other Mathematics Commons^™

A Cauchy Problem For Some Local Fractional Abstract Differential Equation With Fractal Conditions, Yang Xiaojun, Zhong Weiping, Gao Feng

Xiao-Jun Yang

Fractional calculus is an important method for mathematics and engineering [1-24]. In this paper, we review the existence and uniqueness of solutions to the Cauchy problem for the local fractional differential equation with fractal conditions \[ D^\alpha x\left( t \right)=f\left( {t,x\left( t \right)} \right),t\in \left[ {0,T} \right], x\left( {t_0 } \right)=x_0 , \] where $0<\alpha \le 1$ in a generalized Banach space. We use some new tools from Local Fractional Functional Analysis [25, 26] to obtain the results.

Mechaniczny Rozdział Faz Proj., Wojciech M. Budzianowski

Wojciech Budzianowski

No abstract provided.

Challenges And Prospects Of Processes Utilising Carbonic Anhydrase For Co2 Separation, Patrycja Szeligiewicz, Wojciech M. Budzianowski

Wojciech Budzianowski

This article provides an analysis of processes for separation CO2 by using carbonic anhydrase enzyme with particular emphasis on reactive-membrane solutions. Three available processes are characterised. Main challenges and prospects are given. It is found that in view of numerous challenges practical applications of these processes will be difficult in near future. Further research is therefore needed for improving existing processes through finding methods for eliminating their main drawbacks such as short lifetime of carbonic anhydrase or low resistance of reactive membrane systems to impurities contained in flue gases from power plants.

Dynamic Sequent Calculus For The Logic Of Epistemic Actions And Knowledge, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano

Engineering Faculty Articles and Research

"Dynamic Logics (DLs) form a large family of nonclassical logics, and perhaps the one enjoying the widest range of applications. Indeed, they are designed to formalize change caused by actions of diverse nature: updates on the memory state of a computer, displacements of moving robots in an environment, measurements in models of quantum physics, belief revisions, knowledge updates, etc. In each of these areas, DL-formulas express properties of the model encoding the present state of affairs, as well as the pre- and post-conditions of a given action. Actions are semantically represented as transformations of one model into another, encoding the …

Nominal Regular Expressions For Languages Over Infinite Alphabets, Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto

Engineering Faculty Articles and Research

We propose regular expressions to abstractly model and study properties of resource-aware computations. Inspired by nominal techniques – as those popular in process calculi – we extend classical regular expressions with names (to model computational resources) and suitable operators (for allocation, deallocation, scoping of, and freshness conditions on resources). We discuss classes of such nominal regular expressions, show how such expressions have natural interpretations in terms of languages over infinite alphabets, and give Kleene theorems to characterise their formal languages in terms of nominal automata.

Nominal Computation Theory (Dagstuhl Seminar 13422), Mikołaj Bojanczyk, Bartek Klin, Alexander Kurz, Andrew M. Pitts

Engineering Faculty Articles and Research

This report documents the program and the outcomes of Dagstuhl Seminar 13422 “Nominal Computation Theory”. The underlying theme of the seminar was nominal sets (also known as sets with atoms or Fraenkel-Mostowski sets) and they role and applications in three distinct research areas: automata over infinite alphabets, program semantics using nominal sets and nominal calculi of concurrent processes.

Relation Lifting, With An Application To The Many-Valued Cover Modality, Marta Bílková, Alexander Kurz, Daniela Petrişan, Jirí Velebil

Engineering Faculty Articles and Research

We introduce basic notions and results about relation liftings on categories enriched in a commutative quantale. We derive two necessary and sufficient conditions for a 2-functor T to admit a functorial relation lifting: one is the existence of a distributive law of T over the “powerset monad” on categories, one is the preservation by T of “exactness” of certain squares. Both characterisations are generalisations of the “classical” results known for set functors: the first characterisation generalises the existence of a distributive law over the genuine powerset monad, the second generalises preservation of weak pullbacks.

The results presented in this paper …

Epistemic Updates On Algebras, Alexander Kurz, Alessandra Palmigiano

Engineering Faculty Articles and Research

We develop the mathematical theory of epistemic updates with the tools of duality theory. We focus on the Logic of Epistemic Actions and Knowledge (EAK), introduced by Baltag-Moss-Solecki, without the common knowledge operator. We dually characterize the product update construction of EAK as a certain construction transforming the complex algebras associated with the given model into the complex algebra associated with the updated model. This dual characterization naturally generalizes to much wider classes of algebras, which include, but are not limited to, arbitrary BAOs and arbitrary modal expansions of Heyting algebras (HAOs). As an application of this dual characterization, we …

Nominal Coalgebraic Data Types With Applications To Lambda Calculus, Alexander Kurz, Daniela Petrişan, Paula Severi, Fer-Jan De Vries

Engineering Faculty Articles and Research

We investigate final coalgebras in nominal sets. This allows us to define types of infinite data with binding for which all constructions automatically respect alpha equivalence. We give applications to the infinitary lambda calculus.

Determination Of Kinetic Parameters From The Thermogravimetric Data Set Of Biomass Samples, Karol Postawa, Wojciech M. Budzianowski

Wojciech Budzianowski

This article describes methods of the determination of kinetic parameters from the thermogravimetric data set of biomass samples. It presents the methodology of the research, description of the needed equipment, and the method of analysis of thermogravimetric data. It describes both methodology of obtaining quantitative data such as kinetic parameters as well as of obtaining qualitative data like the composition of biomass. The study is focused mainly on plant biomass because it is easy in harvesting and preparation. Methodology is shown on the sample containing corn stover which is subsequently pyrolysed. The investigated sample show the kinetic of first order …