bili

Fourier transformation and stability of differential equation on $L^1(Bbb{R})$. (arXiv:2005.03296v1 [math.FA])

In the present paper by the Fourier transform we show that every linear differential equations of $n$-th order has a solution in $L^1(Bbb{R})$ which is infinitely differentiable in $Bbb{R} setminus {0}$. Moreover the Hyers-Ulam stability of such equations on $L^1(Bbb{R})$ is investigated.




bili

On the list recoverability of randomly punctured codes. (arXiv:2005.02478v2 [math.CO] UPDATED)

We show that a random puncturing of a code with good distance is list recoverable beyond the Johnson bound. In particular, this implies that there are Reed-Solomon codes that are list recoverable beyond the Johnson bound. It was previously known that there are Reed-Solomon codes that do not have this property. As an immediate corollary to our main theorem, we obtain better degree bounds on unbalanced expanders that come from Reed-Solomon codes.




bili

Subtle Sensing: Detecting Differences in the Flexibility of Virtually Simulated Molecular Objects. (arXiv:2005.03503v1 [cs.HC])

During VR demos we have performed over last few years, many participants (in the absence of any haptic feedback) have commented on their perceived ability to 'feel' differences between simulated molecular objects. The mechanisms for such 'feeling' are not entirely clear: observing from outside VR, one can see that there is nothing physical for participants to 'feel'. Here we outline exploratory user studies designed to evaluate the extent to which participants can distinguish quantitative differences in the flexibility of VR-simulated molecular objects. The results suggest that an individual's capacity to detect differences in molecular flexibility is enhanced when they can interact with and manipulate the molecules, as opposed to merely observing the same interaction. Building on these results, we intend to carry out further studies investigating humans' ability to sense quantitative properties of VR simulations without haptic technology.




bili

Ensuring Fairness under Prior Probability Shifts. (arXiv:2005.03474v1 [cs.LG])

In this paper, we study the problem of fair classification in the presence of prior probability shifts, where the training set distribution differs from the test set. This phenomenon can be observed in the yearly records of several real-world datasets, such as recidivism records and medical expenditure surveys. If unaccounted for, such shifts can cause the predictions of a classifier to become unfair towards specific population subgroups. While the fairness notion called Proportional Equality (PE) accounts for such shifts, a procedure to ensure PE-fairness was unknown.

In this work, we propose a method, called CAPE, which provides a comprehensive solution to the aforementioned problem. CAPE makes novel use of prevalence estimation techniques, sampling and an ensemble of classifiers to ensure fair predictions under prior probability shifts. We introduce a metric, called prevalence difference (PD), which CAPE attempts to minimize in order to ensure PE-fairness. We theoretically establish that this metric exhibits several desirable properties.

We evaluate the efficacy of CAPE via a thorough empirical evaluation on synthetic datasets. We also compare the performance of CAPE with several popular fair classifiers on real-world datasets like COMPAS (criminal risk assessment) and MEPS (medical expenditure panel survey). The results indicate that CAPE ensures PE-fair predictions, while performing well on other performance metrics.




bili

Successfully Applying the Stabilized Lottery Ticket Hypothesis to the Transformer Architecture. (arXiv:2005.03454v1 [cs.LG])

Sparse models require less memory for storage and enable a faster inference by reducing the necessary number of FLOPs. This is relevant both for time-critical and on-device computations using neural networks. The stabilized lottery ticket hypothesis states that networks can be pruned after none or few training iterations, using a mask computed based on the unpruned converged model. On the transformer architecture and the WMT 2014 English-to-German and English-to-French tasks, we show that stabilized lottery ticket pruning performs similar to magnitude pruning for sparsity levels of up to 85%, and propose a new combination of pruning techniques that outperforms all other techniques for even higher levels of sparsity. Furthermore, we confirm that the parameter's initial sign and not its specific value is the primary factor for successful training, and show that magnitude pruning cannot be used to find winning lottery tickets.




bili

Accessibility in 360-degree video players. (arXiv:2005.03373v1 [cs.MM])

