Abstract: An embodiment for providing a secure virtual browsing environment includes creating a virtual browsing environment with a virtualized operating system sharing an operating system kernel of a supporting operating system and executing the browser application within the virtual browsing environment. Another embodiment includes receiving a website selection within a browser application, determining if the website selection corresponds to a secure bookmark, and creating a second virtual browsing environment and executing the browser application within the second virtual browsing environment to access the website selection when the website selection corresponds to a website specified as a secure bookmark.

Abstract: Various embodiments relate to a compound of the formula (I): wherein X, X1, R1-R4 and R7 are defined herein, as well as pharmaceutical compositions comprising compounds of the formula (I) and methods of treating an HIV infection comprising administering a therapeutically effective amount of one or more compounds of formula (I), or a pharmaceutical compositions comprising compounds of the formula (I), to a patient in need thereof.

Abstract: Embodiments of the present invention provide, among other compounds, a family of spliceosome-inhibiting compounds that can be used as therapeutic anti-cancer agents. The compounds are synthesized in a process that includes the catalytic cross metathesis of a cyclic epoxy alcohol to an amide.

Abstract: An on-demand disposable virtual work system that includes: a virtual machine monitor to host virtual machines, a virtual machine pool manager, a host operating system, a host program permissions list, and a request handler module. The virtual machine pool manager manages virtual machine resources. The host operating system interfaces with a user and virtual machines created with an image of a reference operating system. The host program permissions list may be a black list and/or a white list used to indicate allowable programs. The request handler module allows execution of the program if the program is allowable. If the program is not allowable, the host request handler module: denies program execution and urges a virtual machine specified by the virtual machine pool manager to execute the program. The virtual machine is terminated when the program closes.

Abstract: A method and associated system for automatically correcting an application based on runtime behavior of the application. An incident indicates a performance of the application in which a problem object produces an outcome that had not been expected by a user. An incident flow for the problem object is automatically analyzed. Actual run of the application renders a forward data flow and at least one backward data flow is simulated from an expected outcome of the problem object. The forward data flow and the at least one backward data flow are compared to create a candidate fault list for the problem object. A technical specification that corrects the incident by use of the candidate fault list and a specification of the application is generated.

Abstract: A surgical system is disclosed. The surgical system can include a tray and a vacuum-fitted cover covering at least a portion of the tray. The surgical system can comprise a tray and a drape at least partially vacuum-fitted to the tray. A surgical drape is also disclosed. The surgical drape can comprise a cover including an opening and an interior cavity defined by a flexible wall which is configured to receive a support surface. The surgical drape can further comprise a closable portion configured to close the opening and seal at least a portion of the support surface within the interior cavity. The surgical drape can further include a valve in fluid communication with the interior cavity, wherein the valve is configured to enable the suction of air from the interior cavity and draw the flexible wall inwardly to closely envelop at least a portion of the support surface.

Abstract: An on-demand disposable virtual work system that includes: a virtual machine monitor to host virtual machines, a virtual machine pool manager, a host operating system, a host program permissions list, and a request handler module. The virtual machine pool manager manages virtual machine resources. The host operating system interfaces with a user and virtual machines created with an image of a reference operating system. The host program permissions list may be a black list and/or a white list used to indicate allowable programs. The request handler module allows execution of the program if the program is allowable. If the program is not allowable, the host request handler module: denies program execution and urges a virtual machine specified by the virtual machine pool manager to execute the program. The virtual machine is terminated when the program closes.

Abstract: A method and system providing an improved technology for efficiently computing experimental design in strict statistically controlled settings. The method and system utilize a unique combination of statistical algorithms for designing, comparing the performance, and conducting multi-arm, multistage experiments efficiently, while radically reducing the computation time required on a personal computing device, thereby improving computer technology and performance. In particular, the method and system enable personal computing devices to compute very large multi-arm multistage experiments in a significantly reduced period of time. The present invention allows experimentalists to examine in a single statistically controlled experiment a vastly greater range of experimental options, with the possibility of dropping uninformative arms of the experiment, changing goals and parameters during the course of the experiment.

Abstract: Described herein are compounds and compositions that are useful in the treatment of HIV, AIDS, and AIDS-related diseases. In addition, compounds are described herein that are capable of inhibiting the dimerization of HIV proteases.

Abstract: A dipole-magnet system and method for producing high-magnetic-fields, including an open-region located in a radially-central-region to allow particle-beam transport and other uses, low-temperature-superconducting-coils comprised of low-temperature-superconducting-wire located in radially-outward-regions to generate high magnetic-fields, high-temperature-superconducting-coils comprised of high-temperature-superconducting-tape located in radially-inward-regions to generate even higher magnetic-fields and to reduce erroneous fields, support-structures to support the coils against large Lorentz-forces, a liquid-helium-system to cool the coils, and electrical-contacts to allow electric-current into and out of the coils. The high-temperature-superconducting-tape may be comprised of bismuth-strontium-calcium-copper-oxide or rare-earth-metal, barium-copper-oxide (ReBCO) where the rare-earth-metal may be yttrium, samarium, neodymium, or gadolinium.

