skip to main content
Language:
Search Limited to: Search Limited to: Resource type Show Results with: Show Results with: Search type Index

Results 1 - 20 of 22,117  for All Library Resources

Sorted by: Sorted by: RelevanceOr hit Enter to replace sort method
Results 1 2 3 4 5 next page
Show only
Refined by: subject: Mathematics remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Using Formal Verification to Evaluate Human-Automation Interaction: A Review
Using Formal Verification to Evaluate Human-Automation Interaction: A Review
Material Type:
Article 		Add to My Research

Using Formal Verification to Evaluate Human-Automation Interaction: A Review

IEEE transactions on systems, man, and cybernetics. Systems, 2013-05, Vol.43 (3), p.488-503 [Peer Reviewed Journal]

ISSN: 2168-2216 ;EISSN: 2168-2232 ;DOI: 10.1109/TSMCA.2012.2210406 ;CODEN: ITSMFE

Digital Resources/Online E-Resources

Citations Cited by
2
On Markov chain Monte Carlo methods for tall data
On Markov chain Monte Carlo methods for tall data
Material Type:
Article 		Add to My Research

On Markov chain Monte Carlo methods for tall data

Journal of machine learning research, 2017-05 [Peer Reviewed Journal]

Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 1532-4435 ;EISSN: 1533-7928

Full text available

Citations Cited by
3
Semi-Discretization for Time-Delay Systems: Stability and Engineering Applications
Semi-Discretization for Time-Delay Systems: Stability and Engineering Applications
Material Type:
Book 		Add to My Research

Semi-Discretization for Time-Delay Systems: Stability and Engineering Applications

Springer Science+Business Media, LLC 2011 ;ISSN: 0066-5452 ;ISBN: 1461403359 ;ISBN: 9781461403357 ;ISBN: 1461403340 ;ISBN: 9781461403340 ;EISBN: 1461403359 ;EISBN: 9781461403357 ;DOI: 10.1007/978-1-4614-0335-7 ;OCLC: 747413715

Full text available

Citations Cited by
4
Leveraging human agency to improve confidence and acceptability in human-machine interactions
Leveraging human agency to improve confidence and acceptability in human-machine interactions
Material Type:
Article 		Add to My Research

Leveraging human agency to improve confidence and acceptability in human-machine interactions

Cognition, 2022-05, Vol.222 [Peer Reviewed Journal]

Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 0010-0277 ;EISSN: 1873-7838 ;DOI: 10.1016/j.cognition.2022.105020

Digital Resources/Online E-Resources

Citations Cited by
5
Commonsense Reasoning
Commonsense Reasoning
Material Type:
Book 		Add to My Research

Commonsense Reasoning

ISBN: 0080476619 ;ISBN: 9780080476612 ;ISBN: 0123693888 ;ISBN: 9780123693884 ;EISBN: 0080476619 ;EISBN: 9780080476612 ;DOI: 10.1016/B978-0-12-369388-4.X5054-1 ;OCLC: 703863158

Full text available

Citations Cited by
6
Analysis of a random forests model
Analysis of a random forests model
Material Type:
Article 		Add to My Research

Analysis of a random forests model

Journal of machine learning research, 2012-04, Vol.13, p.1063-1095 [Peer Reviewed Journal]

Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 1532-4435 ;EISSN: 1533-7928

Full text available

Citations Cited by
7
Stability and Stabilization of Linear Systems with Saturating Actuators
Stability and Stabilization of Linear Systems with Saturating Actuators
Material Type:
Book 		Add to My Research

Stability and Stabilization of Linear Systems with Saturating Actuators

ISBN: 9780857299406 ;ISBN: 0857299409 ;ISBN: 9781447158059 ;ISBN: 1447158059 ;EISBN: 0857299417 ;EISBN: 9780857299413 ;DOI: 10.1007/978-0-85729-941-3_1 ;OCLC: 759159050

Full text available

Citations Cited by
8
Brain–Computer Interface-Based Adaptive Automation to Prevent Out-Of-The-Loop Phenomenon in Air Traffic Controllers Dealing With Highly Automated Systems
Brain–Computer Interface-Based Adaptive Automation to Prevent Out-Of-The-Loop Phenomenon in Air Traffic Controllers Dealing With Highly Automated Systems
Material Type:
Article 		Add to My Research

