conexp-ng - ConExp-NG is a simple GUI-centric tool for the study & research of Formal Concept Analysis (FCA) that allows you to create formal contexts, draw concept lattices and explore dependencies between attributes.
מאמר העוסק במדיניות של האיחוד האירופאי בנושא של Learning Everywhere המתקיים לאורך החיים ובכל מקום.
במאמר בין היתר הוגדרו דפוסי למידה פורמליים ולא פורמליים. הושם דגש על למידה לאורך כל החיים "מעריסה לזיקנה" . האתר נמצא באמצעות חיפוש
google ב
Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. Isabelle is developed at University of Cambridge (Larry Paulson) and Technische Universität München (Tobias Nipkow). See the Isabelle overview for a brief introduction. Now available: Isabelle2008 Some notable improvements: * HOL: significant speedup of Metis prover; proper support for multithreading. * HOL: new version of primrec command supporting type-inference and local theory targets. * HOL: improved support for termination proofs of recursive function definitions. * New local theory targets for class instantiation and overloading. * Support for named dynamic lists of theorems.
This page represents the current state of an ongoing effort to collect information about existing automated reasoning systems. One objective is to provide concise useful information for people who have need for such a system and don't want to `roll their own'. Another objective is to provide a single place where information about existing systems can be accessed, thus providing an overview of the state of the art.
A Special Issue on Formal Proof
Using computers in proofs both extends mathematics with new results and creates new mathematical questions about the nature and technique of such proofs. This special issue features a collection of articles by practitioners and theorists of such formal proofs which explore both aspects.
(pp. 1363)
Thomas Hales
(pp. 1370)
Formal Proof--The Four-Color Theorem
Georges Gonthier
(pp. 1382)
Formal Proof--Theory and Practice
John Harrison
(pp. 1395)
Formal Proof--Getting Started
Freek Wiedijk
Design methods in information systems frequently create software descriptions using formal languages. Nonetheless, most software designers prefer to describe software using natural languages ...
Design methods in information systems frequently create software descriptions using formal languages. Nonetheless, most software designers prefer to describe software using natural languages ...
The "International Journal of Critical Computer-Based Systems" (IJCCBS) is a quarterly research journal by Inderscience Publishers. It focuses on engineering and verification of complex computer-based systems (where complex means large, distributed and heterogeneous) in critical applications, with special emphasis on model-based approaches and industrial case-studies. Critical computer-based systems include real-time control, fly/brake-by-wire, on-line transactional and web servers, biomedical apparels, networked devices for telecommunications, environmental monitoring, infrastructure protection, etc.
This document contains some pointers to information on Formal Methods, useful for mathematically describing and reasoning about computer-based systems, available around the world on the World Wide Web (WWW). Formal methods are a fault avoidance technique that help in the reduction of errors introduced into a system, particularly at the earlier stages of design. They complement fault removal techniques like testing.
Annotea is a W3C Semantic Web Advanced Development project that provides a framework for rich communication about Web pages through shared RDF metadata. An RDF model of bookmark classification permits multiple classification systems to be related to each
Annotea is a W3C Semantic Web Advanced Development project that provides a framework for rich communication about Web pages through shared RDF metadata. An RDF model of bookmark classification permits multiple classification systems to be related to each
The Extensible HyperText Markup Language, or XHTML, is a markup language that has the same expressive possibilities as HTML, but a stricter, more verbose syntax. Whereas HTML is an application of SGML, a very flexible markup language, XHTML is an applicat
The Extensible HyperText Markup Language, or XHTML, is a markup language that has the same expressive possibilities as HTML, but a stricter, more verbose syntax. Whereas HTML is an application of SGML, a very flexible markup language, XHTML is an applicat
"Colorless green ideas sleep furiously" is a sentence composed by Noam Chomsky in 1957 as an example of a sentence whose grammar is correct but whose meaning is nonsensical. It was used to show inadequacy of the then-popular probabilistic models of gramma
"Colorless green ideas sleep furiously" is a sentence composed by Noam Chomsky in 1957 as an example of a sentence whose grammar is correct but whose meaning is nonsensical. It was used to show inadequacy of the then-popular probabilistic models of gramma
H. Hung, and S. Wang. Biometrical journal. Biometrische Zeitschrift, 52 (6):
747-56(December 2010)5861<m:linebreak></m:linebreak>Comparacions múltiples.
G. Stumme. Conceptual Structures: Knowledge Representation as Interlingua Proc. ICCS'96, volume 1115 of LNAI, page 308-320. Heidelberg, Springer, (1996)
S. Prediger, and G. Stumme. Proc. 6th Intl. Workshop Knowledge Representation Meets Databases (KRDB'99), CEUR Workshop Proc. 21, (1999)Also in: P. Lambrix et al (Eds.): Proc. Intl. Workshop on Description Logics (DL'99). CEUR Workshop Proc. 22, 1999 http://ceur-ws.org/Vol-21.
S. Kuznetsov, and S. Obiedkov. Principles of Data Mining and Knowledge Discovery, page 289--300. Berlin, Heidelberg, Springer Berlin Heidelberg, (2001)
P. Schmitt, and I. Tonin. Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), page 47--58. IEEE Computer Society, (2007)
S. Doerfel, R. Jäschke, and G. Stumme. Formal Concept Analysis, volume 7278 of Lecture Notes in Artificial Intelligence, page 77--95. Berlin/Heidelberg, Springer, (May 2012)
R. Jäschke, and S. Rudolph. Contributions to the 11th International Conference on Formal Concept Analysis, page 19--34. Technische Universität Dresden, (May 2013)
R. Jäschke, and S. Rudolph. Contributions to the 11th International Conference on Formal Concept Analysis, page 19--34. Technische Universität Dresden, (May 2013)
S. Doerfel, R. Jäschke, and G. Stumme. Formal Concept Analysis, volume 7278 of Lecture Notes in Artificial Intelligence, page 77--95. Berlin/Heidelberg, Springer, (May 2012)
R. Jäschke, and S. Rudolph. Contributions to the 11th International Conference on Formal Concept Analysis, page 19--34. Technische Universität Dresden, (May 2013)
R. Siromoney. Graph-Grammars and Their Application to Computer Science, volume 291 of Lecture Notes in Computer Science, page 549-563. Springer, (1986)
R. Jäschke, and S. Rudolph. Contributions to the 11th International Conference on Formal Concept Analysis, page 19--34. Technische Universität Dresden, (May 2013)
S. Doerfel, R. Jäschke, and G. Stumme. Formal Concept Analysis, volume 7278 of Lecture Notes in Artificial Intelligence, page 77--95. Berlin/Heidelberg, Springer, (May 2012)
M. de Miguel. Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003., page 210--216. IEEE, (January 2003)
M. de Miguel, P. Massonet, J. Silva, and J. Briones. 2008 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC), page 563--569. IEEE, (May 2008)
S. Zhang, and S. Goddard. International Conference on Information Technology: Coding and Computing, 2005. ITCC 2005, 2, page 443-- 448 Vol. 2. IEEE, (April 2005)
A. Shaikh, R. Clarisó, U. Wiil, and N. Memon. Proceedings of the IEEE/ACM international conference on Automated software engineering, page 185--194. New York, NY, USA, ACM, (2010)
Y. Oh, D. Lee, S. Kang, and J. Lee. 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2007. MEMOCODE 2007, page 87--88. IEEE, (June 2007)
X. Liu, M. Azmoodeh, and N. Georgalas. Fifth International Workshop on Software Quality, 2007. WoSQ'07: ICSE Workshops 2007, page 7--7. IEEE, (May 2007)
S. Giesecke, J. Bornhold, and W. Hasselbring. The Working IEEE/IFIP Conference on Software Architecture, 2007. WICSA '07, page 21--21. IEEE, (January 2007)
M. Galster, A. Eberlein, and M. Moussavi. Systems, Man and Cybernetics, 2009. SMC 2009. IEEE International Conference on, page 2380--2385. (October 2009)