|
Sponsored Links:
Formal Methods Europe (FME) (Popularity:  )
(Score: 9.15)
http://www.fmeurope.org
Worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
Category: Science\Computer Science\Formal Methods
|
|
Abstract State Machines: A Formal Method for Specification and Verification (Popularity: )
(Score: 9.08)
http://www.eecs.umich.edu/gasm
Project attempting to bridge the gap between formal models of computation and practical specification methods.
Category: Science\Computer Science\Formal Methods
|
|
Formal Methods Educational Materials (Popularity: )
(Score: 9.08)
http://www.cs.indiana.edu/formal-methods-education/
A repository for information related to formal methods in education, including pointers to existing courses and suggestions for examples and projects.
Category: Science\Math\Logic and Foundations\Education
|
|
Langley Formal Methods (Popularity: )
(Score: 9.00)
http://shemesh.larc.nasa.gov/fm/
Working to advance the state-of-the-art in formal methods, making it practical for use on life-critical systems developed by the aerospace industry in the United States.
Category: Science\Computer Science\Formal Methods
|
|
Conference on Formal Grammar (Popularity: )
(Score: 8.62)
http://cs.haifa.ac.il/~shuly/fg/
August 3-4, 2002, Trento, Italy. Features a special session on finite-state method pertaining to formal grammar. Includes round-table panel, call for papers, important dates and program committee.
Category: Science\Social Sciences\Linguistics\Conferences
|
|
|
Tu Dimunn Pu Vini Kreol (Popularity: )
(Score: 8.53)
http://www.transcomm.ox.ac.uk/working%20papers/eriksen.pdf
The concept of creole as related to the language and people in Mauritius with subsequent application to a generalized concept of creolization.
Category: Science\Social Sciences\Linguistics\Languages
|
|
The Coq proof assistant (Popularity: )
(Score: 8.35)
http://coq.inria.fr/
Allows the user to handle calculus assertions, to check mechanically proofs of these assertions, helps to find formal proofs, extracts a certified program from the constructive proof of its formal ...
Category: Science\Math\Logic and Foundations\Computational Logic
|
|
Annotation for Lerdahl, Fred, and Jackendoff, Ray (Popularity: )
(Score: 8.33)
http://www.music.indiana.edu/som/courses/rhythm/annotations/lerdahl83.html
A brief exposition of their joint work applying insights from generative linguistics to the formal analysis of music, assuming the listener is experienced in the tonal idiom.
Category: Science\Social Sciences\Linguistics\People
|
|
Formal Methods (Popularity: )
(Score: 8.26)
http://dblp.uni-trier.de/db/conf/fm/
World Congress on Formal Methods (FM).
Category: Science\Math\Logic and Foundations\Meetings
|
|
Amsterdam Colloquium 1999 (Popularity: )
(Score: 8.16)
http://www.illc.uva.nl/AC99/
The Twelfth Amsterdam Colloquium, bringing together logicians, philosophers, linguists and computer scientists who share an interest in the formal semantic study of natural and formal languages. University of Amsterdam, the ...
Category: Science\Math\Logic and Foundations\Meetings
|
|
Althusser - a Critique: Competing Interpellations and the Third Text (Popularity: )
(Score: 7.91)
http://samvak.tripod.com/althusser.html
A critical analysis of Althusser's concept of interpellation by Sam Vankin.
Category: Science\Social Sciences\Political Science\Political Philosophy
|
|
Semac -- Semantic analysis software (Popularity: )
(Score: 7.67)
http://www.semac.be/
The concept of semantic activity that is claimed to proceed as well from single words as from word co-occurrences. This equalization rests upon graph theory.
Category: Science\Social Sciences\Methodology
|
|
Spontaneous Flow Heat Pump (Popularity: )
(Score: 7.67)
http://www.new-energy-paces.com
A concept for a heat pump that may be useful for electricity generation. The concept allegedly has a French Patent.
Category: Science\Technology\Energy\Electricity Generation and Distribution
|
|
OWL Concept Study (Popularity: )
(Score: 7.61)
http://www.eso.org/projects/owl/
[ground] ESO (the European Southern Observatory) is developing a concept of ground-based, 100-m class optical telescope christened OWL for its keen night vision and for OverWhelmingly Large.
Category: Science\Astronomy\Institutions\Observatories
|
|
UCSD's Security and Cryptography Group (Popularity: )
(Score: 7.56)
http://www.cs.ucsd.edu/groups/crypto/
Development and analysis of crypto protocols and algos, Interests: Security of systems and networks, e-commerce, computational complexity theory, Formal methods for computer security, digital signatures, incremental cryptography
Category: Science\Math\Applications\Communication Theory
|
|
Gambology (Popularity: )
(Score: 7.49)
http://www.gambology.com/
A professional casino game, casino concept, and casino promotion statistical analysis service. Papers on beatable games. Based in Las Vegas, NV, USA.
Category: Science\Math\Statistics\Companies
|
|
Chronos Shrugged: The World of Time Travel (Popularity: )
(Score: 7.46)
http://www.umich.edu/~engtt415/menu.html
explores the concept of time travel, and provides sources of information, analysis, and entertainment in the field.
Category: Science\Anomalies and Alternative Science\Time Travel
|
|
An Analysis of Carl Rogers' Theory of Personality (Popularity: )
(Score: 7.45)
http://www.wynja.com/personality/rogersff.html
Article by Dagmar Pescitelli discusses Rogers' theory of Self, Person, and the concept of the actualizing tendency.
Category: Science\Social Sciences\Psychology\Clinical and Counseling
|
|
The Concept of Regressive-Dynamic Taxation (Popularity: )
(Score: 7.43)
http://www.newtax.dp.ua/
Introduces the concept of regressive-dynamic taxation, which suggests economic growth incentives and legalization of the shadow sector in transition economy countries.
Category: Science\Social Sciences\Economics\Macroeconomics
|
|
The Concept and Teaching of Mathematical Place Value (Popularity: )
(Score: 7.40)
http://www.garlikov.com/PlaceValue.html
An explanation, using the concept of mathematical "place value", of how to teach material based on analyzing its logical and conceptual structure.
Category: Science\Math\Education\Teaching Resources
|
