Robótica virtual ou robótica tangível, qual a ferramenta mais apelativa para os professores e alunos? Fomos à procura da resposta junto de cinco alunos que participaram em atividades com estas duas ferramentas. As atividades foram desenvolvidas no

Spectroscopic and computational methods have been used to determine the protonation state of the edge sulfur ligand in the Cu4S2 CuZ form of the active site of nitrous oxide reductase (N2OR) in its 3CuICuII (1-hole) and 2CuI2CuII (2-hole) redox states. The EPR, absorption, and MCD spectra of 1-hole CuZ indicate that the unpaired spin in this site is evenly delocalized over CuI, CuII, and CuIV. 1-hole CuZ is shown to have a mu2-thiolate edge ligand from the observation of S-H bending modes in the resonance Raman spectrum at 450 and 492 cm-1 that have significant deuterium isotope shifts (-137 cm-1) and are not perturbed up to pH 10. 2-hole CuZ is characterized with absorption and resonance Raman spectroscopies as having two Cu-S stretching vibrations that profile differently. DFT models of the 1-hole and 2-hole CuZ sites are correlated to these spectroscopic features to determine that 2-hole CuZ has a mu2-sulfide edge ligand at neutral pH. The slow two electron (+1 proton) reduction of N2O by 1-hole CuZ is discussed and the possibility of a reaction between 2-hole CuZ and O2 is considered.

The experimental research carried out to study the punching behavior of high strength concrete (HSC) flat slabs is reported in the present work. Three flat slab specimens were cast using HSC and another one with normal strength concrete (NSC), to be used as a reference slab. The HSC mix presented a compressive strength of about 130MPa, with a basalt coarse aggregate. The tested specimens were square with 1650mm side and 125mm thickness. The longitudinal reinforcement ratio varied between 0.94{%} and 1.48{%}. The experimental results show that the use of HSC led to a significant load capacity increase when compared with the reference model made with NSC. Furthermore, the experimental results also indicated that as the longitudinal reinforcement ratio increased, the punching capacity also increased. The results obtained in this set of experimental tests and others collected from the literature were compared with the code provisions by EC2, MC2010 and ACI 318-11.

Titanium dioxide was synthesized on glass substrates from titanium (IV)isopropoxide and hydrochloride acid aqueous solutions through microwave irradiation using as seed layer either fluorine-doped crystalline tin oxide (SnO2:F) or amorphous tin oxide (a-SnOx). Three routes have been followed with distinct outcome: (i) equimolar hydrochloride acid/water proportions (1HCl:1water) resulted in nanorod arrays for both seed layers; (ii) higher water proportion (1HCl:3water) originated denser films with growth yield dependent on the seed layer employed; while (iii) higher acid proportion (3HCl:1water) hindered the formation of TiO2. X-ray diffraction (XRD) showed that the materials crystallized with the rutile structure, possibly with minute fractions of brookite and/or anatase. XRD peak inversions observed for the materials synthesized on crystalline seeds pointed to preferred crystallographic orientation. Electron diffraction showed that the especially strong XRD peak inversions observed for TiO2 grown from the 1HCl:3water solution on SnO2:F originated from a [001] fiber texture. Transmittance spectrophotometry showed that the materials with finer structure exhibited significantly higher optical band gaps. Photocatalytic activity was assessed from methylene blue degradation, with the 1HCl:3water SnO2:F material showing remarkable degradability performance, attributed to a higher exposure of (001) facets, together with stability and reusability.

The objective of this paper is to study the monoid of all partial
transformations of a finite set that preserve a uniform partition. In addition
to proving that this monoid is a quotient of a wreath product with respect to a
congruence relation, we show that it is generated by 5 generators, we compute
its order and determine a presentation on a minimal generating set.

Software developers are expected to protect concurrent accesses to shared regions of memory with some mutual exclusion primitive that ensures atomicity properties to a sequence of program statements. This approach prevents data races but may fail to provide all necessary correctness properties.The composition of correlated atomic operations without further synchronization may cause atomicity violations. Atomic violations may be avoided by grouping the correlated atomic regions in a single larger atomic scope. Concurrent programs are particularly prone to atomicity violations when they use services provided by third party packages or modules, since the programmer may fail to identify which services are correlated. In this paper we propose to use contracts for concurrency, where the developer of a module writes a set of contract terms that specify which methods are correlated and must be executed in the same atomic scope. These contracts are then used to verify the correctness of the main program with respect to the usage of the module(s). If a contract is well defined and complete, and the main program respects it, then the program is safe from atomicity violations with respect to that module. We also propose a static analysis based methodology to verify contracts for concurrency that we applied to some real-world software packages. The bug we found in Tomcat 6.0 was immediately acknowledged and corrected by its development team.

Event-Condition-Action languages are the commonly accepted para- digm to express and model the behavior of reactive systems. While numerous Event-Condition-Action languages have been proposed in the literature, differing e.g. on the expressivity of the language and on its operational behavior, existing Event-Condition-Action languages do not generally support the action compo- nent to be formulated as a transaction. In this paper, sustaining that it is important to execute transactions in reactive languages, we propose an Event-Condition- Transaction language, based on an extension of Transaction Logic. This exten- sion, called Transaction Logic with Events (T Rev ), combines reasoning about the execution of transactions with the ability to detect complex events. An impor- tant characteristic of T Rev is that it takes a choice function as a parameter of the theory, leaving open the behavioral decisions of the logic, and thereby allowing it to be suitable for a wide-spectrum of application scenarios like Semantic Web, multi-agent systems, databases, etc. We start by showing how T Rev can be used as an Event-Condition-Action language where actions are considered as transac- tions, and how to differently instantiate this choice function to achieve different operational behaviors. Then, based on a particular operational instantiation of the logic, we present a procedure that is sound and complete w.r.t. the semantics and that is able to execute T Rev programs

n/a

Since the ratification of the Salamanca agreement in 1994 that it is the concern of schools to seek inclusive approaches that may lead all students to academic success through differentiated strategies and adaptations or curricular and environmental