Results 51 to 60 of about 923,302 (188)
Partitioning the vertex set of $G$ to make $G\,\Box\, H$ an efficient open domination graph
, 2016 A graph is an efficient open domination graph if there exists a subset of vertices whose open neighborhoods partition its vertex set. We characterize those graphs $G$ for which the Cartesian product $G \Box H$ is an efficient open domination graph when ...
Peterin, Iztok +3 more
core +1 more source
Polyharmonic functions of infinite order on annular regions [PDF]
, 2012 Polyharmonic functions f of infinite order and type {\tau} on annular regions are systematically studied. The first main result states that the Fourier-Laplace coefficients f_{k,l}(r) of a polyharmonic function f of infinite order and type 0 can be ...
Kounchev, Ognyan, Render, Hermann
core
Monomaterial ecological buildings, with Mopatel® and Ecopierra® concrete [PDF]
Urbanism. Arhitectura. Constructii, 2013 This paper presents a case study performed on a pilot building from Gainesti, Suceava county. The constructive system used is unique in that it employs a monomaterial, namely ecological concrete of type MOPATEL® or ECOPIERRA®.
Livia Miron +2 more
doaj
Models of Type Theory Based on Moore Paths
, 2019 This paper introduces a new family of models of intensional Martin-L\"of type theory. We use constructive ordered algebra in toposes. Identity types in the models are given by a notion of Moore path.
Orton, Ian, Pitts, Andrew M.
core +1 more source
Assembling the Proofs of Ordered Model Transformations
, 2013 In model-driven development, an ordered model transformation is a nested set of transformations between source and target classes, in which each transformation is governed by its own pre and post- conditions, but structurally dependent on its parent ...
Fernández, Maribel, Terrell, Jeffrey
core +2 more sources
Control of Four-Level Quantum Coherence via Discrete Spectral Shaping of an Optical Frequency Comb
, 2008 We present an experiment demonstrating high-resolution coherent control of a four-level atomic system in a closed (diamond) type configuration. A femtosecond frequency comb is used to establish phase coherence between a pair of two-photon transitions in ...
Avi Pe’er +3 more
core +1 more source
International Journal of STEM Education, 2019 Background A key question in K-12 STEM education is how best to guide students as they engage in exploratory learning activities so that students develop transferable knowledge.
Catherine C. Chase +3 more
doaj +1 more source
Journal of Industrial Design and Engineering Graphics, 2011 This paper presents a new constructive solution of globoid worm hob in the globoid worm wheels gear cutting. This type of tool was created in full 3D.
EFTIMIE Dorin, BLĂNARU Viorel
doaj
Ukrainian Neurosurgical Journal, 2018 Introduction. Two types of constructive solutions for fusion of subaxial cervical spine traumatic injury are possible. The first is an independent combination of interbody implant and anterior plating, the second one is the single telescopic ...
Ievgenii I. Slynko +1 more
doaj +1 more source
Chebyshev-Type Quadrature Formulas for New Weight Classes
, 2011 We give Chebyshev-type quadrature formulas for certain new weight classes. These formulas are of highest possible degree when the number of nodes is a power of 2. We also describe the nodes in a constructive way, which is important for applications.
Vagharshakyan, Armen
core