The optimization of tungsten trioxide (WO3) nanoparticles produced via hydrothermal synthesis for application in electrochromic (EC) devices is reported. The structure and morphology of the nanoparticles are controlled by changing the acidity of the aqueous solvent added to the sol-gel precursor (peroxopolytungstic acid) during synthesis. Orthorhombic hydrated WO3 nanorods or monoclinic WO3 nanoslabs are obtained when HCl is added, while synthesis only in aqueous medium results in a mixture of both types of polymorphs. Dual-phase thin films are processed by inkjet printing deposition of the nanoparticles in flexible polyethylene terephthalate substrate with indium tin oxide coating (ITO PET) followed by the deposition of the precursor solution. When compared with purely amorphous tungsten oxide films, the dual phase ones present higher optical densities and improved capacity, and cyclability stability. The best results, obtained for orthorhombic hydrated nanoparticles (ortho-WO3·0.33H2O), are due to its high surface area and improved conductivity. Additionally, the ex situ X-ray diffraction (XRD) lithiation studies show evidence of a higher distortion of the monoclinic when compared with the orthorhombic crystallographic structure, which contribute to the inferior EC performance. These results validate the use of inkjet printing deposition with low processing temperatures for EC dual-phase thin films containing optimized nanoparticles which are compatible with low-cost substrates.

ABSTRACT New elasmosaurid plesiosaur specimens are described from the Early Maastrichtian of Angola. Phylogenetic analyses reconstruct the Angolan taxon as an aristonectine elasmosaurid and the sister taxon of an unnamed form of similar age from New Zealand. Comparisons also indicate a close relationship with an unnamed form previously described from Patagonia. All of these specimens exhibit an ostensibly osteologically immature external morphology, but histological analysis of the Angolan material suggests an adult with paedomorphic traits. By extension, the similarity of the Angolan, New Zealand and Patagonian material indicates that these specimens represent a widespread paedomorphic yet unnamed taxon.

ABSTRACT Stable oxygen isotope values of inoceramid marine bivalve shells recovered from Bentiaba, Angola, are utilised as a proxy for paleotemperatures during the Late Cretaceous development of the African margin of the South Atlantic Ocean. The δ18O values derived from inoceramids show a long-term increase from –3.2‰ in the Late Turonian to values between –0.8 and –1.8‰ in the Late Campanian. Assuming a constant oceanic δ18O value, an ∼2‰ increase may reflect cooling of the shallow marine environment at Bentiaba by approximately 10°. Bentiaba values are offset by about +1‰ from published records for bathyal Inoceramus at Walvis Ridge. This offset in δ18O values suggests a temperature difference of ∼5° between coastal and deeper water offshore Angola. Cooler temperatures implied by the δ18O curve at Bentiaba coincide with the stratigraphic distribution of diverse marine amniotes, including mosasaurs, at Bentiaba.

The historically-famous Lotus Fortress site, a deep 1.5–3.0-meter-high, 200-meter-long horizonal notch high up in near-vertical sandstone cliffs comprising the Cretaceous Jiaguan Formation, has been known since the 13th Century as an impregnable defensive position. The site is also extraordinary for having multiple tetrapod track-bearing levels, of which the lower two form the floor of part of the notch, and yield very well preserved asseamblages of ornithopod, bird (avian theropod) and pterosaur tracks. Trackway counts indicate that ornithopods dominate (69%) accounting for at least 165 trackmakers, followed by bird (18%), sauropod (10%), and pterosaur (3%). Previous studies designated Lotus Fortress as the type locality of Caririchnium lotus and Wupus agilis both of which are recognized here as valid ichnotaxa. On the basis of multiple parallel trackways both are interpreted as representing the trackways of gregarious species. C. lotus is redescribed here in detail and interpreted to indicate two age cohorts representing subadults that were sometimes bipedal and larger quadrupedal adults. Two other previously described dinosaurian ichnospecies, are here reinterpreted as underprints and considered nomina dubia. Like a growing number of significant tetrapod tracksites in China the Lotus Fortress site reveals new information about the composition of tetrapod faunas from formations in which the skeletal record is sparse. In particular, the site shows the relatively high abundance of Caririchium in a region where saurischian ichnofaunas are often dominant. It is also the only site known to have yielded Wupus agilis. In combination with information from other tracksites from the Jiaguan formation and other Cretaceous formations in the region, the track record is proving increasingly impotant as a major source of information on the vertebrate faunas of the region. The Lotus Fortress site has been developed as a spectacular, geologically-, paleontologically- and a culturally-significant destination within Qijiang National Geological Park.

ABSTRACT We report here a new elasmosaurid from the early Maastrichtian at Bentiaba, southern Angola. Phylogenetic analysis places the new taxon as the sister taxon to Styxosaurus snowii, and that clade as the sister of a clade composed of (Hydrotherosaurus alexandrae (Libonectes morgani + Elasmosaurus platyurus)). The new taxon has a reduced dorsal blade of the scapula, a feature unique amongst elasmosaurids, but convergent with cryptoclidid plesiosaurs, and indicates a longitudinal protraction-retraction limb cycle rowing style with simple pitch rotation at the glenohumeral articulation. Morphometric phylogenetic analysis of the coracoids of 40 eosauropterygian taxa suggests that there was a broad range of swimming styles within the clade.

n/a

n/a

n/a

n/a

n/a

We give a combinatorial characterization of conjugacy in the sylvester monoid, showing that conjugacy is decidable for this monoid. We then prove that conjugacy is undecidable in general for homogeneous monoids and even for multihomogeneous monoids.

Theropod teeth are particularly abundant in the fossil record and frequently reported in the literature. Yet, the dentition of many theropods has not been described comprehensively, omitting details on the denticle shape, crown ornamentation and enamel texture. This paucity of information has been particularly striking in basal clades, thus making identification of isolated teeth difficult, and taxonomic assignments uncertain. We here provide a detailed description of the dentition of Megalosauridae, and a comparison to and distinction from superficially similar teeth of all major theropod clades. Megalosaurid dinosaurs are characterized by a mesial carina facing mesiolabially in most mesial teeth, centrally positioned carinae on both most mesial and lateral crowns, a mesial carina terminating above the cervix, and short to well-developed interdenticular sulci between distal denticles. A discriminant analysis performed on a dataset of numerical data collected on the teeth of 62 theropod taxa reveals that megalosaurid teeth are hardly distinguishable from other theropod clades with ziphodont dentition. This study highlights the importance of detailing anatomical descriptions and providing additional morphometric data on teeth with the purpose of helping to identify isolated theropod teeth in the future.

Neste texto apresentamos os jogos no ensino da matemática como uma forma de aprendizagem de conteúdos e não apenas como um recurso que cada professor pode usar nas suas aulas para tornar a aula diferente. Analisamos dois jogos desenvolvidos por nós e que utilizámos com alunos dos 7.º e 10.º anos de escolaridade, procurando não só apresentar os jogos, mas também aspetos da sua implementação em sala de aula, ponderando o contributo que trouxeram à aprendizagem dos alunos.
Aprender matemática depende de um grande número de variáveis, o que torna o ensino um processo complexo, pois é necessário que se desenvolva o raciocínio lógico, além de estimular o desenvolvimento das mais variadas capacidades transversais, tais como o pensamento autónomo, a criatividade, o sentido de estratégia e a capacidade de resolver problemas.
Duas das dificuldades frequentemente encontradas pelos professores passam pela falta de motivação para a aprendizagem e pelo desinteresse pela Matemática. A solução para estes problemas pode passar pela utilização de jogos para complementar o estudo, mas também para a aquisição de novos conteúdos. No entanto, apenas a implementação dos jogos não basta. O papel do professor é de extrema importância e a planificação e orientação da aula são fundamentais para que se alcancem os objetivos pretendidos.

Multi-threaded programs allow one to achieve better performance by doing a lot of work in parallel using multiple threads. Such parallel programs often contain code blocks that a thread must execute atomically, i.e., with no interference from the other threads of the program. Failing to execute these code blocks atomically leads to errors known as atomicity violations. However, frequently it not obvious to tell when a piece of code should be executed atomically, especially when that piece of code contains calls to some third-party library functions, about which the programmer has little or no knowledge at all. One solution to this problem is to associate a contract with such a library, telling the programmer how the library functions should be used, and then check whether the contract is indeed respected. For contract validation, static approaches have been proposed, with known limitations on precision and scalability. In this paper, we propose a dynamic method for contract validation, which is more precise and scalable than static approaches.