Results for "Chemical Engineering"

Results for "Chemical Engineering" Showing 1 - 50 results of 170 Laminas_Feed_Writer 2 (https://getlaminas.org) https://search.frelip.org/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22Chemical+Engineering%22&type=Subject&lng=en 170 0 50 Superpolynomial Length Lower Bounds for Tree-Like Semantic Proof Systems with Bounded Line Size Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48912 https://search.frelip.org/Record/rss_article:48912 Online Article RSS Article 2026 0 On the Principal Minor Expansion and Complexity of the Symmetrized Determinant Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48913 https://search.frelip.org/Record/rss_article:48913 Online Article RSS Article 2026 0 Unentangled stoquastic Merlin-Arthur proof systems: the power of unentanglement without destructive interference Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48914 https://search.frelip.org/Record/rss_article:48914 Online Article RSS Article 2026 0 Toward a Characterization of Simulation Between Arithmetic Theories Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48915 https://search.frelip.org/Record/rss_article:48915 Online Article RSS Article 2026 0 Strongly Refuting Random CSP without Literals Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48916 https://search.frelip.org/Record/rss_article:48916 Online Article RSS Article 2026 0 En Route to a Standard QMA1 vs. QCMA Oracle Separation Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48917 https://search.frelip.org/Record/rss_article:48917 Online Article RSS Article 2026 0 Hard-to-Sample Distributions from Robust Extractors Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48918 https://search.frelip.org/Record/rss_article:48918 Online Article RSS Article 2026 0 Clustering Permutations under the Ulam Metric: A Parameterized Complexity Study Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48919 https://search.frelip.org/Record/rss_article:48919 Online Article RSS Article 2026 0 From Gödel incompleteness to the consistency of circuit lower bounds Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48920 https://search.frelip.org/Record/rss_article:48920 Online Article RSS Article 2026 0 Unrestrictions and concise secant varieties Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48921 https://search.frelip.org/Record/rss_article:48921 Online Article RSS Article 2026 0 Learning to Think from Multiple Thinkers Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48922 https://search.frelip.org/Record/rss_article:48922 Online Article RSS Article 2026 0 Primitive Recursion without Composition: Dynamical Characterizations, from Neural Networks to Polynomial ODEs Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48923 https://search.frelip.org/Record/rss_article:48923 Online Article RSS Article 2026 0 Identification to Subclasses of Chordal Graphs Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48924 https://search.frelip.org/Record/rss_article:48924 Online Article RSS Article 2026 0 Maximum Matching and Related Problems in Catalytic Logspace Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48925 https://search.frelip.org/Record/rss_article:48925 Online Article RSS Article 2026 0 On Detecting $H$-Induced Minors for Small $H$ Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48926 https://search.frelip.org/Record/rss_article:48926 Online Article RSS Article 2026 0 Polynomial-time completion of phylogenetic tree sets Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48927 https://search.frelip.org/Record/rss_article:48927 Online Article RSS Article 2026 0 Constructive Separations from Gate Elimination Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48928 https://search.frelip.org/Record/rss_article:48928 Online Article RSS Article 2026 0 On the Hardness of Finding Temporally Connected Subgraphs of Any Size Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48929 https://search.frelip.org/Record/rss_article:48929 Online Article RSS Article 2026 0 Boolean PCSPs through the lens of Fourier Analysis Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48930 https://search.frelip.org/Record/rss_article:48930 Online Article RSS Article 2026 0 The Exact Replica Threshold for Nonlinear Moments of Quantum States Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48931 https://search.frelip.org/Record/rss_article:48931 Online Article RSS Article 2026 0 I hope we don't do to trust what advertising has done to love Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48932 https://search.frelip.org/Record/rss_article:48932 Online Article RSS Article 2026 0 AME-PIM: Can Memory be Your Next Tensor Accelerator? Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48933 https://search.frelip.org/Record/rss_article:48933 Online Article RSS Article 2026 0 RuC: HDL-Agnostic Rule Completion Benchmark Generation Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48934 https://search.frelip.org/Record/rss_article:48934 Online Article RSS Article 2026 0 HAVEN: Hybrid Automated Verification ENgine for UVM Testbench Synthesis with LLMs Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48935 https://search.frelip.org/Record/rss_article:48935 Online Article RSS Article 2026 0 CuLifter: Lifting GPU Binaries to Typed IR Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48936 https://search.frelip.org/Record/rss_article:48936 Online Article RSS Article 2026 0 VitaLLM: A Versatile, Ultra-Compact Ternary LLM Accelerator with Dependency-Aware Scheduling Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48937 https://search.frelip.org/Record/rss_article:48937 Online Article RSS Article 2026 0 RCW-CIM: A Digital CIM-based LLM Accelerator with Read-Compute/Write Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48938 https://search.frelip.org/Record/rss_article:48938 Online Article RSS Article 2026 0 SafeTune: Mitigating Data Poisoning in LLM Fine-Tuning for RTL Code Generation Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48939 https://search.frelip.org/Record/rss_article:48939 Online Article RSS Article 2026 0 Sparse-on-Dense: Area and Energy-Efficient Computing of Sparse Neural Networks on Dense Matrix Multiplication Accelerators Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48940 https://search.frelip.org/Record/rss_article:48940 Online Article RSS Article 2026 0 Verification and Validation (V&V)-in-the-Loop for RISC-V Design: The Holistic Vision of BZL Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48941 https://search.frelip.org/Record/rss_article:48941 Online Article RSS Article 2026 0 EMiX: Emulating Beyond Single-FPGA Limits Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48942 https://search.frelip.org/Record/rss_article:48942 Online Article RSS Article 2026 0 Efficient, VRAM-Constrained xLM Inference on Clients Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48943 https://search.frelip.org/Record/rss_article:48943 Online Article RSS Article 2026 0 RAG-Enhanced Kernel-Based Heuristic Synthesis (RKHS): A Structured Methodology Using Large Language Models for Hardware Design Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48944 https://search.frelip.org/Record/rss_article:48944 Online Article RSS Article 2026 0 AMMA: A Multi-Chiplet Memory-Centric Architecture for Low-Latency 1M Context Attention Serving Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48945 https://search.frelip.org/Record/rss_article:48945 Online Article RSS Article 2026 0 At the Edge of the Heart: ULP FPGA-Based CNN for On-Device Cardiac Feature Extraction in Smart Health Sensors for Astronauts Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48946 https://search.frelip.org/Record/rss_article:48946 Online Article RSS Article 2026 0 NVLLM: A 3D NAND-Centric Architecture Enabling Edge on-Device LLM Inference Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48947 https://search.frelip.org/Record/rss_article:48947 Online Article RSS Article 2026 0 No Tile Left Behind: Multiprogramming for Surface-Code Architectures Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48948 https://search.frelip.org/Record/rss_article:48948 Online Article RSS Article 2026 0 RecFlash: Fast Recommendation System on In-Storage Computing with Frequency-Based Data Mapping Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48949 https://search.frelip.org/Record/rss_article:48949 Online Article RSS Article 2026 0 AHASD: Asynchronous Heterogeneous Architecture for LLM Adaptive Drafting Speculative Decoding on Mobile Devices Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48950 https://search.frelip.org/Record/rss_article:48950 Online Article RSS Article 2026 0 LLM as Clinical Graph Structure Refiner: Enhancing Representation Learning in EEG Seizure Diagnosis Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48951 https://search.frelip.org/Record/rss_article:48951 Online Article RSS Article 2026 0 Intern-Atlas: A Methodological Evolution Graph as Research Infrastructure for AI Scientists Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48952 https://search.frelip.org/Record/rss_article:48952 Online Article RSS Article 2026 0 Claw-Eval-Live: A Live Agent Benchmark for Evolving Real-World Workflows Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48953 https://search.frelip.org/Record/rss_article:48953 Online Article RSS Article 2026 0 Crab: A Semantics-Aware Checkpoint/Restore Runtime for Agent Sandboxes Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48954 https://search.frelip.org/Record/rss_article:48954 Online Article RSS Article 2026 0 What Makes a Good Terminal-Agent Benchmark Task: A Guideline for Adversarial, Difficult, and Legible Evaluation Design Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48955 https://search.frelip.org/Record/rss_article:48955 Online Article RSS Article 2026 0 Characterizing the Consistency of the Emergent Misalignment Persona Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48956 https://search.frelip.org/Record/rss_article:48956 Online Article RSS Article 2026 0 RHyVE: Competence-Aware Verification and Phase-Aware Deployment for LLM-Generated Reward Hypotheses Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48957 https://search.frelip.org/Record/rss_article:48957 Online Article RSS Article 2026 0 To Build or Not to Build? Factors that Lead to Non-Development or Abandonment of AI Systems Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48958 https://search.frelip.org/Record/rss_article:48958 Online Article RSS Article 2026 0 Agent-Agnostic Evaluation of SQL Accuracy in Production Text-to-SQL Systems Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48959 https://search.frelip.org/Record/rss_article:48959 Online Article RSS Article 2026 0 Collaborative Agent Reasoning Engineering (CARE): A Three-Party Design Methodology for Systematically Engineering AI Agents with Subject Matter Experts, Developers, and Helper Agents Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:48960 https://search.frelip.org/Record/rss_article:48960 Online Article RSS Article 2026 0 Sim-FA: A Simulator Frontend for Asynchronous Pipelines Thu, 01 Jan 2026 02:23:20 -0500 https://search.frelip.org/Record/rss_article:49292 https://search.frelip.org/Record/rss_article:49292 Online Article RSS Article 2026 0