The dynamics near firstand second-order phase transitions in a two-dimensional lattice-gas model are compared using the first-order reversal curve (FORC) method. The FORC diagram of a first-order transition is characterized by a negative region separating two positive regions, reflecting a competition between the time-varying electrochemical potential and the tendency of the system to phase order.

Phosphate removal to a hydrothermally modified fumed silica and pulverized oyster shell material for use in wastewater treatments were made. Sorption data modeling (pH's 3-11, P concentrations of 3, 5, 10, 15, 20, & 25 mg/L, and at an ambient temperature of 23°C) indicate that an optimal removal of P occurs at pH 11. Three kinetic models were also applied (a pseudo-first-order Lagergren kinetic...

This paper provides formal semantics for an extension of the ObjectRole Modeling approach that supports declaration of dynamic rules. Dynamic rules differ from static rules by pertaining to properties of state transitions, rather than to the states themselves. In this paper we restrict application of dynamic rules to so-called single-step transactions, with an old state (the input of the transa...

Permissive-Nominal Logic (PNL) is an extension of first-order predicate logic in which term-formers can bind names in their arguments. This allows for direct axiomatisations with binders, such as of the λ-binder of the lambda-calculus or the ∀binder of first-order logic. It also allows us to finitely axiomatise arithmetic, and similarly to axiomatise ‘nominal’ datatypes-with-binding. Just like ...

We propose a language which can express every computable query. The language is syntactically based on the first-order predicate calculus, but semantically is interpreted as post-conditions, unlike the customary calculus query languages. The language has a capability to restrict itself to reasonable queries, accepting criteria of reasonability as a parameter.

Let / be any fixed positive integer and a a sentence in the first-order predicate calculus of/unary functions. For positive integers n, an «-structure is a model with universe {0,1,...,« 1} and/unary functions, and p(n,a) is the ratio of the number of «-structures satisfying a to n"f, the number of «-structures. We show that lim„_00/i(«, a) exists for all such a, and its value is given by an ex...

We investigate a construction schema for first-order logical systems, called “form logic”. Form logic allows us to overcome the dualistic commitment of predicate logic to individual constants and predicates. Dualism is replaced by a pluralism of terms of different “logical forms”. Individual form-logical systems are generated by the determination of a range of logical forms and of the formbased...

A new numerical formulation for the Eddy-Damped Quasi-Normal Markovian (EDQNM) model is proposed in the present paper. This formulation is based on an adaptive procedure that progressively modifies the spectral mesh at the large scales, forcing a resolution requirement set by the user. The resulting adaptive numerical method for the EDQNM model has been systematically tested by comparison with ...

The two most prominent declarative paradigms, namely logic and functional programming, differ radically in an important aspect: logic programming is traditionally firstorder while functional programming encourages and promotes the use of higher-order functions and constructs. This difference can be partially explained by the fact that higher-order logic fails in terms of vital properties such a...

The pseudo-first order rate constants and activation parameters have been determined using two methods, constant-temperature kinetic (CTK) and variable temperature kinetic (VTK), for the oxidative addition reactions of [Pt2Me2(C^N)2(µ-dppf)], (1a, C^N = deprotonated 2-phenylpyridine (ppy); 1b, C^N = deprotonated benzo[h]quinoline (bhq)) with MeI. The results obtained from VTK method are in agre...