Abstract: A surgical system is disclosed. The surgical system can include a tray and a vacuum-fitted cover covering at least a portion of the tray. The surgical system can comprise a tray and a drape at least partially vacuum-fitted to the tray. A surgical drape is also disclosed. The surgical drape can comprise a cover including an opening and an interior cavity defined by a flexible wall which is configured to receive a support surface. The surgical drape can further comprise a closable portion configured to close the opening and seal at least a portion of the support surface within the interior cavity. The surgical drape can further include a valve in fluid communication with the interior cavity, wherein the valve is configured to enable the suction of air from the interior cavity and draw the flexible wall inwardly to closely envelop at least a portion of the support surface.

Abstract: A surgical tray system is disclosed. The system includes a tray for use in an operating room environment. In various embodiments, the tray includes an indentation having a bowl shape. A vacuum sealed bag is fitted over the tray and form fitted to the tray when the air is removed from within the bag. The tray optionally includes an light source for illuminating an area under the tray, a magnification element, and pouches for storing items used during a surgical procedure. The tray is optionally substantially transparent to allow light to pass through the tray. The tray is ideally positioned over a patient bed. It may be mounted via an arm to a bed frame member, a monitor station, or a ceiling fixture.

Abstract: An embodiment for providing a secure virtual browsing environment includes creating a virtual browsing environment with a virtualized operating system sharing an operating system kernel of a supporting operating system and executing the browser application within the virtual browsing environment. Another embodiment includes receiving a website selection within a browser application, determining if the website selection corresponds to a secure bookmark, and creating a second virtual browsing environment and executing the browser application within the second virtual browsing environment to access the website selection when the website selection corresponds to a website specified as a secure bookmark.

Abstract: A transparent proxy for malware detection includes a monitor module, a protocol determination module, a challenge generation module, a response determination module, and a data control module. The monitor module examines data originating from an application towards a remote server. The protocol determination module identifies the protocol type used for the data. The challenge generation module produces a challenge for the application based upon the protocol type, sends the challenge to the application, and maintains a state related to the data and the challenge. The response determination module makes a determination if an automatic non-interactive application response is received in response to the challenge from the application. The data control module allows the first data to continue to the remote server when the determination is valid. The data control module reports malware detection and blocks the data to continue to the remote server when the determination is invalid.

Abstract: Various embodiments of the present invention are directed to compounds of the formula (I) or a pharmaceutically acceptable salt, polymorph, prodrug, solvate or clathrate thereof, wherein X1, X2, X3, R1, R2, R11, and n are defined herein. These compounds are useful as inhibitors of HIV-1 protease and, as a result, are useful in the treatment of HIV infection.

Abstract: Macrocycle containing carbamate compounds that inhibit HIV proteolytic enzymes and processes for preparing them are described. Compositions and methods for treating a patient infected with HIV are described.

Abstract: Various embodiments of the present invention are directed to compounds of the formula (I) or a pharmaceutically acceptable salt, polymorph, prodrug, solvate or clathrate thereof, wherein X1, X2, X3, R1, R2, R11, and n are defined herein. These compounds are useful as inhibitors of HIV-1 protease and, as a result, are useful in the treatment of HIV infection.

Abstract: In some embodiments, the present disclosure pertains to a compound, comprising a transition metal complex having the formula ?-[M (x,y)-L1 (w,v)-L2 (t,u)-L3]p+An?mZ?p-m. In an embodiment of the present disclosure ? may be ?. In another embodiment ? may be ?. In some embodiments of the present disclosure, M is a transition metal. In a related embodiment, p is an integer corresponding to the oxidation state of M. In some embodiments of the present disclosure, each of x, y, w, v, t, and u independently comprise R. In other embodiments, each of x, y, w, v, t, and u independently comprise S. In an embodiment of the present disclosure, each of L1, L2, and L3 independently is a ligand comprising a substituted diamine. In some embodiments, An? comprises a lipophilic anion, where m is from 1 to 3, and where Z? comprises an optional second anion.

Abstract: A surgical system is disclosed. The surgical system can include a tray and a vacuum-fitted cover covering at least a portion of the tray. The surgical system can comprise a tray and a drape at least partially vacuum-fitted to the tray. A surgical drape is also disclosed. The surgical drape can comprise a cover including an opening and an interior cavity defined by a flexible wall which is configured to receive a support surface. The surgical drape can further comprise a closable portion configured to close the opening and seal at least a portion of the support surface within the interior cavity. The surgical drape can further include a valve in fluid communication with the interior cavity, wherein the valve is configured to enable the suction of air from the interior cavity and draw the flexible wall inwardly to closely envelop at least a portion of the support surface.

Abstract: Although U.S. Pat. No. 8,182,784 teaches the recovery of potassium chloride from schoenite end liquor (SEL) using dipicrylamine as extractant, and consequently simplifies the recovery of sulphate of potash (SOP) from kainite mixed salt employing the scheme disclosed in U.S. Pat. No. 7,041,268, the hazards associated with this extractant have thwarted practical utilization of the invention. Many other extractants for potash recovery have been disclosed in the prior art but none has been found suitable so far for practical exploitation. It is disclosed herein that the bitartrate ion, and particularly L-bitartrate, precipitates out potassium bitartrate very efficiently from SEL with ca. 90% utilization of the extractant. In contrast, recovery of potassium bi-tartrate from sea bittern directly is relatively much lower. It is further disclosed that this precipitate can be treated with magnesium hydroxide and magnesium chloride to throw out magnesium tartrate with ca.