Any media experience must be fully inclusive and accessible to all users regardless of their ability. With the current trend towards immersive experiences, such as Virtual Reality (VR) and 360-degree video, it becomes key that these environments are adapted to be fully accessible. However, until recently the focus has been mostly on adapting the existing techniques to fit immersive displays, rather than considering new approaches for accessibility designed specifically for these increasingly relevant media experiences. This paper surveys a wide range of 360-degree video players and examines the features they include for dealing with accessibility, such as Subtitles, Audio Description, Sign Language, User Interfaces, and other interaction features, like voice control and support for multi-screen scenarios. These features have been chosen based on guidelines from standardization contributions, like in the World Wide Web Consortium (W3C) and the International Communication Union (ITU), and from research contributions for making 360-degree video consumption experiences accessible. The in-depth analysis has been part of a research effort towards the development of a fully inclusive and accessible 360-degree video player. The paper concludes by discussing how the newly developed player has gone above and beyond the existing solutions and guidelines, by providing accessibility features that meet the expectations for a widely used immersive medium, like 360-degree video.




bili

Probabilistic Hyperproperties of Markov Decision Processes. (arXiv:2005.03362v1 [cs.LO])

We study the specification and verification of hyperproperties for probabilistic systems represented as Markov decision processes (MDPs). Hyperproperties are system properties that describe the correctness of a system as a relation between multiple executions. Hyperproperties generalize trace properties and include information-flow security requirements, like noninterference, as well as requirements like symmetry, partial observation, robustness, and fault tolerance. We introduce the temporal logic PHL, which extends classic probabilistic logics with quantification over schedulers and traces. PHL can express a wide range of hyperproperties for probabilistic systems, including both classical applications, such as differential privacy, and novel applications in areas such as robotics and planning. While the model checking problem for PHL is in general undecidable, we provide methods both for proving and for refuting a class of probabilistic hyperproperties for MDPs.




bili

Expressing Accountability Patterns using Structural Causal Models. (arXiv:2005.03294v1 [cs.SE])

While the exact definition and implementation of accountability depend on the specific context, at its core accountability describes a mechanism that will make decisions transparent and often provides means to sanction "bad" decisions. As such, accountability is specifically relevant for Cyber-Physical Systems, such as robots or drones, that embed themselves into a human society, take decisions and might cause lasting harm. Without a notion of accountability, such systems could behave with impunity and would not fit into society. Despite its relevance, there is currently no agreement on its meaning and, more importantly, no way to express accountability properties for these systems. As a solution we propose to express the accountability properties of systems using Structural Causal Models. They can be represented as human-readable graphical models while also offering mathematical tools to analyze and reason over them. Our central contribution is to show how Structural Causal Models can be used to express and analyze the accountability properties of systems and that this approach allows us to identify accountability patterns. These accountability patterns can be catalogued and used to improve systems and their architectures.




bili

Distributed Stabilization by Probability Control for Deterministic-Stochastic Large Scale Systems : Dissipativity Approach. (arXiv:2005.03193v1 [eess.SY])

By using dissipativity approach, we establish the stability condition for the feedback connection of a deterministic dynamical system $Sigma$ and a stochastic memoryless map $Psi$. After that, we extend the result to the class of large scale systems in which: $Sigma$ consists of many sub-systems; and $Psi$ consists of many "stochastic actuators" and "probability controllers" that control the actuator's output events. We will demonstrate the proposed approach by showing the design procedures to globally stabilize the manufacturing systems while locally balance the stock levels in any production process.




bili

On the Learnability of Possibilistic Theories. (arXiv:2005.03157v1 [cs.LO])

We investigate learnability of possibilistic theories from entailments in light of Angluin's exact learning model. We consider cases in which only membership, only equivalence, and both kinds of queries can be posed by the learner. We then show that, for a large class of problems, polynomial time learnability results for classical logic can be transferred to the respective possibilistic extension. In particular, it follows from our results that the possibilistic extension of propositional Horn theories is exactly learnable in polynomial time. As polynomial time learnability in the exact model is transferable to the classical probably approximately correct model extended with membership queries, our work also establishes such results in this model.




bili

