fturkmen.blogspot.com
Fatih Turkmen's Blog: March 2011
http://fturkmen.blogspot.com/2011_03_01_archive.html
The phrase I like very much : "Small steps into big dreams .". Thursday, March 10, 2011. I started using JPF (Java Path Finder), an extensive verification tool. It can be found at : http:/ babelfish.arc.nasa.gov/trac/jpf. Another versioning system/tool with a distributed architecture (not available in SVN), Mercurial: http:/ mercurial.selenic.com/. Subscribe to: Posts (Atom). View my complete profile.
fturkmen.blogspot.com
Fatih Turkmen's Blog: MaxSAT and Minimally Unsatisfiable Subformulas (Cores) [3]
http://fturkmen.blogspot.com/2013/03/maxsat-and-minimally-unsatisfiable.html
The phrase I like very much : "Small steps into big dreams .". Monday, March 4, 2013. MaxSAT and Minimally Unsatisfiable Subformulas (Cores) [3]. Coming Back to MUSes and MSSes. An important point here related to computation of MUSes from MSSes, in an analogy to computation of explanations from relaxations as discussed in the previous post, is the following from [1]: because computing SAT is in NP (i.e. relatively easy) and UnSAT is CoNP, MSSes are computed first. Of clauses contained in a MUS. By using ...
fturkmen.blogspot.com
Fatih Turkmen's Blog: November 2012
http://fturkmen.blogspot.com/2012_11_01_archive.html
The phrase I like very much : "Small steps into big dreams .". Wednesday, November 7, 2012. Why my "touch" lights works without touching? I have a nice touch light that I had bought some time ago. It works with a simple voltage change logic but recently started switching automatically (better to say unexpectedly). I started googling whether there are some other people having the same problem and I found out it is a well known problem. Here is one of the useful links :. I hope you also find it useful.
fturkmen.blogspot.com
Fatih Turkmen's Blog: February 2013
http://fturkmen.blogspot.com/2013_02_01_archive.html
The phrase I like very much : "Small steps into big dreams .". Thursday, February 28, 2013. MaxSAT and Minimally Unsatisfiable Subformulas (Cores) [2]. Explanations and Relaxations in CSP. 8712; C E. Is (subset) minimal if the following conditions hold:. Removal of a constraint c from R is satisfiable, i.e. R {c} is consistent. Notice that a subset minimal explanation is not cardinality minimal explanation. A cardinality minimal explanation is a subset minimal explanation that the minimum number of c...
fturkmen.blogspot.com
Fatih Turkmen's Blog: June 2012
http://fturkmen.blogspot.com/2012_06_01_archive.html
The phrase I like very much : "Small steps into big dreams .". Monday, June 25, 2012. Changing Background Color of an Image in GIMP. Recently I needed to use a simple picture in my presentation. However, the picture had its own background color which was annoying for the presentation template. What I did is the following:. 1 I opened the picture in GIMP. 2 There is a nice set of selection tools in GIMP. I used scissor selection tool to choose the relevant parts of my picture. Friday, June 15, 2012.
fturkmen.blogspot.com
Fatih Turkmen's Blog: August 2012
http://fturkmen.blogspot.com/2012_08_01_archive.html
The phrase I like very much : "Small steps into big dreams .". Thursday, August 2, 2012. Four key factors in food selection. Subscribe to: Posts (Atom). View my complete profile. Four key factors in food selection.
fturkmen.blogspot.com
Fatih Turkmen's Blog: September 2012
http://fturkmen.blogspot.com/2012_09_01_archive.html
The phrase I like very much : "Small steps into big dreams .". Friday, September 7, 2012. Simple image processing with Java. Java has a rich set of libraries for manipulating images. I just use very basic features for the time being and I wanted to put a note here for the newcomers like me. To my understanding, Java uses a protocol when loading a resource ( url = getClass().getResource(fileName). And images "should" be considered as resources (ImageIO.read( url. Subscribe to: Posts (Atom).
fturkmen.blogspot.com
Fatih Turkmen's Blog: MaxSAT and Minimally Unsatisfiable Subformulas (Cores) [4]
http://fturkmen.blogspot.com/2013/03/maxsat-and-minimally-unsatisfiable_5.html
The phrase I like very much : "Small steps into big dreams .". Tuesday, March 5, 2013. MaxSAT and Minimally Unsatisfiable Subformulas (Cores) [4]. And i s the follow ing. 8712; F and Var(c)}. Th e set. Is basically the set of clauses from F, that contains only the variables in V. By using the not ions defined above, a subformula. Of a given F. Is said to be a VMUS if the following con ditions hold:. F is UnSAT and V. F v is unSAT. 1] presents two variations of VMUSes:. To be continued .
fturkmen.blogspot.com
Fatih Turkmen's Blog: Two's complement, bitwise operations, old school info:)
http://fturkmen.blogspot.com/2013/01/twos-complement-bitwise-operations-old.html
The phrase I like very much : "Small steps into big dreams .". Sunday, January 13, 2013. Two's complement, bitwise operations, old school info:). When I was playing with a Java library, I realized that I need to refresh some prehistoric information. The bitwise operations in Java :. Http:/ www.leepoint.net/notes-java/data/expressions/bitops.html. Then I found myself looking integer representations in binary formats (4Bytes) that are useful to understand the effects of bitwise operations:.
SOCIAL ENGAGEMENT