A proposal for low cross-talk square-lattice photonic crystal waveguide intersection utilizing the symmetry of waveguide modes

We propose an approach to construct waveguide intersections with broad bandwidth and low cross-talk for square-lattice photonic crystals. by utilizing a vanishing overlap of the propagation modes in the waveguides created by defects which support dipole-like defect modes. The finite-difference time-domain method is used to simulate the waveguide intersection created in the two-dimensional square-lattice photonic crystals. Over a bandwidth of 30 nm with the center wavelength at 1300 nm, transmission efficiency above 90% is obtained with cross-talk below -30 dB. Especially, we demonstrate the transmission of a 500-fs pulse at 1.3 Am through the intersection, and the pulse after transmission shows very little distortion while the cross-talk remains at low level meantime. (c) 2006 Elsevier B.V. All rights reserved.

Quasi -symmetric designs with good blocks and intersection number one

Mavron, Vassili; McDonough, T.P.; Schrikhande, M.S., (2003) 'Quasi -symmetric designs with good blocks and intersection number one', Designs Codes and Cryptography 28(2) pp.147-162 RAE2008

Program Representation Size in an Intermediate Language with Intersection and Union Types

The CIL compiler for core Standard ML compiles whole programs using a novel typed intermediate language (TIL) with intersection and union types and flow labels on both terms and types. The CIL term representation duplicates portions of the program where intersection types are introduced and union types are eliminated. This duplication makes it easier to represent type information and to introduce customized data representations. However, duplication incurs compile-time space costs that are potentially much greater than are incurred in TILs employing type-level abstraction or quantification. In this paper, we present empirical data on the compile-time space costs of using CIL as an intermediate language. The data shows that these costs can be made tractable by using sufficiently fine-grained flow analyses together with standard hash-consing techniques. The data also suggests that non-duplicating formulations of intersection (and union) types would not achieve significantly better space complexity.

Principality and Decidable Type Inference for Finite-Rank Intersection Types

