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.

In this paper, we continue our prior work on using imitation learning (IL) and model free reinforcement learning (RL) to learn driving policies for autonomous driving in urban scenarios, by introducing a model based RL method to drive the autonomous vehicle in the Carla urban driving simulator. Although IL and model free RL methods have been proved to be capable of solving lots of challenging tasks, including playing video games, robots, and, in our prior work, urban driving, the low sample efficiency of such methods greatly limits their applications on actual autonomous driving. In this work, we developed a model based RL algorithm of guided policy search (GPS) for urban driving tasks. The algorithm iteratively learns a parameterized dynamic model to approximate the complex and interactive driving task, and optimizes the driving policy under the nonlinear approximate dynamic model. As a model based RL approach, when applied in urban autonomous driving, the GPS has the advantages of higher sample efficiency, better interpretability, and greater stability. We provide extensive experiments validating the effectiveness of the proposed method to learn robust driving policy for urban driving in Carla. We also compare the proposed method with other policy search and model free RL baselines, showing 100x better sample efficiency of the GPS based RL method, and also that the GPS based method can learn policies for harder tasks that the baseline methods can hardly learn.

We develop a categorical compositional distributional semantics for Lambek Calculus with a Relevant Modality !L*, which has a limited edition of the contraction and permutation rules. The categorical part of the semantics is a monoidal biclosed category with a coalgebra modality, very similar to the structure of a Differential Category. We instantiate this category to finite dimensional vector spaces and linear maps via "quantisation" functors and work with three concrete interpretations of the coalgebra modality. We apply the model to construct categorical and concrete semantic interpretations for the motivating example of !L*: the derivation of a phrase with a parasitic gap. The effectiveness of the concrete interpretations are evaluated via a disambiguation task, on an extension of a sentence disambiguation dataset to parasitic gap phrase one, using BERT, Word2Vec, and FastText vectors and Relational tensors.

An approach is given for solving large linear systems that combines Krylov methods with use of two different grid levels. Eigenvectors are computed on the coarse grid and used to deflate eigenvalues on the fine grid. GMRES-type methods are first used on both the coarse and fine grids. Then another approach is given that has a restarted BiCGStab (or IDR) method on the fine grid. While BiCGStab is generally considered to be a non-restarted method, it works well in this context with deflating and restarting. Tests show this new approach can be very efficient for difficult linear equations problems.

The increasing ubiquity of low-cost wireless sensors in smart homes and buildings has enabled users to easily deploy systems to remotely monitor and control their environments. However, this raises privacy concerns for third-party occupants, such as a hotel room guest who may be unaware of deployed clandestine sensors. Previous methods focused on specific modalities such as detecting cameras but do not provide a generalizable and comprehensive method to capture arbitrary sensors which may be "spying" on a user. In this work, we seek to determine whether one can walk in a room and detect any wireless sensor monitoring an individual. As such, we propose SnoopDog, a framework to not only detect wireless sensors that are actively monitoring a user, but also classify and localize each device. SnoopDog works by establishing causality between patterns in observable wireless traffic and a trusted sensor in the same space, e.g., an inertial measurement unit (IMU) that captures a user's movement. Once causality is established, SnoopDog performs packet inspection to inform the user about the monitoring device. Finally, SnoopDog localizes the clandestine device in a 2D plane using a novel trial-based localization technique. We evaluated SnoopDog across several devices and various modalities and were able to detect causality 96.6% percent of the time, classify suspicious devices with 100% accuracy, and localize devices to a sufficiently reduced sub-space.

Dialogue engines that incorporate different types of agents to converse with humans are popular.

However, conversations are dynamic in the sense that a selected response will change the conversation on-the-fly, influencing the subsequent utterances in the conversation, which makes the response selection a challenging problem.

We model the problem of selecting the best response from a set of responses generated by a heterogeneous set of dialogue agents by taking into account the conversational history, and propose a emph{Neural Response Selection} method.

The proposed method is trained to predict a coherent set of responses within a single conversation, considering its own predictions via a curriculum training mechanism.

