Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 1306.2019

Proceedings Fourth International Workshop on Computational Models for Cell Processes

Ion Petre
View original source ↗Read source document ↗Export metadata ↓

Abstract

The fourth international workshop on Computational Models for Cell Processes (CompMod 2013) took place on June 11, 2013 at the Åbo Akademi University, Turku, Finland, in conjunction with iFM 2013. The first edition of the workshop (2008) took place in Turku, Finland, in conjunction with Formal Methods 2008, the second edition (2009) took place in Eindhoven, the Netherlands, as well in conjunction with Formal Methods 2009, and the third one took place in Aachen, Germany, in conjunction with CONCUR 2013. This volume contains the final versions of all contributions accepted for presentation at the workshop. The goal of the CompMod workshop series is to bring together researchers in Computer Science and Mathematics (both discrete and continuous), interested in the opportunities and the challenges of Systems Biology. The Program Committee of CompMod 2013 selected 3 papers for presentation at the workshop. In addition, we had two invited talks and five informal presentations. The scientific program of the workshop spans an interesting mix of approaches to systems and even synthetic biology, encompassing several different modeling approaches, ranging from quantitative to qualitative techniques, from continuous to discrete mathematics, and from deterministic to stochastic methods. We thank our invited speakers Daniela Besozzi (Universita degli Studi di Milano, Milano, Italy) and Juho Rousu (Aalto University, Finland) for accepting our invitation and for presenting some of their recent results at CompMod 2013. The technical contributions address the mathematical modeling of the PDGF signalling pathway, the canonical labelling of site graphs, rule-based modeling of polymerization reactions, rule-based modeling as a platform for the analysis of synthetic self-assembled nano-systems, robustness analysis of stochastic systems, an algebraic approach to gene assembly in ciliates, and large-scale text mining of biomedical literature.

Explore related subjects

cs.CE

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ion Petre. 2013-06-09. Proceedings Fourth International Workshop on Computational Models for Cell Processes. https://doi.org/10.4204/eptcs.116

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↗