The Software Report is pleased to announce The Top 100 Software Companies of 2021. This year's awardee list is comprised of a wide range of companies from the most well-known such as Microsoft, Adobe, and Salesforce to the relatively newer but rapidly growing - Qualtrics, Atlassian, and Asana. A good number of awardees may be new names to some but that should be no surprise given software has always been an industry of startups that seemingly came out of nowhere to create and dominate a new space. Software has become the backbone of our economy. From large enterprises to small businesses, most all rely on software whether for accounting, marketing, sales, supply chain, or a myriad of other functions. Software has become the dominant industry of our time and as such, we place a significance on highlighting the best companies leading the industry forward. The following awardees were nominated and selected based on a thorough evaluation process. Among the key criteria considered were ...

California gubernatorial candidate lays out his agenda on'Hannity' and Leo Terrell endorses him This is a rush transcript from "Hannity," July 13, 2021. This copy may not be in its final form and may be updated. I do get a kick out of it. Tonight, a massive record-setting inflation, spiking violent crime, unprecedented waves of illegal immigration, China, Russia, Iran rolling over this great country, and sadly, whoever is in charge at the Biden White House -- well, is just getting started. Now, state-mandated vaccine programs, that may also be headed your way. We'll tell you the details. Government doctor, wannabe celebrity, Anthony Fauci demanding that all your young children wear masks indefinitely. We have that news tonight. Larry Elder is now officially running to unseat Newsom as governor of the great state of California. He will join us for his very first TV interview since his big announcement, and it comes with an endorsement. But, first, an important update from the U.S. Olympic and Paralympic Committees' bizarre proposal to redesign the American flag. We're going to explain that in detail. We've had a back-and-forth with this organization all day. If you are one of millions of Americans who disagree with the radical policies put forth by the Democratic Party, watch out because Joe Biden -- well, he referred his political opponents today -- referred to them as domestic enemies. Where's the media that got so upset when Donald Trump said the media is an enemy of the people because they lie and tell fake news? Anyway, he's saying they're working to subvert American democracy. In a set of prepared remarks, this wasn't off the cuff, better suited for a despotic socialist dictator frankly, Joe Biden said that our country is facing its most significant test since the civil war echoing Jen Psaki because all state legislatures, why, they're requiring voter ID like his state?

Sky surveys are invaluable for exploring the universe, allowing celestial objects to be catalogued and analyzed without the need for lengthy observations. But in providing a general map or image of a region of the sky, they are also one of the largest data generators in science, currently imaging tens of millions to billions of galaxies over the lifetime of an individual survey. In the near future, for example, the Vera C. Rubin Observatory in Chile will produce 20 TB of data per night, generate about 10 million alerts daily, and end with a final data set of 60 PB in size. As a result, sky surveys have become increasingly labor-intensive when it comes to sifting through the gathered datasets to find the most relevant information or new discovery. In recent years machine learning has added a welcome twist to the process, primarily in the form of supervised and unsupervised algorithms used to train the computer models that mine the data.

In the agricultural sector, the COVID-19 threatens to lead to a severe food security crisis in the region, with disruptions in the food supply chain and agricultural production expected to contract between 2.6% and 7%. From the food crop production side, the travel bans and border closures, the late reception and the use of agricultural inputs such as imported seeds, fertilizers, and pesticides could lead to poor food crop production performances. Another layer of disruption introduced by the mobility restriction measures is the scarcity of agricultural workers, mainly seasonal workers. The lockdown measures and border closures limit seasonal workers' availability to get to the farm on time for planting and harvesting activities. Moreover, most of the imported agricultural inputs travel by air, which the pandemic has heavily impacted. Such transportation disruptions can also negatively affect the food crop production system. This chapter assesses food crop production levels in 2020 -- before the harvesting period -- in all African regions and four staples such as maize, cassava, rice, and wheat. The production levels are predicted using the combination of biogeophysical remote sensing data retrieved from satellite images and machine learning artificial neural networks (ANNs) technique. The remote sensing products are used as input variables and the ANNs as the predictive modeling framework. The input remote sensing products are the Normalized Difference Vegetation Index (NDVI), the daytime Land Surface Temperature (LST), rainfall data, and agricultural lands' Evapotranspiration (ET). The output maps and data are made publicly available on a web-based platform, AAgWa (Africa Agriculture Watch, www.aagwa.org), to facilitate access to such information to policymakers, deciders, and other stakeholders.

An impact of climate change is the increase in frequency and intensity of extreme precipitation events. However, confidently predicting the likelihood of extreme precipitation at seasonal scales remains an outstanding challenge. Here, we present an approach to forecasting the quantiles of the maximum daily precipitation in each week up to six months ahead using the temporal fusion transformer (TFT) model. Through experiments in two regions, we compare TFT predictions with those of two baselines: climatology and a calibrated ECMWF SEAS5 ensemble forecast (S5). Our results show that, in terms of quantile risk at six month lead time, the TFT predictions significantly outperform those from S5 and show an overall small improvement compared to climatology. The TFT also responds positively to departures from normal that climatology cannot.

