Language:

Results 1 - 20 of 15,530 for All Library Resources

Sorted by: Sorted by: RelevanceOr hit Enter to replace sort method

Results 1 2 3 4 5

Show only

Peer-reviewed Journals (15,301)

Refined by: subject: Computer Science, Software Engineering

subject: Physical Sciences

Mathematics

Result Number	Material Type	Record Details and Options
1	Material Type: Conference Proceeding	Quantum Attacks without Superposition Queries: the Offline Simon's Algorithm Attribution ;DOI: 10.1007/978-3-030-34578-5_20 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
2	Material Type: Conference Proceeding	SL-COMP: Competition of Solvers for Separation Logic Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-030-17502-3_8 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
3	Material Type: Conference Proceeding	Forkcipher: A New Primitive for Authenticated Encryption of Very Short Messages Attribution ;DOI: 10.1007/978-3-030-34621-8_6 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
4	Material Type: Conference Proceeding	TOOLympics 2019: An overview of competitions in formal methods Tools and Algorithms for the Construction and Analysis of Systems, 2019, p.3 [Peer Reviewed Journal] ISBN: 3030175014 ;ISBN: 9783030175016 ;DOI: 10.1007/978-3-030-17502-3_1 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
5	Material Type: Article	The Little Engine That Could: Regularization by Denoising (RED) SIAM journal on imaging sciences, 2017-01, Vol.10 (4), p.1804-1844 [Peer Reviewed Journal] ISSN: 1936-4954 ;EISSN: 1936-4954 ;DOI: 10.1137/16M1102884 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
6	Material Type: Article	Deep Convolutional Framelets: A General Deep Learning Framework for Inverse Problems SIAM journal on imaging sciences, 2018-01, Vol.11 (2), p.991-1048 [Peer Reviewed Journal] ISSN: 1936-4954 ;EISSN: 1936-4954 ;DOI: 10.1137/17M1141771 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
7	Material Type: Conference Proceeding	Divisible E-Cash from Constrained Pseudo-Random Functions Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-030-34578-5_24 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
8	Material Type: Conference Proceeding	VerifyThis – Verification Competition with a Human Factor Lecture Notes in Computer Science, 2019, Vol.11429, p.176 [Peer Reviewed Journal] ISSN: 1611-3349 ;ISSN: 0302-9743 ;ISBN: 3030175022 ;ISBN: 9783030175016 ;ISBN: 3030175014 ;ISBN: 9783030175023 ;EISSN: 1611-3349 ;DOI: 10.1007/978-3-030-17502-3_12 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
9	Material Type: Article	Plug-and-Play Unplugged: Optimization-Free Reconstruction Using Consensus Equilibrium SIAM journal on imaging sciences, 2018-01, Vol.11 (3), p.2001-2020 [Peer Reviewed Journal] ISSN: 1936-4954 ;EISSN: 1936-4954 ;DOI: 10.1137/17M1122451 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
10	Material Type: Article	Efficient Bayesian Computation by Proximal Markov Chain Monte Carlo: When Langevin Meets Moreau SIAM journal on imaging sciences, 2018-01, Vol.11 (1), p.473-506 [Peer Reviewed Journal] ISSN: 1936-4954 ;EISSN: 1936-4954 ;DOI: 10.1137/16M1108340 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
11	Material Type: Article	On Structural Parameterizations of the Bounded-Degree Vertex Deletion Problem Algorithmica, 2021-01, Vol.83 (1), p.297-336 [Peer Reviewed Journal] The Author(s) 2020 ;ISSN: 0178-4617 ;EISSN: 1432-0541 ;DOI: 10.1007/s00453-020-00758-8 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
12	Material Type: Conference Proceeding	Verifiable Delay Functions from Supersingular Isogenies and Pairings Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-030-34578-5_10 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
13	Material Type: Article	MIPLIB 2017: data-driven compilation of the 6th mixed-integer programming library Mathematical programming computation, 2021-09, Vol.13 (3), p.443-490 [Peer Reviewed Journal] The Author(s) 2021 ;ISSN: 1867-2949 ;EISSN: 1867-2957 ;DOI: 10.1007/s12532-020-00194-3 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
14	Material Type: Article	New Results on Directed Edge Dominating Set Discrete mathematics and theoretical computer science, 2023-03, Vol.25:1 (1), p.1-38 [Peer Reviewed Journal] Copyright DMTCS 2023 ;Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 1365-8050 ;ISSN: 1462-7264 ;EISSN: 1365-8050 ;DOI: 10.46298/dmtcs.5378 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
15	Material Type: Article	Wasserstein Dictionary Learning: Optimal Transport-Based Unsupervised Nonlinear Dictionary Learning SIAM journal on imaging sciences, 2018-01, Vol.11 (1), p.643-678 [Peer Reviewed Journal] ISSN: 1936-4954 ;EISSN: 1936-4954 ;DOI: 10.1137/17M1140431 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
16	Material Type: Article	A First-Order Primal-Dual Algorithm for Convex Problems with Applications to Imaging Journal of mathematical imaging and vision, 2011-05, Vol.40 (1), p.120-145 [Peer Reviewed Journal] Springer Science+Business Media, LLC 2010 ;ISSN: 0924-9907 ;EISSN: 1573-7683 ;DOI: 10.1007/s10851-010-0251-1 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
17	Material Type: Conference Proceeding	Gradient Visualization for General Characterization in Profiling Attacks Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-030-16350-1_9 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
18	Material Type: Article	A Block Coordinate Descent Method for Regularized Multiconvex Optimization with Applications to Nonnegative Tensor Factorization and Completion SIAM journal on imaging sciences, 2013-01, Vol.6 (3), p.1758-1789 [Peer Reviewed Journal] 2013, Society for Industrial and Applied Mathematics ;ISSN: 1936-4954 ;EISSN: 1936-4954 ;DOI: 10.1137/120887795 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
19	Material Type: Article	When LP Is the Cure for Your Matching Woes: Improved Bounds for Stochastic Matchings Algorithmica, 2012-08, Vol.63 (4), p.733-762 [Peer Reviewed Journal] Springer Science+Business Media, LLC 2011 ;2015 INIST-CNRS ;ISSN: 0178-4617 ;EISSN: 1432-0541 ;DOI: 10.1007/s00453-011-9511-8 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
20	Material Type: Article	Performance and Scalability of the Block Low-Rank Multifrontal Factorization on Multicore Architectures ACM transactions on mathematical software, 2019-02, Vol.45 (1), p.1-23 [Peer Reviewed Journal] Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 0098-3500 ;EISSN: 1557-7295 ;DOI: 10.1145/3242094 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by

