Hakan Kjellerstrand

@hakankj

a.k.a. hakank. Swedish Software Developer (retired) / Independent Researcher. Interested in many things, e.g. Constraint Prog., OR, AI, ML, Picat, Prob. prog.

Malmoe, Sweden
Vrijeme pridruživanja: svibanj 2008.

Tweetovi

Blokirali ste korisnika/cu @hakankj

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @hakankj

  1. 24. sij

    And see for the problem formulations.

    Prikaži ovu nit
    Poništi
  2. 24. sij

    Neng-Fa Zhou's FADL'20 talk on "Competitive Programming With Picat": . It's first a short Picat tutorial and then a nice walk through of his soiutions of the ICLP Logic Programming Competition 2019. See the Picat code here (cont)

    Prikaži ovu nit
    Poništi
  3. 22. sij

    Wrote a WordBrain solver in Picat: . WordBrain ( ) is a fun app were you are challenged to un-jumble a grid of jumbled words. The Picat program use quite a few non deterministic member/2 and backtracks find solutions.

    Poništi
  4. 20. sij

    A base version of this problem is now implemented in MiniZinc: . For experiments, I recommend to use the MiniZinc-Python program .

    Prikaži ovu nit
    Poništi
  5. 15. sij

    Last days I've modelled an interesting problem: Trying to recover the original list that generates a list of differences (the length of the origin list is unknown). Picat model: Draft report: Anyone know more about this problem?

    Prikaži ovu nit
    Poništi
  6. proslijedio/la je Tweet
    9. sij

    Save the date: our annual meeting will be in Gothenburg on February 26th!

    Poništi
  7. proslijedio/la je Tweet
    8. sij

    Add the HESS folder with NATIVE and variate implementations of the HESS algorithm to solve (approximate) MAXSAT HCP CVRP and the Hyper Loop Algorithm. SLIME4 is now compile on this project. If it is useful or like PEQNP spread the word and give me a like.

    Poništi
  8. proslijedio/la je Tweet
    2. sij

    Constrained Music Composition with PEQNP and music21 via (Defining a set of constraints for 4 voices, and find the largest piece that satisfy this constraints.)

    Poništi
  9. proslijedio/la je Tweet
    2. sij

    The HESS Algorithm is an Universal Black Box Approximator, PEQNP include SEQUENTIAL and the BINARY versions, its theoretical important because HESS is Polynomial and aproximate some NP-Complete problems beyond the INAPPROXIMABILITY RATIO. MAXSAT and TSP

    Poništi
  10. proslijedio/la je Tweet
    2. sij

    Schur Triples Problem with PEQNP Input: list of 3N distinct positive integers Question: Is there a partition of the list into N triples (𝑎𝑖,𝑏𝑖,𝑐𝑖) such that 𝑎𝑖+𝑏𝑖=𝑐𝑖 for each triple 𝑖?

    Poništi
  11. proslijedio/la je Tweet
    1. sij

    Happy New Year: Poplog 16 is ready for testing. Makes me want to install Linux in a VM :)

    Prikaži ovu nit
    Poništi
  12. 24. pro 2019.

    The "AI Debate" between Gary Marcus and Yoshua Bengio. Much about how (and if) to integrate symbolic reasoning in Deep Learning.

    Poništi
  13. proslijedio/la je Tweet
    19. pro 2019.

    MiniZinc 2.4.1 is now available from . This release fixes a few issues we found since releasing 2.4.0 last week (one of the problems was related to submitting to MOOCs from the IDE). See the change log for details.

    Poništi
  14. proslijedio/la je Tweet
    12. pro 2019.

    MiniZinc 2.4.0 is now available from . We added some interesting new features and fixed quite a few bugs (take a look at the change log).

    Poništi
  15. proslijedio/la je Tweet
    10. pro 2019.

    NeurIPS Live Streaming

    Poništi
  16. 5. pro 2019.

    Picat version 2.8 released: Download: Updates: For more examples of the nn (Neural network) module, see my (includes conversion of ARFF files).

    Poništi
  17. 5. pro 2019.

    Intressant. Jag som trodde att det skulle vara Ida Nielsen (en fantastisk bra bassist):

    Prikaži ovu nit
    Poništi
  18. 5. pro 2019.

    Tack Weather Report för att du var min mest streamade artist under årtiondet.

    Poništi
  19. 5. pro 2019.

    Tack Akademie für Alte Musik Berlin för att du tillbringat 4 timmar med mig på i år. Du är min #1.

    Prikaži ovu nit
    Poništi
  20. 30. stu 2019.

    Yesterday: * Deep Reinforcement Learning (DL course Lab 3) * Long (3.5h) "fika" discussing Prolog, Expert systems and DL * Added Three Cube Calendar (months) to my Two Cube Calendar (Martin Gardner): * And then more Deep RL. Quite a fruitful day.

    Poništi

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·