This paper describes our submission to the sentiment analysis sub-task of “Build It, Break It: The Language Edition (BIBI)”, on both the builder and breaker sides. As a builder, we use convolutional neural nets, trained on both phrase and sentence data. As a breaker, we use Q-learning to learn minimal change pairs, and apply a token substitution method automatically. We analyse the results to g...

In recent decades, many dams have been built or are under construction. Due to the high demand for water and soil erosion, increasing the need for dam construction in different regions are quite tangible. In 1900 the number of large dams, did not exceed 50. But in the 1950s to 1986 the number of large dams (over 15 meters), more than 39,000 were counted. The 70s dams has been increasing develop...

We consider a tic-tac-toe game played on the d-dimensional integer lattice. The game that we investigate is a Maker–Breaker version of tic-tac-toe. In a Maker– Breaker game, the first player, Maker, only tries to occupy a winning line and the second player, Breaker, only tries to stop Maker from occupying a winning line. We consider the bounded number of directions game, in which we designate a...

We study the Maker-Breaker H-game played on the edge set of the random graph G(n, p). In this game, two players, Maker and Breaker, alternately claim unclaimed edges of G(n, p), until all the edges are claimed. Maker wins if he claims all the edges of a graph H; Breaker wins otherwise. Recently, Müller and Stojaković determined the threshold for the graph property that Maker can win this game i...

We consider a Maker-Breaker type game on the square grid, in which each player takes t points on their tth turn. Maker wins if he obtains n points on a line (in any direction) without any of Breaker’s points between them. We show that, despite Maker’s apparent advantage, Breaker can prevent Maker from winning until about his nth turn. We actually prove a stronger result: Breaker only needs to c...

Symmetry breaking has been proven to be an efficient preprocessing technique for satisfiability solving (SAT). In this paper, we port the state-of-the-art SAT symmetry breaker BreakID to answer set programming (ASP). The result is a lightweight tool that can be plugged in between the grounding and the solving phases that are common when modelling in ASP. We compare our tool with sbass, the curr...

To one double-breaker model, experimental investigation on blow open force was carried out. It demonstrates that the ratio between the emerging blow open force and arc power FB/ui decreases with the arcing time, the contact gap has less effect on FB/ui, and the characteristics of the blow open force are similar when the peak value of the short circuit current is beyond 4 kA. Then, according to ...

A positional game can be thought of as a generalization of Tic-Tac-Toe played on a hypergraph (V,H). We study the Maker-Breaker game in which Maker wins if she occupies all of the vertices in an edge of H; otherwise Breaker wins. The Erdős–Selfridge Theorem, a significant result in positional game theory, gives criteria for the existence of an explicit winning strategy for Breaker for the game ...

A membrane-associated lipoxygenase from breaker-stage fruit of tomato (Lycopersicon esculentum Mill.) was purified and partially sequenced. Using degenerate oligonucleotides corresponding to portions of this sequence, a cDNA was amplified by PCR and used to screen a breaker fruit cDNA library. Two clones, tomloxA and tomloxB, were isolated and one of these (tomloxA) corresponded to the isolated...