Abstract: Provided herein are compounds according to Formula (I) or a pharmaceutically acceptable salt thereof, wherein R1, R2, R3, R5, and R7 are defined herein. Also provided herein are pharmaceutical compositions comprising a compound of Formula (I) as well as the use of such compounds as M4 receptor agonists.

Abstract: Disclosed herein are novel lipids that can be used in combination with other lipid components, such as helper lipids, structural lipids, and cholesterols, to form lipid nanoparticles for delivery of therapeutic agents, such as nucleic acids (e.g., circular polynucleotides), both in vitro and in vivo.

Abstract: Event processing techniques for updating a database in real time based on events in a continuous event stream are disclosed. The techniques can update the database to incorporate information from thousands of received events per second. The events can include metrics measuring milestones for an organizational process defined by a user. Moreover, multiple streams can include metrics from many tenants concurrently. The techniques include receiving a plurality of events corresponding to a time interval and identifying that two events share a value of a key attribute. The techniques then include causing to be generated an in-memory combined database record comprising a combination of first and second attribute information from the two events and the value of the key attribute. In response to a trigger signal, the techniques include transmitting a single message, based at least in part on the combined database record, to update the database.

Abstract: Described herein are donor vectors and systems for use in dual recombinase-mediated cassette exchange. Also described herein are animal models and human cells for consistent, rigorous, and facile investigation of transgene expression. Further described herein are methods of screening for therapeutic drugs using these animal models, and methods of treatment.

Abstract: Event processing techniques for updating a database in real time based on events in a continuous event stream are disclosed. The techniques can update the database to incorporate information from thousands of received events per second. The events can include metrics measuring milestones for an organizational process defined by a user. Moreover, multiple streams can include metrics from many tenants concurrently. The techniques include receiving a plurality of events corresponding to a time interval and identifying that two events share a value of a key attribute. The techniques then include causing to be generated an in-memory combined database record comprising a combination of first and second attribute information from the two events and the value of the key attribute. In response to a trigger signal, the techniques include transmitting a single message, based at least in part on the combined database record, to update the database.

Abstract: Event processing techniques for updating a database in real time based on events in a continuous event stream are disclosed. The techniques can update the database to incorporate information from thousands of received events per second. The events can include metrics measuring milestones for an organizational process defined by a user. Moreover, multiple streams can include metrics from many tenants concurrently. The techniques include receiving a plurality of events corresponding to a time interval and identifying that two events share a value of a key attribute. The techniques then include causing to be generated an in-memory combined database record comprising a combination of first and second attribute information from the two events and the value of the key attribute. In response to a trigger signal, the techniques include transmitting a single message, based at least in part on the combined database record, to update the database.

Abstract: Event processing techniques for updating a database in real time based on events in a continuous event stream are disclosed. The techniques can update the database to incorporate information from thousands of received events per second. The events can include metrics measuring milestones for an organizational process defined by a user. Moreover, multiple streams can include metrics from many tenants concurrently. The techniques include receiving, from a first user device, information identifying a group identifier for a first action object. The techniques then include assigning the identifier to the first action object and to at least one other action object.

Abstract: Event processing techniques for updating a database in real time based on events in a continuous event stream are disclosed. The techniques can update the database to incorporate information from thousands of received events per second. The events can include metrics measuring milestones for an organizational process defined by a user. Moreover, multiple streams can include metrics from many tenants concurrently. The techniques include receiving a plurality of events corresponding to a time interval and identifying that two events share a value of a key attribute. The techniques then include causing to be generated an in-memory combined database record comprising a combination of first and second attribute information from the two events and the value of the key attribute. In response to a trigger signal, the techniques include transmitting a single message, based at least in part on the combined database record, to update the database.

Abstract: Simplified methods are disclosed for preparing a catalyst coated membrane that is reinforced with a porous polymer sheet (e.g. an expanded polymer sheet) for use in solid polymer electrolyte fuel cells. The methods involve forming a solid polymer electrolyte membrane by coating membrane ionomer solution onto a first catalyst layer and then applying the porous polymer sheet to the membrane ionomer solution coating, while it is still wet, such that the membrane ionomer solution only partially fills the pores of the porous polymer sheet. A second catalyst ink is then applied which fills the remaining pores of the porous polymer sheet. Not only are such methods simpler than many conventional methods, but surprisingly this can result in a marked improvement in fuel cell performance characteristics.

Abstract: Simplified methods are disclosed for preparing a catalyst coated membrane that is reinforced with a porous polymer sheet (e.g. an expanded polymer sheet) for use in solid polymer electrolyte fuel cells. The methods involve forming a solid polymer electrolyte membrane by coating membrane ionomer solution onto a first catalyst layer and then applying the porous polymer sheet to the membrane ionomer solution coating, while it is still wet, such that the membrane ionomer solution only partially fills the pores of the porous polymer sheet. A second catalyst ink is then applied which fills the remaining pores of the porous polymer sheet. Not only are such methods simpler than many conventional methods, but surprisingly this can result in a marked improvement in fuel cell performance characteristics.

Abstract: An architecture and method for bill presentment using a web-based tool is disclosed. A common architecture collects billing data from multiple business technology systems and present the billing data on a bill. A user-friendly tool allows internal billing personnel and system administrators to configure the content and format of a bill before presenting it to customers. A method provides external customers with drilldown ability, enabling them to view both summary and detailed billing data and related information necessary to understand and pay the bill.

