정의 가능한 수 oor Engels

정의 가능한 수

Vertalings in die woordeboek Koreaans - Engels

definable real number

voorbeelde

파라일일관성, 정의할 수 없는, 무작위, 계산 가능, 불완전한 것은 무엇을 의미합니까?
What Do Paraconsistent, Undecidable, Random, Computable and Incomplete mean?

CSS로 정의 가능한 모든 요소는 애니메이션을 포함한 각 스타일에 맞게 변경할 수 있습니다.
Anything defined by CSS can be changed in each style set, including animation.

허브(Hub)와 스템(Stem)은 데이터의 생성을 담당하며, 허브에서 다변수를 정의할 수 있고 또한 후순위변수가 선순위변수의 함수가 가능한 구조는 본 발명의 핵심 중의 하나이다. 그리고 스템에서 함수의 정의와 함수포인터를 쓰지 않아도 수식대로 처리할 수 있는 점 또한 본 발명의 핵심 중의 하나이다.
One of the defining features of the present invention is a configuration in which the hub and stem manage data generation, multivariables can be defined by the hub, and low-priority variables can be functions of high-priority variables.

본 발명을 이용하면, 다수 전송단에 대한 정확한 채널상태 파악이 가능해져 결과적으로 CoMP 를 원활하게 수행할 수 있을 뿐 아니라, 여러 전송단에 대한 CSI를 구별가능하게 피드백하면서도 종래에 정의된 피드백 모드를 최대한 활용함으로써 피드백 오버헤드를 최소화 할 수 있다는 효과가 있다.
Further, even though the CSI on the plurality of cells can be distinguishably fed back, a conventionally defined feedback mode can be maximally utilized, thereby minimizing feedback overhead.

본 발명은 원격 서비스에 대한 보안 방법에 관한 것으로, 상담고객의 전자장치에 저장된 데이터에 관한 리스트가 생성되는 단계; 상기 리스트에 포함된 데이터들은 접속 불가 데이터들로 설정되는 단계; 및 원격 서비스의 종류에 따라 미리 결정되어 있는 데이터들이 상기 리스트에서 접속 가능 데이터들로 정의되는 단계를 포함할 수 있다.
The present invention relates to a security method for a remote service and may include: creating a list of data stored in an electronic device of a client; setting the data on the list as inaccessible data; and defining data predetermined depending on remote service type as accessible data on the list.

노화를 방지하는 것이 불가능하다고 많은 사람들이 생각하는 가장 기본적인 이유는 제가 지금 내리는 노화에 대한 정의에서 설명될 수 있습니다.
And the fundamental reason, I think, why we feel that aging is inevitable is summed up in a definition of aging that I'm giving here.

또한 DNA 작성으로 생물학적 순간이동이 가능할 거라 생각했죠. 즉, DNA 암호로 정의된 생물학적 물질을 프린터로 출력할 수 있을 거라 생각했습니다.
We also knew that writing DNA would enable biological teleportation ... the printing of defined, biological material, starting from DNA code.

스마트 배너 광고 단위에 게재될 수 있도록 광고 항목에 하나 이상의 고정 크기를 선택하여 사용 가능한 광고 소재 조합을 정의합니다.
Choose one or more fixed sizes on the line item to define the set of eligible creatives that may be served to the Smart Banner ad unit.

한 백과사전에서는 간호를 “질병이나 부상에서 회복하도록 또는 가능한 한 다시 남의 도움 없이 혼자서 생활할 수 있도록 간호사가 환자를 도와주는 과정”이라고 정의합니다.
One encyclopedia defines nursing as “the process by which a patient is helped by a nurse to recover from an illness or injury, or to regain as much independence as possible.”

