Collaborating Authors

Model Counting in Product Configuration Artificial Intelligence

We describe how to use propositional model counting for a quantitative analysis of product configuration data. Our approach computes valuable meta information such as the total number of valid configurations or the relative frequency of components. This information can be used to assess the severity of documentation errors or to measure documentation quality. As an application example we show how we apply these methods to product documentation formulas of the Mercedes-Benz line of vehicles. In order to process these large formulas we developed and implemented a new model counter for non-CNF formulas. Our model counter can process formulas, whose CNF representations could not be processed up till now.

Pro tip: How to be the best (and beat the best) Bastion in 'Overwatch'


Mastering top competitive games takes hundreds of hours of practice -- but also knowledge. Each week, we'll share the most useful tips and tricks to improve your play. It's time to get good. Bastion, Overwatch's least-popular hero, received a major update Tuesday, upgrading the turret-wielding robot from a C-tier defensive hero to a versatile and seemingly unkillable death machine. He's being picked by both offensive and defensive teams in nearly every match at all skill levels (for good reason), so we're here to help you figure out exactly where you stand in this new Bastion-filled hellscape.

Human sound systems are shaped by post-Neolithic changes in bite configuration


Biomechanical models of the speech apparatus show that labiodentals incur about 30% less muscular effort in the overbite and overjet configuration than in the edge-to-edge bite configuration. This difference is not present in similar articulations that place the upper lip, instead of the teeth, against the lower lip (as in bilabial "m," "w," or "p"). Our models also show that the overbite and overjet configuration reduces the incidental tooth/lip distance in bilabial articulations to 24 to 70% of their original values, inviting accidental production of labiodentals. The joint effect of a decrease in muscular effort and an increase in accidental production predicts a higher probability of labiodentals in the language of populations where overbite and overjet persist into adulthood. When the persistence of overbite and overjet in a population is approximated by the prevalence of agriculturally produced food, we find that societies described as hunter-gatherers indeed have, on average, only about one-fourth the number of labiodentals exhibited by food-producing societies, after controlling for spatial and phylogenetic correlation.

Volvo's first heavy-duty electric trucks will hit the road in 2022


Volvo announced that it will be among the first manufacturers to start selling heavy-duty electric trucks in 2021, with volume production beginning in 2022. The 44 tonne (48 ton) trucks would have a range of up to 300 km (186 miles), depending on the configuration. The company has already started testing an electric concrete mixer and hook lift truck in partnership with the Swedish construction firm Swerock. With the announcement, Volvo will have a full line of electric trucks. Last year, it started selling the Volvo FE Electric and FL Electric models with gross weights up to 26 tonnes (27 tons) and has been manufacturing hybrid electric buses since 2008. The new trucks are electric versions of Volvo's FH, FM and FMX trucks, used for regional transportation and urban construction.

How to Use Machine Learning Algorithms in Weka


A big benefit of using the Weka platform is the large number of supported machine learning algorithms. The more algorithms that you can try on your problem the more you will learn about your problem and likely closer you will get to discovering the one or few algorithms that perform best. In this post you will discover the machine learning algorithms supported by Weka. How to Use Machine Learning Algorithms in Weka Photo by Eugeniy Golovko, some rights reserved. Weka has a lot of machine learning algorithms.