1. Hilbert's irreducibility theorem.

Bổ đề Zorn Định lý Hilbert

2. The ham sandwich theorem can be proved as follows using the Borsuk–Ulam theorem.

Định lý bánh mì dăm bông có thể được chứng minh bằng cách quy về định lý Borsuk–Ulam.

3. It is a special case of van Aubel's theorem and a square version of the Napoleon's theorem.

Định lý này là một trường hợp đặc biệt của định lý Van Aubel và là một phiên bản của định lý Napoleon cho tứ giác.

4. "X+ Dual SIM - Affordable dual SIM smartphone with Android apps".

“X+ Dual SIM - Điện thoại thông minh hai SIM giá cả phải chăng với ứng dụng Android”.

5. The Steiner–Lehmus theorem, a theorem in elementary geometry, was formulated by C. L. Lehmus and subsequently proved by Jakob Steiner.

Định lý Steiner-Lehmus, là một định lý trong lĩnh vực hình học phẳng, được phát hiện bởi C. L. Lehmus và chứng minh bởi Jakob Steiner.

6. The theorem is named after Lazare Carnot (1753–1823).

Trong lĩnh vực hình học phẳng, định lý Carnot đặt tên theo Lazare Carnot (1753–1823).

7. The reason is that Ehrenfest's theorem is closely related to Liouville's theorem of Hamiltonian mechanics, which involves the Poisson bracket instead of a commutator.

Lý do là định lý Ehrenfest có liên quan chặt chẽ với định lý Liouville trong cơ học Hamilton, liên quan tới ngoặc Poisson (Poisson bracket) thay vì giao hoán tử.

8. Advance Wars: Dual Strike.

Cấp bão (Việt Nam): cấp 12 - bão cuồng phong.

9. Screenshot of a PC-BSD 10.1.2 desktop (MATE) with dual monitor (dual head, pivot).

Màn hình PC-BSD 10.1.2 desktop (MATE) với màn hình kép (dual head, pivot).

10. And we're gonna learn something called the Markov Convergence Theorem.

Và chúng ta sẽ học kỹ hơn về định lý hội tụ Markov.

11. Dual front-facing stereo speakers

Loa kép âm thanh nổi ở mặt trước

12. This last result is sometimes called the weak Whitney immersion theorem.

Kết quả cuối cùng này được gọi là định lý nhúng (immersion)Whitney yếu.

13. It will then become a theorem, a truth, forever and ever.

Thì nó sẽ trở thành định lý, một sự thật, vĩnh viễn.

14. The revenue equivalence theorem remains the centrepiece of modern auction theory.

Định lý doanh thu tương đương vẫn là trung tâm của lý thuyết đấu giá hiện đại.

15. Iowa Blues are a dual-purpose chicken.

Gà Iowa Blues là một con gà kiêm dụng.

16. Assume n > 3 and the theorem is true for n − 1.

Giả sử n > 3 và định lý đúng cho n − 1.

17. This theorem was extended for terms of all orders by Lorentz in 1904.

Các phương trình được sử dụng để mô tả hiệu ứng này được tiếp tục phát triển bởi Lorentz cho đến năm 1904.

18. This theorem is of foundational importance to the modern field of information theory.

Định lý này là nền tảng quan trọng đối với ngành Lý thuyết thông tin hiện đại.

19. VMware working on dual-OS smartphone virtualization

Vmware đang phát triển phần mềm ảo hoá giúp điện thoại thông minh chạy hệ điều hành kép

20. According to the Noether theorem, isospin is conserved with respect to the strong interaction.

Theo định lý Noether, đại lượng isospin được bảo toàn ứng với tương tác mạnh.

21. Envelope theorem Jean Gaston Darboux at the Mathematics Genealogy Project Eisenhart, Luther P. (1918).

Định lý hình bao ^ Gaston Darboux tại Dự án Phả hệ Toán học ^ Eisenhart, Luther P. (1918).

22. Control engineering Derivation of the Routh array Nyquist stability criterion Routh–Hurwitz theorem Root locus Transfer function Jury stability criterion Bistritz stability criterion Kharitonov's theorem Liénard–Chipart criterion Routh, E. J. (1877).

Kỹ thuật điều khiển Phái sinh của mảng Routh Tiêu chuẩn ổn định Nyquist Định lý Routh-Hurwitz Quỹ đạo nghiệm số Hàm truyền Tiêu chuẩn ổn định Jury Tiêu chuẩn ổn định Bistritz Định lý Kharitonov Tiêu chuẩn Liénard–Chipart ^ Routh, E. J. (1877).

