نتایج جستجو برای: conflict of confluence

تعداد نتایج: 21171930  

Journal: :Theoretical Computer Science 1996

Journal: :Electronic Proceedings in Theoretical Computer Science 2016

2011
Olga Runge Claudia Ermel Gabriele Taentzer

The integrated development environment AGG supports the specification of algebraic graph transformation systems based on attributed, typed graphs with node type inheritance, graph rules with application conditions, and graph constraints. It offers several analysis techniques for graph transformation systems including graph parsing, consistency checking of graphs as well as conflict and dependen...

Journal: :مدیریت ورزشی 0
محمود جمالی گله کارشناس ارشد، گروه تربیت بدنی، دانشکدۀ علوم انسانی، دانشگاه آزاد اسلامی واحد شهر کرد، شهرکرد، ایران ناهیده جباری دانشجوی دکتری، گروه مدیریت ورزشی، دانشکدۀ تربیت بدنی، دانشگاه شمال ، آمل، ایران جواد مرادی چالشتری کارشناس ارشد، گروه تربیت بدنی، دانشکدۀ علوم انسانی، دانشگاه آزاد اسلامی واحد شهر کرد، شهرکرد، ایران

coach's emotional intelligence inspires health and development of sport teams. balancing emotion and thought, emotional intelligence influences conflict conditions in workplace environment. the aim of this study was to explore the relationship between emotional intelligence and conflict management styles in the active karate coaches in isfahan province in 2012. 285 subjects were selected f...

2012
Mark Timmer Henri Hansen

Confluence reduction and partial order reduction by means of ample sets are two different techniques for state space reduction in both traditional and probabilistic model checking. This presentation provides an extensive comparison between these two methods, answering the long-standing question of how they relate. We show that, while both preserve branching time properties, confluence reduction...

Journal: :Theoretical Computer Science 1994

Journal: :Algebraic & Geometric Topology 2007

Journal: :Information and Computation 1998

Journal: :Inf. Comput. 2003
René Vestergaard James Brotherston

Reasoning Administrative Proof Layer

Journal: :Theor. Comput. Sci. 2013
Mark Timmer Jaco van de Pol Mariëlle Stoelinga

Article history: Received 7 July 2015 Accepted 12 January 2016 Available online 19 January 2016

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید