搜索结果: 1-15 共查到“数学 Computer”相关记录71条 . 查询时间(0.123 秒)
2017年计算机视觉矩阵和张量因子分解方法研讨会（Workshop on Matrix and Tensor Factorization Methods in Computer Vision）
2017年 计算机视觉矩阵和张量因子分解方法 研讨会
2017/9/21
Matrix and tensor factorizations have a long history in machine learning. Being able to recover latent factors in the data and flexible enough to accommodate a large set of constraints and regularizat...
Unifying statistics,computer science,and applied mathematics
Unifying statistics computer science applied mathematics
2017/9/5
The National Science Foundation (NSF) has announced its support of a Lehigh University-led research team that will advance machine learning by tying together techniques drawn from the fields of statis...
Project embeds computer science lessons in math instruction for K-5 students
embeds computer science lessons math instruction K-5 students
2016/2/23
A two-year project funded by the National Science Foundation is laying the groundwork for meeting society’s growing demand for citizens literate in computer science by integrating computing with eleme...
JOINTLY PERIODIC POINTS IN CELLULAR AUTOMATA:COMPUTER EXPLORATIONS AND CONJECTURES
JOINTLY PERIODIC POINTS CELLULAR AUTOMATA COMPUTER EXPLORATIONS AND CONJECTURES
2015/9/29
We develop a rather elaborate computer program to investigate the jointly periodic points of one-dimensional cellular automata. The experimental results and mathematical context lead to questions, con...
Phase Portraits of Planar Vector Fields: Computer Proofs
Computer Proofs Planar Vector Fields
2015/8/25
This paper presents an algorithm for computer veri cation of the
global structure of structurally stable planar vector elds. Constructing
analytical proofs for the qualitative properties of phase p...
THREE EXAMPLES OF MONTE-CARLO MARKOV CHAINS:AT THE INTERFACE BETWEEN STATOSTICAL COMPUTING,COMPUTER SCIENCE,AND STATISTICAL MECHANICS
Monte carlo markov chain the interface between computing computer science statistical mechanics
2015/7/14
THREE EXAMPLES OF MONTE-CARLO MARKOV CHAINS:AT THE INTERFACE BETWEEN STATOSTICAL COMPUTING,COMPUTER SCIENCE,AND STATISTICAL MECHANICS。
Orthogonal and Nearly Orthogonal Designs for Computer Experiments
Orthogonal Nearly Orthogonal Designs Computer Experiments
2015/3/20
Orthogonal and Nearly Orthogonal Designs for Computer Experiments.
Hybrid Designs of Computer and Physical Experiments Resource Allocation in Mixed Testing
Hybrid Designs Computer and Physical Experiments Mixed Testing
2015/3/20
Hybrid Designs of Computer and Physical Experiments Resource Allocation in Mixed Testing.
Minimizing inter-subject variability in fNIRS based Brain Computer Interfaces via multiple-kernel support vector learning
Brain Computer Interfaces Functional Near-Infrared Spectroscopy Inter-subject variability Support Vector Machines RKHS
2012/11/23
Functional Near-Infrared spectroscopy (fNIRS) is an emerging non-invasive brain computer interface (BCI) modality that measures changes in haemoglobin concentrations in the cortical tissue. To date mo...
Transferring Subspaces Between Subjects in Brain-Computer Interfacing
Brain-ComputerInterface CommonSpatia Patterns Non-Stationarity Transfer Learning.
2012/11/22
Compensating changes between a subjects' training and testing session in Brain Computer Interfacing (BCI) is challenging but of great importance for a robust BCI operation. We show that such changes a...
Abstract: Multiview geometry is the study of two-dimensional images of three-dimensional scenes, a foundational subject in computer vision. We determine a universal Groebner basis for the multiview id...
Bounding and estimating an exceedance probability in output from monotonous computer codes
Exceedance probability Computer code Input uncertainty
2011/1/18
This article deals with the estimation of a probability pf of an undesirable event. Its occurence is formalized by the exceedance of a threshold reliability value by the unidimensional output of a com...
ADAM: Analysis of Discrete Models of Biological Systems Using Computer Algebra
Analysis of Discrete Models Biological Systems Computer Algebra
2011/1/18
Motivation: Many biological systems are modeled qualitatively with discrete models,such as probabilistic Boolean networks, logical models, bounded Petri nets, and agent-based models. Simulation is a c...
A Computer Algebra Toolbox for Harmonic Sums Related to Particle Physics
Computer Algebra Harmonic Sums Related Particle Physics
2010/11/11
In this work we present the computer algebra package HarmonicSums and its theoretical background for the manipulation of harmonic sums and some related quantities as for example Euler-Zagier sums and...
Tools of Toys? On Specific Challenges for Modeling and the Epistemology of Models and Computer Simulations in the Social Sciences
Epistemology Simulations Social Limitations Mathematical Methods
2011/9/6
Mathematical models are a well established tool in most natural sciences. Although models have been neglected by the philosophy of science for a long time, their epistemological status as a link betwe...