Our experimental results show that the proposed method can accurately select the most appropriate responses, thereby significantly improving the user experience in dialogue systems.

Making changes to a program to optimize its performance is an unscalable task that relies entirely upon human intuition and experience. In addition, companies operating at large scale are at a stage where no single individual understands the code controlling its systems, and for this reason, making changes to improve performance can become intractably difficult. In this paper, a learning system is introduced that provides AI assistance for finding recommended changes to a program. Specifically, it is shown how the evaluative feedback, delayed-reward performance programming domain can be effectively formulated via the Monte Carlo tree search (MCTS) framework. It is then shown that established methods from computational games for using learning to expedite tree-search computation can be adapted to speed up computing recommended program alterations. Estimates of expected utility from MCTS trees built for previous problems are used to learn a sampling policy that remains effective across new problems, thus demonstrating transferability of optimization knowledge. This formulation is applied to the Apache Spark distributed computing environment, and a preliminary result is observed that the time required to build a search tree for finding recommendations is reduced by up to a factor of 10x.

Coronavirus disease 2019 (Covid-19) is highly contagious with limited treatment options. Early and accurate diagnosis of Covid-19 is crucial in reducing the spread of the disease and its accompanied mortality. Currently, detection by reverse transcriptase polymerase chain reaction (RT-PCR) is the gold standard of outpatient and inpatient detection of Covid-19. RT-PCR is a rapid method, however, its accuracy in detection is only ~70-75%. Another approved strategy is computed tomography (CT) imaging. CT imaging has a much higher sensitivity of ~80-98%, but similar accuracy of 70%. To enhance the accuracy of CT imaging detection, we developed an open-source set of algorithms called CovidCTNet that successfully differentiates Covid-19 from community-acquired pneumonia (CAP) and other lung diseases. CovidCTNet increases the accuracy of CT imaging detection to 90% compared to radiologists (70%). The model is designed to work with heterogeneous and small sample sizes independent of the CT imaging hardware. In order to facilitate the detection of Covid-19 globally and assist radiologists and physicians in the screening process, we are releasing all algorithms and parametric details in an open-source format. Open-source sharing of our CovidCTNet enables developers to rapidly improve and optimize services, while preserving user privacy and data ownership.

An interesting and frequent type of multi-word expression (MWE) is the headless MWE, for which there are no true internal syntactic dominance relations; examples include many named entities ("Wells Fargo") and dates ("July 5, 2020") as well as certain productive constructions ("blow for blow", "day after day"). Despite their special status and prevalence, current dependency-annotation schemes require treating such flat structures as if they had internal syntactic heads, and most current parsers handle them in the same fashion as headed constructions. Meanwhile, outside the context of parsing, taggers are typically used for identifying MWEs, but taggers might benefit from structural information. We empirically compare these two common strategies--parsing and tagging--for predicting flat MWEs. Additionally, we propose an efficient joint decoding algorithm that combines scores from both strategies. Experimental results on the MWE-Aware English Dependency Corpus and on six non-English dependency treebanks with frequent flat structures show that: (1) tagging is more accurate than parsing for identifying flat-structure MWEs, (2) our joint decoder reconciles the two different views and, for non-BERT features, leads to higher accuracies, and (3) most of the gains result from feature sharing between the parsers and taggers.

Motivated by the current demand of clinical governance, surgical simulation is now a well-established modality for basic skills training and assessment. The practical deployment of the technique is a multi-disciplinary venture encompassing areas in engineering, medicine and psychology. This paper provides an overview of the key topics involved in surgical simulation and associated technical challenges. The paper discusses the clinical motivation for surgical simulation, the use of virtual environments for surgical training, model acquisition and simplification, deformable models, collision detection, tissue property measurement, haptic rendering and image synthesis. Additional topics include surgical skill training and assessment metrics as well as challenges facing the incorporation of surgical simulation into medical education curricula.

Different state-of-the-art methods of the detection of schizophrenia symptoms based on the estimation of text coherence have been analyzed. The analysis of a text at the level of phrases has been suggested. The method based on the graph of the consistency of phrases has been proposed to evaluate the semantic coherence and the cohesion of a text. The semantic coherence, cohesion, and other linguistic features (lexical diversity, lexical density) have been taken into account to form feature vectors for the training of a model-classifier. The training of the classifier has been performed on the set of English-language interviews. According to the retrieved results, the impact of each feature on the output of the model has been analyzed. The results obtained can indicate that the proposed method based on the graph of the consistency of phrases may be used in the different tasks of the detection of mental illness.

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.

Homomorphic encryption (HE) allows direct computations on encrypted data. Despite numerous research efforts, the practicality of HE schemes remains to be demonstrated. In this regard, the enormous size of ciphertexts involved in HE computations degrades computational efficiency. Near-memory Processing (NMP) and Computing-in-memory (CiM) - paradigms where computation is done within the memory boundaries - represent architectural solutions for reducing latency and energy associated with data transfers in data-intensive applications such as HE. This paper introduces CiM-HE, a Computing-in-memory (CiM) architecture that can support operations for the B/FV scheme, a somewhat homomorphic encryption scheme for general computation. CiM-HE hardware consists of customized peripherals such as sense amplifiers, adders, bit-shifters, and sequencing circuits. The peripherals are based on CMOS technology, and could support computations with memory cells of different technologies. Circuit-level simulations are used to evaluate our CiM-HE framework assuming a 6T-SRAM memory. We compare our CiM-HE implementation against (i) two optimized CPU HE implementations, and (ii) an FPGA-based HE accelerator implementation. When compared to a CPU solution, CiM-HE obtains speedups between 4.6x and 9.1x, and energy savings between 266.4x and 532.8x for homomorphic multiplications (the most expensive HE operation). Also, a set of four end-to-end tasks, i.e., mean, variance, linear regression, and inference are up to 1.1x, 7.7x, 7.1x, and 7.5x faster (and 301.1x, 404.6x, 532.3x, and 532.8x more energy efficient). Compared to CPU-based HE in a previous work, CiM-HE obtain 14.3x speed-up and >2600x energy savings. Finally, our design offers 2.2x speed-up with 88.1x energy savings compared to a state-of-the-art FPGA-based accelerator.

The Cannabis Issue Times are stressful, what with a virus rampaging, people dying, hospitals being overloaded, the economy imploding and unemployment soaring.…

Uncut Gems is one of those "his own worst enemy" capers. You know, the kind of movie where you sit there for two hours watching some doofus constantly trip over his own laces — usually figuratively, sometimes literally — on the way to a personal epiphany about how all his bad choices and lack of useful self-awareness have led him to whatever unpleasant place they lead him to.…

As this issue goes to press, our city, our state, our country and our world are coping with the spread of a virus that's deadly to some, and not even noticed by others who have no symptoms but may spread it.…

Warm summer nights are on the way.…

The present invention relates to a compound of formula A, wherein R is alkyl. Compound A may be used as an intermediate in the preparation of O-desmethyl venlafaxine or a salt thereof, and the present invention provides such a preparation, as well as a process for preparing the compound of formula A.

A computer implemented method for automatic chemical assay classification, the method comprising steps the computer is programmed to perform, the steps comprising: receiving a plurality of sets of parameters, each one of the received sets of parameters characterizing a respective assay of a chemical reaction, calculating a space enhancing proximity among points representative of assays of qualitatively identical chemical reactions, and representing each one of at least two of the received sets of parameters as a respective point in the calculated space, and dividing the points in the calculated space into a number of groups, according to proximity among the points in the calculated space, each group pertaining to a respective chemical reaction, thereby classifying the assays.

Provided are processes for the oxidative cleavage of a double bond in an unsaturated carboxylic acid. The process includes contacting the unsaturated carboxylic acid with a mild oxidizing agent and agitating the unsaturated carboxylic acid and the mild oxidizing agent for a time sufficient to cleave a double bond of the unsaturated carboxylic acid and produce a product comprising an aldehyde. The process is typically carried out in a mill, such as a ball, hammer, attrition, or jet mill.

