What is the translation of " COQ " in English?

• coq

Examples of using Coq in Vietnamese and their translations into English

Chi phí chất lượng( COQ).
Cost of Quality(COQ).

Chi phí chất lượng( COQ)- short version.
Cost of Quality(COQ)- short version.

Chí phí chất lượng( COQ).
Cost of Quality(COQ)→.

Các bạn nghĩ sao về balo le coq sportif đen?
What do you think of the new le coq sportif Blazon?

Xuất xứ từ cùng một vùng là coq au vin- Burgundy( hoặc ở Pháp, Bourgogne) ở đông Pháp- thịt bò bourguignon có nhiều điểm tương đồng.
Coming from the identical region as coq au vin-Burgundy(or in French, Bourgogne) in east France- beef bourguignon has a number of similarities.

Các nhà khoa học Nhật Bản đã tổng hợp COQ thành một nguyên liệu được đưa vào bổ sung.
Japanese scientists have synthesized CoQ-10 into a raw material that is put into supplements.

Copeland, Cynthia R.; Hulser, Kathleen; Stokes Sims, Lowery, Legacy: Các nghệ sĩ đương đại suy ngẫm về chế độ nô lệ Coq, Christian.
Copeland, Cynthia R.; Hulser, Kathleen; Stokes Sims, Lowery, Legacies: Contemporary Artists Reflect on Slavery Coq, Christian.

Hệ thống đo lường của COQ được sử dụng đúng mức trong thực tế.
Systematic measurement of COQ is underutilized in practice.

Compcert là một trình biên dịch cho một tập con của ngôn ngữ lập trình C được viết bằng Coq và đã được chứng thực chính thức.[ 27].
Compcert is a compiler for a subset of the C programming language that is written in Coq and formally verified.[42].

Hai nhà máy bia nổi tiếng nhất Estonia là A. Le Coq, thành lập năm 1807, và nhà máy bia Saku, thành lập năm 1820.
Two of Estonia's oldest breweries are A. Le Coq, founded in 1807, and Saku Brewery, founded in 1820.

Aimé đã tạo ra nhiều nước hoa cổ điển, bao gồm nước hoa Fleur d' Italie( 1884), Rococo( 1887) và Eau de Cologne du Coq( 1894).
As Guerlain's second generation in-house perfumer, Aimé was the creator of many classic compositions, including Fleur d'Italie(1884), Rococo(1887) and Eau de Cologne du Coq(1894).

Xuất xứ từ cùng một khu vực như coq au vin- Burgundy( hoặc tiếng Pháp, Burgundy) ở đông Pháp- thịt bò bourguignon có nhiều điểm tương đồng.
Coming from the identical region as coq au vin-Burgundy(or in French, Bourgogne) in east France- beef bourguignon has a number of similarities.

Các món ăn phổ biến ở Pháp bao gồm thịt gà trong nước sốt rượu vang đỏ, được gọi là Coq au vin và sò biển nấu trong bơ, hoặc Coquilles Saint- Jacques.
Popular foods in France include chicken in a red wine sauce, known as Coq au vin and sea scallops cooked in butter, or Coquilles Saint-Jacques.

Le Coq được công bố là địa điểm tổ chức trận chung kết vào ngày 15 tháng 9 năm 2016, theo quyết định từ cuộc họp của Ủy ban điều hành UEFA ở Athens, Hi Lạp.
Le Coq Arena was announced as the final venue on 15 September 2016, following the decision of the UEFA Executive Committee meeting in Athens, Greece.

Trận đấu được diễn ra tại Sân vận động A. Le Coq ở Tallinn, Estonia vào ngày 15 tháng 8 năm 2018, và là trận chung kết các câu lạc bộ châu Âu đầu tiên được diễn ra tại Estonia.
It was played at the A. Le Coq Arena in Tallinn, Estonia, on 15 August 2018, and was the first European club final held in Estonia.

Nghiên cứu tương lai liên quan đến nghiên cứu theo chiều dọc và nó sẽ có lợi trong việc đánh giá chính xác hơn bản chất của những thay đổi về phân phối trong COQ theo thời gian.
Future research involving longitudinal studies would be beneficial in more accurately assessing the nature of the changes in COQ distribution over time.

Voevodsky và nhóm của ông đang điều chỉnh một chương trình có tên Coq, được thiết kế để chính thức xác minh các thuật toán máy tính, để sử dụng trong toán học trừu tượng.
Voevodsky and his team are adapting a program named Coq, which was designed to formally verify computer algorithms, for use in abstract mathematics.

Nhà sản xuất người Pháp Le Coq Sportif đã giới thiệu pinstripes trên áo sơ mi 1981- 82 của Chelsea trong khi Spall tạo ra một thiết kế tương tự cho bộ thay đổi màu vàng của Blackburn Rovers.
French manufacturer Le Coq Sportif introduced pinstripes on Chelsea's 1981-82 shirts while Spall created a similar design for Blackburn Rovers' yellow change kit.

Coenzyme Q10, còn được gọi là ubiquinone, ubidecarenone, coenzyme Q, và viết tắt cho CoQ10, CoQ, hay Q10 là một coenzyme phổ biến ở hầu hết các động vật.
Coenzyme Q10, also known as ubiquinone, ubidecarenone, coenzyme Q, and abbreviated at times to Coenzyme Q10, CoQ, or Q10 is a coenzyme that is ubiquitous in the bodies of most animals.