23. So we have this kind of dual nature.

Cho nên chúng ta có kiểu bản chất kép như vậy

24. The open mapping theorem points to the sharp difference between holomorphy and real-differentiability.

Định lý ánh xạ mở đưa ra điểm khác biệt rõ giữa holomorphy và khả vi thực (real-differentiability).

25. There is no exact analog of the mean value theorem for vector-valued functions.

Không có một sự tương tự chính xác của định lý giá trị trung bình cho hàm nhận giá trị vector.

26. Pompeiu's theorem is a result of plane geometry, discovered by the Romanian mathematician Dimitrie Pompeiu.

Định lý Pompiu là một định lý trong lĩnh vực hình học phẳng, được phát hiện bởi nhà toán học Romanian Dimitrie Pompiu.

27. This is a result of Galois theory (see Quintic equations and the Abel–Ruffini theorem).

Đó là kết quả của lý thuyết Galois (xem phương trình bậc năm và định lý Abel-Ruffini).

28. The Lorentz reciprocal theorem states a relationship between two Stokes flows in the same region.

Định lý thuận nghịch Lorentz nói về mối quan hệ giữa hai dòng chảy Stokes trong cùng một vùng.

29. Complete quadrangle Newton's theorem Claudi Alsina, Roger B. Nelsen: Charming Proofs: A Journey Into Elegant Mathematics.

Định lý Anne Tứ giác toàn phần ^ Claudi Alsina, Roger B. Nelsen: Charming Proofs: A Journey Into Elegant Mathematics.

30. His model was based on another well-known feature of fluid mechanics, the Taylor–Proudman theorem.

Mô hình của ông dựa trên một tính chất nổi tiếng khác của cơ học chất lỏng, định lý Taylor-Proudman.

31. Dual-action suction pumps were found in the city of Pompeii.

Máy bơm hút hai chiều đã được tìm thấy ở thành phố Pompeii.

32. F-105C Proposed dual-control trainer; canceled in 1957, none built.

F-105C Phiên bản huấn luyện có bộ điều khiển kép được đề nghị; bị hủy bỏ vào năm 1957, không được chế tạo.

33. The Augsburger is a dual-purpose breed, with good meat qualities.

Các Augsburger là một giống hai mục đích, với chất lượng thịt tốt.

34. An Xserve update, based on the dual core Xeons, was also announced.

Một bản cập nhật Xserve, dựa trên Xeons lõi kép, cũng đã được công bố.

35. Despite his dual citizenship, he was also denied visits from the Canadian consulate.

Mặc dù có hai quốc tịch, ông cũng bị từ chối các chuyến thăm từ lãnh sự quán Canada.

36. But what he wound up doing was splitting the family into dual factions.

Nhưng cái mà hắn muốn thực sự là chi rẽ gia đình ra làm nhiều bè phái.

37. It's a dual purpose breed with a very good milk and beef performance.

Đó là một giống bò kiêm dụng với hiệu suất sữa và thịt bò rất tốt.

38. The aim was to create a dual-purpose chicken which would combine both qualities.

Mục đích là để tạo ra một con gà kiêm dụng cho cả trứng và thịt mà sẽ kết hợp cả hai phẩm chất từ hai giống gà này.

39. It has a Dual Core 1.0 GHz processor and runs the Tizen operating system.

Nó có vi xử lý lõi kép 1.0 GHz và chạy hệ điều hành Tizen.

40. So, clouds play this very large and dual role in the climate system.

Vậy, mây đóng vai trò kép quan trọng trong hệ khí hậu.

41. It is designed as a dual-role air refueling tanker and cargo transport aircraft.

Nó được thiết kế như một máy bay hai vai trò là vận tải chở hàng và chở dầu tiếp nhiên liệu trên không.

42. He holds dual American and Taiwanese citizenship, and often travels between the two countries.

Ông Lư có 2 quốc tịch Mỹ và Đài Loan, và thường xuyên di chuyển giữa 2 quốc gia này.

43. A dual system of government existed over the Hejaz for much of this period.

Một hệ thống chính quyền kép tồn tại ở Hejaz trong phần lớn giai đoạn này.

44. The extreme value theorem states that for any real continuous function on a compact space its global maximum and minimum exist.

Định lý giá trị cực trị: một hàm trị thực liên tục trên một không gian compact có giá trị nhỏ nhất và giá trị lớn nhất.