AVAC: A Machine Learning based Adaptive RRAM Variability-Aware Controller for Edge Devices. (arXiv:2005.03077v1 [eess.SY])

Recently, the Edge Computing paradigm has gained significant popularity both in industry and academia. Researchers now increasingly target to improve performance and reduce energy consumption of such devices. Some recent efforts focus on using emerging RRAM technologies for improving energy efficiency, thanks to their no leakage property and high integration density. As the complexity and dynamism of applications supported by such devices escalate, it has become difficult to maintain ideal performance by static RRAM controllers. Machine Learning provides a promising solution for this, and hence, this work focuses on extending such controllers to allow dynamic parameter updates. In this work we propose an Adaptive RRAM Variability-Aware Controller, AVAC, which periodically updates Wait Buffer and batch sizes using on-the-fly learning models and gradient ascent. AVAC allows Edge devices to adapt to different applications and their stages, to improve computation performance and reduce energy consumption. Simulations demonstrate that the proposed model can provide up to 29% increase in performance and 19% decrease in energy, compared to static controllers, using traces of real-life healthcare applications on a Raspberry-Pi based Edge deployment.




bili

Fault Tree Analysis: Identifying Maximum Probability Minimal Cut Sets with MaxSAT. (arXiv:2005.03003v1 [cs.AI])

In this paper, we present a novel MaxSAT-based technique to compute Maximum Probability Minimal Cut Sets (MPMCSs) in fault trees. We model the MPMCS problem as a Weighted Partial MaxSAT problem and solve it using a parallel SAT-solving architecture. The results obtained with our open source tool indicate that the approach is effective and efficient.




bili

Key Missteps at the CDC Have Set Back Its Ability to Detect the Potential Spread of Coronavirus

The CDC designed a flawed test for COVID-19, then took weeks to figure out a fix so state and local labs could use it. New York still doesn’t trust the test’s accuracy By Caroline Chen, Marshall Allen, Lexi Churchill and Isaac Arnsdorf Propublica…



  • News/Nation & World

bili

Modeling of time-variant threshability due to interactions between a crop in a field and atmospheric and soil conditions for prediction of daily opportunity windows for harvest operations using field-level diagnosis and prediction of weather conditions an

A modeling framework for evaluating the impact of weather conditions on farming and harvest operations applies real-time, field-level weather data and forecasts of meteorological and climatological conditions together with user-provided and/or observed feedback of a present state of a harvest-related condition to agronomic models and to generate a plurality of harvest advisory outputs for precision agriculture. A harvest advisory model simulates and predicts the impacts of this weather information and user-provided and/or observed feedback in one or more physical, empirical, or artificial intelligence models of precision agriculture to analyze crops, plants, soils, and resulting agricultural commodities, and provides harvest advisory outputs to a diagnostic support tool for users to enhance farming and harvest decision-making, whether by providing pre-, post-, or in situ-harvest operations and crop analyzes.




bili

Systems and methods for control reliability operations using TMR

In one embodiment, a system includes a data collection system configured to collect a data from a control system by using an offline mode of operations. The system further includes a configuration management system configured to manage a hardware configuration and a software configuration for the control system based on the data. The system additionally includes a rule engine configured to use the data as input and to output a health assessment by using a rule database, and a report generator configured to provide a health assessment for the control system.




bili

Compatibilized polypropylene heterophasic copolymer and polylactic acid blends for injection molding applications

Injection molded articles and process of forming the same are described herein. The processes generally include providing a polyolefin including one or more propylene heterophasic copolymers, the polyolefin having an ethylene content of at least 10 wt. % based on the total weight of the polyolefin; contacting the polyolefin with a polylactic acid and a reactive modifier to form a compatiblized polymeric blend, wherein the reactive modifier is produced by contacting a polypropylene, a multifunctional acrylate comonomer, and an initiator under conditions suitable for the formation of a glycidyl methacrylate grafted polypropylene (PP-g-GMA) having a grafting yield in a range from 1 wt. % to 15 wt. %; and injection molding the compatibilized polymeric blend into an article.




bili

Coated conductor with voltage stabilized inner layer

Disclosed are polymeric compositions with improved breakdown strength. The polymeric compositions contain a polyolefin and a voltage stabilizing agent. The voltage stabilizing agent contains a triazine. The triazine may include a substituent that enables keto-enol tautomerism, which provides the voltage stabilizing agent with additional energy dissipation capacity. The present polymeric compositions exhibit improved breakdown strength when applied as an insulating layer for power cable.




bili

Piperidine compounds and their use as stabilizers

Compounds of formula (I) ##STR1## in which R1 is hydrogen, O°, CN, NO, cyanomethyl, C1 -C12 -alkyl, C3 -C12 -alkenyl or C3 -C12 -alkynyl subject to the proviso that the carbon atom attached to the nitrogen atom is a primary carbon atom, C7 -C12 -aralkyl, C1 -C12 -acyl, 2,3-epoxypropyl, OH-monosubstituted C2 -C6 -alkyl or 2,3-dihydroxypropyl, R2 is hydrogen, C1 -C18 -alkyl, C5 -C18 -cycloalkyl, C6 -C18 -aryl or C7 -C18 -aryalkyl, R3 is C6 -C18 -aryl or a group of the formula (II) ##STR2## in which R1 is as defined above, n is an integer from 1 to 4 and R4 is an organic or inorganic radical of a valency equal to n are useful for stabilizing organic material against oxidative, thermal and/or light induced degradation.




bili

Carbohydrate substituted dibenzo[D,G][1,3,2]dioxaphosphocin stabilizers

Carbohydrate substituted dibenzo[d,g][1,3,2]dioxaphosphocin compounds of formula I ##STR1## where A is a carbohydrate residue are effective stabilizers for polymers processed at elevated temperatures and subject to thermal or oxidative degradation.




bili

Carbohydrate substituted dibenzo[d,f][1,3,2]dioxaphosphepin stabilizers

Carbohydrate substituted dibenzo[d,f][1,3,2]dioxaphosphepin compounds of formula I ##STR1## where A is a carbohydrate residue are effective stabilizers for polymers processed at elevated temperatures and subject to thermal or oxidative degradation.




bili

Glass ceramic as a cooktop for induction heating having improved colored display capability and heat shielding, method for producing such a cooktop, and use of such a cooktop

A glass ceramic as cooktop for induction heating having improved colored display capability and heat shielding is provided. The cooktop includes a transparent, dyed glass ceramic plate having high-quartz mixed crystals as a predominant crystal phase. The glass ceramic contains none of the chemical refining agents arsenic oxide and/or antimony oxide and has a transmittance values greater than 0.4% at at least one wavelength in the blue spectrum between 380 and 500 nm, a transmittance >2% at 630 nm, a transmittance of less than 45% at 1600 nm, and a light transmittance of less than 2.5% in the visible spectrum.




bili

Powder comprising stabilized zirconia granules and a binder having Tg of 25C or lower

The invention relates to a granulated powder intended, in particular, for the production of ceramic sintered parts, said powder having the following chemical weight composition, based on dry matter, namely: a zirconia stabiliser selected from the group containing Y2O3, Sc2O3, MgO, CaO, CeO2, and mixtures thereof, the weight content of stabiliser, based on the total zirconia and stabiliser content, being between 2% and 20% and the MgO+CaO content being less than 5% based on the total zirconia and stabiliser content; at least 1% of a first binder having a glass transition temperature less than or equal to 25° C.; 0-4% of an additional binder having a glass transition temperature greater than 25° C.; 5-50% alumina; 0-4% of a temporary additive different from the first binder and the additional binder, the total content of the first binder, the additional binder and the temporary additive being less than 9%; less than 2% impurities; and ZrO2 to make up 100%. According to the invention, the median diameter D50 of the powder is between 80 and 130 μm, the percentile D99.5 is less than 500 μm and the relative density of the granules is between 30% and 60%.




bili

Method for increasing thermal stability of a fuel composition using a solid phosphoric acid catalyst

