Search results for "formal"

2017

Abstract. Deep convection is an efficient mechanism for vertical trace gas transport from Earth's surface to the upper troposphere (UT). The convective redistribution of short-lived trace gases emitted at the surface typically results in a C-shaped profile. This redistribution mechanism can impact photochemical processes, e.g. ozone and radical production in the UT on a large scale due to the generally longer lifetimes of species like formaldehyde (HCHO) and hydrogen peroxide (H2O2), which are important HOx precursors (HOx =  OH + HO2 radicals). Due to the solubility of HCHO and H2O2 their transport may be suppressed as they are efficiently removed by wet deposition. Here we present a case …

Onset of Convection in an Inclined Anisotropic Porous Layer with Internal Heat Generation

2019

The onset of convection in an inclined porous layer which is heated internally by a uniform distribution of heat sources is considered. We investigate the combined effects of inclination, anisotropy and internal heat generation on the linear instability of the basic parallel flow. When the Rayleigh number is sufficiently large, instability occurs and a convective motion is set up. It turns out that the preferred motion at convection onset depends quite strongly on the anisotropy ratio, &xi

Three viewpoints on the integral geometry of foliations

1999

We deal with three different problems of the multidimensional integral geometry of foliations. First, we establish asymptotic formulas for integrals of powers of curvature of foliations obtained by intersecting a foliation by affine planes. Then we prove an integral formula for surfaces of contact of an affine hyperplane with a foliation. Finally, we obtain a conformally invariant integral-geometric formula for a foliation in three-dimensional space.

Impact of Plurilingualism on Learning Quality in Evening (Shift) Schools

2015

<p><em>This paper presents the main findings of the second stage of the Asia-Europe Meeting (ASEM) Lifelong Learning study (2011-2014) on identification of good practices that facilitate adult learning (aged 18-24) engagement in second chance education in evening (shift) schools. It analyses students’ perceptions of plurilingual learning processes and the impact of people’s plurilingualism on their learning. The methodology of early school leavers’ learning in working life research was used applying combined phenomenological semi-structured and narrative interviews. 116 people (72 early school leavers and 44 second chance education teachers) representing all geographical regions…

Perspectives into learning at the workplace

2008

Abstract The article presents a thematic review of the recent research on workplace learning. It is divided into two main sections. The first section asks what we know about learning at work, and states four propositions: (1) the nature of workplace learning is both different from and similar to school learning; (2) learning in the workplace can be described at different levels, ranging from the individual to the network and region; (3) workplace learning is both informal and formal; and (4) workplaces differ a lot in how they support learning. The second section focuses on workplace learning that is related to formal education. Different models of organising work experience for students an…

Seernes opplevelse av nettbaserte gudstjenester

2021

Author's accepted manuscript. When the corona pandemic became a fact, many parishes within the Church of Norway chose to start video streaming of services as a substitute for gatherings in the church. This article is based on a survey done among viewers of these broadcasts and sheds light on how online worship services were received. The findings from the survey show that the viewers value recognizability and authenticity, but at the same time expect the service to be adapted to the medium since the situation of viewing on a screen is quite different from being in a church.

Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle

2018

This paper presents a proof-of-concept application of an approach to system development based on the integration of formal verification and co-simulation. A simple autonomous vehicle has the task of reaching an assigned straight path and then follow it, and it can be controlled by varying its turning speed. The correctness of the proposed control law has been formalized and verified by interactive theorem proving with the Prototype Verification System. Concurrently, the system has been co-simulated using the Prototype Verification System and the MathWorks Simulink tool: The vehicle kinematics have been simulated in Simulink, whereas the controller has been modeled in the logic language of t…

Time-Dependent Correlation and Response Functions

2014

The dynamics of liquids is discussed with the help of time-dependent correlation functions. They are related to response functions by the fluctuation-dissipation theorem. This theorem enables to relate experimentally measured inelastic scattering data to the Fourier-transformed correlation and response functions. The Laplace transform of the correlation functions can be represented as a continuous fraction with suitable residual terms (memory functions). The projection formalism of Mori and Zwanzig is introduced.

Megacities without Global Functions.

2007

Present urban evolution is characterized by two major phenomena. On the one hand, the number of very large cities, the megacities, increases dramatically, especially in the less developed countries (LDCs). On the other hand, globalization leads to the emergence of cities coordinating complex and global economic activities, the global cities, especially in the more developed countries (MDCs). So, the two phenomena are diverging. A number of megacities do not exhibit any global function.The global performances of megacities are well correlated with their degree of economic development. But it is worth wondering why economic underdevelopment is consistent with urban growth but not with city gl…

Coupled cluster calculations of the vertical excitation energies of tetracyanoethylene

2003

The vertical spectrum of tetracyanoethylene was studied using coupled cluster theory. It was found that the lowest singlet-singlet transition, which corresponds to the excitation from the highest occupied molecular orbital (HOMO) to the lowest unoccupied molecular orbital (LUMO) excitation, occurs at 5.16 eV in the gas phase and is lowered approximately 0.1 eV due to solvent effects in acetonitrile. A parallel study on the ethene spectrum showed the quality of the basis sets and methods used, by placing the V state 7.92 eV above the ground state and giving an energy for the 0-0 transition of 5.42 eV to be compared with the experimental value of 5.50 eV.