45. In a dual performance, he also played the dictator "Adenoid Hynkel", who parodied Hitler.

Trong một màn trình diễn kép ông cũng đóng nhà độc tài "Adenoid Hynkel", nhại theo Hitler.

46. But as we've heard so many times, these new technologies are dual-edged, right?

Nhưng chúng ta đã nghe rất nhiều, những công nghệ mới này luôn là con dao hai lưỡi, đúng không?

47. The rear gunner' cockpit was replaced with a longer instructor's cockpit with dual controls.

Buồng của xạ thủ phía sau được thay thế với một buồng của người hướng dẫn lớn hơn, trnag bị hệ thống điều khiển kép.

48. The country has a dual track legal system where Islamic law applies to Muslims .

Quốc gia này có một hệ thống luật pháp kép nơi mà luật Hồi giáo sẽ áp dụng với các tín đồ Hồi giáo .

49. Independently, Adolf Hurwitz analyzed system stability using differential equations in 1877, resulting in what is now known as the Routh–Hurwitz theorem.

Một cách độc lập, Adolf Hurwitz đã phân tích sự ổn định của hệ thống sử dụng phương trình vi phân vào năm 1877, kết quả là ta có được định lý Routh-Hurwitz.

50. D.520 DC (double commande – dual control) Two-seater trainer conversion, at least 13 built.

D.520 DC (double commande – hệ thống điều khiển kép) Phiên bản huấn luyện 2 chỗ hoán đổi, ít nhất có 13 chiếc.

51. In 2003 Volkswagen introduced the Direct-Shift Gearbox (DSG), a type of dual clutch transmission.

Ở thế kỷ này, Volkswagen giới thiệu trực tiếp-Shift Gearbox (DSG), một loại truyền ly hợp kép.

52. He was also opposed to Irish Home Rule, instead preferring a form of dual monarchy.

Ông cũng phản đối Ireland tự trí, thay vào đó ưu tiên chế độ quân chủ kép.

53. It will run Google's Android 2.3 Gingerbread OS, has a 1.0 GHz dual-core processor.

Chạy hệ điều hành Android 2.3 Gingerbread của Google, vi xử lý 1.0 GHz lõi-kép.

54. The c1060 is a dual-slot PCI card with no graphics ports on the back .

c1060 là một card chuẩn PCI khe cắm kép nhưng không có cổng đồ hoạ ở mặt sau .

55. CF-100 Mk 3CT : One CF-100 Mk 3 converted into a dual control training aircraft.

CF-100 Mk 3CT: 1 chiếc CF-100 Mk 3 chuyển đổi thành máy bay huấn luyện 2 chỗ.

56. The Mk 3CT and Mk 3DT were again dual control versions supplied to operational training units.

Mk 3CT và Mk 3DT là các phiên bản có hệ thống điều khiển kép và được trang bị cho các đơn vị huấn luyện chiến đấu.

57. One can arrive at the Pythagorean theorem by studying how changes in a side produce a change in the hypotenuse and employing calculus.

Có thể đi đến định lý Pytago bằng cách nghiên cứu sự thay đổi của một cạnh kề tạo ra thay đổi như thế nào đối với cạnh huyền và áp dụng phương pháp vi tích phân.

58. Bantams are also dual-purpose, but (like all bantams) lay smaller eggs and fewer of them.

Gà Bantams cũng được xem là giống gà kiêm dụng, nhưng (giống như tất cả các bantam) chúng đẻ trứng nhỏ hơn và ít trứng hơn.

59. Customers also had the option for dual controls, and a 19 gal (72 liter) auxiliary tank.

Khách hàng cũng có thể chọn hệ thống điều khiển đôi, và một bình xăng phụ 19 gal (72 lít).

60. Often this title is held concurrently with that of secretary in a dual role called secretary-treasurer.

Thường thì chức danh này được tổ chức đồng thời với chức danh thư ký trong một vai trò kép gọi là thư ký-thủ quỹ.

61. Dual agency occurs when the same brokerage represents both the seller and the buyer under written agreements.

Đại lý kép xảy ra khi một môi giới đại diện cho cả người bán và người mua theo thỏa thuận bằng văn bản.

62. IBM maintain a dual ladder of advancement; the corresponding managerial and engineering or scientific rungs are equivalent.

IBM duy trì một bậc thang tiến bộ; các rungs quản lý và kỹ thuật tương ứng hoặc khoa học là tương đương.

63. History reveals this to be a dual world power composed of Britain and the United States of America.

Lịch sử cho biết đó là một cường quốc đôi Anh-Mỹ.

