Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Book Chapter
|
Zero-Knowledge Arguments for Lattice-Based Accumulators: Logarithmic-Size Ring Signatures and Group Signatures Without TrapdoorsDistributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-662-49896-5_1Digital Resources/Online E-Resources |
|
2 |
Material Type: Book Chapter
|
Algorithmic Statistics: Forty Years LaterComputability and Complexity. Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday, 2017, Vol.10010, p.669-737 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;ISBN: 9783319500614 ;ISBN: 3319500619 ;DOI: 10.1007/978-3-319-50062-1_41Digital Resources/Online E-Resources |
|
3 |
Material Type: Book Chapter
|
Current Advances, Trends and Challenges of Machine Learning and Knowledge Extraction: From Machine Learning to Explainable AILecture Notes in Computer Science, 2018, Vol.LNCS-11015, p.1-8 [Peer Reviewed Journal]Attribution ;DOI: 10.1007/978-3-319-99740-7_1Digital Resources/Online E-Resources |
|
4 |
Material Type: Book Chapter
|
Introduction to the Theory of Gibbs Point ProcessesStochastic Geometry, 2019, Vol.2237, p.181-229 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-030-13547-8_5Digital Resources/Online E-Resources |
|
5 |
Material Type: Book Chapter
|
Gossip Learning as a Decentralized Alternative to Federated LearningLecture Notes in Computer Science, 2019, Vol.LNCS-11534, p.74-90 [Peer Reviewed Journal]Attribution ;DOI: 10.1007/978-3-030-22496-7_5Digital Resources/Online E-Resources |
|
6 |
Material Type: Book Chapter
|
A Hierarchy of Monadic Effects for Program Verification Using Equational ReasoningMathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, 2019, p.226-254 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-030-33636-3_9Digital Resources/Online E-Resources |
|
7 |
Material Type: Book Chapter
|
The Mitochondrial Pathways of ApoptosisAdvances in experimental medicine and biology, 2012, Vol.942, p.157-183 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 0065-2598 ;DOI: 10.1007/978-94-007-2869-1_7Digital Resources/Online E-Resources |
|
8 |
Material Type: Book Chapter
|
A Decision Tree Abstract Domain for Proving Conditional TerminationDistributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-319-10936-7_19Digital Resources/Online E-Resources |
|
9 |
Material Type: Book Chapter
|
Notes on the geometric Satake equivalenceRelative aspects in Representation Theory, Langlands Functoriality and Automorphic Forms, 2018, Vol.2221, p.1-134 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;ISBN: 9783319952307 ;ISBN: 3319952307 ;DOI: 10.1007/978-3-319-95231-4_1Digital Resources/Online E-Resources |
|
10 |
Material Type: Book Chapter
|
An overview of recent results on Nitsche's method for contact problemsLecture Notes in Computational Science and Engineering, 2017, Vol.121, p.93-141 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-319-71431-8_4Digital Resources/Online E-Resources |
|
11 |
Material Type: Book Chapter
|
Weakly Supervised Action Labeling in Videos Under Ordering ConstraintsDistributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-319-10602-1_41Digital Resources/Online E-Resources |
|
12 |
Material Type: Book Chapter
|
Alkene Metathesis for Transformations of RenewablesOrganometallics for Green Catalysis, 2019, p.77-102 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/3418_2018_18Digital Resources/Online E-Resources |
|
13 |
Material Type: Book Chapter
|
Revisiting Postulates for Inconsistency MeasuresLogics in Artificial Intelligence: 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings ; ISBN: 978-3-319-11557-3, 2014, Vol.8761, p.383-396 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-319-11558-0_27Digital Resources/Online E-Resources |
|
14 |
Material Type: Book Chapter
|
Nanochemistry by Thermoplasmonic EffectsProgress in Nanophotonics 7, 2022, Vol.147, p.71-91 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-031-16518-4_3Digital Resources/Online E-Resources |
|
15 |
Material Type: Book Chapter
|
Exploiting pointer analysis in memory models for deductive verificationLecture notes in computer science, 2019, Vol.11388 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 0302-9743 ;EISSN: 1611-3349 ;DOI: 10.1007/978-3-030-11245-5_8Digital Resources/Online E-Resources |
|
16 |
Material Type: Book Chapter
|
Refinement Metrics for Quantitative Information FlowThe Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy. Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, 2019, Vol.11760, p.397-416 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;ISBN: 3030311740 ;ISBN: 9783030311742 ;DOI: 10.1007/978-3-030-31175-9_23Digital Resources/Online E-Resources |
|
17 |
Material Type: Book Chapter
|
Overview of the ImageCLEF 2022: Multimedia retrieval in medical, social media and nature applicationsLecture notes in computer science, 2022, Vol.13390, p.541-564 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 0302-9743 ;EISSN: 1611-3349 ;DOI: 10.1007/978-3-031-13643-6_31Digital Resources/Online E-Resources |
|
18 |
Material Type: Book Chapter
|
On the use of complex GTOs for the evaluation of radial integrals involving oscillating functionsAdvances in quantum chemistry, 2023, Vol.88, p.133-149 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 0065-3276 ;EISSN: 2162-8815 ;DOI: 10.1016/bs.aiq.2023.03.002Digital Resources/Online E-Resources |
|
19 |
Material Type: Book Chapter
|
Actively Secure 1-out-of-N OT Extension with Application to Private Set IntersectionCT-RSA 2017: Topics in Cryptology – CT-RSA 2017, 2017, Vol.10159, p.381-396 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-319-52153-4_22Digital Resources/Online E-Resources |
|
20 |
Material Type: Book Chapter
|
Dual Crosslink Hydrogels with Metal-Ligand Coordination Bonds: Tunable Dynamics and Mechanics Under Large DeformationSelf-Healing and Self-Recovering Hydrogels, 2020, p.1-20 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/12_2020_62Digital Resources/Online E-Resources |