bluuebunny/crossref_metadata_2025_split huggingface dataset:
Quantifier elimination for the theory of algebraically closed valued fields with analytic structure
Authors: Çelikler Yalın F. 
Published: May 2007

AbstractThe theory of algebraically closed non‐Archimedean valued fields is proved to eliminate quantifiers in an analytic language similar to the one used by Cluckers, Lipshitz, and Robinson. The proof makes use of a uniform parameterized normalization theorem which is also proved in this paper. This theorem also has other consequences in the geometry of definable sets. The method of proving quantifier elimination in this paper for an analytic language does not require the algebraic quantifier elimination theorem of Weispfenning, unlike the customary method of proof used in similar earlier analytic quantifier elimination theorems. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)
On n ‐contractive fuzzy logics
Authors: Horčík Rostislav , Noguera Carles , Petrík Milan 
Published: May 2007

AbstractIt is well known that MTL satisfies the finite embeddability property. Thus MTL is complete w. r. t. the class of all finite MTL‐chains. In order to reach a deeper understanding of the structure of this class, we consider the extensions of MTL by adding the generalized contraction since each finite MTL‐chain satisfies a form of this generalized contraction. Simultaneously, we also consider extensions of MTL by the generalized excluded middle laws introduced in [9] and the axiom of weak cancellation defined in [31]. The algebraic counterpart of these logics is studied characterizing the subdirectly irreducible, the semisimple, and the simple algebras. Finally, some important algebraic and logical properties of the considered logics are discussed: local finiteness, finite embeddability property, finite model property, decidability, and standard completeness. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)
A generalization of the Keisler‐Morley theorem to recursively saturated ordered structures
Authors: Mohsenipour Shahram 
Published: May 2007

AbstractWe prove a model theoretic generalization of an extension of the Keisler‐Morley theorem for countable recursively saturated models of theories having a κ ‐like model, where κ is an inaccessible cardinal. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)
Kripke submodels and universal sentences
Authors: Ellison Ben , Fleischmann Jonathan , McGinn Dan , Ruitenburg Wim 
Published: May 2007

AbstractWe define two notions for intuitionistic predicate logic: that of a submodel of a Kripke model, and that of a universal sentence. We then prove a corresponding preservation theorem. If a Kripke model is viewed as a functor from a small category to the category of all classical models with (homo)morphisms between them, then we define a submodel of a Kripke model to be a restriction of the original Kripke model to a subcategory of its domain, where every node in the subcategory is mapped to a classical submodel of the corresponding classical model in the range of the original Kripke model. We call a sentence universal if it is built inductively from atoms (including ⊤ and ⊥) using ∧, ∨, ∀, and →, with the restriction that antecedents of → must be atomic. We prove that an intuitionistic theory is axiomatized by universal sentences if and only if it is preserved under Kripke submodels. We also prove the following analogue of a classical model‐consistency theorem: The universal fragment of a theory Γ is contained in the universal fragment of a theory Δ if and only if every rooted Kripke model of Δ is strongly equivalent to a submodel of a rooted Kripke model of Γ. Our notions of Kripke submodel and universal sentence are natural in the sense that in the presence of the rule of excluded middle, they collapse to the classical notions of submodel and universal sentence. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)
Coloring linear orders with Rado's partial order
Authors: Camerlo Riccardo , Marcone Alberto 
Published: May 2007

AbstractLet ⪯R be the preorder of embeddability between countable linear orders colored with elements of Rado's partial order (a standard example of a wqo which is not a bqo). We show that ⪯R has fairly high complexity with respect to Borel reducibility (e.g. if P is a Borel preorder, then P ≤B ⪯R), although its exact classification remains open. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)
Friction and Wear Mechanisms of Sintered and Thermoplastic Polyimides under Adhesive Sliding
Authors: Samyn Pieter , Schoukens Gustaaf , Verpoort Francis , Van Craenenbroeck Jeroen , De Baets Patrick 
Published: May 2007

