| 词汇 | example_english_classical |
| 释义 | Examples of classicalThese 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 power of the classical twin study to resolve variation in threshold traits. One such property concerns the construction of quantum wave functions semiclassically from classical quantities. Decoherence on the coin only does not produce a top-hat distribution, instead the distribution develops a cusp as it passes from quantum to classical. Several problems have been shown to admit an increase in speed for a quantum computer compared with classical computation. We also call it the erasure map, as it corresponds to an erasure of (quantum and classical) information. In fact, the correct definitions of head and leftmost reduction are more subtle than in the classical calculus. In this way, we refine and strengthen these classical normalisation theorems. In light of the fact that leftmost reduction on x is non-deterministic, these generalise the leftmost normalisation theorem for the classical -calculus. First we give the classical definition, which considers types and terms only up to equivalence. Concerning the first two points, the difference compared with classical measurement is well understood. On the other hand, boolean lattices form classical categories that are not generally compact, but have trivial hom-sets. On the other hand, domain theory has brought tools from classical topology to the study of partial order based models. We believe that it would be interesting to deepen the study of classical categories via this lambda calculus. Using classical logic, it is possible to extend every partial function to a total one. Lagrangian submanifolds are maximal submanifolds, on which the symplectic form vanishes; they represent so-called semi-classical approximations to quantum mechanical wave functions. In other words, can every intuitionistic phase space be represented as a subspace of some classical phase space? We introduce a notion of cotype and use intuitionistic sequents instead of classical ones. There was a guy sitting on the ground playing classical music on a keyboard, and another guy further down the platform playing drums. A historical and critical account of classical logic, based on truth, is given from this point of view. A new method for establishing conservativity of classical systems. The call-by-value lambda calculus, or v -calculus, is a restriction of the classical -calculus, based on the concept of value. We present here a term inspired by the classical term of the untyped lambda calculus. Nevertheless, one can think of this product by the reals as representing a trace of the (underlying) classical theory. We use the same symbols as in classical linear logic, although the meaning is obviously different. In this section we have defined a translation from classical proofs to programs. Recall the four possible states of a pair of classical bits: 00, 01, 10, and 11. Such types do not readily fit into our 'classical control' paradigm. A topic for future work is to address the classical results on canonical derivations and amalgamation in the double-pushout approach. Following a classical line, we define diagrammatic specifications as a kind of generalised sketch. They differ from the classical mobile ambients by the addition of coactions. Since we are not using the classical least fixed point semantics, we have to explain in some detail how our semantics works. We consider a deterministic version of the classical overlapping-generations model in which there is a single durable asset. Any ct -term typable in the second order classical natural deduction is strongly normalizing. We thus record the following classical and important proposition. The morphism in a paracomplex is called a differential although this contradicts the classical definition of a differential. The model is developed in 2 and the classical formulation is summarized in (2.8)-(2.24). Further, many of the classical texts are equally referring to (presumed non-sedentary and non-farming) pastoralists. Rather, the same connotations were already familiar to the social and intellectual elite of the classical antiquity. However, it is also possible to turn it into a classical representation by describing it verbally or by giving it a name. The representation, too, is classical, because all of the parts are combinations of antecedently specified symbols. With non-classical processes there is no possibility of learning about your design thinking as you write the rules. Classical process is about the application of clear rules. There is a new mathematical field of 'free probability' emerging as a counterpart to classical probability. The answer is neither a semi-circle as in standard free probability or a normal distribution as in classical probability. On the other hand, classical writers agreed that environments strongly influence human character. The book's seven chapters cover classical areas of social gerontology. The time of the ritual was a classical liminal period, used to negotiate one of the most important and dangerous times in a woman's life. Employing classical art history in combination with post-processualism it offers a radically new account of the southern part of the island in this period. The paired neumes with synemba and syrmatike are used with greater frequency in the classical system, particularly in its fully developed phase. Indeed, the transformation was so significant as to destruct the original ' classical' quality. Classical music affords the experience of valuing something in and for itself, and therefore to participate in this sense of being valued. The choices associated with the design of budgetary institutions reflect classical, or even existential, dilemmas of self-binding. Their value will justify the validity of the classical approximation. Two temperature approximations with classical and flux-limited electron and ion thermal conductivities is used. The endeavour was a serious one, typical of a certain fin-de-siecle aspiration towards male classical poise and muscularity. Classical music may be dead, but as you say to kids, it's in a better place now. Such situated knowledge is not acquired with the classical tools prior its use. In classical derivation, all the components of the lexical entry are different from the input. At worst, this intolerance leads them to attempt to cut off funds from the more classical fields. There is no way to transcend space-time causality in such a classical set-up. How do learners acquire the classical three categories of temporality? In other words a classical example of misinterpretation based on mutual distrust that just escalated. In analytic psychology, the convention of the persona (the mask, as worn in classical theatre) is used to describe accommodations to the social world. A distinguished feature of these researches was that all findings revolved around such classical themes as lineage, ritual and spiritual beliefs. Chapter 9 analyzes the role of the cerebellum in both motor control and classical conditioning. However, it is clear that threat perception and avoidance are much more complex skills than what is involved in classical conditioning. A cortical area defined by the rules of classical cytoarchitectonics may belong to different systems. The classical interpretation is refuted by some firsthand researchers in the field. Is his omission due to the fact that the classical approach to visual imagery would not easily fit the model? The message of this example is that classical conditioning can be understood without the recourse to additional mnestic and inferential processes. In so doing, connectionist approaches demonstrate that the formal computations envisaged in the classical information-processing framework are not necessary. As such, they do not constitute a different type of, but actually a step further to, classical modelling. Cohorts were also collected for identification using classical taxonomic, biochemical and molecular genetic approaches. Three of the participants had learned to play the classical violin while they were at school. Surprisingly, only 103 out of 1196 children were able to simply name a classical piece. Finally, we move beyond western classical music to jazz. He worked with college-aged students using 125 mood adjectives and selections of classical music. They also play and sing some 'classical' music while not necessarily realising that it's 'classical'. In 1998, teachers were generally just as positive about classical music as they had been in 1982. His recordings gave the phonograph a measure of 'classical' respectability that it had previously lacked. The classical past and its remnants continued to receive considerable attention and figure prominently in the process of the construction of national identity. The one-dimensional version of the problem is the classical random interval packing problem. If we require that all the lists are the same, then we obtain the classical definition of the chromatic number. We study the complexity of computing the coefficients of three classical polynomials, namely the chromatic, flow and reliability polynomials of a graph. Later on, this proved to be only too easy a target for the new classicals. The" new classicals" macro theory is historically fairly recent, having come into vogue in the late 1970s and 1980s. In classical times, physics, as first an applied then a basic science, stimulated enormous advances in mathematics. Ritual means can exhibit disgusting brutality, as an acquaintance with classical paganism will shew. Much of the materialist challenge to classical theism presupposes a realist outlook - the truth of materialism entails the falsehood of theism. Although hardly quantified in this respect, play in young mammals is a classical example of this idea. The classical exemplum persuaded by appealing to heroic figures and auctores the audience already venerated. The responses to question 10 which indicate that girls prefer classical music fall into two categories. Nobody in these traditions can claim ownership in the way of the classical (more patriarchal) model. Musiking in the classical repertoire tends to negate the performer's attempts to express her self, her sexuality, her sensibilities. In the classical sense a civilization needed its citizens to participate in the running of the social structures. A classical or formal element is subsumed into the random violence of the tropological spectrum. Geologists are familiar with classical examples of particular geological features, be they type sections, outcrops, mountain ranges, or whatever. Early nineteenth-century classical economics, it must be said, is not totally indifferent to the question of space. 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条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。