This invention relates to a method for increasing thermal stability of fuel, as well as in reducing nitrogen content and/or enhancing color quality of the fuel. According to the method, a fuel feedstock can be treated with a solid phosphoric acid catalyst under appropriate catalyst conditions, e.g., to increase the thermal stability of the fuel feedstock. Preferably, the fuel feedstock can be treated with the solid phosphoric acid catalyst at a ratio of catalyst mass within a contact zone to a mass flow rate of feedstock through the zone of at least about 18 minutes to increase the thermal stability of the fuel feedstock, along with reducing nitrogen content and/or enhancing color quality.




bili

Salts of dehydroacetic acid as a pyrithione stabilizer in plastics

The invention provides a method for preventing discoloration of pyrithione-containing materials, in particular plastic materials or other material such as paints, coatings, adhesives or textiles which are exposed to an outdoor environment. The method is likewise suited for preventing discoloration of other pyrithione-containing materials such as personal care compositions like shampoos. A discoloration inhibitor that includes dehydroacetic acid or a salt thereof is added to the pyrithione-containing material. The discoloration is prevented without the addition of a cyclic organic phosphoric acid ester or an organic phosphite. Use of the discoloration inhibitor does not interfere with the antimicrobial effect of the pyrithione.




bili

Method and device for detecting logic interface incompatibilities of equipment items of on-board systems

The invention in particular has as an object detecting incompatibility between equipment items of a on-board system. A logic interface associated with one equipment item comprises at least one input while a logic interface associated with another equipment item comprises at least one output. The input and the output are connected. After a minimal data definition level associated with the input and a data definition level associated with the output have been obtained (505), the said minimal data definition level associated with the input is compared (515) with the said data definition level associated with the output. Following this comparison, if the said minimal data definition level associated with the input is lower than the said data definition level associated with the output, an alarm indicating an incompatibility of these two equipment items is generated (545).




bili

Banking of reliability metrics

In one embodiment, a processor includes at least one functional block and banking logic. The banking logic may be to determine an average reliability metric associated with the at least one functional block. The banking logic may also be to, if the average reliability metric exceeds a required level, implement a reduced reliability mode in the at least one functional block, where the reduced reliability mode is associated with a reduction in the average reliability metric. Other embodiments are described and claimed.




bili

Method for stabilization and removal of radioactive waste and non hazardous waste contained in buried objects

A method and apparatus for the stabilization and safe removal of buried waste that is tested and classified as being transuranic or not transuranic waste and disposed accordingly. The buried waste (usually in vertical pipe units) is enclosed in a casing and ground and mixed with the surrounding soil. This process allows for chemical reactions to occur that stabilizes the mixture. The entire process is contained within the casing to avoid contamination. In situ or external testing is done for radio isotopes to classify the waste. If it is classified as transuranic the waste is removed in a controlled way into a retrieval enclosure and disposed off in drums. If the waste is not transuranic then grout is introduced into the mixture, allowed to set and the resulting monolith is removed and buried in trenches.




bili

Method of radium stabilizing in solid effluent or effluent containing substances in suspension

Method of stabilizing radium present in radium-containing effluent, in which the effluent and a metal chloride are mixed, then the previously obtained mixture is reacted with a sulfate ion to obtain effluent containing stabilized radium. The chloride can be a barium, strontium or lead chloride. The sulfate ion can be supplied by the addition of sulfuric acid, sulfuric anhydride, soluable sulfate or soluble sulfate salt. The method applies in particular to the treatment of solid radium-containing effluents or effluents containing substances in suspension coming from chemistry or metallurgy of zirconium or treatment of uranium-containing minerals.




bili

Methods of capturing and immobilizing radioactive nuclei with metal fluorite-based inorganic materials

Methods of capturing and immobilizing radioactive nuclei with metal fluorite-based inorganic materials are described. For example, a method of capturing and immobilizing radioactive nuclei includes flowing a gas stream through an exhaust apparatus. The exhaust apparatus includes a metal fluorite-based inorganic material. The gas stream includes a radioactive species. The radioactive species is removed from the gas stream by adsorbing the radioactive species to the metal fluorite-based inorganic material of the exhaust apparatus.




bili

Active ray curable composition, active ray curable ink composition for inkjet printing, active ray curable adhesive composition, and method for stabilizing active ray curable composition

An active ray curable composition, including: a photobase generator; a polymerizable compound; and an acid, wherein the photobase generator is a salt of a carboxylic acid and a basic compound, wherein a ratio by mole of a carboxyl group of the carboxylic acid:a basic functional group of the basic compound is 1:1, and wherein the acid is an acid that loses a function thereof as acid by light or heat.




bili

UV-curable coating compositions with self-healing capabilities, coating films, and methods of producing coating films

The present invention is directed to a coating composition including a (meth)acrylate binder resin, a UV initiator, an organic solvent, and silica particles surface-treated with a (meth)acrylate compound, a coating film including a cured product of the coating composition, and a method of producing the coating film. The present invention makes it possible to provide a coating material having high transmittance and a low level of haze, and excellent scratch resistance and self-healing capabilities.




bili

Stabilized formulations of fatty acids

Disclosed herein are stabilized powder and aqueous formulations comprising a substantially water insoluble lipophilic bioactive compound and a micelle-forming surfactant. In one embodiment, the formulation further comprises a water soluble reducing agent, and/or a water insoluble reducing agent, and/or a metal chelator, and/or a metal bisulfite reducing agent, or combinations thereof, wherein the formulation remains substantially clear and stable when stored at or below room temperature for a period of at least 6 months or at least 12 months; and methods for preparing these formulations.




bili

Electrokinetically-altered fluids comprising charge-stabilized gas-containing nanostructures

Particular aspects provide compositions comprising an electrokinetically altered oxygenated aqueous fluid, wherein the oxygen in the fluid is present in an amount of at least 25 ppm. In certain aspects, the electrokinetically altered oxygenated aqueous fluid comprises electrokinetically modified or charged oxygen species present in an amount of at least 0.5 ppm. In certain aspects the electrokinetically altered oxygenated aqueous fluid comprises solvated electrons stabilized by molecular oxygen, and wherein the solvated electrons present in an amount of at least 0.01 ppm. In certain aspects, the fluid facilitates oxidation of pyrogallol to purpurogallin in the presence of horseradish peroxidase enzyme (HRP) in an amount above that afforded by a control pressure pot generated or fine-bubble generated aqueous fluid having an equivalent dissolved oxygen level, and wherein there is no hydrogen peroxide, or less than 0.1 ppm of hydrogen peroxide present in the electrokinetic oxygen-enriched aqueous fluid.




bili

Ultrastable particle-stabilized foams and emulsions

Described is a method to prepare wet foams exhibiting long-term stability wherein colloidal particles are used to stabilize the gas-liquid interface, said particles being initially inherently partially lyophobic particles or partially lyophobized particles having mean particle sizes from 1 nm to 20 μm. In one aspect, the partially lyophobized particles are prepared in-situ by treating initially hydrophilic particles with amphiphilic molecules of specific solubility in the liquid phase of the suspension.




bili

Program module applicability analyzer for software development and testing for multi-processor environments

In one embodiment, a machine-implemented method programs a heterogeneous multi-processor computer system to run a plurality of program modules, wherein each program module is to be run on one of the processors The system includes a plurality of processors of two or more different processor types. According to the recited method, machine-implemented offline processing is performed using a plurality of SIET tools of a scheduling information extracting toolkit (SIET) and a plurality of SBT tools of a schedule building toolkit (SBT). A program module applicability analyzer (PMAA) determines whether a first processor of a first processor type is capable of running a first program module without compiling the first program module. Machine-implemented online processing is performed using realtime data to test the scheduling software and the selected schedule solution.




bili

Method for displaying suitability of future waypoint locations

A method for illustrating an aircraft flight plan comprising at least one waypoint on a flight display of a flight deck of an aircraft, where the method may include displaying on the flight display of the flight deck some type of display indicia that indicates the suitability of locations for future waypoints.




bili

Physics-based reliability model for large-scale CMOS circuit design

