- Delayed Constraints in Narrowing for the Logic-Based Analyses of Real-Time Systems
2026/07/20 by Santiago Escobar, Raúl López-Rueda, Carlos Olarte · 1 voice
Computer Science · #Automaton #Constraint (computer-aided design) #Correctness #Extension (predicate logic) #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Model checking #Modulo #Parametric statistics #Real-Time Systems Scheduling #Representation (politics) #Rewriting #Separation logic
- Challenging and diagnosing structured population models by testing predictions from stochastic demography
2026/06/03 by Stephen P. Ellner, Robin E. Snyder, Daniel T. Blumstein +6 · 1 voice
Biochemistry, Genetics and Molecular Biology · Environmental Science · #Genetics, Aging, and Longevity in Model Organisms #Marine and fisheries research #Parameterized complexity #Parametric model #Parametric statistics #Physiological and biochemical adaptations #Population #Population model #Skewness #Stochastic modelling #Variance (accounting) #Variation (astronomy)
- A bootstrap goodness-of-fit test for the variogram
2026/05/17 by Rubén Fernández‐Casal, Sergio Castillo-Páez, Mario Francisco‐Fernández · 1 voice
Computer Science · Mathematics · #Data Analysis with R #Estimator #Independence (probability theory) #Nonparametric statistics #Parametric model #Parametric statistics #Range (aeronautics) #Residual #Statistical Methods and Bayesian Inference #Statistical Methods in Clinical Trials #Statistical hypothesis testing #Variogram
- Topology optimization of pentamode metamaterials for underwater acoustics
2026/02/27 by Sebastiano Cominelli, Matteo Pozzi, Francesco Braghin · 1 voice
Computer Science · Engineering · Physics and Astronomy · #Acoustic Wave Phenomena Research #Advanced Mathematical Modeling in Engineering #Homogenization (climate) #Metamaterial #Parametric statistics #Sensitivity (control systems) #Stiffness #Structural acoustics #Topology (electrical circuits) #Topology Optimization in Engineering #Topology optimization #Underwater #physics.app-ph
- Geometric investigation of chaos unfolding in Hamiltonian systems
2026/02/24 by L. Salasnich, F. Sattin · 1 voice · 1 citation
Physics and Astronomy · #Chaos control and synchronization #Chaotic #Chaotic scattering #Dynamical billiards #Exponential function #Hamiltonian (control theory) #Hamiltonian system #Multiplicative function #Parametric statistics #Quantum chaos and dynamical systems #Trajectory #nlin.CD #stochastic dynamics and bifurcation
- Development of Initial Scantling Formulas for Submarine Deep Frames Based on Numerical Analysis
2026/02/18 by Minwoo Lee, Dohan Oh · 1 voice
Engineering · #Bearing (navigation) #Finite element method #Flange #Frame (networking) #Hull #Marine and Coastal Research #Naval architecture #Parametric statistics #Shell (structure) #Ship Hydrodynamics and Maneuverability #Stiffness #Structural Integrity and Reliability Analysis #Submarine
- NPGA: Neural Parametric Gaussian Avatars
2024/05/29 by Simon Giebenhain, Tobias Kirschstein, Martin Rünz +2 · 1 voice · 28 citations
Computer Science · Mathematics · #Advanced Vision and Imaging #Artificial intelligence #Artificial neural network #Computer Graphics and Visualization Techniques #Computer science #Gaussian #Gaussian process #Human Pose and Action Recognition #Mathematics #Parametric statistics #Physics #Statistics
- Multi-Source Conformal Inference Under Distribution Shift
2024/05/15 by Yi Liu, Liu, Yi, A.H. Levis +5 · 7 citations
Computer Science · Mathematics · #Advanced Causal Inference Techniques #Artificial intelligence #Computer science #Data mining #Econometrics #FOS: Computer and information sciences #Inference #Machine Learning (stat.ML) #Machine Learning in Healthcare #Machine learning #Mathematics #Methodology (stat.ME) #Parametric statistics #Quantile #Robustness (evolution) #Statistical Methods and Bayesian Inference #Statistics
- DiffSketcher: Text Guided Vector Sketch Synthesis through Latent Diffusion Models
2023/06/26 by Ximing Xing, Chuang Wang, Xing, Ximing +9 · 16 citations
Computer Science · Engineering · #Abstraction #Algorithm #Artificial Intelligence (cs.AI) #Artificial intelligence #Code (set theory) #Computer Vision and Pattern Recognition (cs.CV) #Computer science #Diffusion #FOS: Computer and information sciences #Generative Adversarial Networks and Image Synthesis #Generator (circuit theory) #Human Motion and Animation #Image (mathematics) #Initialization #Interpolation (computer graphics) #Multimodal Machine Learning Applications #Parametric statistics #Power (physics) #Preprocessor #Programming language #Raster graphics #Set (abstract data type) #Sketch
- Implicit Functionally Graded Conforming Microstructures
2023/05/19 by Q Youn Hong, Qingqi Hong, Gershon Elber +1 · 16 citations
Computer Science · Engineering · Mathematics · #3D Shape Modeling and Analysis #Computational Geometry and Mesh Generation #Computer Graphics and Visualization Techniques #Computer graphics (images) #Computer science #Focus (optics) #Geometry #Macro #Mathematics #Parametric statistics #Pure mathematics #Representation (politics) #Slicing #Spline (mechanical) #Structural engineering #Tensor product
- NerVE: Neural Volumetric Edges for Parametric Curve Extraction from Point Cloud
2023/03/29 by Xiangyu Zhu, Du Dong, Zhu, Xiangyu +9 · 3 citations
Earth and Planetary Sciences · Engineering · Mathematics · #3D Shape Modeling and Analysis #3D Surveying and Cultural Heritage #Advanced Numerical Analysis Techniques #Algorithm #Artificial intelligence #Artificial neural network #Computer Vision and Pattern Recognition (cs.CV) #Computer science #Deep learning #Enhanced Data Rates for GSM Evolution #FOS: Computer and information sciences #Geometry #Machine learning #Margin (machine learning) #Mathematics #Parametric model #Parametric statistics #Point (geometry) #Point cloud #Representation (politics)
- Knowledge-in-Context: Towards Knowledgeable Semi-Parametric Language Models
2022/10/28 by Xiaoman Pan, Wenlin Yao, Pan, Xiaoman +9 · 2 citations
Computer Science · #Artificial intelligence #Computation and Language (cs.CL) #Computer science #Context (archaeology) #FOS: Computer and information sciences #Language model #Multimodal Machine Learning Applications #Natural Language Processing Techniques #Natural language #Natural language processing #Natural language understanding #Parametric statistics #Topic Modeling
- Quantum-limited amplification without instability
2022/07/29 by A. Metelmann, Metelmann, A., O. Lanes +10 · 8 citations
Computer Science · Mathematics · #Amplifier #Bandwidth (computing) #Computer science #Control (management) #Control theory (sociology) #FOS: Physical sciences #Instability #Mathematics #Mesoscale and Nanoscale Physics (cond-mat.mes-hall) #Neural Networks and Reservoir Computing #Parametric statistics #Photon #Physics #Quantum #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Physics (quant-ph) #Quantum mechanics #Realization (probability) #Telecommunications
- HeadNeRF: A Real-time NeRF-based Parametric Head Model
2021/12/10 by Yang Hong, Bo Peng, Hong, Yang +7 · 20 citations
Computer Science · Engineering · Mathematics · #3D Shape Modeling and Analysis #3D rendering #Artificial intelligence #Computer Graphics and Visualization Techniques #Computer graphics (images) #Computer science #Computer vision #Face recognition and analysis #Mathematics #Parametric statistics #Rendering (computer graphics) #cs.CV
- Coarse-to-fine Animal Pose and Shape Estimation
2021/11/16 by Chen Li, Li, Chen, Gim Hee Lee +1 · 6 citations
Computer Science · Engineering · Mathematics · #3D Shape Modeling and Analysis #Advanced Vision and Imaging #Algorithm #Artificial intelligence #Computer Vision and Pattern Recognition (cs.CV) #Computer graphics (images) #Computer science #Computer vision #FOS: Computer and information sciences #Feature (linguistics) #Graph #Human Pose and Action Recognition #Machine Learning (cs.LG) #Mathematics #Parametric model #Parametric statistics #Pattern recognition (psychology) #Polygon mesh #Pose #Theoretical computer science #Vertex (graph theory) #cs.CV #cs.LG
- Nonlinearity and wide-band parametric amplification in a (Nb,Ti)N microstrip transmission line
2021/03/31 by S. Shu, Shibo Shu, Nikita Klimovich +11 · 48 citations
Engineering · Physics and Astronomy · #Advanced Frequency and Time Standards #Amplifier #Dissipation #Electric power transmission #Inductance #Kinetic inductance #Microstrip #Microwave and Dielectric Measurement Techniques #Nonlinear system #Parametric statistics #Superconducting and THz Device Technology #Transmission line #astro-ph.IM #physics.ins-det
- On the experiment-friendly formulation of quantum backflow
2021/03/31 by Maximilien Barbier, Arseni Goussev · 16 citations
Computer Science · Physics and Astronomy · #Backflow #Limiting #Parametric statistics #Particle (ecology) #Quantum #Quantum Information and Cryptography #Quantum Mechanics and Applications #Quantum chaos and dynamical systems #Quantum operation #State (computer science) #quant-ph
- Risk-Averse Bayes-Adaptive Reinforcement Learning
2021/02/10 by Marc Rigter, Bruno Lacerda, Rigter, Marc +3 · 6 citations
Computer Science · Decision Sciences · Mathematics · #Advanced Bandit Algorithms Research #Artificial Intelligence (cs.AI) #Artificial intelligence #Bayes' theorem #Bayesian probability #CVAR #Computer science #Economics #Expected shortfall #FOS: Computer and information sciences #Machine Learning (cs.LG) #Markov decision process #Markov process #Mathematical optimization #Mathematics #Parametric statistics #Reinforcement Learning in Robotics #Reinforcement learning #Risk and Portfolio Optimization #Risk management #Statistics #cs.AI #cs.LG
- Parametric Bootstrap for Differentially Private Confidence Intervals
2020/06/14 by Cecilia Ferrando, Shufan Wang, Ferrando, Cecilia +3 · 11 citations
Computer Science · Mathematics · #Bootstrapping (finance) #Computer science #Confidence interval #Covariate #Econometrics #Estimator #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Mathematics #Nonparametric statistics #Parametric statistics #Privacy-Preserving Technologies in Data #Sample (material) #Statistical Methods and Bayesian Inference #Statistical Methods and Inference #Statistics #cs.LG #stat.ML
- Pump depletion in parametric down-conversion with low pump energies
2020/03/31 by Jefferson Flórez, Jeff S. Lundeen, Maria V. Chekhova · 31 citations
Engineering · Physics and Astronomy · #Advanced Fiber Laser Technologies #Beam (structure) #Energy conversion efficiency #Laser #Laser pumping #Lithium niobate #Materials science #Nonlinear optics #Optical pumping #Optics #Optoelectronics #Parametric statistics #Photonic and Optical Devices #Photorefractive and Nonlinear Optics #Physics #Power (physics) #Quantum #Quantum optics #Spontaneous parametric down-conversion #quant-ph
- Semi-Local 3D Lane Detection and Uncertainty Estimation
2020/03/11 by Netalee Efrat, Max Bluvstein, Efrat, Netalee +9 · 5 citations
Computer Science · Engineering · Environmental Science · Mathematics · #Advanced Vision and Imaging #Artificial intelligence #Artificial neural network #Autonomous Vehicle Technology and Safety #Computer Vision and Pattern Recognition (cs.CV) #Computer science #Computer vision #Embedding #Engineering #FOS: Computer and information sciences #Feature (linguistics) #Image (mathematics) #Mathematics #Network topology #Noise (video) #Parametric statistics #Pattern recognition (psychology) #Remote Sensing and LiDAR Applications #Representation (politics) #Statistics #Task (project management) #cs.CV
- Heisenberg-Limited Spin Squeezing via Bosonic Parametric Driving
2020/03/06 by Peter Groszkowski, Hoi-Kwan Lau, Catherine Leroux +5 · 46 citations
Computer Science · Physics and Astronomy · #Adiabatic process #Dissipation #Heisenberg limit #Mechanical and Optical Resonators #Parametric statistics #Photon #Physics #Quantum #Quantum Information and Cryptography #Quantum and electron transport phenomena #Quantum entanglement #Quantum mechanics #Quantum network #Quantum optics #Spin (aerodynamics) #quant-ph
- Diffusing-Horizon Model Predictive Control
2020/02/20 by Sungho Shin, Víctor M. Zavala, Shin, Sungho +1 · 9 citations
Engineering · Mathematics · #Advanced Control Systems Optimization #Applied mathematics #Computer science #Control (management) #Control theory (sociology) #Discretization #Exponential function #Exponential growth #FOS: Mathematics #Field-Flow Fractionation Techniques #Mathematical analysis #Mathematical optimization #Mathematics #Model predictive control #Ode #Optimal control #Optimization and Control (math.OC) #Parametric statistics #Perturbation (astronomy) #Phase Equilibria and Thermodynamics #Physics #Property (philosophy) #Time horizon
- Applying Meta-Analytic-Predictive Priors with the R Bayesian evidence synthesis tools
2019/07/01 by Sebastian Weber, Weber, Sebastian, Yue Li +9 · 8 citations
Decision Sciences · Mathematics · #Algorithm #Applications (stat.AP) #Artificial intelligence #Bayesian probability #Computer science #Data mining #FOS: Computer and information sciences #G.3.14 #J.3.1 #Machine learning #Markov chain Monte Carlo #Mathematical optimization #Mathematics #Maximization #Meta-analysis and systematic reviews #Parametric statistics #Prior probability #Statistical Methods and Bayesian Inference #Statistical Methods in Clinical Trials #Statistics #acm:G.3.14 #acm:J.3.1 #msc:G.3.14 #msc:J.3.1 #stat.AP
- Fast Rates for a kNN Classifier Robust to Unknown Asymmetric Label Noise
2019/06/11 by Henry W. J. Reeve, Ata Kabán, Ata Kaban +2 · 9 citations
Computer Science · Decision Sciences · Mathematics · #Advanced Statistical Methods and Models #Advanced Statistical Process Monitoring #Algorithm #Artificial intelligence #Classifier (UML) #Computer science #Estimator #FOS: Computer and information sciences #Identifiability #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Machine Learning and Data Classification #Mathematical optimization #Mathematics #Minimax #Noise (video) #Nonparametric statistics #Parametric statistics #Pattern recognition (psychology) #Statistics #cs.LG #stat.ML
- Detailed Human Shape Estimation from a Single Image by Hierarchical Mesh Deformation
2019/04/24 by Hao Zhu, Zhu, Hao, Xinxin Zuo +7 · 10 citations
Computer Science · Engineering · Mathematics · #3D Shape Modeling and Analysis #Advanced Vision and Imaging #Artificial intelligence #Body shape #Code (set theory) #Computer Vision and Pattern Recognition (cs.CV) #Computer science #Computer vision #FOS: Computer and information sciences #FOS: Electrical engineering #Human Pose and Action Recognition #Human body #Image and Video Processing (eess.IV) #Mathematics #Parametric model #Parametric statistics #Pattern recognition (psychology) #Pixel #Robustness (evolution) #cs.CV #eess.IV #electronic engineering #information engineering
- WaveCycleGAN2: Time-domain Neural Post-filter for Speech Waveform Generation
2019/04/05 by Kou Tanaka, Hirokazu Kameoka, Tanaka, Kou +5 · 18 citations
Computer Science · Engineering · Mathematics · #Aliasing #Artificial intelligence #Artificial neural network #Audio and Speech Processing (eess.AS) #Computer science #FOS: Computer and information sciences #FOS: Electrical engineering #Filter (signal processing) #Linear predictive coding #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Mathematics #Music and Audio Processing #Parametric statistics #Sampling (signal processing) #Sound (cs.SD) #Speech Recognition and Synthesis #Speech and Audio Processing #Speech coding #Speech processing #Speech recognition #Speech synthesis #Statistics #Telecommunications #Time domain #Voice activity detection #Waveform #cs.LG #cs.SD #eess.AS #electronic engineering #information engineering #stat.ML
- Emission of photon pairs by mechanical stimulation of the squeezed vacuum
2019/02/28 by Wei Qin, Vincenzo Macrì, Vincenzo Macrí +3 · 88 citations
Materials Science · Physics and Astronomy · #Carbon Nanotubes in Composites #Casimir effect #Coupling (piping) #Mechanical and Optical Resonators #Mechanical resonance #Optics #Optomechanics #Oscillation (cell signaling) #Parametric oscillator #Parametric statistics #Photon #Physics #Quantum Electrodynamics and Casimir Effect #Quantum mechanics #Raman scattering #Raman spectroscopy #Resonance (particle physics) #Resonator #Vibration #quant-ph
- Kernel Change-point Detection with Auxiliary Deep Generative Models
2019/01/18 by Wei-Cheng Chang, Chun-Liang Li, Chang, Wei-Cheng +6 · 15 citations
Biochemistry, Genetics and Molecular Biology · Computer Science · Mathematics · #Algorithm #Artificial intelligence #Benchmark (surveying) #Computer science #FOS: Computer and information sciences #Gaussian Processes and Bayesian Inference #Generative grammar #Generative model #Kernel (algebra) #Kernel embedding of distributions #Kernel method #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Machine learning #Mathematics #Metabolomics and Mass Spectrometry Studies #Multiple kernel learning #Parametric statistics #Radial basis function kernel #Selection (genetic algorithm) #Statistics #Support vector machine #Time Series Analysis and Forecasting #Tree kernel #Variable kernel density estimation #cs.LG #stat.ML
- Semantic fuzzing with zest
2018/11/30 by Rohan Padhye, Caroline Lemieux, Koushik Sen +2 · 1 voice · 129 citations
Computer Science · #Debugging #Fuzz testing #Parametric statistics #Parsing #Random testing #Semantic analysis (machine learning) #Semantic data model #Semantics (computer science) #Software Engineering Research #Software Reliability and Analysis Research #Software Testing and Debugging Techniques #Zest #cs.SE
more