Results 11 to 20 of about 21,188,853 (266)
Abstracting abstract machines [PDF]
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming, 2010 We describe a derivational approach to abstract interpretation that yields novel and transparently sound static analyses when applied to well-established abstract machines. To demonstrate the technique and support our claim, we transform the CEK machine of Felleisen and Friedman, a lazy variant of Krivine's machine, and the stack-inspecting CM machine ...
Van Horn, David, Might, Matthew
openaire +2 more sources
On the classification of easy quantum groups [PDF]
, 2013 In 2009, Banica and Speicher began to study the compact quantum subgroups of the free orthogonal quantum group containing the symmetric group S_n. They focused on those whose intertwiner spaces are induced by some partitions. These so-called easy quantum
Abstract In, Groups On, Moritz Weber
core +1 more source
Decompositions of complete uniform hypergraphs into Hamilton Berge cycles [PDF]
, 2014 In 1973 Bermond, Germa, Heydemann and Sotteau conjectured that if $n$ divides $\binom{n}{k}$, then the complete $k$-uniform hypergraph on $n$ vertices has a decomposition into Hamilton Berge cycles. Here a Berge cycle consists of an alternating sequence $
Abstract In Bermond +2 more
core +2 more sources
The Zero-Undetected-Error Capacity Approaches the Sperner Capacity [PDF]
, 2014 Ahlswede, Cai, and Zhang proved that, in the noise-free limit, the zero-undetected-error capacity is lower bounded by the Sperner capacity of the channel graph, and they conjectured equality.
Abstract Ahlswede +4 more
core +2 more sources
Cognitive biases, heuristics and decision-making in design for behaviour change [PDF]
, 2012 Copyright @ 2012 Social Science Electronic PublishingMuch human behaviour can be seen as decision-making, and so understanding and influencing those decision-making processes could be an important component in design for behaviour change.
Lockton, D
core +2 more sources
On the Tutte-Krushkal-Renardy polynomial for cell complexes [PDF]
, 2013 Recently V. Krushkal and D. Renardy generalized the Tutte polynomial from graphs to cell complexes. We show that evaluating this polynomial at the origin gives the number of cellular spanning trees in the sense of A. Duval, C. Klivans, and J.
Abstract Recently V. Krushkal +4 more
core +1 more source
Persuasive technology and digital design for behaviour change [PDF]
, 2012 Copyright @ 2012 Social Science Research NetworkThe convergence of the 'digital' and 'real' worlds has been rapid and transformative of everyday life, as well as design practice - to the extent that talking about 'digital design' and 'the digital context'
Lockton, D
core +2 more sources
Experimental study of embryo differentiation in angiosperms
Acta Societatis Botanicorum Poloniae, 2014 By comparison of peony and lotus embryos in in vitro culture we established differences in their morphogenetic potential. We traced in peony embryo culture: embryogenesis, embryoidogenesis, organogenesis and histogenesis, whereas the lotus embryo ...
T. B. Batygina, V. E. Vasilyeva
doaj +1 more source
Abstracts, abstracts, abstracts
Jon Stark making it all possible, 2020 Ce label assurera de trouver au minimum dans toutes les maisons ces services et une qualité d’accueil identique. En plus des services obligatoires, certains points France Services pourront proposer des services des collectivités territoriales ou d’autres partenaires (SNCF, banques), en fonction des besoins locaux.
openaire +1 more source
Journal of Agrometeorology, 2009 Investigations on population dynamics against thrips on castor was carried out during the year 2002-03 and 2003-04 at Main Oilseeds Research Station, Junagadh Agricultural University, Junagadh.
P. V. PATEL +3 more
doaj +1 more source