Abstract: In combination with a hand-held firearm comprising a barrel having a longitudinal axis and a muzzle disposed at a distal end of the barrel, the improvement including a secondary viewing device with a housing coupled to the barrel of the firearm and having a first camera retained by, and disposed on a first side of, the housing of the secondary viewing device, disposed substantially adjacent to the muzzle of the firearm, and directed in a viewing orientation substantially orthogonal to the longitudinal axis of the barrel of the firearm for viewing targets lateral to the firearm, the secondary viewing device and the firearm operably configured to have simultaneous and omnidirectional rotation with one another by a user.

Abstract: A deposition system has a reservoir of a material to be deposited, the material having fibers, a print head having a mixer to generate a mixed flow of the materials having fibers, a flow focusing section arranged to cause short fibers to align inside the print head, and an outlet of the print head to allow the material to be deposited on a substrate, and a controller to actuate the print head to control an orientation of the print head relative to a substrate to cause longer fibers to align external to the print head. A deposition system includes a reservoir of a material to be deposited, the material having fibers, a print head connected to the reservoir of material by a conduit, the print head having an exit nozzle and an actuator, the actuator to control the orientation of the exit nozzle relative to a substrate.

Abstract: A feedthrough for feeding signals through a panel having opposite sides includes first and second parts. The first part can include a first body configured to be disposed in a first portion of an opening in a panel, a first lumen disposed within the first body, and a first engagement area comprising a first contact area. The second part can include a second body configured to be disposed in a second portion of the opening in the panel, a second lumen disposed within the second body, and a second engagement area configured to engage the first contact area, wherein engaging the first contact area with the second engagement area causes deformation of the first part, the second part, or both to hold the first part and the second part within the opening such that the first lumen and the second lumen are disposed generally concentrically with each other.

Abstract: A method to fabricate hierarchical graded materials includes providing a reservoir of functionalized particles, mixing at least some of the functionalized particles using a mixer in the print head having a mixed fluid volume control on an order of a voxel to produce mixed functionalized particles, and actuating a print head to deposit the mixed functionalized particles on a substrate.

Abstract: Systems and methods for software verification. In some embodiments, a first application architecture model is generated for a software application, wherein: the first application architecture model is generated based on a first version of source code of the software application; and the first application architecture model comprises a plurality of component models. A second version of source code may be compared against the first version of source code to determine at least one difference. At least one affected component model of the first application architecture model may be identified based on the at least one difference. A second application architecture model may be generated based on the second version of source code, wherein generating the second application architecture model comprises generating an updated version of the at least one affected component model.

Abstract: Disclosed herein are methods, systems, and computer program products directed to a guidance engine. The guidance engine is configured to query a knowledge base for guidance with respect to a property of a software application. The guidance engine receives a responsive query from the knowledge base that is based on the property. The responsive query informs a user of the guidance engine how to address a vulnerability within the software application by performing a transform with respect to a property of the software application.

Abstract: Systems and methods for software verification. In some embodiments, an application architecture model is generated for a software application, wherein: the application architecture model is generated based on source code of the software application and a framework model representing a software framework using which the software application is developed; and the application architecture model comprises a plurality of component models. One or more component models may be selected, based on a property to be checked, from the plurality of component models. The one or more component models may be analyzed to determine if the property is satisfied.

Abstract: Systems and methods for software verification. In some embodiments, an application architecture model is generated for a software application, wherein: the application architecture model is generated based on source code of the software application; and the application architecture model comprises a plurality of component models. A property model type may be selected, based on a property to be checked, from a plurality of property model types. One or more component models may be selected, based on the selected property model type, from the plurality of component models. The one or more selected component models may be used to construct at least one property model of the selected property model type. The at least one property model may be analyzed to determine if the property is satisfied with respect to the at least one property model.

Abstract: Systems and methods for software verification. In some embodiments, a statement is identified from a discovery query written in a query language, comprising a semantic operator with at least a first parameter and a second parameter, wherein: the first parameter comprises a first syntactic pattern; the second parameter comprises a second syntactic pattern; and the semantic operator represents a semantic relationship between two program elements. Source code of a software application may be analyzed to determine whether one or more portions of source code match the statement identified from the discovery query, wherein analyzing the source code comprises determining whether the source code comprises a first program element and a second program element such that the first program element matches the first syntactic pattern; the second program element matches the second syntactic pattern; and the first and second program elements satisfy the semantic relationship represented by the semantic operator.

Abstract: Systems and methods for software verification. In some embodiments, a first statement is identified, from a discovery query written in a query language, the first statement comprising a side-effect construct with at least a first parameter and a second parameter, wherein: the first parameter of the side-effect construct comprises at least one second statement specifying one or more actions to be performed; and the second parameter of the side-effect construct comprises at least one condition specified based on a syntactic pattern. Source code of a software application may be analyzed to determine whether the at least one condition is satisfied, wherein determining whether the at least one condition is satisfied comprises determining whether the source code comprises a program element that matches the syntactic pattern.

