Language:

Results 1 - 20 of 53,756 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 (50,819)

Refined by: subject: Mathematics, Applied

subject: Physical Sciences

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: Book	Mathematics of Fuzzy Sets and Fuzzy Logic Springer-Verlag Berlin Heidelberg 2013 ;ISSN: 1434-9922 ;ISBN: 3642352219 ;ISBN: 9783642352218 ;ISBN: 3642352200 ;ISBN: 9783642352201 ;EISSN: 1860-0808 ;EISBN: 3642352219 ;EISBN: 9783642352218 ;DOI: 10.1007/978-3-642-35221-8 ;OCLC: 822994937 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
3	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
4	Material Type: Book	Chaos-based Cryptography: Theory, Algorithms and Applications Springer Berlin Heidelberg 2011 ;ISSN: 1860-949X ;ISBN: 3642205429 ;ISBN: 9783642205422 ;ISBN: 3642205410 ;ISBN: 9783642205415 ;EISSN: 1860-9503 ;EISBN: 3642205429 ;EISBN: 9783642205422 ;DOI: 10.1007/978-3-642-20542-2 ;OCLC: 753486365 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
5	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
6	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
7	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
8	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
9	Material Type: Article	Fully homomorphic SIMD operations Designs, codes, and cryptography, 2014-04, Vol.71 (1), p.57-81 [Peer Reviewed Journal] Springer Science+Business Media, LLC 2012 ;2015 INIST-CNRS ;ISSN: 0925-1022 ;EISSN: 1573-7586 ;DOI: 10.1007/s10623-012-9720-4 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
10	Material Type: Article	TFHE: Fast Fully Homomorphic Encryption Over the Torus Journal of cryptology, 2020-01, Vol.33 (1), p.34-91 [Peer Reviewed Journal] Attribution ;ISSN: 0933-2790 ;EISSN: 1432-1378 ;DOI: 10.1007/s00145-019-09319-x Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
11	Material Type: Article	Physical Zero-Knowledge Proof and NP-completeness Proof of Suguru Puzzle Information and computation, 2022-05 [Peer Reviewed Journal] Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 0890-5401 ;EISSN: 1090-2651 ;DOI: 10.1016/j.ic.2021.104858 Digital Resources/Online E-Resources View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
12	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
13	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
14	Material Type: Article	Maximizing a Monotone Submodular Function Subject to a Matroid Constraint SIAM journal on computing, 2011-01, Vol.40 (6), p.1740-1766 [Peer Reviewed Journal] Copyright © 2011 Society for Industrial and Applied Mathematics ;ISSN: 0097-5397 ;EISSN: 1095-7111 ;DOI: 10.1137/080733991 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
15	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
16	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
17	Material Type: Conference Proceeding	Java Pathfinder at SV-COMP 2019 (Competition Contribution) 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22nd European Joint Conferences on Theory and Practice of Software, ETAPS 2019, 2019, p.224 [Peer Reviewed Journal] ISBN: 3030175014 ;ISBN: 9783030175016 ;DOI: 10.1007/978-3-030-17502-3_18 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by
18	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
19	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
20	Material Type: Article	Graph Sparsification by Effective Resistances SIAM journal on computing, 2011-01, Vol.40 (6), p.1913-1926 [Peer Reviewed Journal] Copyright © 2011 Society for Industrial and Applied Mathematics ;ISSN: 0097-5397 ;EISSN: 1095-7111 ;DOI: 10.1137/080734029 Full text available View Online Details Recommendations Reviews Times Cited External Links Citations Cited by

Results 1 - 20 of 53,756 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 (50,819)

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 53,756 for All Library Resources

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

Springer-Verlag Berlin Heidelberg 2013 ;ISSN: 1434-9922 ;ISBN: 3642352219 ;ISBN: 9783642352218 ;ISBN: 3642352200 ;ISBN: 9783642352201 ;EISSN: 1860-0808 ;EISBN: 3642352219 ;EISBN: 9783642352218 ;DOI: 10.1007/978-3-642-35221-8 ;OCLC: 822994937

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

Springer Berlin Heidelberg 2011 ;ISSN: 1860-949X ;ISBN: 3642205429 ;ISBN: 9783642205422 ;ISBN: 3642205410 ;ISBN: 9783642205415 ;EISSN: 1860-9503 ;EISBN: 3642205429 ;EISBN: 9783642205422 ;DOI: 10.1007/978-3-642-20542-2 ;OCLC: 753486365

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

Springer Science+Business Media, LLC 2012 ;2015 INIST-CNRS ;ISSN: 0925-1022 ;EISSN: 1573-7586 ;DOI: 10.1007/s10623-012-9720-4

Attribution ;ISSN: 0933-2790 ;EISSN: 1432-1378 ;DOI: 10.1007/s00145-019-09319-x

Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 0890-5401 ;EISSN: 1090-2651 ;DOI: 10.1016/j.ic.2021.104858

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

Copyright © 2011 Society for Industrial and Applied Mathematics ;ISSN: 0097-5397 ;EISSN: 1095-7111 ;DOI: 10.1137/080733991

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

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

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

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

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

Copyright © 2011 Society for Industrial and Applied Mathematics ;ISSN: 0097-5397 ;EISSN: 1095-7111 ;DOI: 10.1137/080734029

Results 1 - 20 of 53,756 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