Temporal kernel CCA and its application in multimodal neuronal data analysis

Data recorded from multiple sources sometimes exhibit non-instantaneous couplings. For simple data sets, cross-correlograms may reveal the coupling dynamics. But when dealing with high-dimensional multivariate data there is no such measure as the cross-correlogram. We propose a simple algorithm based on Kernel Canonical Correlation Analysis (kCCA) that computes a multivariate temporal filter which links one data modality to another one. The filters can be used to compute a multivariate extension of the cross-correlogram, the canonical correlogram, between data sources that have different dimensionalities and temporal resolutions. The canonical correlogram reflects the coupling dynamics between the two sources. The temporal filter reveals which features in the data give rise to these couplings and when they do so. We present results from simulations and neuroscientific experiments showing that tkCCA yields easily interpretable temporal filters and correlograms. In the experiments, we simultaneously performed electrode recordings and functional magnetic resonance imaging (fMRI) in primary visual cortex of the non-human primate. While electrode recordings reflect brain activity directly, fMRI provides only an indirect view of neural activity via the Blood Oxygen Level Dependent (BOLD) response. Thus it is crucial for our understanding and the interpretation of fMRI signals in general to relate them to direct measures of neural activity acquired with electrodes. The results computed by tkCCA confirm recent models of the hemodynamic response to neural activity and allow for a more detailed analysis of neurovascular coupling dynamics.     

Facets of the Fully Mixed Nash Equilibrium Conjecture

In this work, we continue the study of the many facets of the Fully Mixed Nash Equilibrium Conjecture, henceforth abbreviated as the FMNE\mathsf{FMNE} Conjecture, in selfish routing for the special case of n identical users over two (identical) parallel links. We introduce a new measure of Social Cost, defined as the expectation of the square of the maximum congestion on a link; we call it Quadratic Maximum Social Cost. A Nash equilibrium is a stable state where no user can improve her (expected) latency by switching her mixed strategy; a worst-case Nash equilibrium is one that maximizes Quadratic Maximum Social Cost. In the fully mixed Nash equilibrium, all mixed strategies achieve full support.     

打破固定／移动电信网络界限 WiMax 802．16e行动自如

WiMax最大的胜利是吸引了一群无线宽带厂商，同时通过最佳技术、标准平台和开放协议让业界对下一代宽带无线基础设施达成广泛共识。本文将从市场应用和上市时间的角度探讨WiMax带给无线宽带产业的商机，以及对于生产制造和服务业的正面影响，并剖析固网业者如何透过它进入移动服务市场以扩大营收来源。     

Towards Efficient Execution of MPI Applications on the Grid: Porting and Optimization Issues

The message passing interface (MPI) is a standard used by many parallel scientific applications. It offers the advantage of a smoother migration path for porting applications from high performance computing systems to the Grid. In this paper Grid-enabled tools and libraries for developing MPI applications are presented. The first is MARMOT, a tool that checks the adherence of an application to the MPI standard. The second is PACX-MPI, an implementation of the MPI standard optimized for Grid environments. Besides the efficient development of the program, an optimal execution is of paramount importance for most scientific applications. We therefore discuss not only performance on the level of the MPI library, but also several application specific optimizations, e.g., for a sparse, parallel equation solver and an RNA folding code, like latency hiding, prefetching, caching and topology-aware algorithms.     

Computational Repurposing of Mitoxantrone-Related Structures against Monkeypox Virus: A Molecular Docking and 3D Pharmacophore Study

Monkeypox is caused by a DNA virus known as the monkeypox virus (MPXV) belonging to the Orthopoxvirus genus of the Poxviridae family. Monkeypox is a zoonotic disease where the primary significant hosts are rodents and non-human primates. There is an increasing global incidence with a 2022 outbreak that has spread to Europe in the middle of the COVID-19 pandemic. The new outbreak has novel, previously undiscovered mutations and variants. Currently, the US Food and Drug Administration (FDA) approved poxvirus treatment involving the use of tecovirimat. However, there has otherwise been limited research interest in monkeypox. Mitoxantrone (MXN), an anthracycline derivative, an FDA-approved therapeutic for treating cancer and multiple sclerosis, was previously reported to exhibit antiviral activity against the vaccinia virus and monkeypox virus. In this study, virtual screening, molecular docking analysis, and pharmacophore ligand-based modelling were employed on anthracene structures (1-13) closely related to MXN to explore the potential repurposing of multiple compounds from the PubChem library. Four chemical structures (2), (7), (10) and (12) show a predicted high binding potential to suppress viral replication.     

