d라이브러리
"검증"(으)로 총 1,343건 검색되었습니다.
- [논문탐독] 미래의 공항에도 관제탑이 존재할까?과학동아 2023년 12호
- 있습니다. 단일한 내쉬균형이 존재하더라도 현실에 적용하려면 보다 엄밀한 수학적 성능 검증이 필요합니다. 그럼에도 이번 연구는 분산형 관제라는 새 패러다임의 가능성을 분명히 시사합니다. 어쩌면 미래의 하늘길은 항공기들이 서로 적당히 눈치를 보며 요리조리 나는 모습이 될 수도 ... ...
- [빅잼] 외계인은 있을까?과학동아 2023년 12호
- 바라는 것일지도” 모르겠습니다. 이렇게 필사적으로(?) 외계인에 대한 증거를 찾고, 검증하고 있으니 말이죠. 몰랑 님은 과학동아 공식 네이버 카페에 글을 쓸 때마다 “유익한 정보를 가장 먼저 전하는 사람이 되고 싶다”는 말을 덧붙이고 있습니다. 유익한 정보는 널리 퍼뜨려야겠죠. 새해에도 ... ...
- [Reth?nking] 제 11화. 증명은 왜 중요한가?수학동아 2023년 12호
- 하기 어려워지는 단계에 이르고 있는 것이지요. 그래서 수학자들은 인공지능이 증명을 검증하는 걸 도와줄 수 있으면 수학이 훨씬 더 체계적으로 발전할 수 있지 않을까 하는 생각해요. 한편 증명은 주어진 공리 안에서 참이라는 논리적 추론을 쌓아 올리는 건데, 인공지능에게 이 공리계를 온전히 ... ...
- [최신 이슈] 그 털이 곱슬거리는 이유과학동아 2023년 12호
- 털을 보호하기 위해 음모의 큐티클이 더 많아졌을 것’이라는 가설을 세우고 실제 검증 실험을 진행했다. 머리카락과 음모가 오줌과 유사한 환경에서 어느 정도 손상되는지를 비교하기 위해 머리카락과 음모를 극한의 산과 염기 용액에 넣고 적외선 분광 현미경(FT-IR)으로 관찰했다. FT-IR은 털의 ... ...
- [수학 상위 1% 비밀무기] 개념 먼저 다지고 문제 속으로 서울과학고 오유찬수학동아 2023년 11호
- 리서치팀이 2013년 개발한 증명을 검증하는 소프트웨어인데, 앞으로 수학 논문을 검증하고 난제를 풀 수 있을 것으로 예상한다는 사실을 알게 돼 놀라웠어요. 그래서 올해 6월에 학교 친구인 이현진과 같이 수학 문제를 푸는 알고리듬을 만드는 계획서를 써서 한 미국 코드페어에 참가를 ... ...
- [과학뉴스] 유해한 유전자 돌연변이 찾아내는 AI ‘알파미스센스’ 발표과학동아 2023년 11호
- 약 57%가 무해하며, 32%가 병원성이 있을 것으로 예측했다. 이중 실제로 전문가에 의해 검증된 미스센스 돌연변이는 약 0.1%에 불과하다. 연구팀은 이번 연구 결과를 공개해 희귀 유전 질환 진단에 도움이 되도록 하겠다고 밝혔다 ... ...
- [노벨상 2023] 30년 뒤 노벨상 수상자를 우리는 알아볼 수 있을까과학동아 2023년 11호
- 연구는 사실 그리 유명하지 않은 학술지에 출판된 경우가 많다”는 것이다. 이 가설을 검증하기 위해 과학동아는 2019년부터 2023년까지 최근 5년간 노벨 과학상을 수상한 연구자들의 주요 연구 성과가 발표된 논문을 분석했다. 분석에 활용된 논문은 노벨 위원회가 이들의 핵심 논문으로 소개한 논문 ... ...
- 좌절된 아이디어는 어떻게 (이그)노벨상을 받았나과학동아 2023년 11호
- 변기를 만들고 있다. 내년에 시제품이 나오면 요양원 등 노인복지시설에서 효용을 검증할 예정이다. “노인들의 20~30%가 변비를 겪고 있습니다. 변 상태를 직접 관리하기는 어려운데, 스마트 변기를 통하면 적합한 식습관이나 운동요법을 추천할 수도 있겠죠.” 박 박사와 인터뷰를 한 10월 3일은 202 ... ...
- [최신 이슈] 있었는데, 없습니다 ... 희귀동위원소 산소-28과학동아 2023년 11호
- 그래서 산소-28에 대한 설명은 언제 나오는 걸까요. “핵 도표에서 지금까지 실험으로 검증된 핵의 존재 한계선을 살펴보면 대체로 완만한 기울기를 그립니다. 산소에서 한 번 쑥 들어가는 때만 빼고요.” 존재 한계선은 영어로 ‘드립 라인(Drip line)’이라고 부릅니다. 핵력이 한계에 달해 양성자나 ... ...
- [DGISTX융복합 파트너] 경쟁상대가 아닌 협업의 도구 AI-인간 상호작용을 연구하다과학동아 2023년 11호
- 영상을 붙일 때 검열의 정확도는 유지되면서 부정적인 감정은 최소화됨을 실험을 통해 검증했다. 우리가 타인과 상호작용을 할 때 비언어적 정서인식 능력도 중요하다. DIAG는 비언어적 정서인식 능력 중 하나인 얼굴감정인식(FER)을 프로그램화하는 기술도 연구하고 있다. 송 교수는 “앞으로 AI ... ...
