Abstract This paper proposes a hybrid methodology for the evaluation of integrated inductors sensitivity against technological/geometrical parameters variation. The obtained results are used in an optimization-based design environment for integrated inductors, as a way of guaranteeing that obtained solutions are robust against parameter variation. For the inductor characterization, a lumped element model is used, where each element value is evaluated through physics based equations. The sensitivity of the inductor characterization to parameter variations is evaluated at two levels. At the physical level, the sensitivity of the model element values to technological/geometrical parameters variations is computed through an equation-based strategy. Then, the sensitivity of the inductor characterization to the model parameter variations is obtained through a simulation-based approach, where the Richardson extrapolation technique is used for the calculation of the partial derivatives. Several examples considering the evaluation of sensitivity of both inductance and quality factor of two inductors in \{UMC130\} technology are presented. Obtained results are compared against Monte-Carlo simulations.

http://docentes.fct.unl.pt/lblm/files/jbic-2015-20-821.pdf

n/a

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.

Distributed transactional memory (DTM) presents itself as a highly expressive and programmer friendly model for con- currency control in distributed programming. Current DTM systems make use of both data distribution and replication as a way of providing scalability and fault tolerance, but both techniques have advantages and drawbacks. As such, each one is suitable for different target applications, and deployment environments. In this paper we address the support of different data replication models in DTM. To that end we propose ReDstm, a modular and non-intrusive framework for DTM, that supports multiple data replication models in a general purpose programming language (Java). We show its application in the implementation of distributed software transactional memories with different replication models, and evaluate the framework via a set of well-known benchmarks, analysing the impact of the different replication models on memory usage and transaction throughput.

Distributed transactional memory (DTM) presents itself as a highly expressive and programmer friendly model for concurrency control in distributed programming. Current DTM systems make use of both data distribution and replication as a way of providing scalability and fault tolerance, but both techniques have advantages and drawbacks. As such, each one is suitable for different target applications, and deployment environments. In this paper we address the support of different data replication models in DTM. To that end we propose ReDstm, a modular and non-intrusive framework for DTM, that supports multiple data replication models in a general purpose programming language (Java). We show its application in the implementation of distributed software transactional memories with different replication models, and evaluate the framework via a set of well-known benchmarks, analysing the impact of the different replication models on memory usage and transaction throughput.

Non-steroidal anti-inflammatory drugs exert their pharmacological activity through inhibition of cyclooxygenase 1 and 2 (COX-1 and COX-2). Recent research suggests that a balanced inhibition of both COX-1 and COX-2 is the key to reduce the side-effects exhibited by COX inhibitors. We developed new benzimidazole-based compounds that showed a balanced COX inhibition, supported by molecular docking screening. The human whole blood assays demonstrated that the ester derivatives were potent inhibitors. Competitive saturation transfer difference (STD)-NMR experiments, in the presence of COX-2, using naproxen and diclofenac demonstrated that ester derivatives do not compete with diclofenac for the same binding site, but compete with the allosteric inhibitor naproxen. Combination of NMR spectroscopy with molecular docking has permitted us to detect a new naproxen-like inhibitor, which could be used for future drug development.

The evolution of technology has risen new possibilities in the so called Natural User Interfaces research area. Among distinct initiatives, several researchers are working with the existing sensors towards improving the support to gesture languages. This article tackles the recognition of gestures, using the Kinect sensor, in order to create a gesture library and support the gesture recognition processes afterwards.

A spreadsheet usually starts as a simple and single- user software artifact, but, as frequent as in other software systems, quickly evolves into a complex system developed by many actors. Often, different users work on different aspects of the same spreadsheet: while a secretary may be only involved in adding plain data to the spreadsheet, an accountant may define new business rules, while an engineer may need to adapt the spreadsheet content so it can be used by other software systems. Unfortunately, spreadsheet systems do not offer modular mechanisms, and as a consequence, some of the previous tasks may be defined by adding intrusive “code” to the spreadsheet.

In this paper we go through the design and implementation of an aspect-oriented language for spreadsheets so that users can work on different aspects of a spreadsheet in a modular way. For example, aspects can be defined in order to introduce new business rules to an existing spreadsheet, or to manipulate the spreadsheet data to be ported to another system. Aspects are defined as aspect-oriented program specifications that are dynamically woven into the underlying spreadsheet by an aspect weaver. In this aspect-oriented style of spreadsheet development, different users develop, or reuse, aspects without adding intrusive code to the original spreadsheet. Such code is added/executed by the spreadsheet weaving mechanism proposed in this paper.

In this session we review the Upper Cretaceous marine amniote records from the west coasts of North America and Africa. Recent work by our group in Angola, on the west coast of Africa, has opened up new fossiliferous localities, producing well-preserved turtles, plesiosaurs, and mosasaurs, ranging in age from Late Turonian to Late Maastrichtian. These African localities were deposited in arid latitudes and highly productive upwelling zones along the passive margin of a growing South Atlantic Ocean. The fossil record of Cretaceous marine amniotes from the West Coast of North America is relatively meager when compared to the African record and the prolific fossil beds laid down in the epicontinental seas of the Western Interior Seaway and northern Europe. Nonetheless, these localities provide an important glimpse of a marine ecosystem that developed on the active margins of a deep ocean basin. Historically considered to be depauperate and endemic, the west coast fauna was characterized by unusual forms such as Plotosaurus, arguably one of the most derived mosasaurs; however, in recent years, additional taxa have been described, revealing species diversity and ecological partitioning within these communities and in some cases, faunal interchange with other regions. The large quantity of well-preserved fossils from the west coast of Africa is influenced in part by its paleogeographic position, deposited within highly productive areas of Hadley Cell controlled upwelling zones. By contrast, the North American west coast localities have been deposited in temperate and higher latitudes since the Late Cretaceous. Nonetheless, the North American and African faunas share some common characteristics in a possessing a mix of endemic and more cosmopolitan forms. Habitat partitioning reflected in tooth form and body size is comparable between the Angolan and the North American west coast, and there is remarkable convergence in taxa which appear to exploit certain like-niches.

The use of mobile devices and their use for Internet access, for georeferentiation and services consumption had a huge increase.

Today, these devices ability to establish cooperation networks and to interact intelligently and cooperatively with the surrounding environment has growing importance.

In this paper, we propose a system, based on a model which uses the social paradigms in mobile ubiquitous interactions, capable to effectively connect and integrate these devices in order to improve the accessibility in the cities. The model is inspired in concepts from the theory of organizations and sociology, as the notions of “social role”, “ownership” and “responsibility”, to be incorporated in each device.

We present an example for applying the model in the context of accessibility in smart cities for the pedestrian traffic light automatic management.