Results 41 to 50 of about 923,302 (188)

Hydrodynamic-type systems describing 2-dimensional polynomially integrable geodesic flows

, 2016
Starting from a homogeneous polynomial in momenta of arbitrary order we extract multi-component hydrodynamic-type systems which describe 2-dimensional geodesic flows admitting the initial polynomial as integral.
Manno, Gianni, Pavlov, Maxim V.
core   +1 more source

From coinductive proofs to exact real arithmetic: theory and applications [PDF]

, 2009
Based on a new coinductive characterization of continuous functions we extract certified programs for exact real number computation from constructive proofs.
A. Abel, A. Ciaffaglione, A. Edalat, A. Scriven, A. Troelstra, G. Gierz, G. Malcolm, H. Benl, H. Geuvers, J. Blanck, J. Bradfield, J.R. Marcial-Romero, M. Konečný, M. Niqui, M. Tatsuta, P. Hancock, S. Abramsky, U. Berger, V. Capretta, W. Buchholz, Y. Bertot   +20 more
core   +4 more sources

THE NFLUENCE OF THE GEOMETRIC SHAPE ABOVE THE VULNERABILITY OF BUILDINGS - KULA TYPE FROM OLTENIA AND MUNTENIA REGIONS

Journal of Industrial Design and Engineering Graphics, 2019
The main goal of this paper is to highlight the vulnerability during the life time of kula buildings from Oltenia and Muntenia Regions from Romania. This research highlights the characteristic features of massive kula type buildings by masonry built ...
Anca Mihaela BARBU, Madalina Xenia CALBUREANU, Diana Mara CALBUREANU, Gelica STANESCU, Ramona Maria PINTOI   +4 more
doaj  

Turyn‐Type Sequences: Classification, Enumeration, and Construction [PDF]

Journal of Combinatorial Designs, 2012
AbstractTuryn‐type sequences, , are quadruples of ‐sequences , with lengths , respectively, where the sum of the nonperiodic autocorrelation functions of and twice that of is a δ‐function (i.e., vanishes everywhere except at 0). Turyn‐type sequences are known to exist for all even n not larger than 36.
Best, D., Doković, D. Ž., Kharaghani, H., Ramp, H.   +3 more
openaire   +2 more sources

Constructive Dynamic Syntax

Languages
This paper explores the integration of constructive type theory in the tradition of Martin Löf into Dynamic Syntax.
Stergios Chatzikyriakidis
doaj   +1 more source

Types of conflict, types of relationships and preferred conflict resolution strategies: Implications for constructive conflict resolution programmes [PDF]

Zbornik Instituta za pedagoška istraživanja, 2012
Constructive conflict resolution programmes are based on the idea that children and youth do no have sufficient knowledge of the procedures and skills for conflict resolution, which is why the conflicts they take part in soon become destructive ...
Petrović Danijela S., Vučetić Milica
doaj   +1 more source

Mentoring in Teaching Education

ACROSS
The modern educational space positions pedagogical mentoring as an essential component of the professional development support system for educational practitioners.
Ludmila ARMASU-CANTIR, Nadiya KICHUK, Dora IVANOVA, Olena BILA, Olena BUKHNIEVA   +4 more
doaj   +3 more sources

3D-flexible intumescent fire protection mesh for building structures [PDF]

E3S Web of Conferences, 2019
The increased operational properties, main of which - ensuring fire resistance in the conditions of the hydrocarbon mode of the fire, resistance to low temperatures and lack of wet processes at installation are necessary for means of fire protection of ...
Gravit Marina, Simonenko Yana, Yablonskii Leonid   +2 more
doaj   +1 more source

Constructive interval temporal logic in Alf [PDF]

, 1997
This paper gives an implementation of an interval temporal logic in a constructive type theory, using the Alf proof system. After explaining the constructive approach, its relevance to interval temporal logic and potential applications of our work, we ...
Thompson, Simon
core   +1 more source

Bosonic Colored Group Field Theory

, 2009
Bosonic colored group field theory is considered. Focusing first on dimension four, namely the colored Ooguri group field model, the main properties of Feynman graphs are studied.
A. Abdesselam, C. Rovelli, D.V. Boulatov, H. Ooguri, J. Ben Geloun, J. Engle, J. Feldman, J. Magnen, Jacques Magnen, Joseph Ben Geloun, L. Freidel, L. Freidel, L. Freidel, L. Freidel, P.T. Matthews, P.T. Matthews, T. Thiemann, V. Rivasseau, V. Rivasseau, V. Rivasseau, Vincent Rivasseau   +20 more
core   +3 more sources