AbstractPolyimides function under high‐temperature sliding. The available literature explains transitions in friction and wear mainly by mechanical effects, such as influences of normal load, sliding velocity and humidity on polymer transfer to steel counterfaces. Theoretical models are evaluated for sintered and thermoplastic polyimides. Tribologists have been interested in tribochemical and tribophysical reactions in the sliding interface for about 25 years. Reactions such as hydrolysis, imidisation and/or degradation occur as a function of sliding temperature and are reviewed in this paper. An overview of polyimide synthesis and degradation is presented, while new insights in sliding mechanisms are obtained from a detailed study of Raman spectroscopy on worn polymer surfaces.magnified image
Electret Properties of Polyetherimides: Influence of Water Content and Comparison with Other High‐Temperature Polymer Films
Authors: Frese Thomas , Lovera Deliani , Sandler Jan K. W. , Lim Goy Teck , Altstädt Volker , Giesa Reiner , Schmidt Hans‐Werner 
Published: May 2007

AbstractIn this comparative study, the charge storage performance of commercial high‐temperature polymer films was evaluated and correlated with their chemical structure. Isothermal surface potential decay measurements after annealing periods at 90 °C revealed that amorphous polyetherimide (PEI) films showed the best charge storage behavior. Polyimide films showed reduced charge storage performance, whereas sulfur‐containing polymer films are not suitable as electrets due to their fast charge decay. Additionally, the effect of water content in PEI films in the range of 0.02–0.79 wt.‐% was studied. Increasing amounts of water decreased the charge storage properties proportionally, but only by a relatively smaller amount: the highest investigated water content of 0.79 wt.‐% reduced the charge by only 30%.magnified image
Synthesis and Thermal Characterization of Some Novel ABA Block Copolymers
Authors: Cicala Gianluca , Mamo Antonino , Recca Giuseppe , Restuccia Carmelo Luca 
Published: May 2007

AbstractThe synthesis of some novel ABA block copolymers is reported. The block A is a PPO while the block B is a random copoly(aryl ether sulfone), synthesized with three different molecular weights. The block copolymers were obtained by a two step procedure consisting on the functionalization of the random copoly(aryl ether sulfone) followed by a condensation with PPO. Spectroscopic techniques (1H NMR and 13C NMR) were used to characterize the polymers obtained from each step. The NMR data proved the complete conversion of amino groups after the first reaction step and gave some useful insights on the completion of the second step. Copolymer formation is supported by a comparison of the thermal behavior of the block copolymers with respect to the physical blends of the two homopolymers. DSC and DMA analyses showed double glass transitions for the physical blends which could be related to the immiscibility of the two homopolymers, while, in contrast, the block copolymer showed single glass transition. Blends of ABA triblock copolymer/PPO and of ABA triblock/copoly(arylen ether sulfone)s were also prepared. These blends, tested by DSC, showed a good level of compatibility of the ABA copolymer with its singular constituents.magnified image
Structured maintenance policies on interior sample paths
Authors: Maillart Lisa M. , Zheltova Ludmila 
Published: May 2007

AbstractWe examine the problem of adaptively scheduling perfect observations and preventive replacements for a multi‐state, Markovian deterioration system with silent failures such that total expected discounted cost is minimized. We model this problem as a partially observed Markov decision process and show that the structural properties of the optimal policy hold for certain non‐extreme sample paths. © 2007 Wiley Periodicals, Inc. Naval Research Logistics, 2007
The first prenatal diagnosis for veno‐occlusive disease and immunodeficiency syndrome, an autosomal recessive condition associated with mutations in SP110
Authors: Cliffe Simon T. , Wong Melanie , Taylor Peter J. , Ruga Ezia , Wilcken Bridget , Lindeman Robert , Buckley Michael F. , Roscioli Tony 
Published: May 2007

AbstractObjectivesWe present the first prenatal diagnosis of familial hepatic veno‐occlusive disease with immunodeficiency (VODI). Homozygous mutations in the gene SP110 are the genetic basis of VODI. The proband in this report presented at three months of age with hepatomegaly hepatic failure and was found to have hypogammaglobulinemia. He died one month after hepatic transplant at eight months of age due to hemophagocytic syndrome. DNA testing detected a homozygous truncating mutation in exon 5; SP110 c.642delC. Prenatal testing was offered to this family in a subsequent pregnancy.MethodsChorion villus was sampled at 12 weeks' gestation. DNA was extracted using standard techniques, and sequencing of SP110 exon 5 was performed using flanking primers. Maternal contamination was excluded by examining STR markers in CVS and maternal DNA.ResultsA heterozygous SP110 c.642delC mutation was detected in exon 5. This mutation was present in heterozygous form in both parents.ConclusionsThe prenatal test result is predictive of a child with a normal immune and hepatic phenotype. This report presents the first prenatal molecular diagnosis for VODI and shows the importance of molecular genetic research in not only defining the aetiology of syndromes but also in assisting reproductive choices through the collaboration of genetic and feto‐maternal services. Copyright © 2007 John Wiley & Sons, Ltd.
Effect of soft segment length on properties of hydrophilic/hydrophobic polyurethanes
Authors: Lin Yung‐Hsin , Chou Nai‐Kuan , Chen Kuan‐Fu , Ho Guan‐Huei , Chang Chih‐Hao , Wang Shoei‐Shen , Chu Shu‐Hsun , Hsieh Kuo‐Huang 
Published: May 2007

