Visual Analysis of Governing Topological Structures in Excitable Network Dynamics

To understand how topology shapes the dynamics in excitable networks is one of the fundamental problems in network science when applied to computational systems biology and neuroscience. Recent advances in the field discovered the influential role of two macroscopic topological structures, namely hubs and modules. We propose a visual analytics approach that allows for a systematic exploration of the role of those macroscopic topological structures on the dynamics in excitable networks. Dynamical patterns are discovered using the dynamical features of excitation ratio and co‐activation. Our approach is based on the interactive analysis of the correlation of topological and dynamical features using coordinated views. We designed suitable visual encodings for both the topological and the dynamical features. A degree map and an adjacency matrix visualization allow for the interaction with hubs and modules, respectively. A barycentric‐coordinates layout and a multi‐dimensional scaling approach allow for the analysis of excitation ratio and co‐activation, respectively. We demonstrate how the interplay of the visual encodings allows us to quickly reconstruct recent findings in the field within an interactive analysis and even discovered new patterns. We apply our approach to network models of commonly investigated topologies as well as to the structural networks representing the connectomes of different species. We evaluate our approach with domain experts in terms of its intuitiveness, expressiveness, and usefulness.     

Bootstrapping Inference in the IDP Knowledge Base System

Declarative systems aim at solving tasks by running inference engines on a specification, to free their users from having to specify how a task should be tackled. In order to provide such functionality, declarative systems themselves apply complex reasoning techniques, and, as a consequence, the development of such systems can be laborious work. In this paper, we demonstrate that the declarative approach can be applied to develop such systems, by tackling the tasks solved inside a declarative system declaratively. In order to do this, a meta-level representation of those specifications is often required. Furthermore, by using the language of the system for the meta-level representation, it opens the door to bootstrapping: an inference engine can be improved using the inference it performs itself.One such declarative system is the IDP knowledge base system, based on the language \(\rm FO(\cdot)^{\rm IDP}\), a rich extension of first-order logic. In this paper, we discuss how \(\rm FO(\cdot)^{\rm IDP}\) can support meta-level representations in general and which language constructs make those representations even more natural. Afterwards, we show how meta-\(\rm FO(\cdot)^{\rm IDP}\) can be applied to bootstrap its model expansion inference engine. We discuss the advantages of this approach: the resulting program is easier to understand, easier to maintain, and more flexible.     

Synthesis of slow‐wave structures based on capacitive‐loaded lines through aggressive space mapping (ASM)

This article is focused on the automated synthesis of slow‐wave structures based on microstrip lines loaded with patch capacitors. Thanks to the presence of the shunt capacitors, the effective capacitance of the line is enhanced, and the phase velocity of the structure can be made significantly smaller than the one of the unloaded line. The target is to achieve the layout of the slow‐wave structure able to provide the required slow‐wave ratio, characteristic (Bloch) impedance and electrical length (i.e., the usual specifications in the design of slow‐wave transmission lines). To this end, a two‐step synthesis method, based on the aggressive space mapping (ASM) algorithm, is proposed for the first time. Through the first ASM algorithm, the circuit schematic providing the target specifications is determined. Then, the second ASM optimizer is used to generate the layout of the structure. To illustrate the potential of the proposed synthesis method, three application examples are successfully reported. The two‐step ASM algorithm is able to provide the layout of the considered structures from the required specifications, without the need of an external aid in the process. © 2015 Wiley Periodicals, Inc. Int J RF and Microwave CAE 25:629–638, 2015.     

Too hot to carry on? Disinclination to persist at a task in a warm office environment

We investigated the effect of an elevated ambient temperature on performance in a persistence task. The task involved the coding of incorrect symbols and participants were free to decide how long to spend performing this task. Applying a between-subject design, we tested 125 students in an office-like environment in one of the three temperature conditions. The comfort condition (Predicted Mean Vote [PMV] = 0.01) featured an average air temperature of 24 °C. The elevated ambient temperature condition was 28 °C (PMV = 1.17). Condition three employed an airstream of approximately 0.8 m/s, intended to compensate for performance decrements at the elevated air temperature (28 °C, PMV = 0.13), according to Fanger’s thermal comfort equation. Participants in the warm condition were significantly less persistent compared with participants in the control and compensation conditions. As predicted by the thermal comfort equation, the airstream seemed to compensate for the higher temperature. Participants’ persistence in the compensation and comfort conditions did not differ.

Practitioner Summary: A laboratory experiment involving a simulated office environment and three ambient temperature conditions (24 °C, 28 °C and 28 °C plus airstream) showed that persistence at a task is significantly impaired at 28 °C. An airstream of 0.8 m/s at 28 °C compensated for the disinclination to persist with the task.     

Power saving through state retention in IGZO‐TFT AMOLED displays for wearable applications