We describe several additions to the ENIGMA system that guides clause selection in the E automated theorem prover. First, we significantly speed up its neural guidance by adding server-based GPU evaluation. The second addition is motivated by fast weight-based rejection filters that are currently used in systems like E and Prover9. Such systems can be made more intelligent by instead training fast versions of ENIGMA that implement more intelligent pre-filtering. This results in combinations of trainable fast and slow thinking that improves over both the fast-only and slow-only methods. The third addition is based on "judging the children by their parents", i.e., possibly rejecting an inference before it produces a clause. This is motivated by standard evolutionary mechanisms, where there is always a cost to producing all possible offsprings in the current population. This saves time by not evaluating all clauses by more expensive methods and provides a complementary view of the generated clauses. The methods are evaluated on a large benchmark coming from the Mizar Mathematical Library, showing good improvements over the state of the art.

AI diagnostics startup MediCircle Health has recently introduced in India a rapid spectrometry-based test that employs machine learning and artificial intelligence to detect COVID-19. Spectral Instant Test (SpectraLIT) is a point-of-care diagnostic platform that performs spectral analysis to accurately and instantly determine if a spectral pattern of a virus from a nasal or mouthwash sample resembles SARS-CoV-2, the virus causing COVID-19. The test can deliver results "within seconds of its use", according to a press release by MediCircle. The company shared that the portable solution can be used for entry screening at various airports, malls, schools and other venues. It can also potentially enable secure and real-time reporting to health and other designated authorities.

Over the last decade, the concept of "games as a service" has revolutionised the way the interactive entertainment industry works. From the subscriptions introduced by massively multiplayer online adventures such as World of Warcraft to the seasonal battle passes of current online shooters, we're seeing a huge amount of focus on games that can sustain a lucrative community of players over several years. But where does that leave more offbeat ideas and concepts that couldn't support years' worth of play? Where does it leave the single-player narrative adventure – the blockbusting genre that brought us titles such as Metal Gear Solid, Red Dead Redemption and Mass Effect? It's a genre Sony has supported through funding the studios that make games such as The Last of Us, Spider-Man and God of War.

We formulate the problem of induced domain adaptation (IDA) when the underlying distribution/domain shift is introduced by the model being deployed. Our formulation is motivated by applications where the deployed machine learning models interact with human agents, and will ultimately face responsive and interactive data distributions. We formalize the discussions of the transferability of learning in our IDA setting by studying how the model trained on the available source distribution (data) would translate to the performance on the induced domain. We provide both upper bounds for the performance gap due to the induced domain shift, as well as lower bound for the trade-offs a classifier has to suffer on either the source training distribution or the induced target distribution. We provide further instantiated analysis for two popular domain adaptation settings with covariate shift and label shift. We highlight some key properties of IDA, as well as computational and learning challenges.

We study differentially private stochastic optimization in convex and non-convex settings. For the convex case, we focus on the family of non-smooth generalized linear losses (GLLs). Our algorithm for the $\ell_2$ setting achieves optimal excess population risk in near-linear time, while the best known differentially private algorithms for general convex losses run in super-linear time. Our algorithm for the $\ell_1$ setting has nearly-optimal excess population risk $\tilde{O}\big(\sqrt{\frac{\log{d}}{n}}\big)$, and circumvents the dimension dependent lower bound of [AFKT21] for general non-smooth convex losses. In the differentially private non-convex setting, we provide several new algorithms for approximating stationary points of the population risk. For the $\ell_1$-case with smooth losses and polyhedral constraint, we provide the first nearly dimension independent rate, $\tilde O\big(\frac{\log^{2/3}{d}}{{n^{1/3}}}\big)$ in linear time. For the constrained $\ell_2$-case, with smooth losses, we obtain a linear-time algorithm with rate $\tilde O\big(\frac{1}{n^{3/10}d^{1/10}}+\big(\frac{d}{n^2}\big)^{1/5}\big)$. Finally, for the $\ell_2$-case we provide the first method for {\em non-smooth weakly convex} stochastic optimization with rate $\tilde O\big(\frac{1}{n^{1/4}}+\big(\frac{d}{n^2}\big)^{1/6}\big)$ which matches the best existing non-private algorithm when $d= O(\sqrt{n})$. We also extend all our results above for the non-convex $\ell_2$ setting to the $\ell_p$ setting, where $1 < p \leq 2$, with only polylogarithmic (in the dimension) overhead in the rates.