The invention relates 6-acyl-(6H)-dibenz[c,e][1,2]oxaphosphorin-6-oxides of the formula ##STR1## wherein each of R1, R2 and R3 may be present one or more times and R1, R2 and R3 represent halogen having an atomic number of from 9 to 35, alkyl or alkoxy each having from 1 to 6 carbon atoms and wherein Ar represents an aromatic hydrocarbon group having from 6 to 10 carbon atoms.The invention further relates to a process for the preparation of the afore-mentioned compounds and polymerizable compositions containing them as an essential ingredient as a photo-initiator. Finally the invention relates to 6-alkoxy-(6H)-dibenz[c,e][1,2]oxaphosphorin of the formula II ##STR2## wherein each of R1 and R2 may be present once or more times and R1 and R2 represent halogen having an atomic number of from 9 to 35, alkyl or alkoxy each having from 1 to 6 carbon atoms, at least one R1 being, however, halogen and wherein R4 represents alkyl having from 1 to 6 carbon atoms.

A method of producing a bis(2-carboxyethyl)-alkyl phosphine oxide represented by the following general formula (1) is disclosed. ##STR1## The method comprises the following Steps 1-4: step 1 wherein phosphine is reacted with acrylonitrile to produce bis(2-cyanoethyl)phosphine and then, in step 2, reacted with an alkene to produce a bis(2-cyanoethyl)alkyl phosphine, and in step 3, reacted with an oxidizing agent to produce a bis(2-cyanoethyl)alkyl phosphine oxide, and in step 4, said bis(2-cyanoethyl)alkyl phosphine oxide is reacted with water or a lower alcohol to give a bis(2-carboxyethyl)alkyl phosphine oxide or a derivative thereof.

The present invention provides an osmium oxide composition comprising an osmium oxide microencapsulated in an aromatic polyolefin (hereinafter abbreviated as MCOsOx), a method for preparation of MCOsOx, which comprises allowing an osmium oxide to contact with an aromatic polyolefin in an organic solvent, and precipitating MCOsOx, an oxidizing agent comprising MCOsOx, a method for preparing a chiral diol compound, which comprises reacting MCOsOx, a chiral ligand and an olefin compound with each other, and a method for preparing a chiral diol compound, which comprises oxidizing an olefin compound with MCOsOx wherein a chiral ligand further coordinates to an osmium oxide.

The present invention provides an osmium oxide composition comprising an osmium oxide microencapsulated in an aromatic polyolefin (hereinafter abbreviated as MCOsOx), a method for preparation of MCOsOx, which comprises allowing an osmium oxide to contact with an aromatic polyolefin in an organic solvent, and precipitating MCOsOx, an oxidizing agent comprising MCOsOx, a method for preparing a chiral diol compound, which comprises reacting MCOsOx, a chiral ligand and an olefin compound with each other, and a method for preparing a chiral diol compound, which comprises oxidizing an olefin compound with MCOsOx, wherein a chiral ligand further coordinates to an osmium oxide.

This invention relates to a composition comprising antimony trifluoride and silica, a method for the preparation of said composition and use of said composition as a catalyst in a process for the oxidation of cyclohexanone to ε-caprolactone.

Provided is an oxide sintered body suitably used for the production of an oxide semiconductor film for a display device, wherein the oxide sintered body has both high conductivity and relative density, and is capable of depositing an oxide semiconductor film having high carrier mobility. This oxide sintered body is obtained by mixing and sintering powders of zinc oxide, tin oxide and indium oxide, and when an EPMA in-plane compositional mapping is performed on the oxide sintered body the percentage of the area in which Sn concentration is 10 to 50 mass % in the measurement area is 70 area percent or more.