AbstractPolyurethanes (PUs) were prepared from 4,4′‐diphenylmethane diisocyanate and various molecular weights of poly(tetramethylene glycol) and polydimethylsiloxane. The physical properties of these polymers were determined using Fourier transform infrared spectroscopy and through calculation of their swelling ratios. The thermal properties were investigated through thermogravimetric analysis and dynamic mechanical analysis. The blood compatibility of each polymer was determined by calculating its relative index of platelet adhesion (RIPA). Domain separation of the resulting PUs occurred during polymerization because of the immiscibility of the hydrophilic and hydrophobic polyols. The hydrophilic/hydrophobic domain‐separated structure affected the surface tension through the formation of hydrophilic and hydrophobic domains of the PU, which reduced the adhesion of blood platelets onto the materials. The PU(PDMS/PTMO1000) = 75/25 sample, with its RIPA of 0.34, appears to be suitable for biomedical applications as a blood‐compatible material. Copyright © 2007 Society of Chemical Industry
Nonlinear optical properties of regioregular main‐chain polyesters
Authors: Centore R. , Riccio P. , Fusco S. , Carella A. , Quatela A. , Schutzmann S. , Stella F. , De Matteis F. 
Published: May 2007

AbstractWe have prepared new polyesters containing quadratic, nonlinear optical (NLO) active chromophores covalently incorporated into the main chain. In these polymers, the sequence of the chromophore units along the main chain is rigorously head to tail. All the polyesters are processable, both in the melt and in solution. For one polyester, a full second‐order NLO characterization has been performed. An out‐of‐resonance d33 coefficient of 21 pm/V at 1368 nm has been measured. © 2007 Wiley Periodicals, Inc. J Polym Sci Part A: Polym Chem 45: 2719–2725, 2007
Synthesis and characterization of model polybutadiene‐1,4‐b‐polydimethylsiloxane‐b‐polybutadiene‐1,4 copolymers
Authors: Ciolino Andrés E. , Villar Marcelo A. , Vallés Enrique M. , Hadjichristidis Nikos 
Published: May 2007

AbstractModel copolymers of poly(butadiene) (PB) and poly(dimethylsiloxane) (PDMS), PB‐b‐PDMS‐b‐PB, were synthesized by sequential anionic polymerization (high vacuum techniques) of 1,3‐butadiene and hexamethylciclotrisiloxane (D3) on sec‐BuLi followed by chlorosilane‐coupling chemistry. The synthesized copolymers were characterized by nuclear magnetic resonance (1H NMR), size‐exclusion chromatography (SEC), thermogravimetric analysis (TGA), and differential scanning calorimetry (DSC). SEC and 1H NMR results showed low polydispersity indexes (Mw/Mn) and variable siloxane compositions, whereas DSC and TGA experiments indicated that the thermal stability of the triblock copolymers depends on the PDMS composition. © 2007 Wiley Periodicals, Inc. J Polym Sci Part A: Polym Chem 45: 2726–2733, 2007
Dyspepsia: key considerations for cost‐effective management
Authors: Cawston Jane , Evans Norman 
Published: May 2007

AbstractPPI prescribing continues to increase for dyspepsia man agement in the UK and the rising cost suggests that alternative options need to be considered. This article looks at the savings achieved with a policy of stepping down or off PPI therapy, with an alginate for acid rebound or break through symptoms. Copyright © 2007 Wiley Interface Ltd
Exubera: first inhaled insulin for the management of diabetes
Authors: Barnett Anthony 
Published: May 2007

