default search action
Mathematical Structures in Computer Science, Volume 24
Volume 24, Number 1, February 2013
- Weng Kin Ho
:
An operational domain-theoretic treatment of recursive types. - Eva Colebunders, Stefan De Wachter, Robert Lowen:
Fixed points of contractive maps on dcpo's. - Igor V. Tarasyuk
Equivalence relations for modular performance evaluation in dtsPBC. - Pierre Hyvernat:
A linear category of polynomial diagrams.
Volume 24, Number 2, April 2014
- John Longley:
Computability structures, simulations and realizability. - Lisbeth Fajstrup
Trace spaces of directed tori with rectangular holes. - Joachim Parrow, Johannes Borgström, Palle Raabjerg, Johannes Åman Pohjola
Higher-order psi-calculi. - Iain Phillips
Event Identifier Logic. - Donald Sannella
Property-oriented semantics of structured specifications. - Hervé Perdry, Peter Schuster
Constructing Gröbner bases for Noetherian rings.
Volume 24, Number 3, June 2014
- Giuseppe Longo, Mioara Mugur-Schächter:
Preface to the special issue on developments of the concepts of randomness, statistics and probability.
- Christopher P. Porter:
Kolmogorov on the role of randomness in probability theory. - Alastair A. Abbott
A quantum random number generator certified by value indefiniteness. - Stefano Galatolo, Isaia Nisoli
Probability, statistics and computation in dynamical systems. - Leon Cohen:
Joint distributions, the uncertainty principle and positive distributions. - Maria Luisa Dalla Chiara, Roberto Giuntini
Probability in quantum computation and quantum computational logics: a survey. - Jean-Jacques Kupiec:
Toward a probabilistic biology. - Thomas Heams
Randomness in biology. - Mioara Mugur-Schächter:
On the concept of probability. - Giuseppe Longo, Mioara Mugur-Schächter:
Debate on the concept of probability, and conclusions to this special issue on developments of the concepts of randomness, statistics and probability. - Annick Lesne
Shannon entropy: a rigorous notion at the crossroads between probability, information theory, dynamical systems and statistical physics.
Volume 24, Number 4, August 2014
- Ugo Montanari:
Foreword: special issue on structure transformation.
- Paolo Baldan, Andrea Corradini
Processes and unfoldings: concurrent computations in adhesive categories. - Karsten Gabriel, Benjamin Braatz
Finitary ℳ-adhesive categories. - Filippo Bonchi
RPO semantics for mobile ambients. - Ulrike Golas
Multi-amalgamation of rules with application conditions in ℳ-adhesive categories. - Hartmut Ehrig, Ulrike Golas
ℳ-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation. - Dénes Bisztray, Reiko Heckel:
Combining termination proofs in model transformation systems. - Frank Hermann, Hartmut Ehrig, Ulrike Golas
Formal analysis of model transformations based on triple graph grammars. - Frank Hermann, Andrea Corradini
Analysis of permutation equivalence in -adhesive transformation systems with negative application conditions.
Volume 24, Number 5, October 2014
- Zhixiang Hou:
Introduction: special issue ICICTA 2012.
- Bin Jiao, Shaobin Yan:
A cooperative co-evolutionary particle swarm optimiser based on a niche sharing scheme for the flow shop scheduling problem under uncertainty. - Zhibin Liu, Aisheng Ren:
A hybrid WT-FBPNN optimisation algorithm to identify the investment risk of wind power projects. - Jianping Cai, Lujuan Shen, Fuzhen Wu:
Adaptive control of a class of non-linear systems preceded by backlash-like hysteresis. - Jinlong Wang, Can Wen, Xiaoyi Wang:
An empirical comparison of sales time series for online and offline channels for commodities in China. - Wenyu Chen, Wenzhi Xie, Ru Zeng:
Method of item recognition based on SIFT and SURF. - Hongxun Wang, Hongwei Wang, Xing Wang, Chao Wang:
Analysis of the Doppler frequency feature of aero deception active-passive-jamming. - Yumei Wu, Risheng Yang, Haifeng Li, Minyan Lu:
Bayesian theory based software reliability demonstration test method for safety critical software. - Man Sun, Aimin Yang:
Delay-dependent robust H ∞ control for neutral time-delay systems. - Guoquan Liu, Simon X. Yang
Delay-dependent robust stability criteria for stochastic neural networks of neutral-type with interval time-varying delay and linear fractional uncertainties. - Qibing Jin, Liting Cao, Kun He, Kewen Wang, Beiyan Jiang:
The design of an IMC-PID controller based on MEOTF and its application to non-square processes with time delay. - Shaomei Yang, Qian Zhu:
The GA-SA model and its application to predicting the potential of the solar power industry. - Hongbo Li, Fuchun Sun, Zengqi Sun, Changqing Yuan:
H ∞ stabilisation of networked control systems with time delays and packet losses. - Chuanliang Xia:
Liveness and boundedness analysis of Petri net synthesis. - Zhibin Qin, Huimei Li, Zhaohui Liu:
Multi-objective comprehensive evaluation approach to a river health system based on fuzzy entropy. - Hung-Cheng Chen:
Optimal fuzzy PID controller design for an active magnetic bearing system based on adaptive genetic algorithms. - Li Wang, Qi-Lin Zhu, Xiao-Fang Xu:
Optimised assignment of airport gate configurations using an immune genetic algorithm. - Jing Dai, Rui Zhou:
Research on digital predistortion based on adaptive algorithms. - Changqing Yuan, Yanhua Zhong, Jingrui Zhang, Hongbuo Li, Guojun Yang, Ying Shen:
Robust attitude tracking control scheme for a multi-body spacecraft using a radial basis function network and terminal sliding mode. - Gang Chen, Bo Sun, Xiaoming Liu, Erzhi Wang:
Robust optimisation of the spring actuator in a vacuum circuit breaker. - Yanjiang Li, Chong Tan, Jianting Lv, Xian Zhang:
Robust stability analysis of a class of uncertain neutral T-S fuzzy systems with time delay. - Dingxin Yang, Zheng Hu:
Dynamic analysis and numerical simulation of a discrete model of a bistable system.
Volume 24, Number 6, December 2014
- Federico Aschieri:
Interactive Realizability for second-order Heyting arithmetic with EM1 and SK1. - David I. Spivak:
Database queries and constraints via lifting problems. - Yohji Akama
Realizability interpretation of PA by iterated limiting PCA. - Stanislaw Szawiel, Marek W. Zawadowski
Theories of analytic monads. - Mikolaj Bojanczyk, Stanislaw Szawiel, Marek W. Zawadowski
Rigidity is undecidable. - Pierre Clairambault, Peter Dybjer:
The biequivalence of locally cartesian closed categories and Martin-Löf type theories.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:43 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: