-
Recent Posts
-
Recent Comments
Tom Creemers on Electrical Distribution Networ… Peter Chan on About Trijntje Cornelissen… on About Another Guest Post |… on Financial Markets, Random Test… Financial Markets, R… on Testing Example (MiniZinc… Archives
- March 2011 (1)
- September 2010 (4)
- August 2010 (7)
- July 2010 (21)
Categories
- 10 Manufacturing of food products
- 10.12 Poultry Processing
- 10.9 Manufacturing of prepared animal feeds
- 19 Coke and refined petroleum
- 19.2 Refined petroleum products
- 1988
- 1991
- 1992
- 1994
- 1995
- 1996
- 1997
- 1999
- 20 Manufacture of Chemicals
- 20.2 Manufacture of pesticides and other agrocheminal products
- 2000
- 2002
- 2003
- 2005
- 2006
- 2008
- 2009
- 2010
- 25 Fabricated metal products
- 25.6 Treatment and coating of metals
- 29 Manufacture of vehicles and trailers
- 29.1 Manufacture of motor vehicles
- 30 Manufacture of other transport equipment
- 30.3 Manufacture of air and space craft
- 35 Electricity Gas Steam and Air Conditioning Supply
- 35.1 Electricity power generation transmission and distribution
- 43 Specialized Construction Activities
- 43.1 Electrical, plumbing and other construction installation activities
- 49 Land Transport
- 49.1 Passenger rail transport
- 51 Air Transport
- 51.1 Passenger Air Transport
- 56 Food and beverage service activities
- 56.1 Restaurants and mobile food service activities
- 59 Motion pictures video and TV
- 59.1 Motion pictures video and TV programmes
- 60 Broadcasting
- 60.1 Radio Broadcasting
- 60.2 TV Broadcasting
- 61 Telecommunications
- 61.1 Wired Telecommunnications
- 61.2 Wireless Telecommunications
- 66 Auxiliary to Financial and Insurance Activities
- 66.11 Administration of Financial Markets
- 86 Human Health
- 86.1 Hospital Activities
- Asides
- Assignment
- ASTAIR
- benchmark
- C Manufacturing
- CHIP
- CHIP Users Club
- Choco
- Constraints Journal
- CP Conference
- CP-AI-OR
- D Electricity Gas Steam and Air Conditioning Supply
- ECAI
- ECLiPSe
- F Construction
- H Transportation and Storage
- I Accommodation and Food Services
- industrial study
- J Information and Communications
- JAIR
- K Financial and Insurance Activities
- live application
- ModRef Workshop
- Network
- Other
- Personnel
- Practical Applications Conferences
- product/multiple installations
- prototype
- puzzle
- Q Human Health and Social Work
- Scheduling
- SICStus Prolog
- Transport
- Uncategorized
Meta
Daily Archives: September 30, 2010
Welcome to blog contributor Roberto Castañeda Lozano, whose post on Financial Markets, Random Testing and Constraint Programming describes a system he developed as part of his Master’s thesis (which won a prize by the Swedish AI Society this year). Two … Continue reading
Financial Markets, Random Testing and Constraint Programming
Nowadays, all major financial markets use computer trading systems to support their trading activities. Because failures in these systems can cause serious economic damage, reliability is a top goal in their development. The complex functionality that trading systems deliver makes … Continue reading