This disclosure relates generally to systems and methods for simulating physical active semiconductor components using in silico active semiconductor components. To simulate charge degradation effect(s) in a circuit simulation, a simulated defect signal level is produced. More specifically, the simulated defect signal level simulates at least one charge degradation effect in the in silico active semiconductor component as a function of simulation time and a simulated input signal level of a simulated input signal. As such, the charge degradation effect(s) are simulated externally with respect to the in silico active semiconductor component. In this manner, the in silico active semiconductor component does not need to be reprogrammed in order to simulate charge degradation effects.




bili

Fluorocarbon emulsion stabilizing surfactants

Surfactants (e.g., fluorosurfactants) for stabilizing aqueous or hydrocarbon droplets in a fluorophilic continuous phase are presented. In some embodiments, fluorosurfactants include a fluorophilic tail soluble in a fluorophilic (e.g., fluorocarbon) continuous phase, and a headgroup soluble in either an aqueous phase or a lipophilic (e.g., hydrocarbon) phase. The combination of a fluorophilic tail and a headgroup may be chosen so as to create a surfactant with a suitable geometry for forming stabilized reverse emulsion droplets having a disperse aqueous or lipophilic phase in a continuous, fluorophilic phase. In some embodiments, the headgroup is preferably non-ionic and can prevent or limit the adsorption of molecules at the interface between the surfactant and the discontinuous phase. This configuration can allow the droplet to serve, for example, as a reaction site for certain chemical and/or biological reactions. In another embodiment, aqueous droplets are stabilized in a fluorocarbon phase at least in part by the electrostatic attraction of two oppositely charged or polar components, one of which is at least partially soluble in the dispersed phase, the other at least partially soluble in the continuous phase. One component may provide collodial stability of the emulsion, and the other may prevent the adsorption of biomolecules at the interface between a component and the discontinous phase. Advantageously, surfactants and surfactant combinations of the invention may provide sufficient stabilization against coalescence of droplets, without interfering with processes that can be carried out inside the droplets.




bili

Managing CPU resources for high availability micro-partitions

A partition manager relocates a logical partition from a primary shared processor pool to a secondary shared processor pool in response to a predetermined condition, such as a hardware failure. The relocated logical partition is allocated a smaller quantity of processing units from the secondary pool than it was allocated from the primary pool. A quantity of processing units reserved for a second logical partition is identified in the secondary shared processor pool, and a portion of those reserved processing units are allocated to the relocated logical partition. The reserved processing units may be redistributed among multiple relocated logical partitions.




bili

Method for producing reduced coenzyme Q10, method for stabilizing same, and composition comprising same

An object of the present invention is to provide a substance characterized by ability to reduce oxidized coenzyme Q10 and ability to stabilize reduced coenzyme Q10, which contains nutrients, has a favorable taste, and is excellent in general versatility, and a method for using the same. The present invention relates to a method for producing reduced coenzyme Q10 comprising reducing oxidized coenzyme Q10 with a particular amino acid. The present invention also relates to a method for stabilizing reduced coenzyme Q10 in the presence of a particular amino acid and a composition stabilized by the method.




bili

Formulations for nucleic acid stabilization on solid substrates

The present disclosure generally relates to dry solid matrices for the extraction, stabilization, and storage of nucleic acids, particularly RNA, in a dry format under ambient conditions for a prolonged period of time. Methods for collecting and recovering the nucleic acids stored in the dry solid matrix are also described.




bili

Resolution programmable dynamic IR-drop sensor with peak IR-drop tracking abilities

A data processing system on an integrated circuit includes a core that performs switching operations responsive to a system clock that draws current from the power supply network. An IR-drop detector includes a resistor ladder having outputs representative of an IR-drop caused by the core during the switching operations. The system further includes a plurality of amplifiers coupled to the outputs indicative of the IR-drop, a plurality of flip-flops coupled to the amplifiers, and a variable clock generator. The variable clock generator outputs a sampling clock comprising a group consisting of a variable phase or a variable frequency to the plurality of flip-flops. The flip-flops are triggered by the sampling clock so that the IR-drop at a time during a clock cycle of the system clock can be detected, and the peak IR-drop value for can be tracked.




