Insights into the Structure of Dot@Rod and Dot@Octapod CdSe@CdS Heterostructures

CdSe@CdS dot@rods with diameter around 6 nm and length of either 20, 27, or 30 nm and dot@octapods with pod diameters of ?15 nm and lengths of ?50 nm were investigated by X-ray absorption spectroscopy. These heterostructures are prepared by seed-mediated routes, where the structure, composition, and morphology of the CdSe nanocrystals used as a seed play key roles in directing the growth of the second semiconducting domain. The local structural environment of all the elements in the CdSe@CdS heterostructures was investigated at the Cd, S, and Se K-edges by taking advantage of the selectivity of X-ray absorption spectroscopy, and was compared to pure reference compounds. We found that the structural features of dot@rods are independent of the size of the rods. These structures can be described as made of a CdSe dot and a CdS rod, both in the wurtzite phase with a high crystallinity of both the core and the rod. This result supports the effectiveness of high temperature colloidal synthesis in promoting the formation of core@shell nanocrystals with very low defectivity. On the other hand, data on the CdSe@CdS with octapod morphology suggest the occurrence of a core composed of a CdSe cubic sphalerite phase with eight pods made of CdS wurtzite phase. Our findings are compared to current models proposed for the design of functional heterostructures with controlled nanoarchitecture

Cancellation of vorticity in steady-state non-isentropic flows of complex fluids

In steady-state non-isentropic flows of perfect fluids there is always thermodynamic generation of vorticity when the difference between the product of the temperature with the gradient of the entropy and the gradient of total enthalpy is different from zero. We note that this property does not hold in general for complex fluids for which the prominent influence of the material substructure on the gross motion may cancel the thermodynamic vorticity. We indicate the explicit condition for this cancellation (topological transition from vortex sheet to shear flow) for general complex fluids described by coarse-grained order parameters and extended forms of Ginzburg-Landau energies. As a prominent sample case we treat first Korteweg's fluid, used commonly as a model of capillary motion or phase transitions characterized by diffused interfaces. Then we discuss general complex fluids. We show also that, when the entropy and the total enthalpy are constant throughout the flow, vorticity may be generated by the inhomogeneous character of the distribution of material substructures, and indicate the explicit condition for such a generation. We discuss also some aspects of unsteady motion and show that in two-dimensional flows of incompressible perfect complex fluids the vorticity is in general not conserved, due to a mechanism of transfer of energy between different levels.Comment: 12 page

Larval anatomy of Dendropsophus decipiens (A. Lutz 1925) (Anura: Hylidae: Dendropsophini) with considerations to larvae of this genus

The Dendropsophus decipiens clade comprises four species: D. berthalutzae, D. decipiens, D. haddadi, and D. oliveirai. Tadpoles of these species were described, but data on their internal morphology are lacking. We provide the first description of the buccopharyngeal anatomy, chondrocranial morphology, and cranial, hyoid and hyobranchial musculature of the tadpole of D. decipiens. Larvae of D. decipiens are characterized by the absence of lingual papillae, presence of fan-like papilla on the buccal floor, presence of a single-element suprarostral cartilage, presence of a small triangular process at the basis of the processus muscularis, m. levator mandibulae lateralis inserted on the nasal sac, and m. subarcualis rectus II-IV with a single, continuous slip. Tadpoles are likely macrophagous, although not as specialized as those of other species of the genus, suggesting some degree of diversification on the feeding habits within Dendropsophus.Fil: Dias, Pedro H. S.. Universidade de Sao Paulo; BrasilFil: de Araujo Vieira, Katyuscia. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Museo Argentino de Ciencias Naturales "Bernardino Rivadavia"; ArgentinaFil: de Carvalho-e-Silva, Ana Maria P. T.. Universidade Federal do Rio de Janeiro; BrasilFil: Orrico, Victor G. D.. Universidade Estadual de Santa Cruz; Brasi

New results on rewrite-based satisfiability procedures

Program analysis and verification require decision procedures to reason on theories of data structures. Many problems can be reduced to the satisfiability of sets of ground literals in theory T. If a sound and complete inference system for first-order logic is guaranteed to terminate on T-satisfiability problems, any theorem-proving strategy with that system and a fair search plan is a T-satisfiability procedure. We prove termination of a rewrite-based first-order engine on the theories of records, integer offsets, integer offsets modulo and lists. We give a modularity theorem stating sufficient conditions for termination on a combinations of theories, given termination on each. The above theories, as well as others, satisfy these conditions. We introduce several sets of benchmarks on these theories and their combinations, including both parametric synthetic benchmarks to test scalability, and real-world problems to test performances on huge sets of literals. We compare the rewrite-based theorem prover E with the validity checkers CVC and CVC Lite. Contrary to the folklore that a general-purpose prover cannot compete with reasoners with built-in theories, the experiments are overall favorable to the theorem prover, showing that not only the rewriting approach is elegant and conceptually simple, but has important practical implications.Comment: To appear in the ACM Transactions on Computational Logic, 49 page

Chaos and Synchronized Chaos in an Earthquake Model

We show that chaos is present in the symmetric two-block Burridge-Knopoff model for earthquakes. This is in contrast with previous numerical studies, but in agreement with experimental results. In this system, we have found a rich dynamical behavior with an unusual route to chaos. In the three-block system, we see the appearance of synchronized chaos, showing that this concept can have potential applications in the field of seismology.Comment: To appear in Physical Review Letters (13 pages, 6 figures