Brain–Computer Interface-Based Adaptive Automation to Prevent Out-Of-The-Loop Phenomenon in Air Traffic Controllers Dealing With Highly Automated Systems

Frontiers in human neuroscience, 2019-09, Vol.13 (296), p.296-296 [Peer Reviewed Journal]

COPYRIGHT 2019 Frontiers Research Foundation ;2019. This work is licensed under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;Distributed under a Creative Commons Attribution 4.0 International License ;Copyright © 2019 Di Flumeri, De Crescenzio, Berberian, Ohneiser, Kramer, Aricò, Borghini, Babiloni, Bagassi and Piastra. 2019 Di Flumeri, De Crescenzio, Berberian, Ohneiser, Kramer, Aricò, Borghini, Babiloni, Bagassi and Piastra ;ISSN: 1662-5161 ;EISSN: 1662-5161 ;DOI: 10.3389/fnhum.2019.00296 ;PMID: 31555113

Full text available

Citations Cited by
9
Domain Generalization by Marginal Transfer Learning
Domain Generalization by Marginal Transfer Learning
Material Type:
Article 		Add to My Research

Domain Generalization by Marginal Transfer Learning

Journal of machine learning research, 2021, Vol.22 (2), p.1-55 [Peer Reviewed Journal]

Attribution ;ISSN: 1532-4435 ;EISSN: 1533-7928

Full text available

Citations Cited by
10
Stability and Stabilization of Nonlinear Systems
Stability and Stabilization of Nonlinear Systems
Material Type:
Book 		Add to My Research

Stability and Stabilization of Nonlinear Systems

Springer-Verlag London Limited 2011 ;ISSN: 0178-5354 ;ISBN: 0857295136 ;ISBN: 9780857295132 ;ISBN: 9780857295125 ;ISBN: 0857295128 ;EISBN: 0857295136 ;EISBN: 9780857295132 ;DOI: 10.1007/978-0-85729-513-2 ;OCLC: 728101773

Full text available

Citations Cited by
11
LassoNet: A Neural Network with Feature Sparsity
LassoNet: A Neural Network with Feature Sparsity
Material Type:
Article 		Add to My Research

LassoNet: A Neural Network with Feature Sparsity

Journal of machine learning research, 2021-01, Vol.22 (127) [Peer Reviewed Journal]

Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 1532-4435 ;EISSN: 1533-7928

Full text available

Citations Cited by
12
On the properties of variational approximations of Gibbs posteriors
On the properties of variational approximations of Gibbs posteriors
Material Type:
Article 		Add to My Research

On the properties of variational approximations of Gibbs posteriors

Journal of machine learning research, 2016-01, Vol.17 (236) [Peer Reviewed Journal]

Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 1532-4435 ;EISSN: 1533-7928

Full text available

Citations Cited by
13
MaxBin 2.0: an automated binning algorithm to recover genomes from multiple metagenomic datasets
MaxBin 2.0: an automated binning algorithm to recover genomes from multiple metagenomic datasets
Material Type:
Article 		Add to My Research

MaxBin 2.0: an automated binning algorithm to recover genomes from multiple metagenomic datasets

Bioinformatics, 2016-02, Vol.32 (4), p.605-607 [Peer Reviewed Journal]

The Author 2015. Published by Oxford University Press. All rights reserved. For Permissions, please e-mail: journals.permissions@oup.com. ;ISSN: 1367-4803 ;EISSN: 1367-4811 ;EISSN: 1460-2059 ;DOI: 10.1093/bioinformatics/btv638 ;PMID: 26515820

Full text available

Citations Cited by
14
Distributed Consensus in Multi-vehicle Cooperative Control: Theory and Applications
Distributed Consensus in Multi-vehicle Cooperative Control: Theory and Applications
Material Type:
Book 		Add to My Research

Distributed Consensus in Multi-vehicle Cooperative Control: Theory and Applications

ISBN: 9781848000148 ;ISBN: 1848000146 ;EISBN: 9781848000155 ;EISBN: 1848000154 ;OCLC: 209987285

Full text available

Citations Cited by
15
A Kernel Multiple Change-point Algorithm via Model Selection
A Kernel Multiple Change-point Algorithm via Model Selection
Material Type:
Article 		Add to My Research

A Kernel Multiple Change-point Algorithm via Model Selection

