Results 281 to 290 of about 228,440 (334)
A Metric for the Entropic Purpose of a System. [PDF]
Entropy (Basel)Parker MC, Jeynes C, Walker SD.
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Integrating semi-formal and formal software specification techniques
Information Systems, 1998In this paper, we report on the integration of informal, semiformal and formal system specification techniques. We present a framework for system specification called TRADE, within which several well-known semiformal specification techniques are placed.
Wieringa, Roelf J., Dubois, Eric
openaire +2 more sources
2010
This volume contains the proceedings of iFM 2010, the 8th International Conference on Integrated Formal Methods. The conference took place during October 12-14, 2010, at the INRIA research center and the LORIA laboratory in Nancy, France. Previous editions were held in York, Dagstuhl, Turku, Canter- bury, Eindhoven, Oxford, and Düsseldorf.
Méry, Dominique, Merz, Stephan
openaire +3 more sources
This volume contains the proceedings of iFM 2010, the 8th International Conference on Integrated Formal Methods. The conference took place during October 12-14, 2010, at the INRIA research center and the LORIA laboratory in Nancy, France. Previous editions were held in York, Dagstuhl, Turku, Canter- bury, Eindhoven, Oxford, and Düsseldorf.
Méry, Dominique, Merz, Stephan
openaire +3 more sources
2016
In this chapter we introduce the notion of a formal matrix integral, which is very useful for combinatorics, as it turns out to be identical to the generating function of maps of Chap ...
openaire +1 more source
In this chapter we introduce the notion of a formal matrix integral, which is very useful for combinatorics, as it turns out to be identical to the generating function of maps of Chap ...
openaire +1 more source
Formalizing Application Integration Patterns
2018 IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC), 2018Enterprise Integration Patterns (EIPs) and their extensions denote the informally described building blocks of current Enterprise Application Integration (EAI) systems. Although a recent approach strives to provide an EIP formalization based on Coloured Petri Nets (CPNs), it does not completely consider EAI requirements, such as complex data ...
Ritter, Daniel +4 more
openaire +2 more sources
Integral Formalism for Gauge Fields
Physical Review Letters, 1974Summary: A new integral formalism for gauge fields is described. Further developments are presented, including gravitation equations related to, but not identical with, Einstein's equations.
openaire +1 more source
Integrating formalism and pragmatism
Proceedings of the 1997 workshop on New security paradigms - NSPW '97, 1997Two major schools have dominated computer security research and thinking for the last twenty to twenty-five years - formalism and pragmatism. In spite of all their work, progress has been limited, system designers do not incorporate security principles and security is seen as a detriment to functionality.
openaire +1 more source
Evolutionary Music Composer integrating Formal Grammar
Proceedings of the 9th annual conference companion on Genetic and evolutionary computation, 2007In this paper, an autonomous music composition tool is developed using Genetic Algorithms. The production is enhanced by integrating formal grammar rules. A formal grammar is a collection of either or both descriptive or prescriptive rules for analyzing or generating sequences of symbols. In music, these symbols are musical parameters such as notes and
Yaser M. A. Khalifa +4 more
openaire +1 more source