본 발명은, 제1주파수 대역에 대한 사용 권한을 갖지 않는 복수의 시스템들을 포함하는 통신 시스템에서 복수의 주파수 자원들을 공유하도록 관리하는 자원 관리 시스템 및 방법에 관한 것으로, 상기 제1주파수 대역에서 상기 복수의 시스템들이 사용 가능한 주파수 대역이 검색되면, 상기 사용 가능한 주파수 대역에서 상기 복수의 시스템들의 공존 및 주파수 공유를 위해, 상기 사용 가능한 주파수 대역에서 객체들 간의 인터페이스를 정의하고, 상기 인터페이스를 통한 상기 객체들 간에 상기 복수의 시스템들의 정보 송수신을 지원하는 서비스 액세스 포인트(SAP: Service Access Point)의 프리미티브(primitive)를 정의하고, 상기 인터페이스를 통해 상기 서비스 액세스 포인트의 프리미티브를 이용하여, 상기 객체들이 상기 복수의 시스템들의 정보를 송수신하며, 상기 복수의 시스템들의 정보 송수신에 의해, 상기 사용 가능한 주파수 대역에서 상기 복수의 시스템들이 공존 및 주파수 공유하여 상기 사용 가능한 주파수 대역을 사용한다.
The present invention relates to a system and method for managing resources, which involve managing a plurality of frequency resources in a communication system including a plurality of systems not having rights to use a first frequency band.

여기서 모든 스크립트 또는 사용자 지정 지표에서 가져오고 사용할 수 있는 재사용 가능 함수를 정의할 수 있습니다.
Here you can define reusable functions that can be imported and used by any Script or Custom Indicator.

예를 들면 파이썬 2에서 빌트인 파일 객체들은 "C의 stdio 패키지를 사용해서 구현되었다"고 정의되어서, 사용 가능한 연산들(open, read, write 등)은 상응하는 C 함수들과 같은 동작을 한다고 기대할 수 있다.
In Python 2, for example, the built-in file objects are defined as "implemented using C's stdio package", so that the available operations (open, read, write, etc.) are expected to have the same behavior as the corresponding C functions.

컴퓨터가 문장을 이해하려면, 그것은 문장 속의 모든 단어들의 가능한 모든 조합들을 동시에 조사할 수 있어야 하며, 그것은 자체 기억 장치 안에 굉장한 수의 법칙과 정의들을 담고 있어야 한다.
For a computer to understand a sentence, it must be capable of checking all the possible combinations of every word in the sentence simultaneously, and it must have an enormous number of rules and definitions stored in its memory.

저는 제가 하나님과 같이 될 수 있다는 것을 인식하며 감사를 느꼈어요. 왜냐하면, 신회는 정의되지 않거나, 이해가 불가능한 것이 아니고, 오히려 저를 사랑해주고, 축복해 주며, 저를 알아 주는 신성한 개체이기 때문이에요.”
I’ve come to recognize with gratitude that I can become like God because the Godhead is not an undefined and incomprehensible substance but rather divine Beings who love, bless, guide, and know me.”

가장 가혹하게 처벌 받을 수 있는 범죄인 "조선에 대한 적대적 행위"와 같은 일부 범죄는 모호하게 정의되어 있으며 법원의 판결에 항소하는 것은 사실상 거의 불가능하다.
Some of the most harshly punished crimes -- such as "hostile acts against North Korea" -- are vaguely defined, and appealing a court ruling is practically impossible.

UEFI 2.3.1 Errata C 사양 이상에서는 시큐어 부트(secure boot)라는 프로토콜을 정의하며, 적재 가능한 디지털 서명으로 서명되지 않은 드라이버나 장치 로더의 로드를 막음으로써 부팅 프로세스에 보안을 제공할 수 있다.
The UEFI 2.3.1 Errata C specification (or higher) defines a protocol known as secure boot, which can secure the boot process by preventing the loading of drivers or OS loaders that are not signed with an acceptable digital signature.

그것이 우리의 첫 번째 원칙을 가능하게 했습니다. 더구나 플라이타워(fly tower, 배경,막,조명등이 걸려있는 무대 상단부), 방음막 자연광차단막 등을 새롭게 정의내릴 수 있었습니다.
And it allowed us to go back to first principles, and redefine fly tower, acoustic enclosure, light enclosure and so forth.

