The paper presents some approximation methods for the Boltz-mann equation. In the rst part fully implicit discretization techniques for the spatially homogeneous Boltzmann equation are investigated. The implicit equation is solved using an iteration process. It is shown that the iteration converges to the correct solution for the moments of the distribution function as long as the mass conserva...

Calculations based on density functional theory demonstrate the occurrence of local deformations of the perfect honeycomb lattice in nanographenes to form arrangements, with triangular symmetry, composed of six-membered ring patterns. The formation of these locally regular superstructures, which can be considered as benzenoid-like domains on the 2D graphene lattice, is ascribed to the gain in r...

Argument by multimodal metaphor usually plays a vital role of persuasion daily. In this paper, we analyse the argumentation of Lin Dan Commercial (LDC), an anti-corruption advertisement broadcasted on China Central Television, with conceptual metaphor theory and multimodal metaphor, in order to carry out an evaluation of the reasonableness and effectiveness of the argument. On practice, this re...

In this talk, I will show how our knowledge and belief are changed by agent communication. We apply dynamic epistemic logic to subtle differences of the result of agent communication, e.g., what is informed, what is known to each other, and what is aware of for each agent. En route, we discuss the reliability of information source, including the notion of communication channel. Thereafter, we a...

" Clarithmetic " is a generic name for formal number theories similar to Peano arithmetic, but based on computability logic instead of the more traditional classical or intuitionistic logics. Formulas of clar-ithmetical theories represent interactive computational problems, and their " truth " is understood as existence of an algorithmic solution. Imposing various complexity constraints on such...

Pristine graphene is a semimetal and thus does not have a band gap. By making a nanometer scale periodic array of holes in the graphene sheet a band gap may form; the size of the gap is controllable by adjusting the parameters of the lattice. The hole diameter, hole geometry, lattice geometry, and the separation of the holes are parameters that all play an important role in determining the size...

La jurisprudence de la Cour africaine est marquée par une confirmation des nombreux standards posés tant dans le champ procédural que substantiel, les contentieux systémiques concernant Bénin et Tanzanie étant explications cet état fait. aurait pu aborder nouvelles questions, notamment en matière droits économiques sociaux, affaires portées cont...

With the development of next generation artificial intelligence, interplay between knowledge-based approaches and machine learning is gaining momentum. This trend drives researchers to pay attention possible novel developments in relevant areas, either based on their theoretical foundations or efficient applications. special issue collects newly developed works from logic, argumentation stimula...