Abstract: Model driven engineering (MDE) approaches necessitate verification and validation (V&V) of the models used. Balancing usability of modeling languages with verifiability of the specification presents several challenges. Conventional modeling languages have automated solvers but are hard to interpret and use. Implementations of present disclosure provide systems and methods for validating domain specific models wherein rules and vocabularies in domain specific model are translated to machine interpretable rules (MIR) and machine interpretable vocabularies (MIV) which are processed (via logic programming technique) to generate a logic programming representation (LPR) of the MIR and MIV based on which solution scenarios are generated for validating the domain specific model. Validation of the model involves verifying LPR using a set of ground facts. During validation of solution scenarios of model, system also checks for inconsistences in rules, if any.

Abstract: This disclosure relates generally to methods and systems for real time unobtrusive monitoring of physiological signals of a subject confined to a bed. Output of single channel continuous wave (CW) radars are dependent upon distance of the subject from the radar. Dual channel IQ radars are more accurate but are costly and availability in the market is a constraint. The present disclosure provides a cheap and easily replicable pseudo IQ radar based system. The pseudo IQ radar comprises two CW radars placed at a calibrated distance from each other such that optimum points of one CW radar spatially overlaps null points of the other CW radar and phase imbalance is suppressed. Three such pseudo IQ radars are positioned in a predetermined configuration around the subject being monitored. A Supervised Complex Signal Demodulation (SCSD) method configured to suppress amplitude and DC imbalance is also provided for evaluating the physiological signals.

Abstract: Disclosed is a method for improving the sensorial properties of an oil-in-water type emulsion for topical application, including, for 100% of its mass, 5% to 30% by weight of glycerol, characterised in that the oil-in-water type emulsion for topical application includes an effective quantity of a mixture of saturated cyclic or acyclic, linear or branched hydrocarbons, of which at least 95% by weight have between fifteen and nineteen carbon atoms. Also disclosed is a new oil-in-water type emulsion for topical use, including the mixture, and to the use of same in cosmetics.

Abstract: A system for determining a borehole shape may comprise a measurement assembly, wherein the measurement assembly may comprise a housing with an outer surface, a transducer disposed flush along the outer surface of the housing, and an extruded boss that connects to the outer surface of the housing. A method may comprise disposing a downhole tool that includes an instrument section into a wellbore and transmitting an excitation from the transducer into the wellbore, wherein the excitation is reflected off a wellbore wall as an echo.

Abstract: This disclosure relates generally to an apparatus for loading and unloading of unit loads in freight. A mobile base platform of the apparatus includes a telescopic railing and a telescopic conveyor, wherein the telescopic conveyor is mounted on top of the telescopic railing and the tail end of the telescopic railing is mounted on the front end of mobile base platform. A mechanical connector is adapted to connect the front end of a telescopic conveyor with the front end of the telescopic railing, wherein the mechanical connector enables the telescopic robotic mounting plate coupled to the telescopic railing to move in relation to the telescopic conveyor. The telescopic conveyor and the telescopic railing is moved towards the forward position inside the carrying body, where the forward position movement is enabled by the mechanical link to unload freight.

Abstract: The disclosed embodiments generally relate to systems and methods for implementing user-authorized recurring transactions with trusted merchants for fraud prevention. In one embodiment, a computer-implemented method is disclosed, in which a payment processing network receives a payment request via a computer network, and determines a payment account associated with the received payment request. The payment processing network determines that the payment account is unusable because fraudulent activity has been identified with the payment account, and that the payment request is a recurring payment request. The payment processing network transmits a fraud decline override request to a financial service provider system, and based on a fraud decline override response received from the financial service provider system, processes the payment request.

Abstract: A high-speed automated separation apparatus comprising a pair of flexible discs, a driver to rotate the flexible discs, a feeder to position a rigid body at a first location between the flexible discs, a spreader and a converger operable upon the flexible discs such that opposing portions of the flexible disc converge upon the positioned rigid body, whereupon the rotating flexible discs rotate the rigid body beyond said first location and content from the rigid body is expelled. The rigid body and the expelled content are then available for reuse. Related methods and systems are also disclosed.

Abstract: A method being implemented via execution of computing instructions configured to run at one or more processors and stored at one or more non-transitory computer-readable media. The method can include receiving, at a transaction system being situated along a proxy communication channel extending from a point-of-sale terminal of a first entity to a mobile wallet provider, an encrypted transaction code. The encrypted transaction code can be generated and sent to the point-of-sale terminal by a mobile device that runs a mobile application associated with the mobile wallet provider. The mobile device receives from a point-of-sale terminal an identifier of the first entity, a transaction amount of a transaction, and a transaction identifier for the transaction, receives an authorization from a user of the mobile device for the transaction while the user is at the point-of-sale terminal, and determines that the mobile device is unable to communicate with the mobile wallet provider.

Abstract: A method for generating acoustic images corrected for distortions caused by attenuation of the ultrasonic signal by the mud may comprise disposing a downhole tool into a borehole, transmitting a pressure pulse from at least one transducer into the borehole, recording an echo with the at least one transducer, measuring a travel time, measuring an amplitude, determining a geometry of the borehole, determining a location of the downhole tool in the borehole, calculating an incident angle, mapping a mud attenuation, and correcting an image. A system for generating acoustic images corrected for distortions caused by attenuation of the ultrasonic signal by the mud comprising a downhole tool that may comprise a measuring assembly, wherein the measuring assembly comprises at least one transducer and wherein the at least one transducer is configured to emit a pressure pulse and record an echo. The system may further comprise an information handling system.

