| 词汇 | example_english_barbed |
| 释义 | Examples of barbedThese examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. The cattle of the two herds were separated by a barbed wire fence, and thus direct nose-to-nose contacts were possible. What follows is a series of definitions leading up to our definition of barbed congruence. We prove that structurally equivalent processes of the extended -calculus are barbed congruent. Next, we prove that barbed congruence for the extended -calculus satisfies the congruence property. To remedy this, we extract a congruence relation, barbed congruence, from barbed bisimilarity as follows. The following are basic properties of barbed congruence needed for equational reasoning. Like other contextually-defined forms of bisimulation, barbed congruence is sensitive to the set of operators of a calculus. The resulting notion of bisimilarity is proved to be a congruence and to represent a sound approximation to barbed (observational) equivalence. The equivalences considered include typed versions of testing equivalences and barbed bisimulation equivalences. The fact that hedges were usually made of hawthorn, a form of organic barbed wire, takes on an added significance here. To the right of the barbed wire is an identical camp. Antlers were partitioned from red deer and transformed into the frontlets and also into barbed points. The visual environment was saturated with political slogans and symbols, while boundaries between ethnically polarised communities were materialised by khaki check-posts and barbed barricades. On the other hand, purchased materials, such as barbed wire, poles, and bamboo, are used in some private plantations. The following are basic properties of barbed congruence for the untyped calculus. We write for weak barbed congruence; we sometimes just call it barbed congruence. One can check that is the largest barbed bisimulation and that it contains structural congruence (these are classical results). One preserves strong barbed bisimulation but uses a match operator; the other yields weak barbed bisimulation but uses no additional operators. Nevertheless, the encoding [()] is adequate with respect to weak barbed congruence. Acting as an organic barbed wire, the hedge was increasingly put to work to protect the lands of the powerful. The lowest strand of barbed wire was low enough to block peccaries, but high enough to allow smaller seed predators to enter. Three strands of barbed wire, the lowest set at 25 cm above the ground, were used for each exclosure. The project farmers were provided with seed to establish the new pastures, barbed wire to fence them o and technical assistance in pasture establishment. He walks over to a charred tree, the branches of which have grown barbed wire. The main difficulty when proving that two processes are barbed congruent is represented by the quantification over contexts in the definition of barbed congruence. In particular, we prove that hedged bisimulation coincides with alley bisimulation, and thus also with barbed equivalence. In both cases the replication theorems are shown valid with respect to (typed) barbed congruence by proving a few barbed bisimilarities. Thus began a series of increasingly barbed articles between the two journals. Three lines (at 40, 60 and 80 m from the ground) of barbed wire attached to the trap protected the seeds from predation by cattle. Here the lean and raw orchestration enhances the barbed and sometimes painfully f unny texts, whilst always allowing the words to make their own impact. Besides archival sources, the bulk of the information came from some 300 survivors who were keen to talk about their experiences in the camps and in the barbed-wire villages. The number of barbed wires, lacings, droppers and straining posts, as well as the distance between fence posts, further determined the strength, as well as the cost, of the fence. At all these sites combinations of one or more of large quantities of barbed points, animal teeth beads and antler frontlets were recovered from aquatic deposits. Moreover, alley bisimilarity is complete with respect to barbed equivalence for the class of structurally image-finite processes, that is, processes that are image-finite up to structural equivalence. An actin filament is a polar structure with two structurally different ends: a relatively inert and slow-growing minus end (pointed end) and a fastergrowing plus end (barbed end). The article used its key terms, "classes moyennes" and "bourgeoisie," merely to refer, with neither high praise nor barbed satire, to the governing classes of each country. Connections between two of these artefact types - the antler frontlets and barbed antler points - suggest that some of these items at least retained a strong sense of their 'animalness'. Moreover, although we only treat weak late bisimulations, in order to keep the correspondence with barbed congruence, the results carry over directly to the early and/or strong versions. As the weak early alley bisimulation has been proven to have a significant degree of completeness with respect to barbed equivalence, we study the weak early variants of all bisimulations. The immediate benefit is that the co-inductive nature of bisimilarity can be exploited by putting its vast body of proof techniques to work in order to reason about barbed congruence. He is, however, arranging for the removal of part of the barbed wire. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 Except for derelict huts and bashas, the camps were little more than barbed wire enclosures in which wild beasts might have been herded together. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 He is caught in the barbed wire which he himself helped to set up. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 The barbed wire would be necessary to prevent animals from pushing it over. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 They do not deserve the barbed comments and stings which are directed at them. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 The orders for barbed wire have been given not at £14 a ton—though that might have occurred—but at various prices. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 Another challenge is in connection with barbed wire. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 They were living in indescribable squalor behind metal bars and barbed wire. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 Let us take the case of the farmer who has on his land some barbed wire. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 In regard to barbed wire manufacture, the whole of the existing plant is employed to its fullest capacity. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 Unfortunately, when loss of life occurs men are caught in the barbed wire of the fence. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 The deadpan expression, the emollient remark and the barbed shaft have come from him as though he had been there for thirteen years. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 I am sure that the sooner we can all agree to get not only minefields but barbed wire and walls removed the better. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 There had then been slight war damage relating mainly to windows and plaster and barbed wire entanglements had been placed on the property. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 Tenders have been invited and it is expected that this barbed wire will be removed shortly. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 Supples of barbed wire have improved during the last few months and will continue to do so. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 I am aware that some farmers are still experiencing difficulty in getting barbed wire and galvanised water tubing. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 To replace the barbed wire with cleft chestnut fencing and quickset would cost about £700. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 My latest information is that the situation is now well in hand, and the opposing factions have been separated by a barbed wire barrier. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 Does that mean that the other people, not women and children, would be left out in the rain, behind the barbed wire? From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 First, is it necessary to continue with this camp in its present condition, with broken windows, barbed wire, and so forth? From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 They got barbed wire from the block houses. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 The question of the supply of barbed wire is rather a sore point just now. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 I want to talk about the effect that the barbed wire had on the dogs later. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 I fear that, one way or another, we shall end up with a small bit of barbed wire around the pen. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 There are two particular barbs on the legal barbed wire barrier to refugees. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 Barbed wire on top of a fence is offensive to the sightseer. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 They are often supported by barbed wire, and they have become isolated groups of trees and an area of habitat has been destroyed. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 A lady holding a baby was standing in the rain outside the hut which had barbed wire on top of it. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 My attention has been drawn to a small number of cases where farmers have had difficulty in obtaining supplies of barbed wire. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 At any rate, you do not want, first of all, to put up a barbed wire fence, and afterwards put up corrugated iron, outside. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 The barbed wire cordon has given way everywhere. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 Does the salvage sent home include such things as barbed wire or is this sold locally? From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 They have already spent eight or nine years behind barbed wires. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 One can go to the companies and ask for kilometres of barbed wire to be delivered. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 What do they face—not so much as a strand of barbed wire, not a mine, not a bridge prepared for demolition. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 There were no barbed wire fences around the village. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 We do not envisage frontiers, barriers, electric lights and barbed wire, and people creeping through it. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 There is another danger which has also cropped up in my locality: that is the barbed wire fence. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 My recollection is that the barbed wire is to be placed somewhere about the top of the wall. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 Then there are miles and miles of land still covered with barbed wire entanglements. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 Many hedges have been replaced by yards of hideous barbed wire fences. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 The wall will eliminate citizens' movements to and from their own homes and business locations, which will be encircled by walls and barbed wire. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 In one small woodland he collected 70 snares, all tethered to barbed wire fences. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 They have been surrounded by the barbed wire which to them becomes insupportable mentally. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 The retort, once again, is both specific and barbed. Clearly, there was barbed wire and constraints on the internees' freedom but there was also a high degree of selfgovernment within the camp. We focus on bisimulation-based behavioural equivalences, more precisely, on barbed congruence. We have given two coinductive characterisations of barbed congruence and new up-to proof techniques. A coinductive characterisation of barbed congruence is provided, though the equations holding in this setting vary considerably from ours. Also, no complete characterisation of barbed congruence was provided in this setting. Finally, we define a notion of labelled bisimilarity and show that it is sound with respect to barbed congruence. They verify its correctness by adapting the technique of barbed coupled simulations. One can check that esc is the largest barbed bisimulation. However, when adding the minimality requirement, as done in fenced bisimulation, the relation becomes strictly stronger than barbed equivalence. At the live-fence sites the net line ran parallel to the barbed-wire fence and under the crowns of the live-fence trees and other associated vegetation. As in the typed case, barbed congruence is a congruence relation preserved by renamings that includes structural congruence. The task of barbed point manufacture also appears to have been intimately connected to the life history of the frontlets. There is also a yard where one could at one time sit and look at the adjacent buildings through the barbed wire. These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. |
| 随便看 |
反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。