effective-modeling.org
Effective Modeling: Hybrid Modeling Languages (HyML) @ Rice (May 7-8, 2015)
http://www.effective-modeling.org/2015/04/hybrid-modeling-languages-hyml-rice-may_26.html
Supported by the US NSF and the Swedish KK Foundation. Sunday, April 26, 2015. Hybrid Modeling Languages (HyML) @ Rice (May 7-8, 2015). Thursday May 7th, 2015. 8:30 - The Acumen Project. Halmstad University and Rice University. 9:30 - Modeling Aspects of Robot Arms and Automated Vehicles. 10:15 - Simulation-guided Formal Analysis. 11:30 - Formal Synthesis of Computational Kernels. 1:30 - Coinduction in Logic Programming:. Proof Theoretic Foundations of Normal Logic Programs. University of Texas at Dallas.
effective-modeling.org
Effective Modeling: Finding Zeno
http://www.effective-modeling.org/2013/06/finding-zeno.html
Supported by the US NSF and the Swedish KK Foundation. Monday, June 10, 2013. Remember the story about Zeno's paradox, with Achilles and the tortoise? Well, now we know how to do a computer simulation of that story :-). Last week our first paper on enclosures and hybrid systems (entitled, " Enclosing the Behavior of a Hybrid System up to and Beyond a Zeno Point. Was accepted for publication at the First IEEE Conference of Cyber-Physical Systems, Networks, and Applications ( CPSNA 2013.
effective-modeling.org
Effective Modeling: Feature article at Halmstad University
http://www.effective-modeling.org/2010/12/feature-article-at-halmstad-university.html
Supported by the US NSF and the Swedish KK Foundation. Monday, December 13, 2010. Feature article at Halmstad University. About our research was featured on the front page of the website for Halmstad University. The article focused on intelligent cooperative systems, which are an important class of systems where we can expect to see significant innovation in the future. Feature article at Halmstad University. Template images by hfng.
effective-modeling.org
Effective Modeling: NAO Halmstad Group's First Experiment
http://www.effective-modeling.org/2013/05/nao-halmstad-groups-first-experiment.html
Supported by the US NSF and the Swedish KK Foundation. Sunday, May 5, 2013. NAO Halmstad Group's First Experiment. Jawad, Yingfu, and Ayonga (Texas A&M) worked hard this weekend to carry out a series of experiments based on new control code developed by the AMBER lab at Texas A&M. The new code, which aims to produce stable human-like walking, was tested on several surfaces both indoors and outdoors. The following video. Shows a walk on the asphalt between the F and R buildings:. Template images by hfng.
effective-modeling.org
Effective Modeling: Two Special Guests Visit the NAO Halmstad Group
http://www.effective-modeling.org/2013/05/two-special-guests-visit-nao-halmstad.html
Supported by the US NSF and the Swedish KK Foundation. Saturday, May 11, 2013. Two Special Guests Visit the NAO Halmstad Group. Two guests who are getting ready to graduate from Kindergarten visited Halmstad University last Friday to meet Jonson and Mörner, two members of the NAO Halmstad Group. The visit was hosted by Jonas Jonson (no relation), Alexey Taktarov, Yingfu Zeng, Jawad Masood, and Walid Taha. (See more pictures from visit. Two Special Guests Visit the NAO Halmstad Group.
elepar.blogspot.com
Elemental Parallelism: Actors and ScalPL, again
http://elepar.blogspot.com/2013/12/actors-and-scalpl-again.html
Methods for engineering correct, portable, performant, scalable software for concurrent environments (HPC, multicore, cloud, grid, distributed). Wednesday, December 11, 2013. Actors and ScalPL, again. I begin this post by noting that the price of the Scalable Planning book. Some time ago, I commented on a video by Carl Hewitt. Regarding the Actor model (primarily theoretical aspects), and I may still comment on that further. but this. Post is regarding another. From a recent Halmstad Colloquium. Infinite...
elepar.blogspot.com
Elemental Parallelism: December 2013
http://elepar.blogspot.com/2013_12_01_archive.html
Methods for engineering correct, portable, performant, scalable software for concurrent environments (HPC, multicore, cloud, grid, distributed). Wednesday, December 11, 2013. Actors and ScalPL, again. I begin this post by noting that the price of the Scalable Planning book. Some time ago, I commented on a video by Carl Hewitt. Regarding the Actor model (primarily theoretical aspects), and I may still comment on that further. but this. Post is regarding another. From a recent Halmstad Colloquium. Infinite...
effective-modeling.org
Effective Modeling: People
http://www.effective-modeling.org/p/people.html
Supported by the US NSF and the Swedish KK Foundation. Walid Taha (Director, 2010-). Robert Cartwright (Co-Director, 2010-). Adam Duracz (PhD Student, 2011-). Yingfu Zeng (PhD Student, 2012-). Kevin Atkinson (Post-doc, 2013-). Jawad Masood (Post-doc, 2013-). Feri Bartha (Post-doc, 2014-). Marcia O'Malley, Mechanical Engineering, Rice University (2010-). Aaron Ames, Mechanical Engineering, Texas A&M (2010-). Visitors (Present and Past). Eugenio Moggi (Professor, University of Genova, 2014/4/22-30).
effective-modeling.org
Effective Modeling: Hybrid Modeling Languages (HyML) @ Rice (May 7-8, 2015)
http://www.effective-modeling.org/2015/04/hybrid-modeling-languages-hyml-rice-may.html
Supported by the US NSF and the Swedish KK Foundation. Monday, April 13, 2015. Hybrid Modeling Languages (HyML) @ Rice (May 7-8, 2015). Egypt Japan University of Science and Technology. University of Texas at Dallas. University of Texas at El-Paso. Halmstad University and Rice University. The meeting consists of invited talks and discussion sessions. It will take place in room 1070. A schedule for the meeting is forthcoming. For more information, please contact Walid Taha. Template images by hfng.
SOCIAL ENGAGEMENT