BerandaIndeks nama

Berbagai nama untuk profil yang sama

Indeks nama dan istilah Halaman 84

Nama umum, akronim, dan alias mengarah ke profil yang sama. Temukan istilahnya, lalu pahami cara kerjanya.

S

Semi-Automated Discovery of Synthetic Polymers with Protein FeaturesMaterial rekayasa · Proyek riset & pengembangan Semi-Autonomous Telerobotic Manipulation for On-Orbit Spacecraft Servicing and Assembly over Time-Delayed TelemetryAI & otomasi · Proyek riset & pengembangan Semiconductor Master Oscillator Power Amplifier for Gravity Gradiometer and Other ApplicationsOptik, instrumentasi & media · Proyek riset & pengembangan Semiconductor Nanomembrane Based Flight Sensors and ArraysElektronik & semikonduktor · Proyek riset & pengembangan Semiconductor-based Terahertz Traveling Wave Amplifiers for Monolithic IntegrationElektronik & semikonduktor · Proyek riset & pengembangan Semiconductor-Gain-Integrated Nonlinear Nanophotonic Circuits in Lithium NiobateOptik, instrumentasi & media · Proyek riset & pengembangan SemiSynBio-III: Novel Memory Devices for High-Density Data Storage and In-Memory Computing Based on Integrated Synthetic DNA-SemiconductorsElektronik & semikonduktor · Proyek riset & pengembangan SemiSynBio-III: Precision assembly and electronic properties of protein nanowire circuits using DNA origamiElektronik & semikonduktor · Proyek riset & pengembangan Sender Policy FrameworkKomunikasi · Protokol, format & antarmuka Sendi universalMekanik & manufaktur · Komponen Sensing and Positioning on Inclines and Deep Environments with Retrieval [SPIDER]AI & otomasi · Proyek riset & pengembangan Sensing Aware Autonomous Communications SystemKomunikasi · Proyek riset & pengembangan Sensing with Independent Micro-swimmersAI & otomasi · Proyek riset & pengembangan Sensitive Mid and Far-IR Kinetic Inductance Detector Arrays for Space AstronomyOptik, instrumentasi & media · Proyek riset & pengembangan Sensitive, selective nanoantenna-based biosensor platform for compact, in-situ exo-life detection and astronaut life supportOptik, instrumentasi & media · Proyek riset & pengembangan Sensitivity Analysis and Error Control for Computational Aeroelasticity, Phase IKomputasi & perangkat lunak · Proyek riset & pengembangan Sensitivity Analysis for Design Optimization Integrated Software ToolsKomputasi & perangkat lunak · Proyek riset & pengembangan Sensitivity-Based Simulation Software for Optimization of Turbine Blade Cooling Strategies, Phase IKomputasi & perangkat lunak · Proyek riset & pengembangan Sensor Area Network for Integrated Systems Health Management, Phase IIKomunikasi · Proyek riset & pengembangan Sensor arus HallElektronik & semikonduktor · Komponen Sensor arus shuntElektronik & semikonduktor · Prinsip & teknologi Sensor citra CCDOptik, instrumentasi & media · Komponen Sensor citra CMOSOptik, instrumentasi & media · Komponen Sensor Fusion and Algorithms for Mapping at Low Altitude Above Rugged TerrainAI & otomasi · Proyek riset & pengembangan Sensor Fusion for Measurement of Transonic Flow and Structural Dynamic ResponseOptik, instrumentasi & media · Proyek riset & pengembangan Sensor HallElektronik & semikonduktor · Komponen Sensor induktif arus eddyElektronik & semikonduktor · Komponen Sensor inframerah piroelektrikOptik, instrumentasi & media · Komponen Sensor integritY Management and Prognostics Technology with On-Line Fault Mitigation (SYMPTOM) for Improved Flight Safety of Commercial AircraftAI & otomasi · Proyek riset & pengembangan Sensor kemiringan dengan akselerometerElektronik & semikonduktor · Prinsip & teknologi Sensor mutual capacitanceElektronik & semikonduktor · Prinsip & teknologi Sensor piezoelektrikElektronik & semikonduktor · Komponen Sensor self capacitanceElektronik & semikonduktor · Prinsip & teknologi Sensor Substrate DevelopmentMaterial rekayasa · Proyek riset & pengembangan Sensor suhu arus PTATElektronik & semikonduktor · Komponen Sensor suhu terpaduElektronik & semikonduktor · Komponen Sensor System for Super-Pressure Balloon Performance ModelingElektronik & semikonduktor · Proyek riset & pengembangan Sensor TMRElektronik & semikonduktor · Komponen Sensor-Free Health Management SystemKomputasi & perangkat lunak · Proyek riset & pengembangan Sensor-lean Estimation and Monitoring for Second Life EV BatteriesEnergi · Proyek riset & pengembangan Sensorimotor Displays and Controls to Enhance the Safety of Human/Machine Cooperation During Lunar LandingTransportasi · Proyek riset & pengembangan Sensory Integration and Decision Making Based on Insect Brain ModelAI & otomasi · Proyek riset & pengembangan SentencePieceAI & otomasi · Model & implementasi Sentient Science - A Multiscale Modeling Suite for Process and Microstructure Prediction in Metal Additive ManufacturingKomputasi & perangkat lunak · Proyek riset & pengembangan Sentinel: RNA phage Qbeta displayed SARS-CoV-2 epitopes fused with Nanotag as a biosensor toolkitMaterial rekayasa · Proyek riset & pengembangan Sentrifugasi lumpurPertanian, lingkungan & medis · Proses & metode Separation and Purification of Fatty Acid Esters Derived from Vegetable OilMaterial rekayasa · Proyek riset & pengembangan Sequence-Driven Phase and Conformational Transitions in Copolymers: From Molecular Thermodynamics to Biomimetic MaterialsMaterial rekayasa · Proyek riset & pengembangan Sequential Testing for Complex Systems and Cost StructuresKomputasi & perangkat lunak · Proyek riset & pengembangan Serat optikKomunikasi · Komponen Serial In-Line Instrumentation Bus for ROV Engineering Research, Phase IElektronik & semikonduktor · Proyek riset & pengembangan Serial Peripheral InterfaceElektronik & semikonduktor · Protokol, format & antarmuka Server-Sent EventsKomunikasi · Protokol, format & antarmuka Service WorkerKomunikasi · Protokol, format & antarmuka Session Description ProtocolKomunikasi · Protokol, format & antarmuka Session Initiation ProtocolKomunikasi · Protokol, format & antarmuka Session Traversal Utilities for NATKomunikasi · Protokol, format & antarmuka Settling and Transport of Actively Buoyant ParticlesMekanik & manufaktur · Proyek riset & pengembangan ShadowCamOptik, instrumentasi & media · Proyek riset & pengembangan Shape Memory Bio-Suit, Phase IMaterial rekayasa · Proyek riset & pengembangan Shape-Conformal, High-Resolution Aerosol Jet Printing of Electronics (SHAPE)Elektronik & semikonduktor · Proyek riset & pengembangan Shape-Morphing Adaptive Radiator Technology, Year 1Mekanik & manufaktur · Proyek riset & pengembangan Shape-morphing particles for dynamically reconfigurable active matter systemsMaterial rekayasa · Proyek riset & pengembangan Shapes Constraint LanguageKomputasi & perangkat lunak · Protokol, format & antarmuka Shared Magnetics Hall Thruster, Phase IITransportasi · Proyek riset & pengembangan SHCShadowCam · Proyek riset & pengembangan Shear Thickening Fluid Enhanced Textiles for Durable, Puncture- and Cut-Resistant Environmental Protection GarmentsMaterial rekayasa · Proyek riset & pengembangan Sheet pileKonstruksi & infrastruktur · Proses & metode SHF: Automated Reasoning with Cardinality Constraints (ARCC)Komputasi & perangkat lunak · Proyek riset & pengembangan SHF: Core: Small: Real-time and Energy-Efficient Machine Learning for Robotics ApplicationsKomputasi & perangkat lunak · Proyek riset & pengembangan SHF: CSR: Medium: Practical and Efficient Accelerators with High-Frequency ChipletsElektronik & semikonduktor · Proyek riset & pengembangan SHF: Design Automation of Resilient and Interpretable Neural Architectures for Safety-Critical SystemsKomputasi & perangkat lunak · Proyek riset & pengembangan SHF: Efficient, Scalable and Certified Convex Hull Computation in High Dimensions for Verifying Neural Networks and Generating Correctly-rounded Math LibrariesKomputasi & perangkat lunak · Proyek riset & pengembangan SHF: FET: Programming Foundations for Quantum Random AccessKomputasi & perangkat lunak · Proyek riset & pengembangan SHF: Formal Reasoning of Reinforcement Learning PoliciesKomputasi & perangkat lunak · Proyek riset & pengembangan SHF: Foundations and Applications of Type-Based Under-Approximate ReasoningKomputasi & perangkat lunak · Proyek riset & pengembangan SHF: Foundations for Comprehensive Integration Testing in Agentic AI Workflow OrchestrationKomputasi & perangkat lunak · Proyek riset & pengembangan SHF: Integrating Cost and Behavior in Type TheoryKomputasi & perangkat lunak · Proyek riset & pengembangan SHF: Medium: A Neursoymbolic Framework for High-level Synthesis of Multi-Task Learning (NeuHLS)Elektronik & semikonduktor · Proyek riset & pengembangan SHF: Medium: Compositional Semantics-Guided SynthesisKomputasi & perangkat lunak · Proyek riset & pengembangan SHF: Medium: Efficient and Scalable Pattern Matching via Hardware-Software Co-DesignKomputasi & perangkat lunak · Proyek riset & pengembangan SHF: Medium: Language Support for Sound and Efficient Programmable InferenceKomputasi & perangkat lunak · Proyek riset & pengembangan SHF: Medium: Neurosymbolic Agents for Formal Theorem-ProvingKomputasi & perangkat lunak · Proyek riset & pengembangan SHF: Medium: Next Generation Equality Saturation by way of DatalogKomputasi & perangkat lunak · Proyek riset & pengembangan SHF: Medium: Provably Correct, Energy-Efficient Edge ComputingKomputasi & perangkat lunak · Proyek riset & pengembangan SHF: Medium: Scallop: A Neurosymbolic Programming Framework for Combining Logic with Deep LearningKomputasi & perangkat lunak · Proyek riset & pengembangan SHF: Small: A Design Automation Methodology for Flexible Real-Time Computing based on Split and Early Exit Neural ModelsKomputasi & perangkat lunak · Proyek riset & pengembangan SHF: Small: A General-Purpose Static Program Analysis Framework for WebAssemblyKomputasi & perangkat lunak · Proyek riset & pengembangan SHF: Small: A Hybrid Synchronous Language for Verifiable Execution of Cyber-Physical SystemsKomputasi & perangkat lunak · Proyek riset & pengembangan SHF: SMALL: A New Semantics for Type-Level Programming in HaskellKomputasi & perangkat lunak · Proyek riset & pengembangan SHF: Small: A Novel Integrated Accelerator for a Challenging Irregular Critical ApplicationElektronik & semikonduktor · Proyek riset & pengembangan SHF: Small: A Ubiquitous Brain-Computer Interface for Supplementing Cognitive and Motor FunctionsElektronik & semikonduktor · Proyek riset & pengembangan SHF: Small: Application-Aware Homomorphic Encryption for Neural Networks: From Algorithm to Hardware AcceleratorsElektronik & semikonduktor · Proyek riset & pengembangan SHF: Small: Architectural Techniques for Energy-Efficient Brain-Machine ImplantsElektronik & semikonduktor · Proyek riset & pengembangan SHF: Small: Automated Unit Test Generation using Large Language ModelsKomputasi & perangkat lunak · Proyek riset & pengembangan SHF: Small: Automated Verification and Synthesis of Input Generators in Property-Based Testing FrameworksKomputasi & perangkat lunak · Proyek riset & pengembangan SHF: Small: Boosting Reasoning in Boolean Networks with Attributed Graph LearningKomputasi & perangkat lunak · Proyek riset & pengembangan SHF: Small: Circuit Support for Maintaining the Continuous-power Abstraction in Energy Harvesting SystemsElektronik & semikonduktor · Proyek riset & pengembangan SHF: Small: Compiler and Runtime Support for Computational Storage in HPCKomputasi & perangkat lunak · Proyek riset & pengembangan SHF: Small: CoopSLS: Improving Boolean Satisfiability Solvers through Cooperative Stochastic Local SearchKomputasi & perangkat lunak · Proyek riset & pengembangan SHF: Small: Design Methodologies for Interpretable Differentiable Logic NetworksKomputasi & perangkat lunak · Proyek riset & pengembangan SHF: Small: Domain-Specific FPGAs to Accelerate Unrolled DNNs with Fine-Grained Unstructured Sparsity and Mixed PrecisionElektronik & semikonduktor · Proyek riset & pengembangan SHF: Small: E2R2--A Comprehensive Approach to Improve Simulation-based Testing of Autonomous Driving SystemsTransportasi · Proyek riset & pengembangan SHF: Small: Efficient Multi-Task Learning for Augmented Reality SystemsKomputasi & perangkat lunak · Proyek riset & pengembangan SHF: Small: Efficient, Deterministic and Formally Certified Methods for Solving Low-dimensional Linear Programs with Floating-point PrecisionKomputasi & perangkat lunak · Proyek riset & pengembangan SHF: Small: End-to-End Formal Verification of Concurrent C ProgramsKomputasi & perangkat lunak · Proyek riset & pengembangan SHF: Small: Enhancing Performance and Reliability in On-Chip Power Distribution NetworksElektronik & semikonduktor · Proyek riset & pengembangan SHF: SMALL: FIRST: Enabling Real-Time, Scalable, and Verifiable Generative Visual AI SystemsKomputasi & perangkat lunak · Proyek riset & pengembangan SHF: Small: Game Logic ProgrammingKomputasi & perangkat lunak · Proyek riset & pengembangan SHF: Small: Gradual Information Flow ControlKomputasi & perangkat lunak · Proyek riset & pengembangan SHF: Small: Hardware-Software Co-design for Privacy Protection on Deep Learning-based Recommendation SystemsKomputasi & perangkat lunak · Proyek riset & pengembangan SHF: Small: High-Performance Incremental Spectral Algorithms for Efficient Modeling and Simulation of Large-Scale Integrated CircuitsKomputasi & perangkat lunak · Proyek riset & pengembangan SHF: Small: Knowledge, Methodologies, and Tool-support for Combating Technical Debt in Machine Learning SystemsKomputasi & perangkat lunak · Proyek riset & pengembangan SHF: Small: Machine Learning-based Combinatorial Optimization for Electronic Design Automation and BeyondKomputasi & perangkat lunak · Proyek riset & pengembangan SHF: Small: Memory Hiearachy Optimizations Meet Transformers (MITTEN)Komputasi & perangkat lunak · Proyek riset & pengembangan SHF: Small: Methods and Architectures for Optimization and Hardware Acceleration of Spiking Neural NetworksElektronik & semikonduktor · Proyek riset & pengembangan SHF: small: On-device Large Language Model Personalization with Algorithm-Hardware Co-design for Healthcare ApplicationsKomputasi & perangkat lunak · Proyek riset & pengembangan SHF: Small: Optimizing runtime efficiency of symbolic execution for functional languagesKomputasi & perangkat lunak · Proyek riset & pengembangan SHF: Small: Practical Mutation Analysis for Quality Assurance of Deep Learning SystemsKomputasi & perangkat lunak · Proyek riset & pengembangan SHF: Small: QED - A New Approach to Scalable Verification of Hardware Memory ConsistencyKomputasi & perangkat lunak · Proyek riset & pengembangan