Indian-American Dr Madhvi Aya, who contracted the coronavirus in the line of duty in New York, the country's COVID-19 epicentre, could only exchange text messages with her husband and daughter from her hospital bed before she lost the battle to the deadly virus.

Bharti Airtel posts Rs 1,035 cr Q3 net loss, hints at tariff hike

Delhi BJP president Manoj Tiwari on Saturday expressed concern over reports of "underreporting" of deaths due to Covid-19 in Delhi and asked Chief Minister Arvind Kejriwal to clear the air about it.

The country's largest domestic airlines had on Friday announced pay cut ranging between 5 and 25 per cent.

Within a week of the announcement of lockdown from March 25, telcos had extended the prepaid validity of their low-income subscribers till April 17 and further to May 3 on subsequent announcement of lockdown extension. Airtel and Vodafone Idea also credited Rs 10 talk time credit to such users whereas Jio gave 100 minutes of free talk time and 100 text messages to all its users.

The Justice Department announced today that it has reached a settlement with the Richmond County (GA) Sheriff’s Office (RCSO) that resolves allegations that the RCSO violated the employment rights of Private First Class (PFC) Auben Kendall under the Uniformed Services Employment and Reemployment Rights Act (USERRA).

A sheriff's deputy in North Carolina is facing criminal charges after authorities say he led a group of armed people to wrong home in a search for a missing girl.

Blyth schoolboy Ryan Office has recently returned from receiving proton beam therapy in Florida after being diagnosed with a very rare brain tumour

Peter Reid wanted money to spend on players but instead Sunderland decided to increase capacity at the Stadium of Light

I’ve had the pleasure of serving you as sheriff of Johnson County for the past 15-plus years and the job is not one that I or anyone else should or can take lightly. The office of sheriff requires a balance of both politics and leading a very large law enforcement agency which means sometimes those two worlds can collide. In these tough situations it takes someone that believes in their co-workers, trusts their co-workers and asks them to always perform at a high level.

I’m confident that Brad Kunkel is up to the task. The sheriff must also always follow the Constitution and enforce the laws of Iowa, in addition the sheriff is responsible for the operation and oversight of the county jail. Brad’s career experience including his years working in the jail are valuable for safe and efficient jail management.

The office of sheriff requires a thoughtful approach to what is best for the citizens of Johnson County. I have worked with Brad Kunkel for over 20 years and I know he has the temperament, intelligence and integrity to excel in the office of Johnson County sheriff. I wholeheartedly believe he is the best person to take the office into the challenging time ahead.

Join me and vote for Brad Kunkel on or before June for Johnson County sheriff.

Sheriff Lonny Pulkrabek

Iowa City

By Jessica Corbett Common Dreams “The most robust study of the ice mass balance of Antarctica to date,” scientists say, “now puts Antarctica in the frame as one of the largest contributors to sea-level rise.” Scientists are expressing alarm over … Continue reading →

Bernstein, Frenkel, and Khovanov have constructed a categorification of tensor products of the standard representation of $mathfrak{sl}_2$, where they use singular blocks of category $mathcal{O}$ for $mathfrak{sl}_n$ and translation functors. Here we construct a positive characteristic analogue using blocks of representations of $mathfrak{sl}_n$ over a field $ extbf{k}$ of characteristic $p$ with zero Frobenius character, and singular Harish-Chandra character. We show that the aforementioned categorification admits a Koszul graded lift, which is equivalent to a geometric categorification constructed by Cautis, Kamnitzer, and Licata using coherent sheaves on cotangent bundles to Grassmanians. In particular, the latter admits an abelian refinement. With respect to this abelian refinement, the stratified Mukai flop induces a perverse equivalence on the derived categories for complementary Grassmanians. This is part of a larger project to give a combinatorial approach to Lusztig's conjectures for representations of Lie algebras in positive characteristic.

We equip the type A diagrammatic Hecke category with a special derivation, so that after specialization to characteristic p it becomes a p-dg category. We prove that the defining relations of the Hecke algebra are satisfied in the p-dg Grothendieck group. We conjecture that the $p$-dg Grothendieck group is isomorphic to the Iwahori-Hecke algebra, equipping it with a basis which may differ from both the Kazhdan-Lusztig basis and the p-canonical basis. More precise conjectures will be found in the sequel.

