7,773 research outputs found
Jordanian Solutions of Simplex Equations
We construct for all a solution of the Frenkel--Moore --simplex
equation which generalizes the --matrix for the Jordanian quantum group.Comment: 6 page
Book review: the Scottish diaspora: understanding the forces which stimulate emigration
There are many detailed accounts of nineteenth-century emigrants, of their journeys and settlements abroad – but what of those they left behind? This book delves into the heart of Georgian Britain to explore the role that the men and women of the Scottish Borders played in the mass emigration of the early nineteenth century. Ewen Cameron finds that this study adds great depth to our understanding of one of the key themes of Scottish history. Coin, Kirk, Class and Kin: Emigration, Social Change and Identity in Southern Scotland. Melodee H. Beals. British Identities Since 1707 (Book 3). Peter Lang Publishing. 2011
Classification of the GL(3) Quantum Matrix Groups
We define quantum matrix groups GL(3) by their coaction on appropriate
quantum planes and the requirement that the Poincare series coincides with the
classical one. It is shown that this implies the existence of a Yang-Baxter
operator. Exploiting stronger equations arising at degree four of the algebra,
we classify all quantum matrix groups GL(3). We find 26 classes of solutions,
two of which do not admit a normal ordering. The corresponding R-matrices are
given.Comment: 28 pages, Late
A Generic Annotation Inference Algorithm for the Safety Certification of Automatically Generated Code
Code generators for realistic application domains are not directly verifiable in practice. In the certifiable code generation approach the generator is extended to generate logical annotations (i.e., pre- and postconditions and loop invariants) along with the programs, allowing fully automated program proofs of different safety properties. However, this requires access to the generator sources, and remains difficult to implement and maintain because the annotations are cross-cutting concerns, both on the object-level (i.e., in the generated code) and on the meta-level (i.e., in the generator). Here we describe a new generic post-generation annotation inference algorithm that circumvents these problems. We exploit the fact that the output of a code generator is highly idiomatic, so that patterns can be used to describe all code constructs that require annotations. The patterns are specific to the idioms of the targeted code generator and to the safety property to be shown, but the algorithm itself remains generic. It is based on a pattern matcher used to identify instances of the idioms and build a property-specific abstracted control flow graph, and a graph traversal that follows the paths from the use nodes backwards to all corresponding definitions, annotating the statements along these paths. This core is instantiated for two generators and successfully applied to automatically certify initialization safety for a range of generated programs
Reaching All Children? Understanding Early Care and Education Participation Among Immigrant Families: A Brief
Children born to immigrant parents often face multiple risk factors that make their participation in quality early education programs particularly beneficial--yet these children appear less likely to participate in such programs. This two-page brief summarizes the 26-page paper, Reaching All Children? Understanding Early Care and Education Participation Among Immigrant Families, part of CLASP's Breaking Down Barriers project intended to better understand and remedy the barriers immigrant families face to accessing high-quality early education programs
- …