Synthesis and Anticancer Evaluation of New Indole-Based Tyrphostin Derivatives and Their (p-Cymene)dichloridoruthenium(II) Complexes

New N-alkylindole-substituted 2-(pyrid-3-yl)-acrylonitriles with putative kinase inhibitory activity and their (p-cymene)Ru(II) piano-stool complexes were prepared and tested for their antiproliferative efficacy in various cancer models. Some of the indole-based derivatives inhibited tumor cell proliferation at (sub-)micromolar concentrations with IC₅₀ values below those of the clinically relevant multikinase inhibitors gefitinib and sorafenib, which served as positive controls. A focus was set on the investigation of drug mechanisms in HCT-116 p53-knockout colon cancer cells in order to evaluate the dependence of the test compounds on p53. Colony formation assays as well as experiments with tumor spheroids confirmed the excellent antineoplastic efficacy of the new derivatives. Their mode of action included an induction of apoptotic caspase-3/7 activity and ROS formation, as well as anti-angiogenic properties. Docking calculations with EGFR and VEGFR-2 identified the two 3-aryl-2-(pyrid-3-yl)acrylonitrile derivatives 2a and 2b as potential kinase inhibitors with a preferential activity against the VEGFR-2 tyrosine kinase. Forthcoming studies will further unveil the underlying mode of action of the promising new derivatives as well as their suitability as an urgently needed novel approach in cancer treatment.     

Scrubbing carbon dioxide prevents overestimation of insect mortality in long-duration static phosphine toxicity assays

Exposing insects to toxicants such as phosphine (PH₃) in sealed chambers is a common procedure in fumigant efficacy testing. During long exposures, carbon dioxide (CO₂) produced by metabolic processes of fed insects may accumulate in the vessel. As CO₂ enhances the toxicity of several fumigants, concomitant exposure of fumigant and CO₂ may lead to erroneous measurements of insect mortality and thus fumigant toxicity. In this study, the effect of a CO₂ scrubber such as soda lime (a solid formulation of wet hydroxides of calcium, sodium and potassium) or periodic flushing of the headspace, on insect mortality in static PH₃ toxicity assays was compared with an “unscrubbed” (no intervention) treatment. Soda lime was highly effective in removing CO₂ from the headspace of sealed chambers, without measurable loss of PH₃. Mortality of Sitophilus oryzae (L.) adults treated with phosphine in chambers scrubbed with soda lime or flushed (opened) daily was considerably lower than in unscrubbed chambers. Twenty grams of soda lime per litre of exposure chamber is recommended to obtain accurate static fumigant mortality results.     

共晶盐蓄冷球凝固过程的数值模拟研究

对共晶盐蓄冷球建立了物理和数学模型,利用FLUENT软件对其凝固过程进行了数值模拟研究,得到了温度场分布和相界面移动规律,分析了载冷剂温度和球径对凝固时间的影响。载冷剂温度越低,共晶盐蓄冷球的凝固时间越短,相界面移动速度越快;凝固时间与球径成正比。     

Specification and refinement of networks of asynchronously communicating agents using the assumption/commitment paradigm

This paper presents an assumption/commitment specification technique and a refinement calculus for networks of agents communicating asynchronously via unbounded FIFO channels in the tradition of Kahn.

We define two types of assumption/commitment specifications, namely simple and general specifications.

It is shown that semantically, any deterministic agent can be uniquely characterized by a simple specification, and any nondeterministic agent can be uniquely characterized by a general specification.

We define two sets of refinement rules, one for simple specifications and one for general specifications. The rules are Hoare-logic inspired. In particular the feedback rules employ invariants in the style of a traditional while-rule.

Both sets of rules have been proved to be sound and also (semantic) relative complete.

Conversion rules allow the two logics to be combined. This means that general specifications and the rules for general specifications have to be introduced only at the point in a system development where they are really needed.