Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 0912.0034

Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi 2009

Gabriel Ciobanu
View original source ↗Read source document ↗Export metadata ↓

Abstract

This volume contains the accepted papers at the third Workshop on Membrane Computing and Biologically Inspired Process Calculi, held in Bologna on 5th September 2009. The papers are devoted to both membrane computing and biologically inspired process calculi, as well as to other related formalisms. The papers of this volume are selected by the programme committee due to their quality and relevance; they have defined an exciting programme highlighting interesting problems and stimulating the search for novel ways of describing related biological phenomena. In addition, we had an invited talk given by Luca Cardelli on a spatial process algebra for developmental biology. Membrane systems were introduced as a class of distributed parallel computing devices inspired by the observation that any biological system is a complex hierarchical structure, with a flow of materials and information that underlies their functioning. The emphasis is on the computational properties of the model, and it makes use of automata, languages, and complexity theoretic tools. On the other hand, certain calculi such as mobile ambients and brane calculi work with similar notions (compartments, membranes). These calculi are used to model and analyze the various biological systems. The workshop on Membrane Computing and Biologically Inspired Process Calculi brings together researchers working in these fields to present their recent work and discuss new ideas concerning the formalisms, their properties and relationships.

Explore related subjects

cs.CEcs.DCcs.FLcs.LO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Gabriel Ciobanu. 2009-11-30. Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi 2009. https://doi.org/10.4204/eptcs.11

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

A Compact Selective State-Space Model for Cross-Sectional Stock Return Ranking from Raw Intraday Bars

We present STRATA (Staggered-Timescale Residual Architecture), a 244,633-parameter sequence model that maps five trading days of raw five-minute bar and order-book data directly to a next-day cross-sectional return ranking, with no hand-crafted features. The raw-input setting has a structural obstacle: price series are non-stationary and differ across stocks by orders of magnitude, so a model easily latches onto price level rather than dynamics. STRATA addresses it with a stem of five branches--four learnable causal depthwise convolutions whose effective kernels are initialised to sum to zero, plus one cross-field linear contrast--followed by four selective state-space blocks whose decay biases are staggered across the stack and a four-path readout. Because a score that merely tilts toward common style factors scores well on raw rank correlations, every model's scores are residualised against eight price-volume style factors before any metric is computed. Trained on four years of data covering roughly one thousand mid-capitalisation Chinese A-shares and evaluated once on a held-out year, STRATA reaches a style-residualised rank information coefficient of 0.0728 (information ratio 1.128, signal long-short Sharpe 12.85), ahead of six parameter-matched sequence baselines on all four reported metrics; on rank IC the day-level paired gap against every baseline is significant at p < 0.001, and among the arms competitive on predictive power STRATA's scores are the least explained by the controls. The close-to-close target opens before the score exists: measured instead from the first executable price, the decile spread is indistinguishable from zero, while the ordering of the seven architectures is unchanged and STRATA's margin widens.

cs.CE↗
arXiv2026

Process-Aware Thickness Analysis in CAD Models using Hybrid Geometric Methods

Thickness is a critical geometric attribute in Design for Manufacturability (DFM), yet its computational analysis in CAD environments remains largely process-agnostic. Existing approaches rely either on inscribed-sphere or ray-casting methods, each carrying limitations that make them poorly suited as universal solutions across manufacturing processes. This paper presents a process-aware thickness analysis system for parts intended for molding and milling, where the geometric method is selected and its outputs interpreted according to the DFM rules meaningful to each process. For molding, the sphere-based method detects maximum thickness violations and wall non-uniformity, and segments parts into distinct thickness zones. For milling, ray-casting identifies regions of insufficient thickness and detects thin features prone to deflection or failure. Validation on representative parts demonstrates that this hybrid approach surfaces process-specific manufacturability issues, offering designers actionable geometric feedback early in the design cycle.

cs.CE↗
arXiv2026

Partitioned Co-Simulation for CAD-integrated Vibroacoustic Problems in Unbounded Domains

Vibroacoustic analysis often requires coupling structural and acoustic solvers based on different numerical formulations and discretizations, making monolithic implementations intrusive and limiting software modularity and reuse. This work presents a partitioned co-simulation framework for exterior vibroacoustic analysis that couples an Isogeometric boundary representation analysis (IBRA) structural solver with an isogeometric boundary element method (IGA-BEM) acoustic solver. The methodology operates directly on the computer-aided design (CAD) boundary representation, preserving the exact geometry throughout the analysis and supporting both weak and strong coupling between non-conforming discretizations. A key contribution is the extension of the Aitken dynamic relaxation and Interface Quasi-Newton with Inverse Least-Squares (IQN-ILS) convergence accelerators to complex-valued interface quantities, allowing the coupling iterations to account directly for both amplitude and phase information. The approach is validated using one-way and two-way coupled vibroacoustic benchmark problems involving thin-shell structures and exterior acoustic domains. The results show excellent agreement with monolithic reference solutions, while the proposed complex-valued convergence accelerators improve the robustness and convergence behavior of the strongly coupled solution procedure without compromising solution accuracy. These results demonstrate that the proposed approach provides an accurate, robust, and modular approach for CAD-integrated frequency-domain vibroacoustic analysis.

cs.CE↗