Analyzing completeness of axiomatic functional systems for temporal × modal logics

In previous works, we presented a modification of the usual possible world semantics by introducing an independent temporal structure in each world and using accessibility functions to represent the relation among them. Different properties ofthe accessibility functions (being injective, surjective, increasing, etc.) have been considered and axiomatic systems (called functional) which define these properties have been given. Only a few ofthese systems have been proved tobe complete. The aim ofthis paper is to make a progress in the study ofcompleteness for functional systems. For this end, we use indexes as names for temporal flows and give new proofs of completeness. Specifically, we focus our attention on the system which defines injectivity, because the system which defines this property without using indexes was proved to be incomplete in previous works. The only system considered which remains incomplete is the one which defines surjectivity, even ifwe consider a sequence ofnatural extensions ofthe previous one (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Runge-Kutta schemes that maintain invariant solutions for differential algebraic systems

Implicit Runge-Kutta (IRK) methods and projected IRK methods for the solution of semiexplicit index-2 systems of differential algebraic systems (DAEs) have been proposed by several authors. In this paper we prove that if a method satisfiesBA+A ^t B–bb ^t =0, it conserves quadratic invariants of DAEs.     

Logarithmic Norms and Nonlinear DAE Stability

Logarithmic norms are often used to estimate stability and perturbation bounds in linear ODEs. Extensions to other classes of problems such as nonlinear dynamics, DAEs and PDEs require careful modifications of the logarithmic norm. With a conceptual focus, we combine the extension to nonlinear ODEs [15] with that of matrix pencils [10] in order to treat nonlinear DAEs with a view to cover certain unbounded operators, i.e. partial differential algebraic equations. Perturbation bounds are obtained from differential inequalities for any given norm by using the relation between Dini derivatives and semi-inner products. Simple discretizations are also considered.     

Rapid species identification of seafood spoilage and pathogenic Gram-positive bacteria by MALDI-TOF mass fingerprinting

The rapid identification of food pathogenic and spoilage bacteria is important to ensure food quality and safety. Seafood contaminated with pathogenic bacteria is one of the major causes of food intoxications, and the rapid spoilage of seafood products results in high economic losses. In this study, a collection of the main seafood pathogenic and spoilage Gram-positive bacteria was compiled, including Bacillus spp., Listeria spp., Clostridium spp., Staphylococcus spp. and Carnobacterium spp. The strains, belonging to 20 different species, were obtained from the culture collections and studied by matrix-assisted laser desorption ionization time-of-flight mass spectrometry (MALDI-TOF MS). A reference library was created, including the spectral fingerprints of 32 reference strains and the extracted peak lists with 10-30 peak masses. Genus-specific as well as species-specific peak masses were assigned and could serve as biomarkers for the rapid bacterial identification. Furthermore, the peak mass lists were clustered with the web-application SPECLUST to show the phyloproteomic relationships among the studied strains. Afterwards, the method was successfully applied to identify six strains isolated from seafood by comparison with the reference library. Additionally, phylogenetic analysis based on the 16S rRNA gene was carried out and contrasted with the proteomic approach. This is the first time MALDI-TOF MS fingerprinting is applied to Gram-positive bacterial identification in seafood, being a fast and accurate technique to ensure seafood quality and safety.     

Discovering the chemical reactivity of the molecular oxonitride [{Ti(η-C5Me5)(μ-O)}3(μ3-N)]

The ability of the oxonitride [{Ti(η⁵-C₅Me₅)(μ-O)}₃(μ₃-N)] (1) to act as an organometallic ligand has been studied from both theoretical and experimental points of view. DFT calculations have allowed understanding the electronic structure of 1, and rationalizing its chemical behavior by comparison with the electronic structures of isoelectronic species [{Ti(η⁵-C₅Me₅)(μ-O)}₃(μ₃-CH)] and [{Ti(η⁵-C₅Me₅)(μ-NH)}₃(μ₃-N)]. Reactions of 1 with different inorganic molecules such as [Mo(CO)₃(1,3,5-Me₃C₆H₃)] or AlEt₃ have confirmed the possibility of 1 to act as a tridentate or monodentate ligand to give the [{(CO)₃Mo}(μ₃-O)₃{Ti₃(η⁵-C₅Me₅)₃(μ₃-N)}] (2) and [{Et₃Al}(μ₃-O){(μ-O)₂Ti₃(η⁵-C₅Me₅)₃(μ₃-N)}] (3) complexes, respectively. Surprisingly, reactions of 1 with [M(CO)₆] (M = Cr, Mo, W) complexes led to activate the μ₃-N unit in 1 to afford the new compounds [Ti₃(η⁵-C₅Me₅)₃(μ-O)₄{(NC)M(CO)₅}]₂ [M = Cr (4), Mo (5), W (6)]. Molecular structures of complexes 2-6 have been established by single crystal X-ray analysis.     

Click assembly of dye-functionalized octasilsesquioxanes for highly efficient and photostable photonic systems

New hybrid organic–inorganic dyes based on an azide‐functionalized cubic octasilsesquioxane (POSS) as the inorganic part and a 4,4‐difluoro‐4‐bora‐3a,4a‐diaza‐s‐indacene (BDP) chromophore as the organic component have been synthesized by copper(I)‐catalyzed 1,3‐dipolar cycloaddition of azides to alkynes. We have studied the effects of the linkage group of BDP to the POSS unit and the degree of functionalization of this inorganic core on the ensuing optical properties by comparison with model dyes. The high fluorescence of the BDP dye is preserved in spite of the linked chain at its meso position, even after attaching one BDP moiety to the POSS core. The laser action of the new dyes has been analyzed under transversal pumping at 532 nm in both the liquid phase and when incorporated into solid polymeric matrices. The monosubstituted new hybrid dye exhibits high lasing efficiency of up to 56 % with high photostability, with its laser output remaining at the initial value after 4×10⁵ pump pulses in the same position of the sample at a repetition rate of 30 Hz. However, functionalization of the POSS core with eight fluorophores leads to dye aggregation, as quantum mechanical simulation has revealed, worsening the optical properties and extinguishing the laser action. The new hybrid systems based on dye‐linked POSS nanoparticles open up the possibility of using these new photonic materials as alternative sources for optoelectronic devices, competing with dendronized or grafted polymers.     

Synthetic strategies for the surface functionalisation of gold nanoparticles with metals and metal clusters

The reaction of the new ditopic thiol-phosphine compound HS(CH(2))(11)OOCC(6)H(4)PPh(2) (L) with an excess of dodecanethiol-protected gold nanoparticles gave the asymmetric gold complex [CH(3)(CH(2))(11)SAuPPh(2)C(6)H(4)COO(CH(2))(11)SH] (4), but no phosphine-protected gold nanoparticles were formed. However, by blocking the phosphine function in L with metal fragments, we have been able to produce gold nanoparticles functionalised with AuCl- and cluster [Fe(2)(CO)(7)Au] units on the surface by the method of ligand-place exchange reaction.     

Lithium aluminates on a molecular titanium oxide

Lithium aluminates Li[Al(O-2,6-Me(2)C(6)H(3))R'(3)] (R' = Et, Ph) react with the μ(3)-alkylidyne oxoderivative ligands [{Ti(η(5)-C(5)Me(5))(μ-O)}(3)(μ(3)-CR)] [R = H (1), Me (2)] to afford the aluminum-lithium-titanium cubane complexes [{R'(3)Al(μ-O-2,6-Me(2)C(6)H(3))Li}(μ(3)-O)(3){Ti(η(5)-C(5)Me(5))}(3)(μ(3)-CR)] [R = H, R' = Et (5), Ph (7); R = Me, R' = Et (6), Ph (8)]. Complex 7 evolves with the formation of a lithium dicubane species and a Li{Al(μ-O-2,6-Me(2)C(6)H(3))Ph(3)}(2)] unit.     

OFFGEL isoelectric focusing and polyacrylamide gel electrophoresis separation of platinum-binding proteins

In this work a 2D electrophoretic separation procedure able to maintain the integrity of platinum-protein bonds has been developed. The method is based on the use of sequential OFFGEL isoelectric focussing (IEF) and PAGE. A systematic study of the reagents used for PAGE, for OFFGEL-IEF separation, and post-separation treatment of gels (such as enzymatic digestion and sample preparation for MS analysis) was tackled regarding their suitability for the identification of platinum binding proteins using standard proteins incubated with cisplatin. The distribution of platinum in high and low molecular weight fractions (separated by cut-off filters) was determined by ICP-MS, which allows evaluating platinum-protein bond stability under the conditions studied. SDS-PAGE in the absence of β-mercaptoethanol or dithiotreitol preserved the platinum-protein bonds. In addition, neither the influence of the electric field during the electrophoretic separation, nor the processes of fixing, staining and destaining of proteins in the gel did result in the loss of platinum from platinum binding proteins. SDS-PAGE under non-reducing conditions provides separation of platinum-binding proteins in very narrow bands with quantitative recoveries. Different amounts of platinum-bound proteins covering the range 0.3-2.0 μg were separated and mineralised for platinum determination, showing good platinum linearity. Limits of detection for a mixture of five standard proteins incubated with cisplatin were between the range of 2.4 and 13.9 pg of platinum, which were satisfactory for their application to biological samples. Regarding OFFGEL-IEF, a denaturing solution without thiourea and without dithiotreitol is recommended. The suitability of the OFFGEL-IEF for the separation of platinum binding proteins of a kidney cytosol was demonstrated.