Abstract: An architecture and method for bill presentment using a web-based tool is disclosed. A common architecture collects billing data from multiple business technology systems and present the billing data on a bill. A user-friendly tool allows internal billing personnel and system administrators to configure the content and format of a bill before presenting it to customers. A method provides external customers with drilldown ability, enabling them to view both summary and detailed billing data and related information necessary to understand and pay the bill.

Abstract: An apparatus is described for detecting particulates on or defects in a transparent media. The apparatus includes a light source, and an array of light-sensitive elements, each of which produce an electrical signal indicating a characteristic value based on light incident on the element. The first array is disposed a predetermined distance from the at least one light source so that the transparent media may be placed between the light source and the array. An addressing circuit reads the characteristic values produced by each element, and an analog-to-digital converter circuit digitizes the characteristic values, producing digitized values. A processor processes the digitized values to determine whether a particle or defect is present at least based on a position of the shadow cast by the particle or defect on the array. A method for detecting a particulate or defect on or in a transparent media is also described.

Abstract: Automated patching techniques to correct certain rule violations are used, simplifying and automating the design layout of an electronic circuit, whether embodied as a design encoding or as a fabricated electronic circuit. A series of patches of predefined orientations are utilized to correct design rule violations. A set of violations are identified, patches of a predefined orientation are attempted to correct one or more violations. Patches of another predefined orientation are attempted to correct remaining violations. Attempted patching is repeated until all patches in the series have been attempted or all violations have been corrected. Patches can be added to a construction layer over the set of violations, and each patch that does not cause a design rule violation can be copied to a metal layer. A series of patches of predefined orientations are used, efficiently correcting design rule violations such as minimum area and jog rule violations.

Abstract: In a multi-wide class design layout, design rule checks for enclosure of multi wide class objects prevent false errors or false passes by performing such checks against the non-virtual boundaries of a wide class object, and not against the virtual boundaries. An exemplary embodiment provides a method for identifying as a violation, for each wide class wi object, any geometry on another layer which is located at least partially inside the wi object and has any portion thereof located within a distance encli of any non-virtual boundary of the wi object. The exemplary method is preferably performed using effective wide class objects.

Abstract: Manipulation of a multi-wide object class design layout to facilitate design rule checking or automatic correction of design rule errors is improved by deriving wide class objects from geometries of the design layout, and applying certain rules to non-virtual boundaries of the wide class objects that are not applied to virtual boundaries of the wide class objects. In an exemplary embodiment, the wide class objects are preferably derived by sizing down, then sizing up, each geometry by a sizing factor equal to half the minimum width of the particular wide class object less an amount that preferably corresponds to that represented by a minimum resolution of the design layout. Portions of a geometry that are otherwise excluded as being too narrow in width, but that lie wholly within a correction factor of the boundary of the wide class object otherwise derived, are preferably included to form effective wide class objects.

Abstract: A redundant via design rule check is preferably performed on multi-wide object class design layouts to ensure that each connection area between two conductive layers has at least a certain number of vias and/or has vias placed appropriately to reduce the risk of via failure due to vacancy concentration of isolated vias. In exemplary embodiments, a redundant via design rule check preferably ensures that for vias placed within a connection area of a metal feature (or within a localized region of a larger metal geometry) that is both greater than a certain width and greater than a certain area in size, the vias are both sufficient in number and/or suitable in their location. Vias located inside a geometry but falling outside a virtual edge of a wide class object may be included to satisfy exemplary rules.

Abstract: A method, apparatus and computer program product for checking of integrated circuit design files using rules files. Each of the rules files has a rule associated therewith. The rules are sequentially compared with objects associated with the design files in an object-to-check-pool (OTCP). The sequence in which the rules are compared to objects in the OTCP is arrange to maximize a probability of determining whether design characteristics of the objects in the OTCP satisfies all rules associated with the rules files while minimizing a number of rules that must be compared with the OTCP.

Abstract: Method and apparatus for checking integrated circuit designs. In particular, one embodiment of the present invention is a method that for checking integrated circuit design files using (design rule check)/(electrical rule check) files (DRC/ERC files) wherein design objects are disposed on a grid having a system resolution, the method comprising steps of: (a) growing one or more rectangular boxes having at least two sides of length equal to the system resolution outward or inward from one or more of an edge of a design object and a side of a design object; (b) performing one or more of a spacing DRC/ERC check and an overlay DRC/ERC check; and (c) identifying checks relating to the rectangular boxes.

Abstract: A redundant via design rule check is preferably performed on multi-wide object class design layouts to ensure that each connection area between two conductive layers has at least a certain number of vias and/or has vias placed appropriately to reduce the risk of via failure due to vacancy concentration of isolated vias. In exemplary embodiments, a redundant via design rule check preferably ensures that for vias placed within a connection area of a metal feature (or within a localized region of a larger metal geometry) that is both greater than a certain width and greater than a certain area in size, the vias are both sufficient in number and/or suitable in their location. Vias located inside a geometry but falling outside a virtual edge of a wide class object may be included to satisfy exemplary rules.