Here are some other results contained in this paper. We provide an incomplete proof of the classification of all degree +2 derivations on the diagrammatic Hecke category, and a complete proof of the classification of those derivations for which the defining relations of the Hecke algebra are satisfied in the p-dg Grothendieck group. In particular, our special derivation is unique up to duality and equivalence. We prove that no such derivation exists in simply-laced types outside of finite and affine type A. We also examine a particular Bott-Samelson bimodule in type A_7, which is indecomposable in characteristic 2 but decomposable in all other characteristics. We prove that this Bott-Samelson bimodule admits no nontrivial fantastic filtrations in any characteristic, which is the analogue in the p-dg setting of being indecomposable.

Recent advances in deep learning have facilitated the design of speaker verification systems that directly input raw waveforms. For example, RawNet extracts speaker embeddings from raw waveforms, which simplifies the process pipeline and demonstrates competitive performance. In this study, we improve RawNet by scaling feature maps using various methods. The proposed mechanism utilizes a scale vector that adopts a sigmoid non-linear function. It refers to a vector with dimensionality equal to the number of filters in a given feature map. Using a scale vector, we propose to scale the feature map multiplicatively, additively, or both. In addition, we investigate replacing the first convolution layer with the sinc-convolution layer of SincNet. Experiments performed on the VoxCeleb1 evaluation dataset demonstrate the effectiveness of the proposed methods, and the best performing system reduces the equal error rate by half compared to the original RawNet. Expanded evaluation results obtained using the VoxCeleb1-E and VoxCeleb-H protocols marginally outperform existing state-of-the-art systems.

We present a new system, EEV, for verifying binarized neural networks (BNNs). We formulate BNN verification as a Boolean satisfiability problem (SAT) with reified cardinality constraints of the form $y = (x_1 + cdots + x_n le b)$, where $x_i$ and $y$ are Boolean variables possibly with negation and $b$ is an integer constant. We also identify two properties, specifically balanced weight sparsity and lower cardinality bounds, that reduce the verification complexity of BNNs. EEV contains both a SAT solver enhanced to handle reified cardinality constraints natively and novel training strategies designed to reduce verification complexity by delivering networks with improved sparsity properties and cardinality bounds. We demonstrate the effectiveness of EEV by presenting the first exact verification results for $ell_{infty}$-bounded adversarial robustness of nontrivial convolutional BNNs on the MNIST and CIFAR10 datasets. Our results also show that, depending on the dataset and network architecture, our techniques verify BNNs between a factor of ten to ten thousand times faster than the best previous exact verification techniques for either binarized or real-valued networks.

Most studies on speaker verification systems focus on long-duration utterances, which are composed of sufficient phonetic information. However, the performances of these systems are known to degrade when short-duration utterances are inputted due to the lack of phonetic information as compared to the long utterances. In this paper, we propose a method that compensates for the performance degradation of speaker verification for short utterances, referred to as "crop aggregating". The proposed method adopts an ensemble-based design to improve the stability and accuracy of speaker verification systems. The proposed method segments an input utterance into several short utterances and then aggregates the segment embeddings extracted from the segmented inputs to compose a speaker embedding. Then, this method simultaneously trains the segment embeddings and the aggregated speaker embedding. In addition, we also modified the teacher-student learning method for the proposed method. Experimental results on different input duration using the VoxCeleb1 test set demonstrate that the proposed technique improves speaker verification performance by about 45.37% relatively compared to the baseline system with 1-second test utterance condition.

Cops are hackers now, too.…

A method of forming a product from an oil feedstock, such as a biodiesel product, and a heterogeneous catalyst system used to form said product is disclosed. This catalyst system, which has a high tolerance for the presence of water and free fatty acids (FFA) in the oil feedstock, may simultaneously catalyze both the esterification of FAA and the transesterification of triglycerides present in the oil feedstock. The catalyst system is comprised of a mixture of zinc oxide and a second metal oxide. The zinc oxide includes a mixture of amorphous zinc oxide and zinc oxide nanocrystals, the zinc nanocrystals having a mean grain size between about 20 and 80 nanometers with at least one of the nanocrystals including a mesopore having a diameter of about 5 to 15 nanometers. Preferably, the second metal oxide is a lanthanum oxide, the lanthanum oxide being selected as one from the group of La2CO5, LaOOH, and combinations or mixtures thereof.

