Weng Kin Ho:
An operational domain-theoretic treatment of recursive types.
Eva Colebunders, Stefan De Wachter, R. Lowen:
Fixed points of contractive maps on dcpo's.
Igor V. Tarasyuk:
Equivalence relations for modular performance evaluation in dtsPBC.
A linear category of polynomial diagrams.
Computability structures, simulations and realizability.
Trace spaces of directed tori with rectangular holes.
Joachim Parrow, Johannes Borgström, Palle Raabjerg, Johannes Åman Pohjola:
Iain Phillips, Irek Ulidowski:
Event Identifier Logic.
Donald Sannella, Andrzej Tarlecki:
Property-oriented semantics of structured specifications.
Hervé Perdry, Peter Schuster:
Constructing Gröbner bases for Noetherian rings.
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, Cristian S. Calude, Karl Svozil:
A quantum random number generator certified by value indefiniteness.
Stefano Galatolo, Isaia Nisoli, Cristobal Rojas:
Probability, statistics and computation in dynamical systems.
Joint distributions, the uncertainty principle and positive distributions.
Maria Luisa Dalla Chiara, Roberto Giuntini, Giuseppe Sergioli:
Probability in quantum computation and quantum computational logics: a survey.
Toward a probabilistic biology.
Randomness in biology.
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.
Shannon entropy: a rigorous notion at the crossroads between probability, information theory, dynamical systems and statistical physics.
Foreword: special issue on structure transformation.
Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski:
Processes and unfoldings: concurrent computations in adhesive categories.
Karsten Gabriel, Benjamin Braatz, Hartmut Ehrig, Ulrike Golas:
Finitary -adhesive categories.
Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
RPO semantics for mobile ambients.
Ulrike Golas, Annegret Habel, Hartmut Ehrig:
Multi-amalgamation of rules with application conditions in -adhesive categories.
Hartmut Ehrig, Ulrike Golas, Annegret Habel, Leen Lambers, Fernando Orejas:
-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, Fernando Orejas:
Formal analysis of model transformations based on triple graph grammars.
Frank Hermann, Andrea Corradini, Hartmut Ehrig:
Analysis of permutation equivalence in -adhesive transformation systems with negative application conditions.
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, Yi Chai, Wei Fu:
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.
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.
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.
Interactive Realizability for second-order Heyting arithmetic with EM1 and SK1.
David I. Spivak:
Database queries and constraints via lifting problems.
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.