Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
114
Ad Hoc Networks xxx (2012) xxx–xxx Contents lists available at SciVerse ScienceDirect
"... journal homepage: www.elsevier.com/locate/adhoc Enabling efficient reprogramming through reduction of executable modules ..."
Abstract
- Add to MetaCart
journal homepage: www.elsevier.com/locate/adhoc Enabling efficient reprogramming through reduction of executable modules
c © TÜB_ITAK Induced Cat1-groups
"... In this paper we dene the pullback cat1-group and show that this Pullback has a right adjoint which is the induced cat1-group. Later we show that this right adjoint is a pushout of category of cat1-groups. We calculate the Peier subgroups to nd a nite group of the source of induced cat1-groups. The ..."
Abstract
- Add to MetaCart
In this paper we dene the pullback cat1-group and show that this Pullback has a right adjoint which is the induced cat1-group. Later we show that this right adjoint is a pushout of category of cat1-groups. We calculate the Peier subgroups to nd a nite group of the source of induced cat1-groups. The generating set of Peier subgroups are also given in this paper. All results are corrected by a GAP[13] program package in [4]. This paper also contains the some computational examples which are the calculation-induced cat1-group and comparative times between the induced crossed modules and induced cat1-groups.
Industrial and Organizational Psychology, 2 (2009), 244–260. Copyright c © 2009 Society for Industrial and Organizational Psychology. 1754-9426/09 FOCAL ARTICLE Hidden in Plain Sight: The Active Ingredients of Executive Coaching
"... We propose that I/O psychologists who coach executives have overlooked psychotherapy outcome research as a source of information and ideas that can be used to improve our executive coaching practices. This research, based on thousands of studies and many meta-analyses, has converged on the conclusio ..."
Abstract
- Add to MetaCart
become status symbol (‘‘You don’t have a coach? Hmm...’’). Perhaps as cause or consequence of this change, executive coaching has exploded into a billion-dollar-plus industry (Stober & Grant, 2006; Valerio & Lee, 2004), the scent of money and interesting work attracting people with all kinds
and
, 2015
"... Effective support for custom proof automation is essential for large-scale interactive proof develop-ment. However, existing languages for automation via tactics either (a) provide no way to specify the behavior of tactics within the base logic of the accompanying theorem prover, or (b) rely on adva ..."
Abstract
- Add to MetaCart
of typed tactical primitives. We avoid the need to touch the trusted kernel type-checker of Coq by encapsulating uses of these new tactical primitives in a monad, and instrumenting Coq so that it executes monadic tactics during type inference. 1
Verification of Description Logic Knowledge and Action Bases
, 2012
"... doi:10.3233/978-1-61499-098-7-103 ..."
LumiNet An Organic Interactive Illumination Network Diploma Thesis at the Media Computing Group
"... I hereby declare that I have created this work completely on my own and used no other sources or tools than the ones listed, and that I have marked any citations accordingly. Hiermit versichere ich, dass ich die vorliegende Arbeit selbständig verfasst und keine anderen als die angegebenen Quellen un ..."
Abstract
- Add to MetaCart
I hereby declare that I have created this work completely on my own and used no other sources or tools than the ones listed, and that I have marked any citations accordingly. Hiermit versichere ich, dass ich die vorliegende Arbeit selbständig verfasst und keine anderen als die angegebenen Quellen und Hilfsmittel benutzt sowie Zitate kenntlich gemacht habe.
Results 1 - 10
of
114
