Scandinavian Thins on Top of Cake: New and Improved Algorithms for Stacking and Packing

We show how to compute the smallest rectangle that can enclose any polygon, from a given set of polygons, in nearly linear time; we also present a PTAS for the problem, as well as a linear-time algorithm for the case when the polygons are rectangles themselves. We prove that finding a smallest convex polygon that encloses any of the given polygons is NP-hard, and give a PTAS for minimizing the perimeter of the convex enclosure. We also give efficient algorithms to find the smallest rectangle simultaneously enclosing a given pair of convex polygons.     

A universal design resource for rich Internet applications based on design patterns

Rich Internet applications have removed most of the constraints of Web 1.0 while giving users more responsiveness and advanced browsing and interaction experiences. These new horizons, however, raise many challenges for people with disabilities or using limited hardware and software technologies, whose risk to be excluded from the benefits deriving from advanced web applications. To address this problem, WCAG 2.0 guidelines have been released as the newest World Wide Web Consortium recommendation for accessible web content, and WAI-ARIA is a candidate recommendation which provides reference specifications for accessible rich Internet applications. However, both specifications contain a huge amount of information that often discourages most web designers from dealing with accessibility issues. Moreover, guidelines are suitable and usually adopted to judge a design solution a posteriori, but they do not suggest how to face a design problem constructively. This paper proposes a design pattern language for accessibility. The language can be regarded as a universal design resource for helping web designers create accessible rich Internet applications compliant with the most recent standards. Knowledge representation through design patterns reflects the problem-solving approach usually followed by software and web designers, while pattern organization in a structured language aims to guide web designers throughout the design process. The language has been implemented as an accessible rich Internet application itself, thus allowing designers with disabilities to participate in web design. In order to evaluate the design pattern language, a three-step process was carried out including: (1) a heuristic analysis with a group of human–computer interaction experts, (2) a survey study with a group of web designers, and (3) a validation on the field with two designers who have been requested to apply the language in real design cases.     

The influence of poly(3,4-ethylenedioxythiophene) modification on the transport properties and fuel cell performance of Nafion-117 membranes

Nafion-117/PEDOT composite membranes were synthesized by in situ chemical polymerization of 3,4-ethylenedioxythiophene (EDOT) using ammonium persulfate as an oxidant. The polymerization of EDOT in Nafion membranes for various EDOT/oxidant treatment sequences was studied for the first time. PEDOT introduction leads to a slight decrease in both the ion-exchange capacity and water uptake of the composite membranes, as well as to an increase in cationic transport. Membranes initially treated with an oxidant exhibit better conductivity and lower hydrogen permeability. The effect of both modification of Nafion-117 membranes by PEDOT and hot-pressing of hydrogen-oxygen membrane-electrode assemblies (MEAs) on the performance of proton-exchange membrane fuel cells was studied. The maximum power density of the fabricated MEAs increases 1.5-fold: from 510 (for a pristine Nafion-117 membrane) to 810 mW cm⁻² (for a membrane modified by PEDOT). The current density at a voltage of 0.4 V reaches 1248 and 2246 mA cm⁻², respectively.     

A High-Precision Time Handling Library

An appropriate assessment of end-to-end network performance presumes highly efficient time tracking and measurement with precise time control of the stopping and resuming of program operation. In this paper, a novel approach to solving the problems of highly efficient and precise time measurements on PC-platforms and on ARM-architectures is proposed. A new unified High Performance Timer and a corresponding software library offer a unified interface to the known time counters and automatically identify the fastest and most reliable time source, available in the user space of a computing system. The research is focused on developing an approach of unified time acquisition from the PC hardware and accordingly substituting the common way of getting the time value through Linux system calls. The presented approach provides a much faster means of obtaining the time values with a nanosecond precision than by using conventional means. Moreover, it is capable of handling the sequential time value, precise sleep functions and process resuming. This ability means the reduction of wasting computer resources during the execution of a sleeping process from 100% （busy-wait） to 1-1.5%, whereas the benefits of very accurate process resuming times on long waits are maintained.     

Disjunctive databases for representing repairs

This paper addresses the problem of representing the set of repairs of a possibly inconsistent database by means of a disjunctive database. Specifically, the class of denial constraints is considered. We show that, given a database and a set of denial constraints, there exists a (unique) disjunctive database, called canonical, which represents the repairs of the database w.r.t. the constraints and is contained in any other disjunctive database with the same set of minimal models. We propose an algorithm for computing the canonical disjunctive database. Finally, we study the size of the canonical disjunctive database in the presence of functional dependencies for both subset-based repairs and cardinality-based repairs.     

Effectiveness of participatory ergonomic interventions on health outcomes: a systematic review

The objective of this study was to conduct a systematic review of the literature on the effectiveness of participatory ergonomic (PE) interventions for improving workers' health. The search strategy targeted six electronic databases and identified 442 potential articles. Each article was examined by pairs of reviewers for relevance (assessed a participative ergonomic workplace intervention, with at least one health outcome, published in English in peer reviewed literature). Twenty-three articles met relevance criteria and were then appraised for methodological strength. Using a best evidence synthesis approach, 12 studies that were rated as 'medium' or higher provided partial to moderate evidence that PE interventions have a positive impact on: musculoskeletal symptoms, reducing injuries and workers' compensation claims, and a reduction in lost days from work or sickness absence. However, the magnitude of the effect requires more precise definition.     

Approximation processes for resolvent operators

We introduce general sequences of linear operators obtained from classical approximation processes which are useful in the approximation of the resolvent operators of the generators of suitable C ₀-semigroups. The main aim is the representation of the resolvent operators in terms of classical approximation operators. Work performed under the auspices of PRIN 2006–07 “Kolmogorov equations” (coordinator G. Da Prato)     

Highly Conductive MXene/PEDOT:PSS-Integrated Poly(N-Isopropylacrylamide) Hydrogels for Bioinspired Somatosensory Soft Actuators

Sophisticated sensing and actuation capabilities of many living organisms in nature have inspired scientists to develop biomimetic somatosensory soft robots. Herein, the design and fabrication of homogeneous and highly conductive hydrogels for bioinspired somatosensory soft actuators are reported. The conductive hydrogels are synthesized by in situ copolymerization of conductive surface-functionalized MXene/Poly(3,4-ethylenedioxythiophene)/poly(styrenesulfonate) ink with thermoresponsive poly(N-isopropylacrylamide) hydrogels. The resulting hydrogels are found to exhibit high conductivity (11.76 S m⁻¹), strain sensitivity (GF of 9.93), broad working strain range (≈560% strain), and high stability after over 300 loading–unloading cycles at 100% strain. Importantly, shape-programmable somatosensory hydrogel actuators with rapid response, light-driven remote control, and self-sensing capability are developed by chemically integrating the conductive hydrogels with a structurally colored polymer. As the proof-of-concept illustration, structurally colored hydrogel actuators are applied for devising light-driven programmable shape-morphing of an artificial octopus, an artificial fish, and a soft gripper that can simultaneously monitor their own motions via real-time resistance variation. This work is expected to offer new insights into the design of advanced somatosensory materials with self-sensing and actuation capabilities, and pave an avenue for the development of soft-matter-based self-regulatory intelligence via built-in feedback control that is of paramount significance for intelligent soft robotics and automated machines.     

Multimedia ontology population through semantic analysis and hierarchical deep features extraction techniques

Knowledge and Information Systems - The rapid increase of available data in different complex contexts needs automatic tasks to manage and process contents. Semantic Web technologies represent the...     

A linear algorithm for conformal 3D-to-flatness coordinates conversion

Data conversion from a 3D raster to spiral coordinates is the key function in the scanning process for Roll Powder Sintering (RPS) additive manufacturing technology. Conversion process is especially important, as it produces the basis for a processed object. There are many equations for such conformal transformation, but there is still room to improve the computation efficiency. This paper presents an efficient conversion algorithm, which processes 3D objects and linear transforming it into rolling ribbon. The new algorithm has several significant advantages over the old ones due to applying only one main linear equation. The program based on the linear algorithm is simpler, more compact and faster in comparison to other programs which use trigonometric, transcendental or other equations. The proposed algorithm has been developed and extensively tested on several parts of computer-aided design models for RPS processing.