Abstract: A type system employing structural subtyping is disclosed herein. A core type system supports several structural types, such as stream, choice, intersection and sequence. Also part of the core type system is a new invariant type, which denotes values whose dynamic type is the same as its static type, and type restrictions for limiting a range of a base type. Furthermore, a streamlined structural version of delegates, called structural delegates and a validation method thereof are introduce into the type system. To further facilitate type safety, strict statically checked interface casts are introduced.

Abstract: A type system employing structural subtyping is disclosed herein. A core type system supports several structural types, such as stream, choice, intersection and sequence. Also part of the core type system is a new invariant type, which denotes values whose dynamic type is the same as its static type, and type restrictions for limiting a range of a base type. Furthermore, a streamlined structural version of delegates, called structural delegates and a validation method thereof are introduce into the type system. To further facilitate type safety, strict statically checked interface casts are introduced.

Abstract: A method for preparing a carbon nanotube (CNT)/polyolefin composite by a water-crosslinking reaction and its preparation method are disclosed. Taking an embodiment for example, a carbon nanotube, an organic unsaturated silane and a plastic material are provided, and then the carbon nanotube and the organic unsaturated silane are mixed uniformly by a dispersant. The mixture is bonding with the plastic material by the silicon of organic unsaturated silane. A composite provided with a better combination of carbon nanotube and plastic material is generated by the method of the present invention.

Abstract: The recycled thermosetting flour composites and method for preparing the same are disclosed. The silane coupling agent is used as a coincidental bridge between recycled thermosetting flour and plastic materials, to apparently promote the mechanical properties of composites by linking with each other. As a result, the recycled polyolefin and recycled thermosetting flour are applied through interfacial modification, coupling, modification, mixing and granulating process to generate a composite with better mechanical properties and recycle the resource.

Abstract: A system and method for interfacing additional translation logic via composer(s) to a compiler to extend the capabilities of the compiler is provided. Generally, composer(s) can be software libraries that provide employment of componentization and polymorphism to compiler add-ons in order to extend compiler capabilities. One or more composers can be accessible to the compilation process by reference(s) made in a source code file. For example, additional translation logic for data types and/or expressions (e.g., markup language) created after compiler design can be made accessible to a compiler via composer(s), thus extending the existing compiler. The present invention mitigates problems associated with conventional compiler extending schemes and affords for compile code optimization without having to consider substantially all of the operations of a single query.

Abstract: An application program interface (API) provides a set of functions that make available support for processing XML documents for application developers who build Web applications on Microsoft Corporation's .NET™ platform.

Abstract: A type system employing structural subtyping is disclosed herein. A core type system supports several structural types, such as stream, choice, intersection and sequence. Also part of the core type system is a new invariant type, which denotes values whose dynamic type is the same as its static type, and type restrictions for limiting a range of a base type. Furthermore, a streamlined structural version of delegates, called structural delegates and a validation method thereof are introduce into the type system. To further facilitate type safety, strict statically checked interface casts are introduced.

Abstract: An application program interface (API) provides a set of functions that make available support for processing XML documents for application developers who build Web applications on Microsoft Corporation's .NET™ platform.

Abstract: This invention relates to a device which is multilayer LEDs based on the commonly used high-efficiency electroluminescent conjugated polymers and can emitte the whole spectrum by varying voltage; wherein the structure of the device comprises a transparent electrode (TE) or a hole injection layer (HIL), several organic layers and an uppermost electron injection layer (EIL), characterized in choosing material of conjugated polymers with proper electron affinity (EA) and ionization potential (IP) for the organic layers.

Abstract: The present invention relates to a system and methodology to facilitate XML data communications and processing. A diffgram data structure is provided that includes one or more states of a plurality of data records. The state information can be determined by examining one or more data sources for differences from one or more reference data sources. If differences are detected between the data sources, the diffgram can be constructed in an XML compatible format with both previous state indications and current state indications that describes the state differences between the data sources. Error information and/or other administrative information or codes can also be provided to facilitate database management and/or processing.

