Redox chemistry and electronic properties of 2,3,5,6-tetrakis(2-pyridyl)pyrazine-bridged diruthenium complexes controlled by N,C,N '-biscyclometalated ligands

To investigate the consequences of cyclometalation for electronic communication in dinuclear ruthenium complexes, a series of 2,3,5,6-tetrakis(2-pyridyl)pyrazine (tppz) bridged diruthenium complexes was prepared and studied. These complexes have a central tppz ligand bridging via nitrogen-to-ruthenium coordination bonds, while each ruthenium atom also binds either a monoanionic, N,C,N'-terdentate 2,6-bis(2'-pyridyl)phenyl (R-N boolean AND C boolean AND N) ligand or a 2,2':6',2 ''-terpyridine (tpy) ligand. The N,C,N'-, that is, biscyclometalation, instead of the latter N,N', N ''-bonding motif significantly changes the electronic properties of the resulting complexes. Starting from well-known [{Ru(tpy)}(2)(mu-tppz)](4+) (tpy = 2,2':2 '',6-terpyridine) ([3](4+)) as a model compound, the complexes [{Ru(R-N boolean AND C boolean AND N)}(mu-tppz){Ru(tpy)}](3+) (R-N boolean AND C(H)boolean AND N = 4-R-1,3-dipyridylbenzene, R = H ([4a](3+)), CO2Me ([4b](3+))), and [{Ru(R-N boolean AND C boolean AND N)}(2)(mu-tppz)](2+), (R = H ([5a](2+)), CO2Me ([5b](2+))) were prepared with one or two N,C,N'-cyclometalated terminal ligands. The oxidation and reduction potentials of cyclometalated [4](3+) and [5](2+) are shifted negatively compared to non-cyclometalated [3](4+), the oxidation processes being affected more significantly. Compared to [3](4+), the electronic spectra of [5](2+) display large bathochromic shifts of the main MLCT transitions in the visible spectral region with low-energy absorptions tailing down to the NIR region. One-electron oxidation of [3](4+) and [5](2+) gives rise to low-energy absorption bands. The comproportionation constants and NIR band shape correspond to delocalized Robin-Day class III compounds. Complexes [4a](3+) (R = H) and [4b](3+) (R = CO2Me) also exhibit strong electronic communication, and notwithstanding the large redox-asymmetry the visible metal-to-ligand charge-transfer absorption is assigned to originate from both metal centers. The potential of the first, ruthenium-based, reversible oxidation process is strongly negatively shifted. On the contrary, the second oxidation is irreversible and cyclometalated ligand-based. Upon one-electron oxidation, a weak and low-energy absorption arises.

The curve selection lemma and the Morse-Sard theorem

We use an inequality due to Bochnak and Lojasiewicz, which follows from the Curve Selection Lemma of real algebraic geometry in order to prove that, given a C(r) function f : U subset of R(m) -> R, we have lim(y -> xy is an element of crit(f)) vertical bar f(y) - f(x)vertical bar/vertical bar y - x vertical bar(r) = 0, for all x is an element of crit(f)` boolean AND U, where crit( f) = {x is an element of U vertical bar df ( x) = 0}. This shows that the so-called Morse decomposition of the critical set, used in the classical proof of the Morse-Sard theorem, is not necessary: the conclusion of the Morse decomposition lemma holds for the whole critical set. We use this result to give a simple proof of the classical Morse-Sard theorem ( with sharp differentiability assumptions).

Foliations and polynomial diffeomorphisms of R(3)

Let Y = (f, g, h): R(3) -> R(3) be a C(2) map and let Spec(Y) denote the set of eigenvalues of the derivative DY(p), when p varies in R(3). We begin proving that if, for some epsilon > 0, Spec(Y) boolean AND (-epsilon, epsilon) = empty set, then the foliation F(k), with k is an element of {f, g, h}, made up by the level surfaces {k = constant}, consists just of planes. As a consequence, we prove a bijectivity result related to the three-dimensional case of Jelonek`s Jacobian Conjecture for polynomial maps of R(n).

Real map germs and higher open book structures

The paper focusses on the existence of higher open book structures defined by real map germs psi : (R(m), 0) -> (R(p), 0) such that Sing psi boolean AND psi(-1)(0) subset of {0}. A general existence criterion is proved, with view to weighted-homogeneous maps.

Footemineite, the Mn-analog of atencioite, from the Foote mine, Kings Mountain, Cleveland County, North Carolina, USA, and its relationship with other roscherite-group minerals

Footemineite, ideally Ca2Mn2+square Mn22+Be4(PO4)(6)(OH)(4)-6H(2)O, triclinic, is a new member of the roscherite group. It occurs on thin fractures crossing quartz-microcline-spodumene pegmatite at the Foote mine, Kings Mountain, Cleveland County, North Carolina, U.S.A. Associated minerals are albite, analcime, eosphorite, siderite/rhodochrosite, fairfieldite, fluorapatite, quartz, milarite, and pyrite. Footemineite forms prismatic to bladed generally rough to barrel-shaped crystals up to about 1.5 mm long and I mm in diameter. Its color is yellow, the streak is white, and the luster is vitreous to slightly pearly. Footemineite is transparent and non-fluorescent. Twinning is simple, by reflection, with twin boundaries across the length of the crystals. Cleavage is good on {0 (1) over bar1}) and {100}. Density (calc.) is 2.873 g/cm(3). Footemineite is biaxial (-), n(alpha) = 1.620(2), n(beta) = 1.627(2), n(gamma) = 1.634(2) (white light). 2V(obs) = 80 degrees, 2V(calc) = 89.6 degrees. Orientation: X boolean AND b similar to 12 degrees, Y boolean AND c similar to 15 degrees, Z boolean AND a similar to 15 degrees. Elongation direction is c, dispersion: r > v or r < v, weak. Pleochroism: beta (brownish yellow) > alpha = gamma (yellow). Mossbauer and IR spectra are given. The chemical composition is (EDS mode electron microprobe, Li and Be by ICP-OES, Fe3+:Fe2+ y Mossbauer, H2O by TG data, wt%): Li2O 0.23, BeO 9.54, CaO 9.43, SrO 0.23, BaO 0.24, MgO 0.18, MnO 26.16, FeO 2.77, Fe2O3 0.62, Al2O3 0.14, P2O5 36.58, SiO2 0.42, H2O 13.1, total 99.64. The empirical formula is (Ca1.89Sr0.03Ba0.02)Sigma(1.94)(Mn-0.90(2+)square(0.10))Sigma(1.00)(square 0.78Li0.17Mg0.05) Sigma(1.00)(Mn3.252+Fe0.432+ Fe0.093+Al0.03)Sigma(3.80) Be-4.30(P5.81Si0.08O24)[(OH)3.64(H2O)0.36]Sigma(4.00)center dot 6.00H(2)O . The strongest reflection peaks of the powder diffraction pattern [d, angstrom (1, %) (hkl)] are 9.575 (53) (010), 5.998 (100) (0 (1) over bar1), 4.848 (26) (021), 3.192 (44) (210), 3.003 (14) (0 (2) over bar2), 2.803 (38) ((1) over bar 03), 2.650 (29) ((2) over bar 02), 2.424 (14) (231). Single-crystal unit-cell parameters are a = 6.788(2), b = 9.972(3), c = 10.014(2) A, (x = 73.84(2), beta = 85.34(2), gamma = 87.44(2)degrees,V = 648.74 angstrom(3), Z = 1. The space group is P (1) over bar. Crystal structure was refined to R = 0.0347 with 1273 independent reflections (F > 2(5). Footemineite is dimorphous with roscherite, and isostructural with atencioite. It is identical with the mineral from Foote mine described as ""triclinic roscherite."" The name is for the Foote mine, type locality for this and several other minerals.

Microwave-induced Hall resistance in bilayer electron systems

The influence of microwave irradiation on dissipative and Hall resistance in high-quality bilayer electron systems is investigated experimentally. We observe a deviation from odd symmetry under magnetic-field reversal in the microwave-induced Hall resistance boolean AND R(xy), whereas the dissipative resistance boolean AND R(xx) obeys even symmetry. Studies of Delta R(xy) as a function of the microwave electric field and polarization exhibit a strong and nontrivial power and polarization dependence. The obtained results are discussed in connection to existing theoretical models of microwave-induced photoconductivity.

INTEGRABLE MODULES FOR AFFINE LIE SUPERALGEBRAS

Irreducible nonzero level modules with finite-dimensional weight spaces are discussed for nontwisted affine Lie superalgebras. A complete classification of such modules is obtained for superalgebras of type A(m, n)(boolean AND) and C(n)(boolean AND) using Mathieu's classification of cuspidal modules over simple Lie algebras. In other cases the classification problem is reduced to the classification of cuspidal modules over finite-dimensional cuspidal Lie superalgebras described by Dimitrov, Mathieu and Penkov. Based on these results a. complete classification of irreducible integrable (in the sense of Kac and Wakimoto) modules is obtained by showing that any such module is of highest weight, in which case the problem was solved by Kac and Wakimoto.

The intersection problem for K_4-e designs

A G-design of order n is a pair (P,B) where P is the vertex set of the complete graph K-n and B is an edge-disjoint decomposition of K-n into copies of the simple graph G. Following design terminology, we call these copies ''blocks''. Here K-4 - e denotes the complete graph K-4 with one edge removed. It is well-known that a K-4 - e design of order n exists if and only if n = 0 or 1 (mod 5), n greater than or equal to 6. The intersection problem here asks for which k is it possible to find two K-4 - e designs (P,B-1) and (P,B-2) of order n, with \B-1 boolean AND B-2\ = k, that is, with precisely k common blocks. Here we completely solve this intersection problem for K-4 - e designs.

Formal Multilevel Hierarchical Verification of Synchronous MOS Circuits

I have designed and implemented a system for the multilevel verification of synchronous MOS VLSI circuits. The system, called Silica Pithecus, accepts the schematic of an MOS circuit and a specification of the circuit's intended digital behavior. Silica Pithecus determines if the circuit meets its specification. If the circuit fails to meet its specification Silica Pithecus returns to the designer the reason for the failure. Unlike earlier verifiers which modelled primitives (e.g., transistors) as unidirectional digital devices, Silica Pithecus models primitives more realistically. Transistors are modelled as bidirectional devices of varying resistances, and nodes are modelled as capacitors. Silica Pithecus operates hierarchically, interactively, and incrementally. Major contributions of this research include a formal understanding of the relationship between different behavioral descriptions (e.g., signal, boolean, and arithmetic descriptions) of the same device, and a formalization of the relationship between the structure, behavior, and context of device. Given these formal structures my methods find sufficient conditions on the inputs of circuits which guarantee the correct operation of the circuit in the desired descriptive domain. These methods are algorithmic and complete. They also handle complex phenomena such as races and charge sharing. Informal notions such as races and hazards are shown to be derivable from the correctness conditions used by my methods.

Análisis bibliométrico sobre la inclusión de niños, niñas y adolescentes con discapacidad haciendo uso de la música como herramienta central

Objetivo: identificar evidencia bibliográfica del uso de la música como herramienta en procesos de inclusión de personas con discapacidad, que permitiera ofrecer sustento teórico al proyecto del convenio establecido entre la Fundación Saldarriaga Concha y la Fundación Nacional Batuta. Materiales y métodos: como estrategia de búsqueda se utilizaron los temas “música”, “inclusión” y “discapacidad” y el booleano AND en tres bases de datos: Ebsco, Medline y Lilacs. Los análisis fueron realizados mediante el establecimiento de frecuencias para variables como revista, país, tipo de estudio y años de publicación. Se localizaron veintidós artículos que incluyeron los criterios de búsqueda definidos por los autores. Resultados: los resultados muestran que la mayoría de publicaciones se encuentra en la base de datos Ebsco, en la revista Music Educators Journal, en el período comprendido entre el año 2004 a 2006 (40,9%). Estados Unidos es el país que más publicaciones ha realizado (81,8%). El tipo de estudio más frecuente es la revisión de tema (86,4%) y la temática más utilizada incorpora aspectos como música-discapacidad. De acuerdo con Rumbo, Aranton y García, el grado de evidencia de los documentos analizados es 3, lo que indica que son principalmente estudios descriptivos y de opinión de expertos. Conclusiones: después de realizar la búsqueda sistemática se puede concluir que las publicaciones que incorporan el uso de la música como herramienta para facilitar procesos de inclusión social de niños y adolescentes es escasa, por lo que se sugiere sistematizar y publicar resultados de las intervenciones en este campo de la Terapia Ocupacional. El presente documento proporciona una posible ruta para el desarrollo de futuras investigaciones referentes al tema.

A numerical study of the probe method

The goal of this work is the numerical realization of the probe method suggested by Ikehata for the detection of an obstacle D in inverse scattering. The main idea of the method is to use probes in the form of point source (., z) with source point z to define an indicator function (I) over cap (z) which can be reconstructed from Cauchy data or far. eld data. The indicator function boolean AND (I) over cap (z) can be shown to blow off when the source point z tends to the boundary aD, and this behavior can be used to find D. To study the feasibility of the probe method we will use two equivalent formulations of the indicator function. We will carry out the numerical realization of the functional and show reconstructions of a sound-soft obstacle.

Acoustic scattering by mildly rough unbounded surfaces in three dimensions

For a nonlocally perturbed half- space we consider the scattering of time-harmonic acoustic waves. A second kind boundary integral equation formulation is proposed for the sound-soft case, based on a standard ansatz as a combined single-and double-layer potential but replacing the usual fundamental solution of the Helmholtz equation with an appropriate half- space Green's function. Due to the unboundedness of the surface, the integral operators are noncompact. In contrast to the two-dimensional case, the integral operators are also strongly singular, due to the slow decay at infinity of the fundamental solution of the three-dimensional Helmholtz equation. In the case when the surface is sufficiently smooth ( Lyapunov) we show that the integral operators are nevertheless bounded as operators on L-2(Gamma) and on L-2(Gamma G) boolean AND BC(Gamma) and that the operators depend continuously in norm on the wave number and on G. We further show that for mild roughness, i.e., a surface G which does not differ too much from a plane, the boundary integral equation is uniquely solvable in the space L-2(Gamma) boolean AND BC(Gamma) and the scattering problem has a unique solution which satisfies a limiting absorption principle in the case of real wave number.

DAMPED WAVE EQUATIONS WITH FAST GROWING DISSIPATIVE NONLINEARITIES

Let a > 0, Omega subset of R(N) be a bounded smooth domain and - A denotes the Laplace operator with Dirichlet boundary condition in L(2)(Omega). We study the damped wave problem {u(tt) + au(t) + Au - f(u), t > 0, u(0) = u(0) is an element of H(0)(1)(Omega), u(t)(0) = v(0) is an element of L(2)(Omega), where f : R -> R is a continuously differentiable function satisfying the growth condition vertical bar f(s) - f (t)vertical bar <= C vertical bar s - t vertical bar(1 + vertical bar s vertical bar(rho-1) + vertical bar t vertical bar(rho-1)), 1 < rho < (N - 2)/(N + 2), (N >= 3), and the dissipativeness condition limsup(vertical bar s vertical bar ->infinity) s/f(s) < lambda(1) with lambda(1) being the first eigenvalue of A. We construct the global weak solutions of this problem as the limits as eta -> 0(+) of the solutions of wave equations involving the strong damping term 2 eta A(1/2)u with eta > 0. We define a subclass LS subset of C ([0, infinity), L(2)(Omega) x H(-1)(Omega)) boolean AND L(infinity)([0, infinity), H(0)(1)(Omega) x L(2)(Omega)) of the `limit` solutions such that through each initial condition from H(0)(1)(Omega) x L(2)(Omega) passes at least one solution of the class LS. We show that the class LS has bounded dissipativeness property in H(0)(1)(Omega) x L(2)(Omega) and we construct a closed bounded invariant subset A of H(0)(1)(Omega) x L(2)(Omega), which is weakly compact in H(0)(1)(Omega) x L(2)(Omega) and compact in H({I})(s)(Omega) x H(s-1)(Omega), s is an element of [0, 1). Furthermore A attracts bounded subsets of H(0)(1)(Omega) x L(2)(Omega) in H({I})(s)(Omega) x H(s-1)(Omega), for each s is an element of [0, 1). For N = 3, 4, 5 we also prove a local uniqueness result for the case of smooth initial data.

A general Trotter-Kato formula for a class of evolution operators

In this article we prove new results concerning the existence and various properties of an evolution system U(A+B)(t, s)0 <= s <= t <= T generated by the sum -(A(t) + B(t)) of two linear, time-dependent, and generally unbounded operators defined on time-dependent domains in a complex and separable Banach space B. In particular, writing L(B) for the algebra of all linear bounded operators on B, we can express U(A+B)(t, s)0 <= s <= t <= T as the strong limit in C(8) of a product of the holomorphic contraction semigroups generated by -A (t) and - B(t), respectively, thereby proving a product formula of the Trotter-Kato type under very general conditions which allow the domain D(A(t) + B(t)) to evolve with time provided there exists a fixed set D subset of boolean AND(t is an element of)[0,T] D(A(t) + B(t)) everywhere dense in B. We obtain a special case of our formula when B(t) = 0, which, in effect, allows us to reconstruct U(A)(t, s)0 <=(s)<=(t)<=(T) very simply in terms of the semigroup generated by -A(t). We then illustrate our results by considering various examples of nonautonomous parabolic initial-boundary value problems, including one related to the theory of timedependent singular perturbations of self-adjoint operators. We finally mention what we think remains an open problem for the corresponding equations of Schrodinger type in quantum mechanics.

A Trotter-Kato product formula for a class of non-autonomous evolution equations

In this article dedicated to Professor V. Lakshmikantham on the occasion of the celebration of his 84th birthday, we announce new results concerning the existence and various properties of an evolution system UA+B(t, s)(0 <= s <= t <= T) generated by the sum -(A(t)+B(t)) of two linear, time-dependent and generally unbounded operators defined on time-dependent domains in a complex and separable Banach space B. In particular, writing G(B) for the algebra of all linear bounded operators on B, we can express UA+B(t, s)(0 <= s <= t <= T) as the strong limit in L(B) of a product of the holomorphic contraction semigroups generated by -A(t) and -B(t), thereby getting a product formula of the Trotter-Kato type under very general conditions which allow the domain D(A(t)+B(t)) to evolve with time provided there exists a fixed set D subset of boolean AND D-t epsilon[0,D-T](A(t)+B(t)) everywhere dense in B. We then mention several possible applications of our product formula to various classes of non-autonomous parabolic initial-boundary value problems, as well as to evolution problems of Schrodinger type related to the theory of time-dependent singular perturbations of self-adjoint operators in quantum mechanics. We defer all the proofs and all the details of the applications to a separate publication. (C) 2008 Elsevier Ltd. All rights reserved.