Sau khi tốt nghiệp tiến sĩ tại Đại học Paris- Diderot, ông gia nhập Inria năm 1985 và làm việc về ngôn ngữ lập trình, trong nhóm nghiên cứu đã thiết kế và phát triển trợ lý kiểm chứng CoQ và ngôn ngữ lập trình OCaml.
After his PhD at Paris-Diderot University, he joined Inria in 1985 and worked on programming languages, in the research group that designed and developed the Coq proof assistant and the OCaml programming language.

Vào đầu thế kỷ 20, các nhà thám hiểm châu Âu gồm: Sven Hedin, Albert von Le Coq và Sir Aurel Stein đã tìm thấy những xác ướp Tarim trong quá trình tìm kiếm cổ vật châu Á.
At the beginning of the 20th century, European explorers such as Sven Hedin, Albert von Le Coq and Sir Aurel Stein all recounted their discoveries of desiccated bodies in their search for antiquities in Central Asia.

Sau khi tốt nghiệp tiến sĩ tại Đại học Paris- Diderot, ông gia nhập Inria năm 1985 và làm việc về ngôn ngữ lập trình, trong nhóm nghiên cứu đã thiết kế và phát triển trợ lý kiểm chứng CoQ và ngôn ngữ lập trình OCaml.
After his Ph.D. at Paris-Diderot University, Michel joined Inria in 1985 and worked on programming languages with the research group that designed and developed the Coq proof assistant and the OCaml, the functional programming language used to implement Tezos.

Một vài ngôn ngữ lập trình với mục đích đặc biệt như Coq chỉ cho phép đệ quy well- founded và chuẩn hóa mạnh( tính toán không dừng chỉ có thể biểu diễn bằng dòng giá trị vô hạn gọi là codata).
Some special purpose languages such as Coq allow only well-founded recursion and are strongly normalizing(nonterminating computations can be expressed only with infinite streams of values called codata).

Giới hạn Nghiên cứu bổ sung là cần thiết để xác định mối quan hệ giữa sự hiện diện của một hệ thống COQ và tích hợp hiệu quả của nó với hệ thống chất lượng và tổ chức kết quả.
Additional research is needed to determine the relationship between the presence of a COQ system and its effective integration with the quality system and organizational outcomes.

Voevodsky hình thức hóa toán học trong các bài báo của ông, trong đó chứng minh với sự trợ giúp của Coq và thư viện UniMath, chứa đựng toán học hình thức cho Coq trong đó Voevodsky đồng sáng lập và là nhà phát triển chính.
Voevodsky formalized the mathematics in his papers using the proof assistant Coq and the UniMath library, which contains formalized mathematics for Coq of which Voevodsky was a co-founder and primary developer.

Đấng sáng lập của chúng tôi, Mẹ Marie- Therese de la Croix, Nhà của Mẹ được thành lập năm 1875 tại La Gaubretiere, thuộc Vendee, trực tiếp đến mở thêm nhà ở Giáo phận Nantes, theo yêu cầu của Đức ông Le Coq, Nhà Mẹ được thành lập ở đây, nơi tất cả chúng tôi đều đã đi qua.
Our Founder, Mother Marie-Therese de la Croix, whose Order was founded in 1875 at La Gaubretiere, in Vendee, went to install herself in the Diocese of Nantes, at the request of Monsignor Le Coq, where the Motherhouse was established, where each and all of us have gone through.

Một rượu vang Burgundy đỏ thường được dùng, mặc dù nhiều vùng của Pháp dùng những loại rượu địa phương: như Coq au vin jaune( Jura), Coq au Riesling( Alsace), Coq au pourpre hoặc Coq au violet( Beaujolais nouveau), Coq au Champagne,. v. v….
The most commmon version is with red Burgundy wine, although many regions of France have variants using the local wine, such as coq au vin jaune(Jura), coq au Riesling(Alsace), coq au pourpre(Beaujolais), coq au Champagne, and so on.

Khi ông bắt đầu khởi nghiệp tại xưởng sản xuất nhỏ của mình, ông có lẽ không bao giờ nghĩ được rằng, sau hơn 130 năm hình thành và phát triển, thương hiệu Le Coq sportif đã trở thành một trong những thương hiệu uy tín nhất thế giới, nổi tiếng cho các thiết bị, quần áo và giày thể thao….
When he started making sportswear in his small studio, he never dreamed that 130 years later, Le Coq Sportif would be one of the most prestigious brands in the world, famous for its clothing, shoes and sports materials.

Khi ông bắt đầu khởi nghiệp tại xưởng sản xuất nhỏ của mình, ông có lẽ không bao giờ nghĩ được rằng, sau hơn 130 năm hình thành và phát triển, thương hiệu Le Coq sportif đã trở thành một trong những thương hiệu uy tín nhất thế giới, nổi tiếng cho các thiết bị, quần áo và giày thể thao….
When he started making sports jersey in his small workshop, he probably never dreamed that, 130 years later, le coq sportif would become one of the world's most prestigious brands, renowned for its clothing, footwear and sporting equipment.

Trong những năm đầu thế kỷ 20, rất nhiều các bức tranh đã được tháo gỡ bởi các nhà khảo cổ phương Tây, đặc biệt là đoàn thám hiểm Đức- Albert von Le Coq vào năm 1906, và hiện nay đang nằm trong các viện bảo tàng bao gồm Bảo tàng für Asiatische Kunst ở Berlin và Bảo tàng Guimet ở Paris.
In the early 20th century, many of the paintings were removed by Western archaeologists, notably the German expedition of Albert von Le Coq in 1906, and are now housed in museums including the Museum für Asiatische Kunst in Berlin and the Musée Guimet in Paris.