AbstractExubera is a dry‐powder inhaled formulation of insulin that has now gained licence approval in the UK for use in patients with both type 1 and type 2 diabetes. Here, Professor Barnett discusses the properties of this novel therapeutic option and its potential role in the current and future management of diabetes. Copyright © 2007 Wiley Interface Ltd
Blue–green–red LEDs based on InGaN quantum dots grown by plasma‐assisted molecular beam epitaxy
Authors: Xu Tao , Nikiforov A. Yu , France Ryan , Thomidis Christos , Williams Adrian , Moustakas T. D. 
Published: May 2007

AbstractSelf‐assembled InGaN quantum dots were grown in the Stranski–Krastanov mode by plasma‐assisted molecular beam epitaxy. The average dot height, diameter and density are 3 nm, 30 nm and 7 × 1010 cm–2, respectively. The dot density was found to decrease as the growth temperature increases. The cathodoluminescence emission peak of the InGaN/GaN multiple layer quantum dots (MQDs) was found to red shift 330 meV with respect to the emission peak of the uncapped single layer of InGaN QDs due to Quantum Confined Stark effect. Blue LEDs based on InGaN/GaN multiple quantum wells (MQWs) as well as green and red LEDs based on InGaN MQDs emitting at 440, 560 and 640 nm, respectively, were grown and fabricated. The electroluminescence peak positions of both the green and red InGaN MQD LEDs are shown to be more blue‐shifted with increasing injection current than that of the blue InGaN/GaN MQW LEDs. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)
Spontaneous growth of uniformly distributed In nanodots and InI3 nanowires on InP induced by a focused ion beam
Authors: Callegari Victor , Nellen Philipp M. 
Published: May 2007

AbstractWe show the growth of hemispherical In nanodots due to differential sputtering by 30 keV gallium (Ga+) ions and of InI3 nanodots and nanowires due to chemical reactions with iodine on the surface of focused ion beam‐irradiated areas on a (100)InP substrate. Growth occurs exclusively on previously FIB‐fabricated nucleation‐sites in the form of craters and trenches. Surface topography and the native oxide on InP are identified as the factors determining the area of growth. Arbitrary 2D patterns can be generated with good control of localization and dimension of the nanostructures. Limitations of size and surface density of the nanodots and nanowires are discussed. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)
Structural and transport properties of Nb nanowires
Authors: Dai Zhenting , Zhang Chun , Barnett Robert N. , Marchenkov Alexei , Landman Uzi 
Published: May 2007

AbstractHigh‐resolution conductance measurements in niobium nanowires below the superconducting transition temperature are presented. Results are shown for a complete multistage elongation‐compression cycle of a nanoscale contact. We focus on a bistability region which manifests itself as random telegraph noise. Density functional structural optimizations and conductance calculations using the non‐equilibrium Green's functions method reproduce and explain the measurements. In particular, the observed bistability is associated with formation of a niobium dimer between the opposing electrodes, with the dimer shuttling between a symmetric, high conductance, and an asymmetric, low conductance, configurations in the gap. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)
Compound‐specific hydrogen isotope analysis of 1,2‐dichloroethane: potential for delineating source and fate of chlorinated hydrocarbon contaminants in groundwater
Authors: Chartrand Michelle M. G. , Hirschorn Sarah K. , Lacrampe‐Couloume Georges , Sherwood Lollar Barbara 
Published: May 2007

AbstractA Delta Plus XL continuous flow gas chromatography/high‐temperature conversion‐isotope ratio mass spectrometer system (GC‐TC‐IRMS) with a liquid nitrogen trap installed at the end of the micropyrolysis oven was used to measure hydrogen isotope (δ2H) values of 1,2‐dichloroethane (1,2‐DCA). The 1,2‐DCA δ2H values were within uncertainty of the δ2H value for the same 1,2‐DCA analyzed using off‐line sample preparation and conventional dual inlet mass spectrometry, verifying that this system can accurately measure 1,2‐DCA δ2H values. After 71 reproducible and accurate 1,2‐DCA δ2H measurements had been obtained, the standard deviation on the mean of the cumulative 1,2‐DCA δ2H measurements was greater than ±5‰. The cumulative load of chlorine at this point was ∼5.5 × 10−6 moles, which may be the limit to the quantity of chlorine that can be input before the reproducibility of 1,2‐DCA δ2H measurements is compromised. This study is the first to our knowledge to demonstrate a method for obtaining accurate and reproducible compound‐specific δ2H values for chlorinated hydrocarbons at dissolved concentrations typical of field conditions. Paired δ2H and δ13C values suggest that dual parameter isotopic measurements can distinguish between different contaminant sources, as well as providing additional constraints on degradation pathways and contaminant remediation. Copyright © 2007 John Wiley & Sons, Ltd.
Fast profiling of the integral metabolism of flavonols in the active fraction of Gossypium herbaceam L. using liquid chromatography/multi‐stage tandem mass spectrometry
Authors: Geng Ping , Zhang Ruiping , Aisa Haji Akber , He Jiuming , Qu Kai , Zhu Haibo , Abliz Zeper 
Published: May 2007