Results 1 - 20 of 15,530 for All Library Resources

Sorted by: Sorted by: RelevanceOr hit Enter to replace sort method

Results 1 2 3 4 5

Personalize your results

Edit

Add page to My Research

Refine Search Results

Expand My Results

Expand My Results

Show only

Peer-reviewed Journals (15,301)

on this subject:


INSPIRE LIBRARY - TON DUC THANG UNIVERSITY	(84-028) 37 755 057	Feedback
19 Nguyen Huu Tho St. Dist.7, HCM	thuvien@tdtu.edu.vn	Feedback

Results 1 - 20 of 15,530 for All Library Resources

Attribution ;DOI: 10.1007/978-3-030-34578-5_20

Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-030-17502-3_8

Attribution ;DOI: 10.1007/978-3-030-34621-8_6

ISBN: 3030175014 ;ISBN: 9783030175016 ;DOI: 10.1007/978-3-030-17502-3_1

ISSN: 1936-4954 ;EISSN: 1936-4954 ;DOI: 10.1137/16M1102884

ISSN: 1936-4954 ;EISSN: 1936-4954 ;DOI: 10.1137/17M1141771

Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-030-34578-5_24

ISSN: 1611-3349 ;ISSN: 0302-9743 ;ISBN: 3030175022 ;ISBN: 9783030175016 ;ISBN: 3030175014 ;ISBN: 9783030175023 ;EISSN: 1611-3349 ;DOI: 10.1007/978-3-030-17502-3_12

ISSN: 1936-4954 ;EISSN: 1936-4954 ;DOI: 10.1137/17M1122451

ISSN: 1936-4954 ;EISSN: 1936-4954 ;DOI: 10.1137/16M1108340

The Author(s) 2020 ;ISSN: 0178-4617 ;EISSN: 1432-0541 ;DOI: 10.1007/s00453-020-00758-8

Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-030-34578-5_10

The Author(s) 2021 ;ISSN: 1867-2949 ;EISSN: 1867-2957 ;DOI: 10.1007/s12532-020-00194-3

Copyright DMTCS 2023 ;Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 1365-8050 ;ISSN: 1462-7264 ;EISSN: 1365-8050 ;DOI: 10.46298/dmtcs.5378

ISSN: 1936-4954 ;EISSN: 1936-4954 ;DOI: 10.1137/17M1140431

Springer Science+Business Media, LLC 2010 ;ISSN: 0924-9907 ;EISSN: 1573-7683 ;DOI: 10.1007/s10851-010-0251-1

Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-030-16350-1_9

2013, Society for Industrial and Applied Mathematics ;ISSN: 1936-4954 ;EISSN: 1936-4954 ;DOI: 10.1137/120887795

Springer Science+Business Media, LLC 2011 ;2015 INIST-CNRS ;ISSN: 0178-4617 ;EISSN: 1432-0541 ;DOI: 10.1007/s00453-011-9511-8

Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 0098-3500 ;EISSN: 1557-7295 ;DOI: 10.1145/3242094

Results 1 - 20 of 15,530 for All Library Resources

Personalize your results

Refine Search Results

Expand My Results

Show only

Refine My Results

Creation Date

New Records

Resource Type

Subject

Databases

Language

Journal Title

on this subject:

Searching Remote Databases, Please Wait