Abstract: A movable barrier operator transmits a message to a remote peripheral platform and, upon determining that the remote peripheral platform is presently able to carry out a given functionality, responsively permits a particular function to be carried out by the movable barrier operator. Conversely, upon determining that it cannot be ascertained whether the remote peripheral platform is presently able to carry out the given functionality, the movable barrier operator responsively prevents the movable barrier operator from carrying out the particular function. Also, upon detecting that a targeted remote platform does not acknowledge a previously re-transmitted message and further upon detecting that this same remote platform has also not acknowledged a subsequent wirelessly-transmitted second message, the system can switch to automatically retransmitting that second message a lesser number of times than would otherwise be required.

Abstract: A method of forming lightweight structures from particle networks includes functionalizing edges of particles of an anisotropic material, exfoliating of the particles to form sheets of the material, aligning the sheets of material to form a network of multi-layered and aligned particles, and forming a structure out of the network of particles. One example uses graphite powder mixed into 4-aminobenzoic acid for edge functionalization, and exfoliation occurs with sonication in a solvent. The resulting particles undergo alignment with an aligning nozzle that also dispenses the aligned particles to form a structure.

Abstract: A two-part, snap-together feedthrough for feeding signals through a panel having opposite sides includes first and second parts, each including a flange with an opening therethrough, and a tubular segment that extends normally from a first surface of the flange and has a lumen disposed generally concentrically with the opening. A pair of complementary engaging mechanisms are respectively on distal end portions of the tubular segments and configured to couple the first and second parts together through an opening in the panel in a snap-together fashion, such that the first surface of each of the flanges is held adjacent to a corresponding one of the opposite sides of the panel, and the lumens of respective ones of the tubular segments are disposed generally concentrically with each other.

Abstract: A movable barrier operator transmits a message to a remote peripheral platform and, upon determining that the remote peripheral platform is presently able to carry out a given functionality, responsively permits a particular function to be carried out by the movable barrier operator. Conversely, upon determining that it cannot be ascertained whether the remote peripheral platform is presently able to carry out the given functionality, the movable barrier operator responsively prevents the movable barrier operator from carrying out the particular function. Also, upon detecting that a targeted remote platform does not acknowledge a previously re-transmitted message and further upon detecting that this same remote platform has also not acknowledged a subsequent wirelessly-transmitted second message, the system can switch to automatically retransmitting that second message a lesser number of times than would otherwise be required.

Abstract: A multi-display device is adapted to be dockable or otherwise associatable with an additional device. In accordance with one exemplary embodiment, the multi-display device is dockable with a smartpad. The exemplary smartpad can include a screen, a touch sensitive display, a configurable area, a gesture capture region(s) and a camera. The smartpad can also include a port adapted to receive the device. The exemplary smartpad is able to cooperate with the device such that information displayable on the device is also displayable on the smartpad. Furthermore, any one or more of the functions on the device are extendable to the smartpad, with the smartpad capable of acting as an input/output interface or extension of the smartpad. Therefore, for example, information from one or more of the displays on the multi-screen device is displayable on the smartpad.

Abstract: A method of forming lightweight structures from particle networks includes functionalizing edges of particles of an anisotropic material, exfoliating of the particles to form sheets of the material, aligning the sheets of material to form a network of multi-layered and aligned particles, and forming a structure out of the network of particles. One example uses graphite powder mixed into 4-aminobenzoic acid for edge functionalization, and exfoliation occurs with sonication in a solvent. The resulting particles undergo alignment with an aligning nozzle that also dispenses the aligned particles to form a structure.

Abstract: A thin aspect lighting system and method are shown. The system and method include at least one module having a reflector that is generally elliptical in one cross-section and generally parabolic in another cross-section. Each module is adapted to generate at least one of a flat beam pattern, a high beam pattern or a low beam pattern, such as a low beam pattern with a kink or elbow. Also shown is a headlamp assembly having a plurality of modules that generate the same or a different light beam pattern. Manipulation and variation of facets and/or positions of various components, such as at least one light source, have been found to provide improved characteristics in one or more of the light beam patterns.

Abstract: A system to fabricate hierarchical graded materials includes a reservoir to contain a material to be deposited, a print head connected to the reservoir to allow the print head to receive the material to be deposited, the print head having a mixing section, and an actuator connected to the print head, the actuator configured to actuate the print head in six axes of motion.

Abstract: A method for capturing a sample from a wellbore, comprising the steps of introducing a first message and a second message into a tubing positioned within the wellbore. The first message is directed to a first modem connected to a first sampler device to cause the first sampler device to collect a first sample. The second message is directed to a second modem connected to a second sampler device to cause the second sampler device to collect a second sample.

Abstract: A liquid thin film is disposed on a conveyor surface (e.g., a roller or belt) that moves the thin film into a precisely controlled gap (or nip) region in which the liquid thin film is subjected to an electric field that causes the liquid to undergo electrohydrodynamic (EHD) patterning deformation, whereby portions of the liquid thin film form patterned liquid features having a micro-scale patterned shape. A curing mechanism (e.g., a UV laser) is used to solidify (e.g., in the case of polymer thin films, cross-link) the patterned liquid inside or immediately after exiting the gap region. The patterned structures are either connected by an intervening web as part of a polymer sheet, or separated into discreet micro-scale structures. Nanostructures (e.g., nanotubes or nanowires) disposed in the polymer become vertically oriented during the EHD patterning process. Segmented electrodes and patterned charges are utilized to provide digital patterning control.