Abstract: A polymeric light emitting diode (PLED) device comprises: a substrate; a positive electrode formed above the substrate; a hole transportation layer formed above the positive electrode; an organic light emitting composite layer formed above the hole transportation layer, comprising a plurality of organic light emitting layers, wherein every organic light emitting layer has an polymeric host material with a higher energy gap, and at least one of the organic light emitting layers is doped with an polymeric material with a lower energy gap; and a negative electrode formed above the organic light emitting composite layer.

Abstract: The present invention relates to a system and methodology to facilitate XML data communications and processing. A diffgram data structure is provided that includes one or more states of a plurality of data records. The state information can be determined by examining one or more data sources for differences from one or more reference data sources. If differences are detected between the data sources, the diffgram can be constructed in an XML compatible format with both previous state indications and current state indications that describes the state differences between the data sources. Error information and/or other administrative information or codes can also be provided to facilitate database management and/or processing.

Abstract: A system and method are provided for modeling structured, semi-structured, and unstructured data all within a single instance of a user defined type (UDT) within a database store. In particular, the XML data model is extended to fields of a UDT. As a result, the properties of the XML data model—such as document order and document structure—can be preserved within instances of a UDT. Moreover, code representing object behavior (i.e., methods that can be invoked on an object in managed code) can be added to the UDT to operate on an XML field, as well as non-XML fields of the UDT. This enables a framework for adding business logic to XML data. The content model of the XML data can be optionally described using XML schema documents associated with the XML fields of the UDT.

Abstract: A system and method for employing a programming language based on structural types on top of a nominal type runtime environment is disclosed. The system utilizes adapters and coercive subtyping to achieve precise typing while preserving aliasing. Furthermore, the system employs a universal value representation to achieve cross-assembly type equivalence.

Abstract: A system and method for interfacing additional translation logic via composer(s) to a compiler to extend the capabilities of the compiler is provided. Generally, composer(s) can be software libraries that provide employment of componentization and polymorphism to compiler add-ons in order to extend compiler capabilities. One or more composers can be accessible to the compilation process by reference(s) made in a source code file. For example, additional translation logic for data types and/or expressions (e.g., markup language) created after compiler design can be made accessible to a compiler via composer(s), thus extending the existing compiler. The present invention mitigates problems associated with conventional compiler extending schemes and affords for compile code optimization without having to consider substantially all of the operations of a single query.

Abstract: An object-oriented programming language with integrated query powers for both SQL and XML is disclosed. Portions of SQL select statement as well as XPath have been tightly integrated into a compiler and type system to provide for strongly typed programming and seamless access to both SQL and XML data.

Abstract: A type system employing structural subtyping is disclosed herein. A core type system supports several structural types, such as stream, choice, intersection and sequence. Also part of the core type system is a new invariant type, which denotes values whose dynamic type is the same as its static type, and type restrictions for limiting a range of a base type. Furthermore, a streamlined structural version of delegates, called structural delegates and a validation method thereof are introduce into the type system. To further facilitate type safety, strict statically checked interface casts are introduced.

Abstract: A system and method for enriching object oriented programming languages by employing XML literals, embedded expressions, and a flexible validator is provided. Object instantiation is accomplished by employing XML literals with optional embedded expressions. The XML literals themselves provide a means for concise programmatic denotation, which facilitates coding and debugging of XML data. XML embedded expressions, inter alia, allow complex objects to be constructed dynamically. The validation system and method provides flexible validation for the XML literals and embedded expressions using inference rules to describe when a literal expression is valid and what the resulting witness or proof is for the value denoted by the literal.

Abstract: A method is disclosed for querying a hierarchically structured document embodied in a data stream. A query specifies desired data to be obtained from the document and reference data from which the desired data may be determined by way of reference thereto. The reference data specified in the query is verified to occur in the passing data stream prior to the desired data, and the passing data stream is examined. The reference data in the passing data stream is located and thereafter, and with reference to the located reference data, the desired data in the passing data stream is located and outputted.

Abstract: An application program interface (API) provides a set of functions that make available support for processing XML documents for application developers who build Web applications on Microsoft Corporation's .NET™ platform.