Journal of machine learning research, 2019-12, Vol.20 (162), p.1-56 [Peer Reviewed Journal]

Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 1532-4435 ;EISSN: 1533-7928

Full text available

Citations Cited by
16
Robust stabilization of MIMO systems in finite/fixed time
Robust stabilization of MIMO systems in finite/fixed time
Material Type:
Article 		Add to My Research

Robust stabilization of MIMO systems in finite/fixed time

International journal of robust and nonlinear control, 2016-01, Vol.26 (1), p.69-90 [Peer Reviewed Journal]

Copyright © 2015 John Wiley & Sons, Ltd. ;ISSN: 1049-8923 ;EISSN: 1099-1239 ;DOI: 10.1002/rnc.3297

Full text available

Citations Cited by
17
Stability notions and Lyapunov functions for sliding mode control systems
Stability notions and Lyapunov functions for sliding mode control systems
Material Type:
Article 		Add to My Research

Stability notions and Lyapunov functions for sliding mode control systems

Journal of the Franklin Institute, 2014-04 [Peer Reviewed Journal]

Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 0016-0032 ;EISSN: 1879-2693 ;DOI: 10.1016/j.jfranklin.2014.01.002

Digital Resources/Online E-Resources

Citations Cited by
18
Mathematical Methods in Robust Control of Discrete-Time Linear Stochastic Systems
Mathematical Methods in Robust Control of Discrete-Time Linear Stochastic Systems
Material Type:
Book 		Add to My Research

Mathematical Methods in Robust Control of Discrete-Time Linear Stochastic Systems

Springer Science+Business Media, LLC 2010 ;ISBN: 1441906290 ;ISBN: 9781441906298 ;ISBN: 148998447X ;ISBN: 9781489984470 ;EISBN: 9781441906304 ;EISBN: 1441906304 ;DOI: 10.1007/978-1-4419-0630-4 ;OCLC: 663096484

Full text available

Citations Cited by
19
Fast Screening Rules for Optimal Design via Quadratic Lasso Reformulation
Fast Screening Rules for Optimal Design via Quadratic Lasso Reformulation
Material Type:
Article 		Add to My Research

Fast Screening Rules for Optimal Design via Quadratic Lasso Reformulation

Journal of machine learning research, 2023-10 [Peer Reviewed Journal]

Attribution ;ISSN: 1532-4435 ;EISSN: 1533-7928

Full text available

Citations Cited by
20
Dynamic Ranking with the BTL Model: A Nearest Neighbor based Rank Centrality Method
Dynamic Ranking with the BTL Model: A Nearest Neighbor based Rank Centrality Method
Material Type:
Article 		Add to My Research

Dynamic Ranking with the BTL Model: A Nearest Neighbor based Rank Centrality Method

Journal of machine learning research, 2023-09, Vol.24 (269), p.1-57 [Peer Reviewed Journal]

Attribution ;ISSN: 1532-4435 ;EISSN: 1533-7928

Full text available

Citations Cited by

Results 1 - 20 of 22,117  for All Library Resources

Sorted by: Sorted by: RelevanceOr hit Enter to replace sort method
Results 1 2 3 4 5 next page

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Show only

  1. Peer-reviewed Journals (20,101)

Refine My Results

Creation Date 

From To
Refine
  1. Before 1973  (996)
  2. 1973 To 1984  (1,125)
  3. 1985 To 1996  (3,231)
  4. 1997 To 2009  (6,608)
  5. After 2009  (10,647)
  6. More options open sub menu

Language 

  1. English  (22,055)
  2. Japanese  (887)
  3. Portuguese  (159)
  4. German  (109)
  5. French  (41)
  6. Polish  (18)
  7. Norwegian  (6)
  8. Spanish  (6)
  9. Russian  (4)
  10. Swedish  (1)
  11. Ukrainian  (1)
  12. Italian  (1)
  13. Slovenian  (1)
  14. More options open sub menu
INSPIRE LIBRARY - TON DUC THANG UNIVERSITY (84-028) 37 755 057 Feedback
19 Nguyen Huu Tho St. Dist.7, HCM thuvien@tdtu.edu.vn

Copyright © 2017 INSPIRE LIBRARY - TON DUC THANG UNIVERSITY

Searching Remote Databases, Please Wait