The invention relates to a continuous method for producing esters, in which at least one polyol ester of formula (I) (R1—COO)mR2 (I), where R1 represents hydrogen or an optionally substituted hydrocarbon group containing 1 to 50 carbon atoms, R2 represents an optionally substituted hydrocarbon group containing 2 to 10 carbon atoms, and m represents a number from 2 to 10 and is smaller than or equal to the number of carbon atoms in R2, is reacted with at least one monohydric alcohol of formula (II) R3—OH (II), where R3 represents an optionally substituted hydrocarbon group containing 1 to 30 C atoms, using microwave radiation in a reaction tube, the longitudinal axis of which extends in the direction of propagation of the microwaves of a single-mode microwave applicator, so as to obtain at least one ester of formula (III) R1—COO—R3 (III), where R1 and R3 have the meanings indicated above.

The present invention provides a method for performing regeneration of a decolorization capacity of waste clay that has been used for purification of fats and oils, and production of a thermally recyclable compound as a biofuel from oily ingredients in the waste clay at the same time in a convenient manner. That is, a method for producing purified fats and oils of the invention includes: a method for producing regenerated clay including the steps of mixing waste clay that has been used for purification of fats and oils, lower alcohol, and an acidic catalyst; and performing extraction of oily ingredients from the waste clay, and an esterification reaction between the fats and oils and/or a free fatty acid in the oily ingredients and the lower alcohol at the same time so as to regenerate a decolorization capacity of the waste clay; regenerated clay that is produced by the method for producing the regenerated clay; and a process of decolorizing the fats and oils using the regenerated clay.

Disclosed is a process for reducing the amount of sterol in a sterol-containing microbial oil composition, including distilling, under short path distillation conditions, a sterol-containing microbial oil wherein said distillation produces a distillate fraction containing the sterol and a triacylglycerol-containing fraction having a reduced amount of the sterol when compared to the amount of sterol in the sterol-containing microbial oil composition that has not been subjected to short path distillation.

An apparatus and method for the granulation of radioactive waste in which a preprocessing method for the vitrification of radioactive waste is simplified to conform to onsite conditions of a nuclear power plant, additives are improved, and pellets suitable for vitrification are manufactured. The apparatus for the granulation of radioactive waste includes: a body frame having an inlet and an outlet; a hopper supplying the radioactive waste to be transferred and fed through the inlet; a feeder transferring/supplying the radioactive waste supplied to a specific position and in a certain quantity; a stirrer pulverizing/mixing lumps of the radioactive waste supplied; an additive supply part supplying a lubricant to the radioactive waste fed into the stirrer; and a pellet press pressing the radioactive waste fed through the feeder into a pellet shape and discharging the pellet through the outlet.

A method for vitrification of waste to reduce the formation of persistent secondary phases comprising separating at least one glass frit constituent from an initial glass frit to form a modified glass frit. The waste, modified glass frit, and the at least one glass frit constituent are mixed together with the modified glass frit and the at least one glass frit constituent being added as separate components. The resulting mixture is vitrified.

A processing device comprises a processor coupled to a memory and implements an obligation management system for information technology infrastructure, with the obligation management system being configured to process a plurality of obligations on behalf of a relying party to verify implementation of corresponding controls in information technology infrastructure of a claimant. A given one of the obligations has an associated obligation fulfiller that is inserted or otherwise deployed as a component within the information technology infrastructure of the claimant and is configured to provide evidence of the implementation of one or more of the controls responsive to an obligation assertion so as to establish an associated trust aspect of the claimant. The information technology infrastructure may comprise distributed virtual infrastructure of a cloud service provider. The claimant may comprise the cloud service provider and the relying party may comprise a tenant of the cloud service provider.

The present invention provides a method for purifying HFO-1234yf, comprising the steps of (1) cooling a liquid mixture containing HFO-1234yf and HF to separate the mixture into a upper liquid phase having a high concentration of HF and a lower liquid phase having a high concentration of 2,3,3,3-tetrafluoropropene; and (2) subjecting the lower liquid phase obtained in step (1) to a distillation operation to withdraw a mixture containing HFO-1234yf and HF from a top of a distillation column, thereby obtaining substantially HF-free HFO-1234yf from a bottom of the distillation column. According to the present invention, HF and HFO-1234yf contained in a mixture containing HF and HFO-1234yf can be separated under simple and economically advantageous conditions.

Disclosed is a process for producing 1,2-dichloro-3,3,3-trifluoropropene, which is characterized by that 1-halogeno-3,3,3-trifluoropropene represented by the general formula [1]: (In the formula, X represents a fluorine atom, chlorine atom or bromine atom.) is reacted with chlorine in a gas phase in the presence of a catalyst. It is possible by this process to produce 1,2-dichloro-3,3,3-trifluoropropene in an industrial scale with good yield by using 1-halogeno-3,3,3-trifluoropropene, which is available with a low price, as the raw material.

A production method of 1-chloro-3,3,3-trifluoropropene according to the present invention includes reaction of 1,1,1,3,3-pentachloropropane with hydrogen fluoride, characterized in that the concentrations of respective catalytic components in the 1,1,1,3,3-pentachloropropane as the raw material is controlled to a predetermined level or less. By controlling the concentrations of the respective catalytic components in the 1,1,1,3,3-pentachloropropane to the predetermined level or less, it is possible to improve the problems of shortening of catalyst life, retardation of reaction and scaling or corrosion of equipment in the production of the 1-chloro-3,3,3-trifluoropropene. In addition, the 1,1,1,3,3-pentachloropropane can be obtained selectively with high yield by telomerization reaction of carbon tetrachloride and vinyl chloride. The present invention is thus useful as the method for industrially advantageous, high-yield production of the 1-chloro-3,3,3-trifluoropropene.

The present invention provides processes for the production of HCFO-1233zd, 1-chloro-3,3,3-trifluoropropene, from the starting material, 2-chloro-3,3,3-trifluoropropene (HCFO-1233xf). In a first process, HCFO-1233zd is produced by the isomerization of HCFO-1233xf. In a second process, HCFO-1233zd is produced in a two-step procedure which includes (i) dehydrochlorination of HCFO-1233xf into trifluoropropyne; and (ii) hydrochlorination of the trifluoropropyne into HCFO-1233zd.

The present invention is directed to processes for the production of 1233zd from 240fa and HF, with or without a catalyst, at a commercial scale. The 240fa and HF are fed to a reactor operating at high pressure. The resulting product stream comprising 1233zd, HCl, HF, and other byproducts is treated to one or more purification techniques including phase separation and one or more distillations to provide purified 1233zd, which meets commercial product specifications, i.e., having a GC purity of 99.5% or greater.

The invention relates to a process for removing one or more undesired (hydro)halocarbon compounds from a (hydro)fluoroalkene, the process comprising contacting a composition comprising the (hydro)fluoroalkene and one or more undesired (hydro)halocarbon compounds with an aluminum-containing absorbent, activated carbon, or a mixture thereof.

Disclosed is a reactor and agitator useful in a high pressure process for making 1-chloro-3,3,3-trifluoropropene (1233zd) from the reaction of 1,1,1,3,3-pentachloropropane (240fa) and HF, wherein the agitator includes one or more of the following design improvements: (a) double mechanical seals with an inert barrier fluid or a single seal;(b) ceramics on the rotating faces of the seal;(c) ceramics on the static faces of seal;(d) wetted o-rings constructed of spring-energized Teflon and PTFE wedge or dynamic o-ring designs; and(e) wetted metal surfaces of the agitator constructed of a corrosion resistant alloy.

The present invention provides routes for making 1-chloro-3,3,3-trifluoropropene (HCFO-1233zd) from commercially available raw materials. More specifically, this invention provides routes for HCFO-1233zd from inexpensive and commercially available trifluoromethane (HFC-23).

The present invention provides routes for making 1-chloro-3,3,3-trifluoropropene (HCFO-1233zd) from commercially available raw materials. More specifically, this invention provides several routes for forming HCFO-1233zd from 3,3,3-trifluoropropene (FC-1234zf).

A processor receives an instruction operation (OP) code from a verification system. The instruction OP code includes instruction bits and forced event bits. The processor identifies a forced event based upon the forced event bits, which is unrelated to an instruction that corresponds to the instruction bits. In turn, the processor executes the forced event.

A method of applying formal verification methodologies to event processing applications is provided herein. The method includes the following stages: representing an event processing application as an event processing network, being a graph with event processing agents as nodes; generating a finite state machine based on the event processing network, wherein the finite state machine is an over-approximation of the event processing application; expressing stateful rules and policies that are associated with the event processing application using temporal logic, to yield a temporal representation of the event processing application; combining the temporal representation and the finite state machine into a model; generating a statement associated with a user-selected verification-related property of the event processing application, wherein the statement is generated using the temporal representation; and applying the statement to the model, to yield an indication for: (i) a correctness of the statement or (ii) a counter example, respectively.

Crude glycerol obtained from raw materials, such as the glycerol obtained during the production of biodiesel or glycerol obtained during the conversion of fats or oils, is purified by forming a dioxolane therefrom by reacting the crude glycerol with a ketone or aldehyde, separating the dioxolane thus formed, converting the dioxolane into purified glycerol and ketone/aldehyde, and recovering the glycerol thus purified.

Disclosed herein are processes for alcohol production by reducing an esterification product, such as ethyl acetate. The processes comprise esterifying acetic acid and an alcohol such as ethanol to produce an esterification product. The esterification product may be recovered using an extractive separation. The esterification product is reduced with hydrogen in the presence of a catalyst to obtain a crude reaction mixture comprising the alcohol, in particular ethanol, which may be separated from the crude reaction mixture.

The present invention provides an easy process for purifying phenol by separating carbonyl compounds through selective hydrogenation of the compounds to the corresponding alcohols then distillation. The phenol purification process of the present invention comprises bringing phenol into contact with a copper-based catalyst in the presence of hydrogen to convert carbonyl compounds contained in the phenol to the corresponding alcohol compounds, and separating the alcohol compounds and phenol by distillation.

Disclosed is a method for preparing a compound of Formula 1 wherein Q and Z are as defined in the disclosure comprising distilling water from a mixture comprising a compound of Formula 2, a compound of Formula 3, a base comprising at least one compound selected from the group consisting of alkaline earth metal hydroxides of Formula 4 wherein M is Ca, Sr or Ba, alkali metal carbonates of Formula 4a wherein M1 is Li, Na or K, 1,5-diazabicyclo[4.3.0]non-5-ene and 1,8-diazabicyclo[5.4.0]undec-7-ene, and an aprotic solvent capable of forming a low-boiling azeotrope with water. Also disclosed is a method for preparing a compound of Formula 2 comprising (1) forming a reaction mixture comprising a Grignard reagent derived from contacting a compound of Formula 5 wherein X is Cl, Br or I with magnesium metal or an alkylmagnesium halide in the presence of an ethereal solvent, and then (2) contacting the reaction mixture with a compound of Formula 6 wherein Y is OR11 or NR12R13, and R11, R12 and R13 are as defined in the disclosure. Further disclosed is a method for preparing a compound of Formula 7 wherein Q and Z are as defined in the disclosure, using a compound of Formula 1 characterized by preparing the compound of Formula 1 by the method disclosed above or using a compound of Formula 1 prepared by the method disclosed above.

A plurality of Field Programmable Gate Arrays (FPGA), high performance transceivers, and memory devices provide a verification module for timing and state debugging of electronic circuit designs. Signal value compression circuits and gigabit transceivers embedded in each FPGA increase the fanout of each FPGA. Ethernet communication ports enable remote software debugging of processor instructions.

A method, a system and a computer readable medium for providing information relating to a verification of a digital circuit. The verification may be formal verification and comprise formally verifying that a plurality of formal properties is valid for a representation of the digital circuit. The method comprises replacing at least a first input value relating to the representation of the digital circuit by a first free variable, determining if at least one of the plurality of formal properties is valid or invalid after replacing the first input value by the first variable and indicating if the at least one of the plurality of formal property is valid or invalid. The use of a free or open variable that has not determined value can be directly in the description or representation of the digital circuit. It is not necessary to insert errors or to apply an error model.

Methods are provided to facilitate automated creation and management of design rule checking or DRC waiver descriptions. Embodiments include receiving a plurality of first checksums corresponding to respective first geometric element violations waived in association with a block of an integrated circuit design, the first checksums being based on a first version of at least one design verification rule and/or of the block, receiving a second checksum corresponding to a second geometric element violation associated with the block, the second checksum being based on a second version of the design verification rule and/or of the block, determining whether the second checksum corresponds to at least one of the first checksums, and, if the second checksum does not correspond to at least one first checksum, generating a waiver request for the second geometric element error.

A system, method, and computer program product for containing analog verification IP for circuit simulation. Embodiments introduce analog verification units (“vunits”), and corresponding analog verification files to contain them. Vunits allow circuit design verification requirement specification via text file. No editing of netlist files containing design IP is required to implement static and dynamic circuit checks, PSL assertions, clock statements, or legacy assertions. Vunits reference a top-level circuit or subcircuits (by name or by specific instance), and the simulator automatically binds vunit contents appropriately during circuit hierarchy expansion. Vunits may be re-used for other design cells, and may be easily processed by text-based design tools. Vunits may be provided via vunit_include statements in a control netlist file, command line arguments, or by directly placing a vunit block into a netlist. Vunits may also contain instance statements to monitor or process signals, such as those needed by assertions.

A technique for determining whether an integrated circuit design is susceptible to glitches includes identifying storage elements in an original register-transfer level (RTL) file of the integrated circuit design and identifying clock signals for each of the storage elements in the original RTL file. The technique also includes generating respective assertions for each of the identified clock signals and identifying potential glitchy logic in respective clock paths for each of the identified clock signals. Finally, the technique includes inserting, at the potential glitchy logic, glitches in each of the respective clock paths of the original RTL file to provide a modified RTL file and executing an RTL simulation using the modified RTL file and the respective assertions.

A process for producing a purified O-(2,6-dichloro-4-methylphenyl)-O,O-dimethyl phosphorothioate, the process comprising: the first step of bringing a crude O-(2,6-dichloro-4-methylphenyl)-O,O-dimethyl phosphorothioate into contact with an acid; andthe second step of recovering the purified O-(2,6-dichloro-4-methylphenyl)-O,O-dimethyl phosphorothioate from the mixture obtained in the first step.

The present invention relates to the use of at least one sulfonic acid for recovering glycerol resulting from a reaction crude from transesterification of glycerides, in particular of triglycerides of vegetable and/or animal origin. The invention also relates to a process for purifying glycerol obtained as a by-product of triglyceride transesterification during the preparation of fatty acids, fatty esters and/or fatty acid salts, and also to a combined process for preparing, on the one hand, fatty acids, fatty esters and/or fatty acid salts and, on the other hand, glycerol, from triglycerides, using at least one sulfonic acid.

The present invention provides a method for purifying and recovering propionic acid from an aqueous mixture containing a fermentation product obtained from a fermentation process using glycerol as substrate, the method comprising optionally acidifying the aqueous mixture to a pH below 4.5, subjecting the aqueous mixture to an extraction with extracting agent containing a heavy extractant and optionally a light extractant as a diluent to obtain an extract comprising the extracting agent and organic acids, and a raffinate comprising water and any unreacted glycerol, and subjecting the extract to vacuum evaporation to separate propionic acid-containing organic acids from the extractant.

Embodiments of the present disclosure include methods and compositions for functionalizing molecules, such as oligonucleotides, with functional groups, including polyhistidine tags useful in affinity methods. Some embodiments include methods for modifying and purifying complex mixtures of molecules by exchange of functional tags.

The invention relates to the production of 2-octylacrylate of high purity and in good yield using ethyl titanate in solution in 2-octanol or 2-octyl titanate as a transesterification catalyst.

Disclosed is a process to produce a dry purified carboxylic acid product comprising furan-2,5-dicarboxylic acid (FDCA). The process comprises oxidizing at least one oxidizable compound selected from the following group: 5-(hydroxymethyl)furfural (5-HMF), 5-HMF esters (5-R(CO)OCH2-furfural were R alkyl, cycloalkyl and aryl), 5-HMF ethers (5-R'OCH2-furfural, where R'=alkyl, cycloalkyl and aryl), 5-alkyl furfurals (5-R″-furfural, where R″=alkyl, cycloalkyl and aryl), mixed feed-stocks of 5-HMF and 5-HMF esters and mixed feed-stocks of 5-HMF and 5-HMF ethers and mixed feed-stocks of 5-HMF and 5-alkyl furfurals to generate a crude carboxylic acid slurry comprising FDCA.