Provided are an oxide sintered body and a sputtering target that are ideal for the production of an oxide semiconductor film for a display device. The oxide sintered body and sputtering target that are provided have both high conductivity and high relative density, are capable of forming an oxide semiconductor film having a high carrier mobility, and in particular, have excellent direct-current discharge stability in that long-term, stable discharge is possible, even when used by the direct-current sputtering method. The oxide sintered body of the invention is an oxide sintered body obtained by mixing and sintering zinc oxide, tin oxide, and an oxide of at least one metal (M metal) selected from the group consisting of Al, Hf, Ni, Si, Ga, In, and Ta. When the in-plane specific resistance and the specific resistance in the direction of depth are approximated by Gaussian distribution, the distribution coefficient σ of the specific resistance is 0.02 or less.

The present application is directed to a novel composition which acts as a barrier to noxious agents while adding self-detoxifying catalytic treatments to neutralize the noxious and harmful warfare agents when applied for example on a fabric, or other solid support.

Method of extracting syngas between the zone in a furnace where oxygen-starved combustion of biomass occurs and the zone in the furnace where secondary air is added to complete combustion, conditioning and cleaning the extracted syngas, and delivering it in a metered amount to the oxidizer or upstream of the oxidizer to reduce or eliminate the need for additional fossil fuels once the oxidizer has achieved its operating temperature. The gasifier or furnace burns solid waste and produces a syngas containing relatively high levels of CO, which is extracted from the furnace, conditioned, and introduced into an RTO as a fuel source. In certain embodiments, no extraction of syngas from the furnace takes place; the furnace conditions are manipulated so that normally undesirable levels of CO and other VOC's remain in the process stream. The heat from the furnace is used as intended (e.g., to heat a dryer), the stream is conditioned, and ultimately proceeds to a downstream RTO. Since the gas stream remains rich in CO and VOC's, its fuel value in the RTO is substantially higher than otherwise would be the case.

Degradation of phosphate esters, particularly neurotoxins and pesticides, is performed using high oxidative state molybdenum complexes, more particularly molybdenum(VI) complexes. A molybdenum(VI) complex is dissolved in water and then reacted with a phosphate ester. The phosphate esters can include, but are not limited to, VX, VE, VG, VM, GB, GD, GA, GF, parathion, paraoxon, triazophos, oxydemeton-methyl, chlorpyrifos, fenitrothion and pirimiphos-methyl, representing both chemical warfare agents as well as pesticides and insecticides.

The invention pertains to an oligomer or polymer substituted by one or more bisacylphosphine oxide moieties, characterized in that said bisacylphosphine oxide moiety is linked via the phosphorous atom, optionally via a spacer group, to the oligomer or polymer backbone; as well as to specifically functionalized bisacylphosphine oxides, suitable to prepare said polymers or oligomers.

The present invention relates to methods for making oxidation resistant homogenized polymeric materials and medical implants that comprise polymeric materials, for example, ultra-high molecular weight polyethylene (UHMWPE). The invention also provides methods of making antioxidant-doped medical implants, for example, doping of medical devices containing cross-linked UHMWPE with vitamin E by diffusion and annealing the anti-oxidant doped UHMWPE in a super critical fluid, and materials used therein.

A durable ambient light curable waterproof liquid rubber coating with volatile organic compound (VOC) content of less than 450 grams per liter made from ethylene propylene diene terpolymer (EPDM) in a solvent, a photoinitiator, an additive, pigments, and fillers, and a co-agent and a method for making the formulation, wherein the formulation is devoid of thermally activated accelerators.

Methods of increasing the solubility of a base in supercritical carbon dioxide include forming a complex of a Lewis acid and the base, and dissolving the complex in supercritical carbon dioxide. The Lewis acid is soluble in supercritical carbon dioxide, and the base is substantially insoluble in supercritical carbon dioxide. Methods for increasing the solubility of water in supercritical carbon dioxide include dissolving an acid or a base in supercritical carbon dioxide to form a solution and dissolving water in the solution. The acid or the base is formulated to interact with water to solubilize the water in the supercritical carbon dioxide. Some compositions include supercritical carbon dioxide, a hydrolysable metallic compound, and at least one of an acid and a base. Some compositions include an alkoxide and at least one of an acid and a base.

Process for preparing a dispersion comprising silicon dioxide particles and cationizing agents, by dispersing 50 to 75 parts by weight of water, 25 to 50 parts by weight of silicon dioxide particles having a BET surface area of 30 to 500 m2/g and 100 to 300 μg of cationizing agent per square meter of the BET surface area of the silicon dioxide particles, wherein the cationizing agent is obtainable by reacting at least one haloalkyl-functional alkoxysilane, hydrolysis products, condensation products and/or mixtures thereof with at least one aminoalcohol and water; and optionally removing the resulting hydrolysis alcohol from the reaction mixture. Also the process for preparing the dispersion, wherein the cationizing agent comprises one or more quaternary, aminoalcohol-functional, organosilicon compounds of formula III and/or condensation products thereof, wherein Ru and Rv are independently C2-4 alkyl group, m is 2-5 and n is 2-5.

A method of extending advanced process control (APC) models includes constructing an APC model table including APC model parameters of a plurality of products and a plurality of work stations. The APC model table includes empty cells and cells filled with existing APC model parameters. Average APC model parameters of the existing APC model parameters are calculated, and filled into the empty cells as initial values. An iterative calculation is performed to update the empty cells with updated values.

Systems, Apparatus, methods, and computer program products are provided for converting an existing artifact to one or more new artifacts. For example, in one embodiment, a computing device can receive input identifying an existing artifact for conversion to one or more new artifacts. One or more items from the existing artifact and their respective types can be identified for conversion. Then, the one or more items of the existing artifact can be converted to one or more new artifacts.

A process is disclosed for producing ethanol comprising contacting acetic acid and hydrogen in a reactor in the presence of a catalyst comprising a binder and a mixed oxide comprising nickel and tin.

A polyether polyol based on renewable materials is obtained by the in situ production of a polyether from a hydroxyl group-containing vegetable oil, at least one alkylene oxide and a low molecular weight polyol having at least 2 hydroxyl groups. The polyol is produced by introducing the hydroxyl group-containing vegetable oil, a catalyst and an alkylene oxide to a reactor and initiating the alkoxylation reaction. After the alkoxylation reaction has begun but before the reaction has been 20% completed, the low molecular weight polyol having at least 2 hydroxyl groups is continuously introduced into the reactor. After the in situ made polyether polyol product having the desired molecular weight has been formed, the in situ made polyether polyol is removed from the reactor. These polyether polyols are particularly suitable for the production of flexible polyurethane foams.

A process for preparation of 2-phenyl ethanol by catalytic hydrogenation of styrene oxide using a catalyst consisting of Pd (II) on basic inorganic support is investigated. The present invention comprises development of new Pd based catalysts. The present method yields 2-phenyl ethanol in 98% selectivity at total conversion of styrene oxide. The present process represents an environment friendly alternative to conventionally used methods in industry and eliminates the reduction step for catalyst preparation. In the present invention the active catalyst is generated in situ during the hydrogenation of styrene oxide. In addition, Pd (II) supported catalysts do not catch fire (non pyrophoric), can be stored under ambient conditions and produce very less or no dust which makes said catalysts suitable for industrial application.

An apparatus and method for moving a wire along its own axis against a high resistance to its motion causing a substantial uniaxial compression stress in the wire without allowing it to buckle. The apparatus consists of a wire gripping and moving drive wheel and guide rollers for transporting the moving wire away from the drive wheel. Wire is pressed into a peripheral groove in a relatively large diameter, rotating drive wheel by a set of small diameter rollers arranged along part of the periphery causing the wire to be gripped by the groove.

Disclosed are an oxide superconductor tape and a method of manufacturing the oxide superconductor tape capable of improving the length and characteristics of superconductor tape and obtaining stabilized characteristics across the entire length thereof. A Y-class superconductor tape (10), as an oxide superconductor tape, comprises a tape (13) further comprising a tape-shaped non-oriented metallic substrate (11), and a first buffer layer (sheet layer) (12) that is formed by IBAD upon the tape-shaped non-oriented metallic substrate (11); and a second buffer layer (gap layer) (14), further comprising a lateral face portion (14a) that is extended to the lateral faces of the first buffer layer (sheet layer) (12) upon the tape (13) by RTR RF-magnetron sputtering.

Provided are a three-phase coaxial superconducting power cable and a structure thereof. A certain space is formed between adjacent superconducting wires of a superconducting layer (disposed at an outer portion) having more superconducting wires among a plurality of superconducting layers, and another wire is disposed in the space, or the superconducting wires of the respective superconducting layers are disposed to have different critical currents. Accordingly, a waste of superconducting wires is prevented, and the optimized three-phase coaxial superconducting power cable is provided.

According to one embodiment, an oxide superconductor includes an oriented superconductor layer and an oxide layer. The oriented superconductor layer contains fluorine at 2.0×1016-5.0×1019 atoms/cc and carbon at 1.0×1018-5.0×1020 atoms/cc. The superconductor layer contains in 90% or more a portion oriented along c-axis with an in-plane orientation degree (Δφ) of 10 degrees or less, and contains a LnBa2Cu3O7-x superconductor material (Ln being yttrium or a lanthanoid except cerium, praseodymium, promethium, and lutetium). The oxide layer is provided in contact with a lower surface of the superconductor layer and oriented with an in-plane orientation degree (Δφ) of 10 degrees or less with respect to one crystal axis of the superconductor layer. Area of a portion of the lower surface of the superconductor layer in contact with the oxide layer is 0.3 or less of area of a region directly below the superconductor layer.

Methods and devices for minimizing and maximizing displayed output associated with applications are provided. More particularly, an application presented as two or more pages in a portrait mode can be minimized to present one of the two or more pages following a minimization operation. The page that continues to be displayed can comprise a primary or preferred page, while the page that is dismissed can comprise a secondary or ancillary page. With respect to a maximization operation received with respect to a page of an application results in the display of an additional page associated with that application. Maximization can include controlling the respective screens on which first and second pages of the maximized application are displayed.

The present invention related to a method of manufacturing a polycarbonate including the process of copolymerizing epoxide compound and CO2 using cobalt(III) or chromium(III), where the ligands contains at least 3 ammonium cations, central metal has formal −1 charge, and conjugated anions of the two cationic ammonium groups are acid-base homoconjugation, as catalyst. According to the present invention, the initial induction time can be reduced when the said polycarbonate is manufactured and it is possible to improve the activity of the catalyst and the molecular weight of the obtained polymer.

Novel oxidized thiophospholipids are provided herein, as well as methods for producing same, and uses thereof in treating or preventing an inflammation associated with endogenous oxidized lipids and related conditions. Exemplary oxidized thiophospholipid according to embodiments described herein have the formula: wherein X1, X2, A1, A2, B', B″, D' and D″ are as described herein.

The present disclosure relates to a sulfonated benzene compound emitting fluorescence by reaction with hydrogen peroxide, aqueous-dispersed fluorescent nanoprobes applicable for real-time detection of hydrogen peroxide, and a fluorescent nanoprobe fabrication method. The fluorescent nanoprobe contains the following sulfonated benzene compound and water.

The amount of propionic acid produced in the process of oxidizing propane to acrylic acid is reduced by using a reactor with a length/diameter ratio >10 and/or maintaining the difference between the target reaction temperature and the peak temperature within the reactor to less than 20° C.

The present invention relates to methods for safe and efficient use of hydrogen and oxygen in ozonolysis operations. The invention also relates to an ozonolysis process involving elements of both reductive and oxidative ozonolysis which are integrated in a continuous process. In one embodiment, the ozonolysis process of the present invention uses hydrogen and/or oxygen generated from water and electricity, which may be recycled to generate water and/or electricity.