64. In a popular local TV series entitled La Squadra, she played a policewoman of dual Somali-Italian heritage.

Trong một bộ phim truyền hình nổi tiếng ở địa phương có tên La Squadra, bà đóng vai một nữ cảnh sát lai Somalia-Ý.

65. For the next five years, Ibn Saud administered the two parts of his dual kingdom as separate units.

Trong vòng 5 năm sau đó, Ibn Saud cai trị hai bộ phận trong vương quốc kép của ông với tư cách là các đơn vị riêng biệt.

66. The Wyandotte is a dual-purpose breed, kept for its brown eggs and its yellow-skinned meat.

Các con gà Wyandotte là một giống kiêm dụng, chúng cung cấp cho những quả trứng màu nâu và thịt da màu vàng của nó.

67. It was conceived as a dual-purpose breed, and based on Rhode Island Red and Sussex stock.

Nó được hình thành như một giống gà kiêm dụng và dựa trên giống nền của Rhode Island Red và Sussex.

68. Healthcare in the Netherlands is financed by a dual system that came into effect in January 2006.

Y tế tại Hà Lan là một hệ thống kép, có hiệu lực từ tháng 1 năm 2006.

69. Let's just assume that it was, as you say, a dual engine loss due to bird strike.

Cứ cho rằng đúng như anh nói hỏng cả hai động cơ do chim đâm vào.

70. USB – dual control trainer, with the instructor sitting in an open cockpit in the nose replacing the navigator.

USB - Máy bay huấn luyện kép với người hướng dẫn ngồi bên trong một buồng lái mở trong mũi thay thế hoa tiêu.

71. Serge Lang in Analysis I uses the mean value theorem, in integral form, as an instant reflex but this use requires the continuity of the derivative.

Serge Lang, trong quyển Analysis I đã sử dụng định lý giá trị trung bình dạng tích phân, nhưng cách này yêu cầu tính liên tục của đạo hàm.

72. Hugo Strange discloses his knowledge of Wayne's dual identity as Batman before releasing him into the prison's criminal populace.

Hugo Strange tiết lộ kiến thức của mình về danh tính kép của Wayne là Batman trước khi thả anh.

73. In general, Javas are particularly suitable for keepers of smaller flocks who require a good dual-purpose chicken.

Nói chung, gà Java đặc biệt thích hợp cho những người nuôi những đàn nhỏ hơn đòi hỏi một con gà kiêm dụng có hiệu quả.

74. He introduces his discussion with an example where interchange of integration leads to two different answers because the conditions of Theorem II below are not satisfied.

Ông giới thiệu thảo luận của mình bằng một ví dụ mà việc hoán đổi phép lấy tích phân dẫn đến hai đáp án khác nhau, vì những điều kiện của Định lý II dưới đây không thỏa mãn.

75. It is a dual tyrosine kinase inhibitor which interrupts the HER2/neu and epidermal growth factor receptor (EGFR) pathways.

Thuốc ức chế kép tyrosine kinase làm gián đoạn con đường HER2/neu và thụ thể yếu tố phát triển biểu bì (EGFR).

76. The dual is most often used for objects that come in pairs, such as eyes, ears, hands, and feet.

Dạng đôi rất thường được dùng cho những vật có hai, chẳng hạn như mắt, tai, tay và chân.

77. The 135-kilometre (84 mi) highway from Muara Town to Kuala Belait is being upgraded to a dual carriageway.

Xa lộ dài 135 kilômét (84 mi) nối từ Muara Town đến Kuala Belait được nâng cấp thành làn kép.

78. The Ultimaker 3 was released on 18 October 2016 and introduced professional dual extrusion 3D printing for the desktop.

Ultimaker 3 được phát hành vào ngày 18 tháng 10 năm 2016 và giới thiệu bản in 3D đùn kép chuyên nghiệp cho máy tính để bàn.

79. Some countries prohibit dual citizenship holders from serving in their militaries or on police forces or holding certain public offices.

Một số quốc gia cấm người có quốc tịch kép làm việc trong quân đội, về lực lượng cảnh sát hoặc giữ một số văn phòng công cộng.

80. Caracu is a Brazilian dual purpose (beef and dairy) cattle breed known for its adaptability, hardiness and excellent maternal ability. .

Bò Caracu là giống bò có kiêm dụng (nuôi lấy thịt và sữa) của Brazil được biết đến với khả năng thích ứng, sự cứng rắn và khả năng làm mẹ tuyệt vời.