창 관리자 장식이 모듈은 창 경계 장식이나 제목 표시줄 단추 위치, 사용자 정의 장식 설정을 선택할 수 있습니다. 창 장식에 사용할 테마의 이름을 선택하시고 아래의 " 적용 " 단추를 눌러서 적용시키십시오. 만약 변경 사항이 마음에 들지 않으시면 " 초기화 " 단추를 누르십시오. 각각의 테마를 " [... ] 설정 " 탭에서 설정하십 수도 있습니다. 각각 테마마다의 다른 옵션이 있습니다. " 일반 옵션(사용 가능하다면) " 탭에서는 " 사용자 정의 창 제목 표시줄 단추 위치 사용 " 상자에 체크해서 " 단추 " 탭을 사용할 수 있습니다. " 단추 " 탭에서는 단추의 위치를 좋아하는 대로 바꿀 수 있습니다
Window Manager Decoration This module allows you to choose the window border decorations, as well as titlebar button positions and custom decoration options. To choose a theme for your window decoration click on its name and apply your choice by clicking the " Apply " button below. If you do not want to apply your choice you can click the " Reset " button to discard your changes. You can configure each theme in the " Configure [... ] " tab. There are different options specific for each theme. In " General Options (if available) " you can activate the " Buttons " tab by checking the " Use custom titlebar button positions " box. In the " Buttons " tab you can change the positions of the buttons to your liking

우리가 죽음에 대한 또 다른 정의를 포함하여 삶에 대한 또 다른 종류의 지식에 대해 즐거워하고 가치를 부여할 수 있다면 삶의 종점에 대해 우리가 가진 생각의 논의를 바꿀 수 있는 가능성이 있습니다.
If we could entertain and value other kinds of knowledge about life, including other definitions of death, it has the potential to change the discussions that we have about the end of life.

그리스도를 믿는 신앙으로, 우리는 정계, 재계, 학계, 그리고 다른 분야에서의 성공을, 우리를 정의하는 방식이 아니라 하나님과 이웃에게 더 봉사할 수 있게 해 주는 자원으로 바라봐야 합니다. 그 봉사는 가정에서부터 시작해서 가능한 한 세상의 가장 먼 곳까지 영향을 미칠 수 있습니다.
With our faith in Christ, we must see political, business, academic, and similar forms of success not as defining us but as making possible our service to God and fellow man—beginning at home and extending as far as possible in the world.

COI는 이러한 체계적이고 끔찍한 인권 유린이 현재 세계적으로 그 유례를 찾아 볼 수 없는 것이라고 결론 내렸습니다. 국가 차원의 메커니즘에서 법적 정의구현의 가능성이 보이지 않기 때문에 조직적으로 인권침해를 저질러 오고 있는 북한 고위 및 하위 관료들에 대한 법적 책임규명과 희생자들을 위한 정의실현을 약속하는 국제적 메커니즘과 기소(起訴)를 가능케 할 실질적 조치가 긴급히 이루어져야 할 것입니다.
Since national level mechanisms offer no possibility of justice, there is a heightened urgency for tangible steps that enable prosecutions and an international mechanism that promises both justice for victims, and accountability for North Korean officials from the top on down who have so systematically abused their rights.

다양한 분야의 AutoForm 엔지니어가 AutoForm-ProcessPlannerplus 를 사용하여 빠르게 스탬핑 공정을 정의하고 실행 가능성을 검토할 수 있습니다.
AutoForm-ProcessPlannerplus software allows a wide range of AutoForm users to rapidly define alternative stamping processes and to evaluate their viability.

결국, 1872년 7월 18일 Karl Weierstrass가 왕립 프러시안 과학 아카데미에서 오늘날 프랙탈이라고 간주될 수 있는 모든 곳에서 연속이지만 모든 곳에서 미분 불가능한, 비직관적인 특성을 가진 함수의 첫 번째 정의를 나타낸 것은 2세기가 지난 후였다.
Thus, it was not until two centuries had passed that on July 18, 1872 Karl Weierstrass presented the first definition of a function with a graph that would today be considered a fractal, having the non-intuitive property of being everywhere continuous but nowhere differentiable at the Royal Prussian Academy of Sciences.

그것은이 워드 프레스 테마는 우리에게 사이트에, 내가 사랑이의 위치에 따라 다른 배경 이미지를 정의 할 수있는 가능성을 제공하는 감사드립니다.
It will be appreciated that this WordPress theme offers us the possibility to define a different background image depending on where it is located on the site, I love it.

NinePatch 는 뷰 내부의 콘텐츠가 일반적인 이미지 범위를 초과할 때 Android가 배율을 조정하는 확장 가능한 영역을 정의할 수 있는 PNG 이미지입니다.
Creating alias resources Nine-Patch A NinePatch is a PNG image in which you can define stretchable regions that Android scales when content within the View exceeds the normal image bounds.