Principality of typings is the property that for each typable term, there is a typing from which all other typings are obtained via some set of operations. Type inference is the problem of finding a typing for a given term, if possible. We define an intersection type system which has principal typings and types exactly the strongly normalizable λ-terms. More interestingly, every finite-rank restriction of this system (using Leivant's first notion of rank) has principal typings and also has decidable type inference. This is in contrast to System F where the finite rank restriction for every finite rank at 3 and above has neither principal typings nor decidable type inference. This is also in contrast to earlier presentations of intersection types where the status of these properties is not known for the finite-rank restrictions at 3 and above.Furthermore, the notion of principal typings for our system involves only one operation, substitution, rather than several operations (not all substitution-based) as in earlier presentations of principality for intersection types (of unrestricted rank). A unification-based type inference algorithm is presented using a new form of unification, β-unification.

Inferring Intersection Typings that are Equivalent to Call-by-Name and Call-by-Value Evaluations

We present a procedure to infer a typing for an arbitrary λ-term M in an intersection-type system that translates into exactly the call-by-name (resp., call-by-value) evaluation of M. Our framework is the recently developed System E which augments intersection types with expansion variables. The inferred typing for M is obtained by setting up a unification problem involving both type variables and expansion variables, which we solve with a confluent rewrite system. The inference procedure is compositional in the sense that typings for different program components can be inferred in any order, and without knowledge of the definition of other program components. Using expansion variables lets us achieve a compositional inference procedure easily. Termination of the procedure is generally undecidable. The procedure terminates and returns a typing if the input M is normalizing according to call-by-name (resp., call-by-value). The inferred typing is exact in the sense that the exact call-by-name (resp., call-by-value) behaviour of M can be obtained by a (polynomial) transformation of the typing. The inferred typing is also principal in the sense that any other typing that translates the call-by-name (resp., call-by-value) evaluation of M can be obtained from the inferred typing for M using a substitution-based transformation.

Finding Common Ground: A Critical Review of Land Use and Resource Management Policies in Ontario, Canada and their Intersection with First Nations

This article provides an in-depth analysis of selective land use and resource management policies in the Province of Ontario, Canada. It examines their relative capacity to recognize the rights of First Nations and Aboriginal peoples and their treaty rights, as well as their embodiment of past Crown–First Nations relationships. An analytical framework was developed to evaluate the manifest and latent content of 337 provincial texts, including 32 provincial acts, 269 regulatory documents, 16 policy statements, and 5 provincial plans. This comprehensive document analysis classified and assessed how current provincial policies address First Nation issues and identified common trends and areas of improvement. The authors conclude that there is an immediate need for guidance on how provincial authorities can improve policy to make relationship-building a priority to enhance and sustain relationships between First Nations and other jurisdictions.

The Intersection of Religious Autonomy and Religious Symbols: Setting the Stage

Two sets of issues in the area of law and religion have generated a large share of attention and controversy across a wide number of countries and jurisdictions in recent years. The first set of issues relates to the autonomy of churches and other religiously affiliated entities such as schools and social service organisations in their hiring and personnel decisions, involving the question of how far, if at all, such entities should be free from the influence and oversight of the state. The second set of issues involves the presence of religious symbols in the public sphere, such as in state schools or on public lands, involving the question of how far the state should be free from the influence of religion. Although these issues – freedom of religion from the state, and freedom of the state from religion – could be viewed as opposite sides of the same coin, they are almost always treated as separate lines of inquiry, and the implications of each for the other have not been the subject of much scrutiny. In this Introduction, we consider whether insights might be drawn from thinking about these issues both from a comparative law perspective and also from considering these two lines of cases together.

Solving a signalized traffic intersection problem with an hyperbolic penalty function

Mathematical Program with Complementarity Constraints (MPCC) finds many applications in fields such as engineering design, economic equilibrium and mathematical programming theory itself. A queueing system model resulting from a single signalized intersection regulated by pre-timed control in traffic network is considered. The model is formulated as an MPCC problem. A MATLAB implementation based on an hyperbolic penalty function is used to solve this practical problem, computing the total average waiting time of the vehicles in all queues and the green split allocation. The problem was codified in AMPL.

The essence of a tacit intersection : a heuristic inquiry into nature-based leisure and personal transformation

There are a considerable number of programs and agencies that count on the existence of a unique relationship between nature and human development. In addition, there are significant bodies of literature dedicated to understanding developmentally focused nature-based experiences. This research project was designed to flirther the understanding of this phenomenon. Consequently, the purpose of this research endeavour was to discover the essence ofthe intersection ofpersonal transformation and nature-based leisure, culminating in a rich and detailed account of this otherwise tacit phenomenon. As such, this research built on the assumption of this beneficial intersection of nature and personal transformation and contributes to the understanding ofhow this context is supporting or generating of selfactualization and positive development. Heuristic methods were employed because heuristics is concerned with the quality and essence of an experience, not causal relationships (Moustakas, 1990). Heuristic inquiry begins with the primary researcher and her personal experience and knowledge of the phenomenon. This study also involved four other coresearchers who had also experienced this phenomenon intensely. Co-researchers were found through purposeful and snowball sampling. Rich narrative descriptions of their experiences were gathered through in-depth, semi-structured interviews, and artifact elicitation was employed as a means to get at co-researchers' tacit knowledge. Each coresearcher was interviewed twice (the first interview focused on personal transformation, the second on nature) for approximately four and a half hours in total. Transcripts were read repeatedly to discern patterns that emerged from the study of the narratives and were coded accordingly. Individual narratives were consolidated to create a composite narrative of the experience. Finally, a creative synthesis was developed to represent the essence of this tacit experience. In conclusion the essence of the intersection of nature-based leisure and personal transformation was found to lie in the convergence of the lived experience of authenticity. The physical environment of nature was perceived and experienced to be a space and context of authenticity, leisure experiences were experienced as an engagement of authenticity, and individuals themselves encountered a true or authentic self that emanated from within. The implications of these findings are many, offering suggestions, considerations and implications from reconsidered approaches to environmental education to support for selfdirected human development.

Understanding the Intersection of Reformed Faith and Dutch Immigrant Culture in Ontario Independent Christian Schools: Principals’ Experiences and Perspectives

In the aftermath of World War II, a wave of Dutch Reformed immigrants arrived in Ontario, many of whom joined the Christian Reformed Church. Following familiar cultural patterns, history, and their Reformed Christian faith, these immigrants settled in Ontario with remarkable institutional completeness (Breton, 1964). They quickly established independent, parent-operated Christian schools across Ontario. The primary purpose of the schools was to educate children through a comprehensive biblically based school program, yet this religious purpose often intersected with a Dutch immigrant ethnic culture. Van Dijk (2001) states that “the schools were the most important organization in maintaining the religious and ethnic identity of Calvinists” (p. 66). In this qualitative study I explore the intersection of Reformed faith and Dutch Canadian immigrant ethnic culture in Christian schools through the experiential and professional lens of eight retired principals. Employing a theoretical framework informed by Berger’s (1967) Sacred Canopy, I suggest that the intersection of faith and culture was experienced in the schools and was embodied by the schools themselves. Findings point to this intersection being located in the participants’ experience of (a) Dutchness, (b) the struggle for Christian education, (c) the ties that bound the school community together, and (d) the cloud of witnesses that founded and continues to support and encourage the Christian school community. The study offers insight into a Dutch Reformed immigrant group’s experience carving out a niche for themselves on the educational landscape in Ontario. This study also offers suggestions on how Christian schools can broaden their canopy and become more ethnically and denominationally diverse in the future.