bili

Stabilized isocyanate group-containing ethylenically unsaturated compound

An object of the present invention is to improve the stability of an ethylenically unsaturated compound having an isocyanate group in the molecule by preventing a polymerization of the ethylenically unsaturated compound. The present invention relates to a stabilizing composition for an isocyanate group-containing ethylenically unsaturated compound, comprising: an isocyanate group-containing ethylenically unsaturated compound (A) which comprises one or more isocyanate groups and one or more ethylenically unsaturated groups in the molecule; and a stabilizing agent (B) which is a compound in which at least one of the ethylenically unsaturated groups in the compound (A) is replaced with an alkyl group which may have a substituent.




bili

Steroids having increased water solubility and resistance against metabolism, and methods for their production

Steroid compounds having increased resistance against metabolism and increased water solubility are disclosed, together with methods for their production. These substances are suitable for the manufacture of pharmaceuticals for the treatment of steroid related or steroid induced CNS disorders and for use in methods of prevention, alleviation or treatment of such disorders.




bili

Dosage form to increase prasterone bioavailability

A way to formulate prasterone to both increase its oral bioavailability, and decrease the variability of its oral bioavailability. In contrast to the approach taught by the prior art, the instant approach is amenable to scale-up to commercial scale. Further, the resulting product is amenable to analysis using standard, known quantitative analytical techniques; thus, unlike the prior art approach, the instant approach may be used to manufacture a product in conformity with applicable regulatory standards.




bili

Compatibility agents for herbicidal formulations comprising 2,4-(Dichlorophenoxy) acetic acid salts

The present invention generally relates to a method for minimizing the formation of insoluble salts of phenoxy herbicides. The method comprises (1) mixing a compatibility agent, amine salts of phenoxy acid herbicides, and a chemical containing non-amine cations in a aqueous system to form a stable and non-nozzle plugging solution; and (2) application of said stable and non-nozzle plugging solution onto target plants.




bili

Pharmaceutical combination for the treatment and/or chemosensibilization of refractory tumors to anticancer drugs

This invention is related to a pharmaceutical combination that contains a Casein kinase 2 (CK2) peptide inhibitor (termed P15) along with the standard chemotherapeutic drugs used in cancer treatment and which are administered together, separated or sequentially. The chemotherapeutic drugs include cisplatin, taxol, alkaloids from Vinca, 5-fluorouracil, doxorubicin, cyclophosphamide, etoposide, mitomicin C, imatinib, iressa and velcade (vortezomib). The synergism between the P15 peptide and the anticancer drugs achieves an efficient concentration of each cytostatic drug in the combination which is from 10- to 100-fold lower than that for each cytostatic drug alone. The pharmaceutical combination described in this invention exhibits lower toxicity compared to that reported by the anticancer therapeutics and therefore, it represents a crucial advantage for its use in cancer therapy. Furthermore, the sequential administration of this pharmaceutical combination through the pretreatment with the P15 peptide leads to the chemo sensibilization of refractory tumors to the anticancer therapeutics.




bili

Dual cure method for ink for increased durability and adhesion to golf balls

A method is disclosed for curing ink printed images on golf balls by printing an image onto a golf ball and exposing the printed image to infrared radiation, then exposing the printed image to ultraviolet radiation.




bili

Systems and methods for monitoring and controlling ultrasound power output and stability

Some embodiments provide a method of providing ultrasound energy having a stable power output. The method can comprise providing ultrasound energy from a ultrasound transducer; determining a power level threshold of the ultrasound energy; monitoring a power level of the ultrasound energy over time of the ultrasound energy; communicating a power level to a controller; adjusting the frequency of the ultrasound energy upon a change in the power level; and maintaining the power level threshold of the ultrasound energy.




bili

Utilizing a diluent to lower combustion instabilities in a gas turbine engine

A method of influencing combustion dynamics, including measuring a combustion dynamics parameter, and controlling a diluent flow (26) delivered to a fuel flow (32) upstream of a pilot burner fuel outlet (40) in response to the measured combustion dynamics parameter.