AbstractA method of fast profiling the constituents in an active herbal extract and their metabolites in biological fluids based on the combination of fragmentation behavior and metabolic pathways is described. The complementary information from fragmentation behavior and metabolic pathways helped not only to identify the structure of parent constituents and metabolites, but also to correlate metabolites back to their parent forms. An active fraction obtained from Gossypium herbaceam L., named AB‐8‐2, and bile samples from rats administered it orally and intravenously were analyzed using high‐performance liquid chromatography/multi‐stage tandem mass spectrometry (HPLC‐MSn) in a single chromatographic run. Fifty‐eight flavonols comprising mixed sulfate, methyl, glucuronide and glycoside derivatives of quercetin or kaempferol were detected, including several groups of isomers. By contrasting the analytical results from AB‐8‐2 and from bile samples derived from different administration routes, a profile of the biotransformation of the flavonols in AB‐8‐2 was obtained. The results should be of benefit in targeting potential active ingredients in complex mixtures, such as herbs or their active extracts. Copyright © 2007 John Wiley & Sons, Ltd.
Longitudinal differences in 15N between mothers and offspring during and after weaning in a small cooperative mammal, the meerkat (Suricata suricatta)
Authors: Dalerum Fredrik , Bennett Nigel C. , Clutton‐Brock Tim H. 
Published: May 2007

AbstractGestation and subsequent lactation are energetically costly life history events for mammalian females. We used longitudinal δ15N data from hair samples from offspring and their mothers to explore lactation patterns in a small cooperative mammal, the meerkat (Suricata suricatta). Lactation enriched hair from meerkat offspring in 15N compared with that of their mothers, and this enrichment gradually declined after weaning. Although the observed peak enrichment of ∼1‰ was substantially below the predicted levels of trophic enrichment in capital versus income breeders, we suggest that our results reflect an income breeding tactic in this species. Our study supports the notion that δ15N analyses can be a useful tool to investigate lactation schedules in mammals. However, reliable conclusions from 15N data regarding the nutritional tactics of mammalian females during reproduction may be limited by our scant understanding of the effects of various physiological variables on isotope assimilation. Copyright © 2007 John Wiley & Sons, Ltd.
Do multiple parents help or hinder international joint venture performance? The mediating roles of contract completeness and partner cooperation
Authors: Gong Yaping , Shenkar Oded , Luo Yadong , Nyaw Mee‐Kau 
Published: May 2007

AbstractWe develop a mediation model in which the number of partners in a joint venture affects venture performance through contract completeness and partner cooperation. In a sample of 224 international joint ventures, we find that the number of partners is negatively related to venture contract completeness and partner cooperation, both of which are positively related to joint venture performance. The number of partners is inversely related to joint venture performance and the relationship is mediated by contract completeness and partner cooperation. We discuss theoretical and managerial implications for joint venture research and practice. Copyright © 2007 John Wiley & Sons, Ltd.
Network and access technologies for new generation mobile communications—overview of National R&D Project in NICT
Authors: Adachi Fumiyuki , Wakana Hiromitsu , Morikawa Hiroyuki , Kuroda Masahiro , Harada Hiroshi , Isobe Shunkichi , Miura Ryu , Ogawa Hiroyo 
Published: May 2007

AbstractR&D on new generation mobile network has attracted a growing interest over the world on the background of rapid market growth for 2nd and 3rd generation cellular networks and wireless LANs/MANs. The National Institute of Information and Communications Technology (NICT) started the New Generation Mobile Network Project in April 2002, and has developed fundamental technologies to enable seamless and secure integration of various wireless access networks such as existing cellular networks, wireless LANs, home networks, intelligent transport systems (ITS), the Beyond‐3G (B3G) cellular and other wireless access systems. This paper overviews the achievements of the project focusing on network and access technologies. Copyright © 2007 John Wiley & Sons, Ltd.