Filter by
Hypergraph Computation
This open access book discusses the theory and methods of hypergraph computation. Many underlying relationships among data can be represented using graphs, for example in the areas including computer vision, molecular chemistry, molecular biology, etc. In the last decade, methods like graph-based learning and neural network methods have been developed to process such data, they are particula…
- Edition
- 1
- ISBN/ISSN
- 978-981-99-0185-2
- Collation
- -
- Series Title
- Artificial Intelligence: Foundations, Theory, and Algorithms
- Call Number
- XVI, 244
Vulnerability Revisited
Open access. This open-access book discusses vulnerability and the protection-inclusion dilemma of including those who suffer from serious poverty, severe stigma, and structural violence in research. Co-written with representatives from indigenous peoples in South Africa and sex workers in Nairobi, the authors come down firmly on the side of inclusion. In the spirit of leaving no one behind in …
- Edition
- 1
- ISBN/ISSN
- 978-3-031-57896-0
- Collation
- -
- Series Title
- SpringerBriefs in Research and Innovation Governance
- Call Number
- XIX, 145
Vulnerability Revisited
Open access. This open-access book discusses vulnerability and the protection-inclusion dilemma of including those who suffer from serious poverty, severe stigma, and structural violence in research. Co-written with representatives from indigenous peoples in South Africa and sex workers in Nairobi, the authors come down firmly on the side of inclusion. In the spirit of leaving no one behind in …
- Edition
- 1
- ISBN/ISSN
- 978-3-031-57896-0
- Collation
- -
- Series Title
- SpringerBriefs in Research and Innovation Governance
- Call Number
- XIX, 145
Equitable Research Partnerships
This open access book offers insights into the development of the ground-breaking Global Code of Conduct for Research in Resource-Poor Settings (GCC) and the San Code of Research Ethics. Using a new, intuitive moral framework predicated on fairness, respect, care and honesty, both codes target ethics dumping – the export of unethical research practices from a high-income setting to a lower- o…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-15745-6
- Collation
- -
- Series Title
- SpringerBriefs in Research and Innovation Governance
- Call Number
- XIX, 122
Ethics Dumping
This open access book provides original, up-to-date case studies of “ethics dumping” that were largely facilitated by loopholes in the ethics governance of low and middle-income countries. It is instructive even to experienced researchers since it provides a voice to vulnerable populations from the fore mentioned countries. Ensuring the ethical conduct of North-South collaborations in resea…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-64731-9
- Collation
- -
- Series Title
- SpringerBriefs in Research and Innovation Governance
- Call Number
- XIII, 134
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, …
The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I…
- Edition
- 1
- ISBN/ISSN
- 9783031377099
- Collation
- XVII, 502
- Series Title
- -
- Call Number
- -
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, …
The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I…
- Edition
- 1
- ISBN/ISSN
- 9783031377037
- Collation
- XVI, 460
- Series Title
- -
- Call Number
- -
Fundamental Approaches to Software Engineering: 26th International Conference…
This open access book constitutes the proceedings of the 26th International Conference on Fundamental Approaches to Software Engineering, FASE 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 12 regular papers presented in this volume were carefully reviewed and selected from 50 subm…
- Edition
- 1
- ISBN/ISSN
- 9783031308260
- Collation
- XVI, 332
- Series Title
- -
- Call Number
- -
Fundamental Approaches to Software Engineering: 25th International Conference…
This open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was held during April 4-5, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 17 regular papers presented in this volume were carefully reviewed and selected from 64 submis…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-99429-7
- Collation
- XIV, 347
- Series Title
- -
- Call Number
- -
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, …
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following …
- Edition
- 1
- ISBN/ISSN
- 9783031131882
- Collation
- XIX, 549
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography