We utilize recent results on the exact block error probability of Gaussian random codes in additive white Gaussian noise to analyze Gaussian random coding for massive multiple-access at finite message length. Soft iterative interference cancellation is found to closely approach the performance bounds recently found in [1]. The existence of two fundamentally different regimes in the trade-off between power and bandwidth efficiency reported in [2] is related to much older results in [3] on power optimization by linear programming. Furthermore, we tighten the achievability bounds of [1] in the low power regime and show that orthogonal constellations are very close to the theoretical limits for message lengths around 100 and above.

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.

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.

Software development has been changing rapidly. This development process can be influenced through changing developer friendly approaches. We can save time consumption and accelerate the development process if we can automatically guide programmer during software development. There are some approaches that recommended relevant code snippets and APIitems to the developer. Some approaches apply general code, searching techniques and some approaches use an online based repository mining strategies. But it gets quite difficult to help programmers when they need particular type conversion problems. More specifically when they want to adapt existing interfaces according to their expectation. One of the familiar triumph to guide developers in such situation is adapting collections and arrays through automated adaptation of object ensembles. But how does it help to a novice developer in real time software development that is not explicitly specified? In this paper, we have developed a system that works as a plugin-tool integrated with a particular Data Mining Integrated environment (DMIE) to recommend relevant interface while they seek for a type conversion situation. We have a mined repository of respective adapter classes and related APIs from where developer, search their query and get their result using the relevant transformer classes. The system that recommends developers titled automated objective ensembles (AOE plugin).From the investigation as we have ever made, we can see that our approach much better than some of the existing approaches.

Randomized Numerical Linear Algebra (RandNLA) uses randomness to develop improved algorithms for matrix problems that arise in scientific computing, data science, machine learning, etc. Determinantal Point Processes (DPPs), a seemingly unrelated topic in pure and applied mathematics, is a class of stochastic point processes with probability distribution characterized by sub-determinants of a kernel matrix. Recent work has uncovered deep and fruitful connections between DPPs and RandNLA which lead to new guarantees and improved algorithms that are of interest to both areas. We provide an overview of this exciting new line of research, including brief introductions to RandNLA and DPPs, as well as applications of DPPs to classical linear algebra tasks such as least squares regression, low-rank approximation and the Nystr"om method. For example, random sampling with a DPP leads to new kinds of unbiased estimators for least squares, enabling more refined statistical and inferential understanding of these algorithms; a DPP is, in some sense, an optimal randomized algorithm for the Nystr"om method; and a RandNLA technique called leverage score sampling can be derived as the marginal distribution of a DPP. We also discuss recent algorithmic developments, illustrating that, while not quite as efficient as standard RandNLA techniques, DPP-based algorithms are only moderately more expensive.

This paper investigates a class of optimal control problems associated with Markov processes with local state information. The decision-maker has only local access to a subset of a state vector information as often encountered in decentralized control problems in multi-agent systems. Under this information structure, part of the state vector cannot be observed. We leverage ab initio principles and find a new form of Bellman equations to characterize the optimal policies of the control problem under local information structures. The dynamic programming solutions feature a mixture of dynamics associated unobservable state components and the local state-feedback policy based on the observable local information. We further characterize the optimal local-state feedback policy using linear programming methods. To reduce the computational complexity of the optimal policy, we propose an approximate algorithm based on virtual beliefs to find a sub-optimal policy. We show the performance bounds on the sub-optimal solution and corroborate the results with numerical case studies.

We introduce a variant of PCPs, that we refer to as rectangular PCPs, wherein proofs are thought of as square matrices, and the random coins used by the verifier can be partitioned into two disjoint sets, one determining the row of each query and the other determining the *column*.

We construct PCPs that are efficient, short, smooth and (almost-)rectangular. As a key application, we show that proofs for hard languages in NTIME$(2^n)$, when viewed as matrices, are rigid infinitely often. This strengthens and considerably simplifies a recent result of Alman and Chen [FOCS, 2019] constructing explicit rigid matrices in FNP. Namely, we prove the following theorem: - There is a constant $delta in (0,1)$ such that there is an FNP-machine that, for infinitely many $N$, on input $1^N$ outputs $N imes N$ matrices with entries in $mathbb{F}_2$ that are $delta N^2$-far (in Hamming distance) from matrices of rank at most $2^{log N/Omega(log log N)}$.

Our construction of rectangular PCPs starts with an analysis of how randomness yields queries in the Reed--Muller-based outer PCP of Ben-Sasson, Goldreich, Harsha, Sudan and Vadhan [SICOMP, 2006; CCC, 2005]. We then show how to preserve rectangularity under PCP composition and a smoothness-inducing transformation. This warrants refined and stronger notions of rectangularity, which we prove for the outer PCP and its transforms.

The interoperability of proof assistants and the integration of their libraries is a highly valued but elusive goal in the field of theorem proving. As a preparatory step, in previous work, we translated the libraries of multiple proof assistants, specifically the ones of Coq, HOL Light, IMPS, Isabelle, Mizar, and PVS into a universal format: OMDoc/MMT.

Each translation presented tremendous theoretical, technical, and social challenges, some universal and some system-specific, some solvable and some still open. In this paper, we survey these challenges and compare and evaluate the solutions we chose.

We believe similar library translations will be an essential part of any future system interoperability solution and our experiences will prove valuable to others undertaking such efforts.

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.

Breadcrumbs are a subtle element of a website that helps improve usability and navigation. They’re a utility that often receives little acknowledgment; however, breadcrumbs can have a large impact and provide a plethora of benefits, such as lowering bounce rate, increasing conversions, and improving user satisfaction.   Imagine you’re in a regular grocery store, except […]

The post 5 Best Practices for Breadcrumb Navigation  appeared first on WebFX Blog.

In this article, we'll explore 10 quick and easy ways to improve your site's accessibility.

The post 10 Helpful Tips for How to Make Your Website More Accessible appeared first on WebFX Blog.

Are you looking to generate more leads and revenue with your website? If so, it’s time to consider web design for lead generation to help you create a website that caters to your audience and encourages them to become leads for your business.  On this page, we’ll provide you with five lead generation website design […]

The post 5 Lead Generation Website Design Best Practices appeared first on WebFX Blog.

Your website is your virtual business card and it often provides the first impression of your business to future customers — making it one of the most important aspects of your company. But if your website still has cobwebs from the 2000s, it’s time to put together a website redesign process. A website redesign process […]

The post Website Redesign Process: Your Website Redesign Strategy in 5 Steps appeared first on WebFX Blog.

At these gatherings in northeast Washington, the jackboot of tyranny is always said to be descending, the hand of the federal government always inches away from stealing your guns, your land, your freedom to speak or to pray.…

Ask any working musician why they play live, why they lug their equipment to and from bars and restaurants and wine-tasting rooms week after week, and they'll point to the same nebulous thing: It's the connection with an audience.…

Put pictures of 1975-era Aerosmith and 1995-era Guided By Voices next to each other and you probably wouldn’t think the bands have anything in common.…

We've known that Hamilton was going to be part of the 2020-21 STCU Best of Broadway season for a while, but now we finally know the exact dates, as well as the rest of the featured shows for the season. Granted, the whole world has changed since WestCoast Entertainment announced Hamilton was coming to town back when they announced their 2019-20 season — a season that's been roiled, along with the rest of our lives, by the coronavirus pandemic.…

THE SHOW WILL GO ON…

ON INLANDER.COM NATION: As meatpacking plants nationwide shutdown due to COVID-19 outbreaks, certain meat products are becoming harder to find at grocery stores and fast-food drive-thrus.…

The puppet's felt hair bounces as she stage-whispers to the other puppets, almost conspiratorially, about their plans.…

Designology Interiors' Deanna Goguen has three bathrooms in her South Hill-area home, each with its own personality.…

Warm summer nights are on the way.…

When Washington Gov. Jay Inslee solemnly looked into the camera on Friday, May 1, he wasn't ready to declare victory yet.…

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 process has been developed for preparing 2-methoxymethyl-1,4-benzenediamine (IV-a), other compounds of formula (IV), and the salts thereof, all of which may be used as primary intermediates in compositions for dyeing keratin fibers.

In one embodiment, the invention relates to processes for producing acesulfame potassium. In one embodiment, the process comprises the step of reacting a first reaction mixture to form an amidosulfamic acid salt such as a trialkyl ammonium amidosulfamic acid salt. The first reaction mixture comprises sulfamic acid, an amine, and smaller amounts, if any, acetic acid, e.g., less than 1 wt % (10000 wppm). In terms of ranges, the first reaction mixture may comprise from 1 wppm to 1 wt % acetic acid. The process further comprises the step of reacting the amidosulfamic acid salt with diketene to form an acetoacetamide salt. In preferred embodiments, the amidosulfamic acid salt formation reaction is conducted at pH levels from 5.5 to 7.0. The process further comprises the step of deriving the acesulfame-K from the acetoacetamide salt.

The present invention relates to a process for preparing a compound of formula wherein: R2 is cycloalkyl or alkyl, each of which may be optionally substituted; Y is —CONR3R4, —CN or CO2R5; R3, R4 and R5 are each independently H or alkyl; n is 1 to 6; wherein said process comprising the steps of: (i) treating a compound of formula (IV), where R1 is alkyl, with a compound of formula (V) and forming a compound of formula (IIIb); (ii) treating said compound of formula (IIIb) with a compound of formula (I1) to form a compound of formula (I).

The invention concerns a new process for the preparation of crystalline form of agomelatine from a solution of agomelatine in a solvent, characterized in that the agomelatine is crystallized by instantaneous precipitation from said solution, at a temperature equal to or below −10° C.

A process for reductive amination of aliphatic cyanoaldehydes to aliphatic diamines comprising (1) providing a mixture of 1,3-cyanocyclohexane carboxaldehyde and/or 1,4-cyanocyclohexane carboxaldehyde; (2) contacting said mixture with a metal carbonate based solid bed or a weak base anion exchange resin bed at a temperature from 15 to 40 ° C. for a period of at least 1 minute; (3) thereby treating said mixture, wherein said treated mixture has a pH in the range of 6 to 9; (4) feeding said treated mixture, hydrogen, and ammonia into a continuous reductive amination reactor system; (6) contacting said treated mixture, hydrogen, and ammonia with each other in the presence of one or more heterogeneous metal based catalyst systems at a temperature from 80 ° C. to 160 ° C. and a pressure from 700 to 3500 psig; (7) thereby producing one or more cycloaliphatic diamines is provided.

The present invention provides a process for preparing a compound of formula (VI) or a salt thereof, the process comprising: (i) reacting 4-methoxyphenyl acetone with an amine of formula (VIII) under conditions of reductive amination to produce a compound of formula (II) or a salt thereof, wherein there is no isolation of an imine intermediate formed during the reductive amination; (ii) condensing the compound (II) or the acid addition salt thereof with an α-haloketone of formula (III) to produce the compound of formula (IV); (iii) reducing the compound (IV) to a compound of formula (V); and (iv) reducing the compound (V) to the compound of formula (VI), wherein the reduction is carried out in the presence of either (1) a hydrogen donating compound in the presence of a hydrogen transfer catalyst; or (2) ammonium formate using a hydrogenation catalyst, wherein R1 and R2 are independently optionally substituted arylalkyl, and Hal is selected from chloro or bromo.

A process for preparing alkylated p-phenylenediamine having the steps of reacting aniline and nitrobenzene in presence of a complex base catalyst to obtain 4-aminodiphenylamine intermediates, hydrogenating the 4-aminodiphenylamine intermediates to 4-aminodiphenylamine in presence of a hydrogenation catalyst, and reductively alkylating the 4-aminodiphenylamine to alkylated p-phenylenediamine.

Disclosed is a process for preparing an aryloxyalkylene amine compound via an aminoethylation reaction comprising: a) reacting an aromatic hydroxyl compound in the presence of a basic catalyst with a 2-oxazolidinone compound of the formula II to form an intermediate reaction product; wherein R3 is selected from the group consisting of hydrogen or lower alkyl having 1 to 6 carbon atoms, R4 is selected from the group consisting of hydrogen, straight or branched chain alkyl having from one to six carbon atoms, phenyl, alkaryl, or arylalkyl; and b) reacting the intermediate product of step a) with a polyalkylene polyamine.

A process for conversion of aliphatic bicyclic amines to aliphatic diamines including contacting one or more bicyclic amines selected from the group consisting of 3-azabicyclo[3.3.1]nonane and azabicyclo[3.3.1]non-2-ene with ammonia and hydrogen, and alcohols in the presence of heterogeneous metal based catalyst systems, a metal selected from the group consisting of Co, Ni, Ru, Fe, Cu, Re, Pd, and their oxides at a temperature from 140° C. to 200° C. and a pressure from 1540 to 1735 psig for at least one hour reactor systems; forming a product mixture comprising aliphatic diamine(s), bicyclic amine(s), ammonia, hydrogen, and alcohol(s); removing said product mixture from the reactor system; removing at least some of the ammonia, hydrogen, water, alcohols, bicyclic amines from said product mixture; thereby separating the aliphatic diamines from said product mixture.

An improved process for making ethoxylated amine compounds such as ethanolamines. The improvement comprises the addition of an acid to the amine compound prior to the addition of ethylene oxide to a reactor wherein the ethoxylated amine compound is prepared. The improvement reduces the concentration of undesirable glycol ether and/or vinyl ether ethoxylate byproducts which may contribute to undesirable properties, such as color and foaming, of the ethoxylated amine compounds.

An input combination of at least one condition value to be evaluated against at least one rule of a decision table is received. The at least one rule includes at least one condition and the rule is associated with a result. The at least one rule is evaluated against the input combination to determine conditions fulfilled for the at least one condition value. In one aspect, a rule from the at least one rule that best matches the input combination is determined and a result associated with the rule that best matches the input combination is outputted.

Processing metadata includes storing, in a data storage system, a specification for each of multiple sources, each specification including information identifying one or more data elements of the corresponding source; and processing, in a data processing system coupled to the data storage system, data elements from the sources, including generating a set of rules for each source based on a corresponding one of the stored specifications, and matching data elements of different sources and determining a quality metric characterizing a given match between a first data element of a first source and a second data element of a second source according to the set of rules generated for the first source and the set of rules generated for the second source.

An apparatus and method are disclosed for analysing a process. An exemplary method includes: generating a process template; and determining a probabilistic model specifying the process template. The method can include use of task nodes for tasks of the process; observables nodes for observables that may be caused by performance of the tasks; and a background activities node, wherein observables may further be caused by background activities of the background node. The method can include use of task nodes for tasks of the process; observables nodes for observables that may be caused by performance of the tasks; and a background activities node, observables may further be caused by background activities of the background node. The method can include measuring values of an observable corresponding to one of the observables nodes; and updating a probabilistic estimate of the process state using the measured values.

The present disclosure involves systems, software, and computer-implemented methods for providing process intelligence by correlating events from multiple business process systems to a single business scenario using configurable correlation strategies. An example method includes identifying a raw event associated with a sending business process and a receiving business process, identifying a sending business process attribute associated with the sending business process and a receiving business process attribute associated with the receiving business process, determining a correlation strategy for associating the raw event with a business scenario instance, the determination based at least in part on the sending business process attribute and the receiving business process attribute, and generating a visibility scenario event from the raw event according to the correlation strategy, the visibility scenario event associated with the business scenario instance.

Embodiments of the invention provide systems and methods for analyzing sequential data. The sequential data can comprise a sequence of data points arranged in a particular order and thus representing a sequence. A number of such sequences can be analyzed, for example, to identify patterns or commonalities within the sequences or portions of sequences represented by the data. According to one embodiment, a method of identifying patterns in sequences of data points can comprise reading a set of sequential data. The sequential data can comprises a plurality of sequences and each of the plurality of sequences can represent an ordered sequence of tokens. A dotplot representing matches between each sequence of the plurality sequences can be generated. One or more patterns within the sequential data can then be identified based on the dotplot.

In embodiments of the present invention improved capabilities are described for a computer program product embodied in a computer readable medium that, when executing on one or more computers, helps determine an unknown user's preferences through the use of internet based social interactive graphical representations on a computer facility by performing the steps of (1) ascertaining preferences of a plurality of users who are part of an internet based social interactive construct, wherein the plurality of users become a plurality of known users; (2) determining the internet based social interactive graphical representation for the plurality of known users; and (3) inferring the preferences of an unknown user present in the internet based social interactive graphical representation of the plurality of known users based on the interrelationships between the unknown user and the plurality of known users within the graphical representation.

The present invention relates to an improved process for fractionating triglyceride oil. The process according to the present invention attains a reproducible crystallization by introducing a controlled temperature profile and ensuing crystal development that reduce the amount of entrapped olein inside the crystals or crystal aggregates. The process of the present invention may be used to fractionate vegetable oils such as palm oil or its blends with other palm oil products or edible vegetable oils.

A process for producing bio-oil from municipal solid waste, the process including: a) liquifying municipal solid waste, to obtain a mixture containing an oily phase containing bio-oil, a solid phase, and a first aqueous phase; b) treating the first aqueous phase from a) with an adsorbing material, to obtain a second aqueous phase; c) fermenting the second aqueous phase from b), to obtain a biomass; d) subjecting the biomass obtained in c) to the liquification a). The bio-oil obtained is advantageously used in the production of biofuels for motor vehicles or for the generation of electric energy or heat.

Provided herein are processes for preparing estolides and estolide base oils from fatty acid reactants utilizing catalysts. Further provided herein are processes for preparing carboxylic esters from at least one carboxylic acid reactant and at least one olefin.

Methods of separating renewable materials, such as lipids, from microorganisms, such as oleaginous yeasts, may include conditioning cell walls of the microorganisms to form, open or enlarge pores, and removing at least a portion of the renewable material through the pores. These methods may result in delipidated microorganisms with cell walls that are substantially intact and with mesopores. These delipidated microorganisms may be used to produce biofuels.

A method for producing fatty acid alkyl esters from biolipids through transesterification and/or esterification reactions uses a flow-through cavitation device for generating cavitation bubbles in a fluidic reaction medium. The fluidic medium is passed through sequential compartments in the cavitation device having varying diameters and inner surface features to create localized reductions in fluid pressure thus vaporizing volatile alcohols and creating an increased surface area and optimized conditions for the reaction to occur at the gas-liquid interface around the bubbles.

The invention relates to a process for making esters, in particular biodiesel, using heterogeneous catalysts. The invention provides a process for making biodiesel, in particular FAME, which process is versatile and robust. The process of the invention can be carried out continuously, in particular in a fixed bed reactor or a slurry reactor and may be operated in a continuous fashion. In accordance with the invention, the transesterification reaction of triglycerides is carried out using a heterogeneous catalyst that comprises a Group 4 silicate and less than 3 wt. % Na in the presence of at least one acid compound.

A process for producing C10-C26 monobranched fatty acids or alkyl esters thereof which includes isomerizing unsaturated C10-C26 fatty acids or alkyl esters thereof in the presence of a catalyst which comprises both a zeolite and a Lewis base. The zeolite can be reused after simple separation from the reaction products without having to regenerate. The process is particularly suitable for producing highly monobranched fatty acids or alkyl esters thereof.

A process for the production of bio-oil from solid urban waste, comprising the following steps: a) subjecting said solid urban waste to liquefaction, obtaining a mixture including an oily phase consisting of bio-oil, a solid phase and an aqueous phase; b) subjecting the aqueous phase obtained in the liquefaction step a) to fermentation, obtaining a fermented biomass; c) feeding the fermented biomass obtained in the fermentation step b) to the liquefaction step a). The bio-oil (or bio-crude) thus obtained can be advantageously used in the production of biofuels which can be used as such or mixed with other motor vehicle fuels. Alternatively, this bio-oil (or bio-crude) can be used as such (biocombustible) or mixed with fossil combustibles (combustible oil, coal, etc.) for the generation of electric energy or heat.

This invention relates to an improved process for the preparation of green fatty acid methyl esters (FAME; commonly called as biodiesel) from different triglyceride oils using mixed metal oxides derived from layered double hydroxides (referred here as LDHs) as reusable solid heterogeneous base catalysts. This process uses very low alcohohoil molar ratio and catalyst and/or products are easily separable after the reaction through simple physical processes. The properties of thus obtained biodiesel meet the standard biodiesel values and can directly be used as transport fuel.

Provided herein are processes of preparing sulfonated estolide compounds, and the removal of sulfonate residues from those compounds to provide desulfonated estolide base oils. Exemplary sulfonated estolide compounds include those selected from the formula: wherein z is an integer selected from 0 to 15; q is an integer selected from 0 to 15; x is, independently for each occurrence, an integer selected from 0 to 20; y is, independently for each occurrence, an integer selected 0 to 20; n is equal to or greater than 0; R6 is selected from —OH, optionally substituted alkyl, and optionally substituted aryl; and R2 is selected from hydrogen and optionally substituted alkyl that is saturated or unsaturated, and branched or unbranched, wherein each fatty acid chain residue of said compounds is independently optionally substituted.