Search Results - "ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS"
-
1
Authors: et al.
Contributors: et al.
Source: 18th International Software Product Line Conference (2014)
https://inria.hal.science/hal-01025159
18th International Software Product Line Conference (2014), Sep 2014, Florence, ItalySubject Terms: MaTeLo, Product Line Manager, Model-based Testing tool, OVM, ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.13: Reusable Software, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, [SCCO.COMP]Cognitive science/Computer science
Time: Florence, Italy
Relation: info:eu-repo/grantAgreement/EC/FP7/269335/EU/Combined Model-based Analysis and Testing of Embedded Systems/MBAT
-
2
Authors: et al.
Contributors: et al.
Source: Mathematics of Operations Research. 25:324-347
Subject Terms: ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS, [MATH.MATH-PR] Mathematics [math]/Probability [math.PR], 0209 industrial biotechnology, suites équilibrées, 0211 other engineering and technologies, 02 engineering and technology, balanced sequences, Queueing theory (aspects of probability theory), ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS, admission control into a queue, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], contrôle d'admission, Convex functions and convex programs in convex geometry, Queues and service in operations research, multimodularité, [INFO.INFO-NI] Computer Science [cs]/Networking and Internet Architecture [cs.NI], convexity, regular sequences, [MATH.MATH-OC] Mathematics [math]/Optimization and Control [math.OC], multimodular functions, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS, [MATH.MATH-PR]Mathematics [math]/Probability [math.PR], convexité, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]
File Description: application/xml; application/pdf
-
3
Authors: et al.
Contributors: et al.
Source: International conference on development and learning ; https://inria.hal.science/hal-00763671 ; International conference on development and learning, Nov 2012, San Diego, United States
Subject Terms: ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS, ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS/G.3.6: Nonparametric statistics, [INFO.INFO-NE]Computer Science [cs]/Neural and Evolutionary Computing [cs.NE]
Subject Geographic: San Diego, United States
-
4
Authors: et al.
Contributors: et al.
Source: 27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010
https://inria.hal.science/inria-00455344
27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Inria Nancy Grand Est & Loria, Mar 2010, Nancy, France. pp.359-370Subject Terms: computing fixed points, numerical approximation, stochastic model, branching processes, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY/F.2.1: Numerical Algorithms and Problems, ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA]
Relation: inria-00455344; https://inria.hal.science/inria-00455344; https://inria.hal.science/inria-00455344/document; https://inria.hal.science/inria-00455344/file/esparza.pdf
-
5
Authors: et al.
Contributors: et al.
Source: 27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010
https://hal.inria.fr/inria-00455776
27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Inria Nancy Grand Est & Loria, Mar 2010, Nancy, France. pp.119-130Subject Terms: Data Streams, Randomized Algorithms, Streaming Algorithms, Independence, Sketches, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY/F.2.1: Numerical Algorithms and Problems, ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]
Relation: inria-00455776; https://hal.inria.fr/inria-00455776; https://hal.inria.fr/inria-00455776/document; https://hal.inria.fr/inria-00455776/file/braverman.pdf
-
6
Authors: et al.
Contributors: et al.
Source: 27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010
https://hal.inria.fr/inria-00455782
27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Inria Nancy Grand Est & Loria, Mar 2010, Nancy, France. pp.131-142Subject Terms: quantum computing, property testing, sampling, ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS, [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]
Relation: inria-00455782; https://hal.inria.fr/inria-00455782; https://hal.inria.fr/inria-00455782/document; https://hal.inria.fr/inria-00455782/file/bravyi.pdf
-
7
Authors: et al.
Contributors: et al.
Source: GECCO ; https://inria.hal.science/inria-00369780 ; GECCO, 2009, Montréal, Canada
Subject Terms: ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization, ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]
Subject Geographic: Montréal
Time: Montréal, Canada
-
8
Authors: et al.
Contributors: et al.
Source: EvoNum (evostar workshop) ; https://inria.hal.science/inria-00369781 ; EvoNum (evostar workshop), 2009, Tuebingen, Germany
Subject Terms: ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.3: Numerical Linear Algebra, ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]
-
9
Authors: et al.
Contributors: et al.
Source: 26th International Symposium on Theoretical Aspects of Computer Science - STACS 2009
https://inria.hal.science/inria-00360519
26th International Symposium on Theoretical Aspects of Computer Science - STACS 2009, Feb 2009, Freiburg, Germany. pp.469-480Subject Terms: Schnorr Randomness, Birkhoff's ergodic theorem, computable measures, ACM: F.: Theory of Computation/F.0: GENERAL, ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS, ACM: H.: Information Systems/H.1: MODELS AND PRINCIPLES/H.1.1: Systems and Information Theory, [MATH.MATH-PR]Mathematics [math]/Probability [math.PR], [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/0902.1939; ARXIV: 0902.1939
-
10
Authors: et al.
Contributors: et al.
Source: 26th International Symposium on Theoretical Aspects of Computer Science STACS 2009
https://inria.hal.science/inria-00359186
26th International Symposium on Theoretical Aspects of Computer Science STACS 2009, Feb 2009, Freiburg, Germany. pp.207-218Subject Terms: Stochastic games, reachability, pushdown automata, ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES, [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-GT]Computer Science [cs]/Computer Science and Game Theory [cs.GT]
Relation: inria-00359186; https://inria.hal.science/inria-00359186; https://inria.hal.science/inria-00359186/document; https://inria.hal.science/inria-00359186/file/17-brazdil.pdf
-
11
Authors: et al.
Contributors: et al.
Source: 26th International Symposium on Theoretical Aspects of Computer Science STACS 2009
https://hal.inria.fr/inria-00359667
26th International Symposium on Theoretical Aspects of Computer Science STACS 2009, Feb 2009, Freiburg, Germany. pp.373-384Subject Terms: random walk, randomized algorithms, parallel and distributed algorithms, ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [MATH.MATH-PR]Mathematics [math]/Probability [math.PR], [MATH.MATH-ST]Mathematics [math]/Statistics [math.ST], [STAT.TH]Statistics [stat]/Statistics Theory [stat.TH]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/0902.1735; inria-00359667; https://hal.inria.fr/inria-00359667; https://hal.inria.fr/inria-00359667/document; https://hal.inria.fr/inria-00359667/file/elsaesser_new.pdf; ARXIV: 0902.1735
-
12
Authors: et al.
Contributors: et al.
Source: Actes de CAP 2007 ; CAP ; https://inria.hal.science/inria-00173259 ; CAP, 2007, Grenoble, France. 16 p
Subject Terms: Inductive-Deductive Systems, Learning theory, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS, [MATH.MATH-ST]Mathematics [math]/Statistics [math.ST], [STAT.TH]Statistics [stat]/Statistics Theory [stat.TH]
-
13
Authors: et al.
Contributors: et al.
Source: Proceedings of the Workshop on Reliability in Decentralized Distributed Systems ; https://inria.hal.science/inria-00201164 ; Proceedings of the Workshop on Reliability in Decentralized Distributed Systems, Nov 2006, Montpellier, France. pp.1470--1479
Subject Terms: core, churn, data persistence, quorum, atomicity, probability, ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability/D.4.5.2: Fault-tolerance, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
Subject Geographic: Montpellier, France
Relation: info:eu-repo/semantics/altIdentifier/arxiv/0801.1419; ARXIV: 0801.1419
-
14
Authors: et al.
Contributors: et al.
Source: ISSN: 1664-042X ; Frontiers in Physiology ; https://inria.hal.science/hal-00852175 ; Frontiers in Physiology, 2012, 3 (1), pp.186. ⟨10.3389/fphys.2012.00186⟩ ; http://www.frontiersin.org/Fractal_Physiology/10.3389/fphys.2012.00186/abstract.
Subject Terms: scale-free, scale invariance, self-similarity, multifractality, wavelets, wavelet Leader, fMRI, ongoing activity, evoked activity, ACM: J.: Computer Applications/J.3: LIFE AND MEDICAL SCIENCES, ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS, ACM: I.: Computing Methodologies/I.4: IMAGE PROCESSING AND COMPUTER VISION/I.4.9: Applications, [SCCO.NEUR]Cognitive science/Neuroscience, [SPI.SIGNAL]Engineering Sciences [physics]/Signal and Image processing, [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, [MATH.MATH-ST]Mathematics [math]/Statistics [math.ST], [STAT.TH]Statistics [stat]/Statistics Theory [stat.TH]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1308.4385; info:eu-repo/semantics/altIdentifier/pmid/22715328; ARXIV: 1308.4385; PUBMED: 22715328
-
15
Authors: et al.
Contributors: et al.
Subject Terms: ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS, [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], ACM: I.: Computing Methodologies/I.7: DOCUMENT AND TEXT PROCESSING, [INFO.INFO-LG] Computer Science [cs]/Machine Learning [cs.LG], [STAT.OT]Statistics [stat]/Other Statistics [stat.ML], [STAT.OT] Statistics [stat]/Other Statistics [stat.ML], ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.7: Natural Language Processing
Access URL: https://inria.hal.science/inria-00514525v1
-
16
Authors: et al.
Contributors: et al.
Source: https://inria.hal.science/inria-00577793 ; [Research Report] RR-7572, INRIA. 2011.
Subject Terms: Variational EM, Classification, Discrete hidden Markov random field, Disease mapping, Poisson mixtures, Potts model, ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS, [STAT.AP]Statistics [stat]/Applications [stat.AP], [STAT.ME]Statistics [stat]/Methodology [stat.ME]
-
17
Authors: et al.
Contributors: et al.
Source: https://inria.hal.science/inria-00628498 ; [Research Report] 2011, pp.60.
Subject Terms: group Lasso, sparsity, structured sparsity, graph, support recovery, block norm, regularization, feature selection, ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.6: Learning, ACM: I.: Computing Methodologies/I.5: PATTERN RECOGNITION/I.5.1: Models, [STAT.OT]Statistics [stat]/Other Statistics [stat.ML], [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1110.0413; info:eu-repo/grantAgreement/EC/FP7/239993/EU/Sparse Structured Methods for Machine Learning/SIERRA; ARXIV: 1110.0413
-
18
Authors: et al.
Contributors: et al.
Source: https://inria.hal.science/inria-00527750 ; [Research Report] RR-7431, INRIA. 2010.
Subject Terms: Helicopter, Ground resonance, Vibration monitoring, Damping coefficient, CUSUM test, ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS, [MATH.MATH-ST]Mathematics [math]/Statistics [math.ST], [STAT.TH]Statistics [stat]/Statistics Theory [stat.TH]
Relation: info:eu-repo/grantAgreement//213968/EU/Integrated European Industrial Risk Reduction System/IRIS
-
19
Authors: et al.
Contributors: et al.
Source: https://inria.hal.science/inria-00433170 ; [Research Report] RR-7100, INRIA. 2009.
Subject Terms: Network traffic, Long-range dependence, Heavy-tailed distributions, Correlation, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.3: Network Operations/C.2.3.1: Network monitoring, ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]
-
20
Authors: et al.
Contributors: et al.
Source: https://inria.hal.science/inria-00359944 ; [Research Report] RR-6835, INRIA. 2009, pp.36.
Subject Terms: (Conditionally) Positive Definite Kernel, R.K.H.S, Native Space, Interpolation, Kriging, Regularized Regression, Kernel methods, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.1: Interpolation, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.2: Approximation, ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS, [MATH.MATH-ST]Mathematics [math]/Statistics [math.ST], [STAT.TH]Statistics [stat]/Statistics Theory [stat.TH]
Nájsť tento článok vo Web of Science 
Full Text Finder