News & Report Report 전체 국내 글로벌과학기술정책정보서비스 S&T GPS > 과학기술&ICT 정책·기술동향 S&T GPS > 국내단신 S&T GPS > 이슈분석 S&T GPS > 주요동향 S&T GPS > 통계 S&T GPS > 해외단신 소프트웨어정책연구소 (SPRi) SPRi > AI 브리프 SPRi > SPRi 칼럼 SPRi > 산업동향 SPRi > 연구보고서 SPRi > 이슈리포트 정보통신기획평가원 (IITP) IITP > ICT Brief IITP > ICT SPOT Issue IITP > 월간ICT산업동향 IITP > 정책/통계자료 IITP > 주간기술동향 정보통신정책연구원 (KISDI) KISDI > AI Outlook KISDI > AI Trend Watch KISDI > Perspectives KISDI > Premium Report KISDI > STAT Report KISDI > 기본연구 KISDI > 정책연구 한국과학기술기획평가원 (KISTEP) KISTEP > KISTEP InI KISTEP > 기술동향브리프 KISTEP > 미래예측 KISTEP > 이슈페이퍼 KISTEP > 정책기획 KISTEP > 통계브리프 한국방송통신전파진흥원 (KCA) KCA > 관계법령 및 규정 KCA > 동향자료 KCA > 연구보고서 한국인터넷진흥원 (KISA) KISA > KISA Insight KISA > 국가정보보호백서 KISA > 국내외 위치정보 동향 KISA > 글로벌 정보보호 동향 KISA > 사이버 위협 동향 KISA > 연구보고서 KISA > 인터넷·정보보호 법제연구 한국전자통신연구원 (ETRI) 한국정보화진흥원 (NIA) NIA > D.gov NIA > IT & Future Strategy NIA > NEAR & Future NIA > 공공데이터 동향분석 NIA > 빅데이터 동향과 이슈 NIA > 정보화정책 저널 NIA > 지능사회 이슈분석 NIA > 클라우드 동향 한인과학기술자네트워크 (KOSEN) 해외 Center for Data Innovation European Commission - Digital Agenda for Europe Higher School of Economics (HSE) Information Technology & Innovation Foundation McKinsey & Company Insights McKinsey & Company Insights > Industrials & Electronics McKinsey & Company Insights > Technology, Media & Telecommunications MIT Computer Science and Artificial Intelligence Lab (CSAIL) techUK The National Academies Press UC Berkeley EECS UC Berkeley EECS Specifying and Generating Abstract Models for Formal Security Analysis 08 Sep 2023 UC Berkeley EECS Technical Reports Constrained machine learning: algorithms and models 20 Aug 2023 UC Berkeley EECS Technical Reports Scheduling Image Processing Algorithms in Halide for x86, AVX and RISC-V RVV Targets 16 Aug 2023 UC Berkeley EECS Technical Reports Precise Pulse Discrimination for Space-Based Timing Front Ends 14 Aug 2023 UC Berkeley EECS Technical Reports Hybrid Switched-Capacitor Converter Design: State-Space Dynamical Modeling and Passive Device Characterization 11 Aug 2023 UC Berkeley EECS Technical Reports Exploratory Design and Control of an Over-Actuated Drone 11 Aug 2023 UC Berkeley EECS Technical Reports Synthesizing Complex-Valued Multicoil MRI data from Magnitude-only Images 11 Aug 2023 UC Berkeley EECS Technical Reports Feedforward MLSE Equalization for High Speed Serial Links 11 Aug 2023 UC Berkeley EECS Technical Reports Simulation-Based Testing, Validation, and Training with Probabilistic Programming 11 Aug 2023 UC Berkeley EECS Technical Reports Design Methodologies and Automated Generation of Ultra High Speed Wireline SerDes Transmitters 11 Aug 2023 UC Berkeley EECS Technical Reports Efficient Clustering Frameworks for Federated Learning Systems 11 Aug 2023 UC Berkeley EECS Technical Reports Towards Operating Underactuated Robotic Systems by Going With the Flow 11 Aug 2023 UC Berkeley EECS Technical Reports Offline Data-Driven Optimization: Benchmarks, Algorithms and Applications 11 Aug 2023 UC Berkeley EECS Technical Reports Synthesizing Complex-Valued MRI data from Magnitude-Only Images 11 Aug 2023 UC Berkeley EECS Technical Reports Formal Specification and Verification of Secure Information Flow for Hardware Platforms 11 Aug 2023 UC Berkeley EECS Technical Reports Reinforcement Learning from Static Datasets: Algorithms, Analysis, and Applications 11 Aug 2023 UC Berkeley EECS Technical Reports Accelerating Electronic Structure Calculations with Machine Learning 11 Aug 2023 UC Berkeley EECS Technical Reports CS 375: A Climate-First Approach to Training Student Teaching Assistants 11 Aug 2023 UC Berkeley EECS Technical Reports Instance-dependent Optimality in Statistical Decision-making 11 Aug 2023 UC Berkeley EECS Technical Reports Geometry of Local-spectral Expanders 10 Aug 2023 UC Berkeley EECS Technical Reports Enhancing Visual Media Through Reflection and Recomposition 10 Aug 2023 UC Berkeley EECS Technical Reports Instance-dependent Optimality in Statistical Decision-making 10 Aug 2023 UC Berkeley EECS Technical Reports Contributions to the Statistical Foundation of Data-Driven Control 10 Aug 2023 UC Berkeley EECS Technical Reports Multimodal Long-Term Video Understanding 10 Aug 2023 UC Berkeley EECS Technical Reports Evaluating and Optimizing Distributed Energy Resources 09 Aug 2023 UC Berkeley EECS Technical Reports Rapid Adaptation for Robot Control 09 Aug 2023 UC Berkeley EECS Technical Reports Compositional Proofs of Information Flow Properties for Hardware-Software Platforms 09 Aug 2023 UC Berkeley EECS Technical Reports Vision and Language Understanding Through Generative Modeling 08 Aug 2023 UC Berkeley EECS Technical Reports Phase Transitions in Inference 08 Aug 2023 UC Berkeley EECS Technical Reports Aligning Robot Representations with Humans 07 Aug 2023 UC Berkeley EECS Technical Reports