Abstract: A graphical user interface (GUI) includes a first display area that displays a template including entries corresponding to multiple media stations. Each entry is associated with a unique station identifier. The template also includes multiple attribute fields indicating including location attributes and station attributes associated with content broadcast by the media stations. The first display area accepts a user selection of one or more filter attributes, displays filtered media stations satisfying those attributes, accepts user input selecting a subset of the filtered media stations, and tags the subset of the filtered media stations. A second display area displays a map child window concurrently with the template being displayed in the first display area, and includes a geographic map having a plurality of markers showing physical locations of tagged media stations.

Abstract: Embodiments of methods of synthesizing a metathesis catalyst system, which include impregnating tungsten oxide on silica support in the presence of a precursor to produce a base catalyst; calcining the base catalyst; impregnating a metal oxide co-catalyst comprising a metal oxide onto the surface of the base catalyst to produce a doped catalyst; and calcining the doped catalyst to produce a metathesis catalyst system. Further embodiments of processes for the production of propylene, which include contacting a hydrocarbon feedstock comprising a mixture of 1-butene and 2-butene with embodiments of the metathesis catalyst system to produce, via metathesis conversion, a product stream comprising propylene.

Abstract: A method being implemented via execution of computing instructions configured to run at one or more processors and stored at one or more non-transitory computer-readable media. The method can include receiving, at a mobile device from a point-of-sale terminal of a first entity, an identifier of the first entity, a transaction amount for a transaction, and a transaction identifier for the transaction. The method also can include receiving an authorization from a user of the mobile device for the transaction while the user is at the point-of-sale terminal, the mobile device running a mobile application that is associated with a mobile wallet provider. The method additionally can include determining that the mobile device is unable to communicate with the mobile wallet provider. The method further can include generating an encrypted transaction code.

Abstract: System and method for plug and play is an architectural framework and associated mechanisms for plug and playable components. Further the present disclosure facilitates discovery of plug and playable components in a host system without human intervention in configuration and utilization. To achieve this, the system is provided with: a collection of standards and protocols to support functional and structural extensibility of systems; and a collection of services and events to support functional and structural extensibility of systems. Further, the present disclosure facilitates instant connection and disconnection of external component into the host system. In addition, the system also facilitates instant operation and halt of the functionalities provided by the external system and the components plugged into the host system.

Abstract: Remote deposit of checks can be facilitated by a financial institution. A customer's general purpose computer and image capture device may be leveraged to capture an image of a check and deliver the image to financial institution electronics. Additional data for the transaction may be collected as necessary. The transaction can be automatically accomplished utilizing the images and data thus acquired.

Abstract: A flow control device includes an annular inner shroud coupled to a work string that defines one or more flow ports therein, and an annular outer shroud also coupled to the work string and radially offset from the inner shroud such that a channel is defined between at least a portion of the inner and outer shrouds. The channel is in fluid communication with at least one of the one or more flow ports and configured to restrict a flow rate of a fluid. The work string has a central axis and the inner and outer shrouds extend longitudinally within the work string.

Abstract: Computer implemented systems and methods are provided for an automatic teller machine. In some embodiments, an automatic teller machine may comprise a display, a physical barrier configured to intersect a line of sight from a location adjacent the automatic teller machine to the display, one or more memory devices storing instructions, and one or more processors. The one or more processors may be configured to determine that a user is operating the automatic teller machine. The one or more processors may be further configured to alter a degree of opacity of the physical barrier, based on the determining.

Abstract: A method for using the depth derivative of distributed temperature sensing data to identify fluid levels, gas production intervals, water production intervals, and other fluid flow activities inside or near the well-bore during the production process. The method may include providing a fiber optic based distributed temperature sensing measurement system through a production region. Temperatures through the production region are gathered as a function of the depth in the subsurface well and as a function of the elapsed time. The gathered data is utilized to calculate the depth derivative of the temperature changes as a function of depth in the subsurface well and of the elapsed time. The depth derivative data for analysis of the fluid levels are displayed by operators to identify fluid levels, gas production intervals, water production intervals, and other fluid flow activities inside or near the wellbore during the production process.

Abstract: The structural integrity and reliability of a downhole tool, mandrel, casing or other downhole component may be improved by implementation of a design and configuration that does not require several separate components to be coupled together. Conductive ink electromagnetic antennas may be painted on an insulating layer or sheet. The insulating layer or sheet is affixed to the downhole component. The conductive ink electromagnetic antennas mate to wiring of the mandrel via caps or caps and pins. The conductive ink electromagnetic antennas may be excited and downhole measurements received that are indicative of any number of downhole parameters or conditions. The conductive ink electromagnetic antennas may be painted in any shape, dimension or size necessary for a given operation.

Abstract: A method comprises obtaining or providing a treatment fluid comprising an imidazolinium compound and placing the treatment fluid in a subterranean formation. The imidazolinium compound functions as a viscoelastic surfactant (VES) gelling agent and as a corrosion inhibitor.

Abstract: Some embodiments modify caching server operation to evict cached content based on a deterministic and multifactor modeling of the cached content. The modeling produces eviction scores for the cached items. The eviction scores are derived from two or more factors of age, size, cost, and content type. The eviction scores determine what content is to be evicted based on the two or more factors included in the eviction score derivation. The eviction scores modify caching server eviction operation for specific traffic or content patterns. The eviction scores further modify caching server eviction operation for granular control over an item's lifetime on cache.