We present a qHD (960 × 540 with three sub‐pixels) top‐emitting active‐matrix organic light‐emitting diode display with a 340‐ppi resolution using a self‐aligned IGZO thin‐film transistor backplane on polyimide foil with a humidity barrier. The back plane process flow is based on a seven‐layer photolithography process with a CD = 4 μm. We implement a 2T1C pixel engine and use a commercial source driver IC made for low‐temperature polycrystalline silicon. By using an IGZO thin‐film transistor and leveraging the extremely low off current, we can switch off the power to the source and gate driver while maintaining the image unchanged for several minutes. We demonstrate that, depending on the image content, low‐refresh operation yields reduction in power consumption of up to 50% compared with normal (continuous) operation. We show that with the further increase in resolution, the power saving through state retention will be even more significant.     

Citizens’ adoption of an electronic government system: towards a unified view

Sluggish adoption of emerging electronic government (eGov) applications continues to be a problem across developed and developing countries. This research tested the nine alternative theoretical models of technology adoption in the context of an eGov system using data collected from citizens of four selected districts in the state of Bihar in India. Analysis of the models indicates that their performance is not up to the expected level in terms of path coefficients, variance in behavioural intention, or the fit indices of the models. In response to the underperformance of the alternative theoretical models to explain the adoption of an eGov system, this research develops a unified model of electronic government adoption and tests it using the same data. The results indicate that the proposed research model outperforms all alternative models of technology adoption by explaining 77 % of variance in behavioural intention, with acceptable values of fit indices and significant relationships between each pair of hypothesised factors.     

Efficient Cryptosystems From $$\mathbf{2}^{{\varvec{k}}}$$-th Power Residue Symbols

Goldwasser and Micali (J Comput Syst Sci 28(2):270–299, 1984) highlighted the importance of randomizing the plaintext for public-key encryption and introduced the notion of semantic security. They also realized a cryptosystem meeting this security notion under the standard complexity assumption of deciding quadratic residuosity modulo a composite number. The Goldwasser–Micali cryptosystem is simple and elegant but is quite wasteful in bandwidth when encrypting large messages. A number of works followed to address this issue and proposed various modifications. This paper revisits the original Goldwasser–Micali cryptosystem using \(2^k\)-th power residue symbols. The so-obtained cryptosystems appear as a very natural generalization for \(k \ge 2\) (the case \(k=1\) corresponds exactly to the Goldwasser–Micali cryptosystem). Advantageously, they are efficient in both bandwidth and speed; in particular, they allow for fast decryption. Further, the cryptosystems described in this paper inherit the useful features of the original cryptosystem (like its homomorphic property) and are shown to be secure under a similar complexity assumption. As a prominent application, this paper describes an efficient lossy trapdoor function-based thereon.     

A computer-controlled near-field electrospinning setup and its graphic user interface for precision patterning of functional nanofibers on 2D and 3D substrates

Electrospinning is a versatile technique for production of nanofibers. However, it lacks the precision and control necessary for fabrication of nanofiber-based devices. The positional control of the nanofiber placement can be dramatically improved using low-voltage near-field electrospinning (LV-NFES). LV-NFES allows nanofibers to be patterned on 2D and 3D substrates. However, use of NFES requires low working distance between the electrospinning nozzle and substrate, manual jet initiation, and precise substrate movement to control fiber deposition. Environmental factors such as humidity also need to be controlled. We developed a computer-controlled automation strategy for LV-NFES to improve performance and reliability. With this setup, the user is able to control the relevant sensor and actuator parameters through a custom graphic user interface application programmed on the C#.NET platform. The stage movement can be programmed as to achieve any desired nanofiber pattern and thickness. The nanofiber generation step is initiated through a software-controlled linear actuator. Parameter setting files can be saved into an Excel sheet and can be used subsequently in running multiple experiments. Each experiment is automatically video recorded and stamped with the pertinent real-time parameters. Humidity is controlled with ±3% accuracy through a feedback loop. Further improvements, such as real-time droplet size control for feed rate regulation are in progress.     

Première analyse des mesures de propagation oblique effectuées à Gometz-La-Ville sur le signal du satellite SIRIO 1

This paper discusses the results of measurements on the emissions of the Italian satellitesirio 1, carried out at the Gometz-la-Ville earth station during a one year period in order to assess the quality of future Earth-satellite links at frequencies above 10 GHz. The contributions of rain and snow to the measured attenuation are determined. The results are compared with those obtained by theccir prediction method. The attenuation due to a wet plane radome is evaluated. The variations of polarization decoupling as a function of attenuation are compared with those predicted by theoretical models and a method for determining the quality of the liaison when the same frequency is used on two orthogonal polarizations is proposed.     

Functionalization of crosslinked polystyrene resins: 2. Preparation of nucleophilic resins containing hydroxyl or thiol functionalities

Crosslinked polystyrene resins containing thiol or hydroxyl functionalities on a fraction of their aromatic rings were prepared by reaction of crosslinked polystyryllithium with elemental sulphur or oxygen followed by reduction of the resulting polymer. Similarly, resins containing hydroxymethyl or thiomethyl functional groups were prepared from chloromethylated polystyrene by displacement of chloride in procedures involving three phase systems and the use of a phase transfer catalyst. The degree of functionalization could be controlled easily and the sulphur containing polymers were free of disulphide bonds.