뉴스
"검증"(으)로 총 3,305건 검색되었습니다.
- 당신이 '='의 의미를 모두 안다고 생각한다면 '착각'동아사이언스 2024.06.30
- '린(Lean)'으로 검증하고 있다. 린은 마이크로소프트 리서치팀이 2013년 개발한 수학 증명을 검증하는 소프트웨어다. 버자드 교수는 린에 컴퓨터 언어인 '코드'로 증명 내용을 변환해 입력하는 과정에서 =를 컴퓨터에 이해시키는 것이 까다롭다는 사실을 발견했다. =를 수학자마다 혹은 분야별로 ... ...
- 더 안전하게, 광범위하게...'올인원' 유전자가위 개발동아사이언스 2024.06.28
- 유사한 부위에서 오작동할 수 있다는 근본적인 문제가 있고 아직 사람 세포에서 검증되지 않은 것은 한계점"이라고 밝혔다. 패트릭 쉬(왼쪽) 미국 아크 연구소 교수팀. Ray Rudolph ... ...
- 방승찬 ETRI 원장 "연내 AI안전연구소 설립해 국가·사회 안전 확보"동아사이언스 2024.06.27
- 설치한다. AI안전연구소는 AI 안정성을 검증하고 연구하는 전담 기관으로 AI안전검증, AI안전기술연구, AI안전정책 및 글로벌 협력 등으로 구성될 계획이다. ... ...
- [사이언스게시판] 반도체 학생들, '내 칩(My Chip) 서비스' 통해 전문가로 발돋움동아사이언스 2024.06.26
- 설계 전공 학부생 및 대학원생들이 스스로 설계한 칩(Chip)을 공공 팹(Fab)에서 제작해 직접 검증할 기회를 부여하는 실무 인재 양성 방안이다. 내 칩 서비스는 지난해 4월 시작됐다. 이날 교류회에서는 지도교수 및 외부 전문가의 강연과 참여 학생의 경험을 공유하는 발표회도 진행됐다. '내 칩 제작 ... ...
- 생존율 낮은 전이암 촉진하는 단백질 최초 규명동아사이언스 2024.06.26
- 자연살해세포 기능이 소실되고 HPK1이 과발현 되는 것을 발견했다. 이를 역으로 검증하기 위해 연구팀은 원발성 악성종양(원발암)이 가장 흔하게 전이되는 장기인 폐전이 상황을 가정했다. 자연살해세포가 HPK1을 과발현하도록 실험쥐의 형질을 전환했다. 그 후 흑색종 암세포를 정맥 주사 해 HPK1 ... ...
- 7월 상장 이노스페이스, 이태리·태국 민간위성 쏜다…약 21억원 규모 계약동아사이언스 2024.06.26
- 스타트업이다. 현재 개발 중인 통신위성 ‘로그샛 3U 큐브샛(LOGSATS 3U CubeSat)’의 기술적 검증을 목적으로 이노스페이스와 발사 서비스 계약을 체결했다. 향후 2027년까지 태국 전역에 실시간 데이터 서비스를 제공할 IoT 전용 저궤도 통신위성 총 10기를 발사하는 게 목표다. 이번 계약에 따라 ... ...
- 최재경 전 원장도 해외로…석학 떠나는 고등과학원 "2년 간 3명 더 남았다"동아사이언스 2024.06.26
- 그동안의 우주론 패러다임을 넘어서는 내용이었다. 자신의 이론을 한창 검증 중인 박 교수는 "내년은 연구 결과가 나오는 결정적인 시기인데 동시에 정년 퇴임해야 해 연구를 이어갈 수 없다는 걱정에 잠이 오지 않는다"고 한숨을 내쉬었다. 이어 "암흑에너지 연구는 여러 분야의 연구자들이 ... ...
- 한국 '인공태양' 초전도자석, 16년 장기 운전에도 최대 성능동아사이언스 2024.06.24
- 과거보다 더욱 줄어들어 자석이 더욱 안정됐다는 사실을 실험적으로 검증했다. 이번 검증 실험을 담당한 이현정 핵융합연 초전도시스템연구그룹 그룹장은 “KSTAR는 전 세계에서 유일하게 나이오븀틴으로 초전도자석을 제작한 핵융합 장치”라며 “운전 과정에서 확보하는 초전도자석 데이터는 ... ...
- [육아하는 아빠 과학자]⑦ 남성 육아휴직은 직장 내 '선한 영향력' 시발점동아사이언스 2024.06.20
- 조제물을 분석하는 연구를 하고 있다. 비임상시험에 사용되는 시험물질을 분석하고 검증하며 동물에서 나온 생체시료도 관리하고 있다. 연구소에서 이 일을 10년간 해왔는데 주변 동료들도 근속 연수가 긴 편이어서 서로에 대한 업무 이해도가 높다. 서로의 공백을 메우는 일이 원활한 편이기 ... ...
- 동아사이언스, 'AI 디지털교양서 SaaS 수행기업' 최종 선정동아사이언스 2024.06.19
- 한국지능정보사회진흥원(NIA)이 주관하는 'K-클라우드 프로젝트 공공부문 SaaS이용 개발·검증(교육 SaaS 트랙)'에서 AI디지털교양서 개발 및 수행기업으로 최종 선정됐다. 동아사이언스(대표 장경애)는 지난 30여 년간 제작한 6만여 개의 디지털 과학 콘텐츠를 기반으로 AI 기술을 적용한 AI ... ...
