TY - JOUR A1 - Niemüller, Tim A1 - Ferrein, Alexander A1 - Lakemeyer, Gerhard T1 - A Lua-based behavior engine for controlling the humanoid robot Nao JF - RoboCup 2009: Robot Soccer World Cup XIII Y1 - 2010 U6 - https://doi.org/10.1007/978-3-642-11876-0_21 N1 - Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 5949)) N1 - 13th RoboCup International Symposium, Graz, Austria, June/July, 2009 SP - 240 EP - 251 PB - Springer CY - Heidelberg ER - TY - JOUR A1 - Rens, Gavin A1 - Varzinczak, Ivan A1 - Meyer, Thomas A1 - Ferrein, Alexander T1 - A Logic for Reasoning about Actions and Explicit Observations JF - AI 2010: Advances in Artificial Intelligence 23rd Australasian Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings Y1 - 2010 U6 - https://doi.org/10.1007/978-3-642-17432-2_40 N1 - Lecture Notes in Computer Science ; 6464 SP - 395 EP - 404 PB - Springer CY - Berlin ER - TY - JOUR A1 - Nguyen, N.-H. A1 - Raatschen, Hans-Jürgen A1 - Staat, Manfred T1 - A hyperelastic model of biological tissue materials in tubular organs Y1 - 2010 N1 - ECCM 2010, IV European Conference on Computational Mechanics, Paris, France, May 16-21, 2010. SP - 1 EP - 12 ER - TY - JOUR A1 - Gerhards, Michael A1 - Belloum, Adam A1 - Berretz, Frank A1 - Sander, Volker A1 - Skorupa, Sascha T1 - A history-tracing XML-based provenance framework for workflows JF - The 5th Workshop on Workflows in Support of Large-Scale Science N2 - The importance of validating and reproducing the outcome of computational processes is fundamental to many application domains. Assuring the provenance of workflows will likely become even more important with respect to the incorporation of human tasks to standard workflows by emerging standards such as WS-HumanTask. This paper addresses this trend by an actor-based workflow approach that actively support provenance. It proposes a framework to track and store provenance information automatically that applies for various workflow management systems. In particular, the introduced provenance framework supports the documentation of workflows in a legally binding way. The authors therefore use the concept of layered XML documents, i.e. history-tracing XML. Furthermore, the proposed provenance framework enables the executors (actors) of a particular workflow task to attest their operations and the associated results by integrating digital XML signatures. KW - workflow KW - provenance KW - framework KW - containers KW - humans KW - synchronization KW - libraries KW - history KW - concrete KW - XML Y1 - 2010 SN - 978-1-4244-8989-3 U6 - https://doi.org/10.1109/WORKS.2010.5671873 N1 - The 5th Workshop on Workflows in Support of Large-Scale Science, 14 Nov. 2010, New Orleans, USA PB - IEEE CY - New York ER - TY - JOUR A1 - Bernecker, Andreas T1 - A European Private Company: Is Europe’s single legal form for SMEs close to approval? JF - Research Briefing N2 - This Research Briefing, issued in July 2010, concluded that: - Small and medium-sized enterprises (SMEs) in Europe have long called for a matching legal form valid across the EU (similar to that of the European company (SE) for large firms) - The main benefits would be the availability of uniform Europe-wide company structures, significant cost reductions for businesses and further integration of the internal market - Given the differing national views regarding the concrete features of the new legal form there is currently no sign of an agreement being reached at the European level in the short term; however, it is possible that progress will be made in negotiations during the year - The key issues being discussed in depth are company formation, transnationality and employee participation rights in the new European private company (SPE). Y1 - 2010 SN - 2193-5955 PB - Deutsche Bank Research CY - Frankfurt a. M. ER - TY - JOUR A1 - Jansen, Sebastian A1 - Behbahani, Mehdi A1 - Laumen, Marco A1 - Kaufmann, Tim A1 - Hormes, Marcus A1 - Schmitz-Rode, Thomas A1 - Behr, Marek A1 - Steinseifer, Ulrich T1 - 3D Stereo-PIV Validation for CFD-Simulation of Steady Flow through the Human Aorta using Rapid-Prototyping techniques Y1 - 2010 N1 - abstract ; IV International Symposium on Modelling of Physiological Flows, Sardinia, Italy, June 02-05, 2010 ; MPF2010 ER -