Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Conference Proceeding
|
Faster, Higher, Stronger: E 2.3Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-030-29436-6_29Digital Resources/Online E-Resources |
|
2 |
Material Type: Conference Proceeding
|
Postponing Optimization to Speed Up MAXSAT SolvingLecture Notes in Computer Science, 2013, Vol.8124, p.247-262 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2013 ;Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 0302-9743 ;ISBN: 9783642406263 ;ISBN: 3642406262 ;EISSN: 1611-3349 ;EISBN: 9783642406270 ;EISBN: 3642406270 ;DOI: 10.1007/978-3-642-40627-0_21Full text available |
|
3 |
Material Type: Conference Proceeding
|
An Axiomatic Approach to Reversible ComputationDistributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-030-45231-5_23Digital Resources/Online E-Resources |
|
4 |
Material Type: Conference Proceeding
|
JayHorn: A framework for verifying Java programsComputer Aided Verification, 2016, p.352 [Peer Reviewed Journal]ISBN: 9783319415277 ;ISBN: 3319415271 ;DOI: 10.1007/978-3-319-41528-4_19Digital Resources/Online E-Resources |
|
5 |
Material Type: Conference Proceeding
|
A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum MechanicsDistributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1109/LICS.2019.8785765Digital Resources/Online E-Resources |
|
6 |
Material Type: Conference Proceeding
|
Chitosan coating by mechanical milling of MnFe2O4 and Mn0.5Co0.5Fe2O4: Effect of millingJournal of physics. Conference series, 2019, Vol.1310 (1) [Peer Reviewed Journal]Published under licence by IOP Publishing Ltd ;ISSN: 1742-6588 ;EISSN: 1742-6596 ;DOI: 10.1088/1742-6596/1310/1/012016Full text available |
|
7 |
Material Type: Conference Proceeding
|
A note about entropy and inconsistency in evidence theoryLecture Notes in Computer Science, 2021, Vol.12915, p.215-223 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-030-88601-1_22Digital Resources/Online E-Resources |
|
8 |
Material Type: Conference Proceeding
|
Extension of Some Edge Graph Problems: Standard and Parameterized ComplexityFundamentals of Computation Theory: 22nd International Symposium, FCT 2019, Proceedings, 2019, p.185-200 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-030-25027-0_13Digital Resources/Online E-Resources |
|
9 |
Material Type: Conference Proceeding
|
Preparation and Characterization of ZnO & TiO2 Nanocatalysts For Photo Degradation of Bentazon existing in Polluted waterJournal of physics. Conference series, 2019, Vol.1310 (1), p.12015 [Peer Reviewed Journal]Published under licence by IOP Publishing Ltd ;ISSN: 1742-6588 ;EISSN: 1742-6596 ;DOI: 10.1088/1742-6596/1310/1/012015Full text available |
|
10 |
Material Type: Conference Proceeding
|
Comparative study of LPWAN technologies on unlicensed bands for M2M communication in the IoT: Beyond Lora and LorawanThe 16th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2019), 2019, p.343 [Peer Reviewed Journal]DOI: 10.1016/j.procs.2019.08.049Digital Resources/Online E-Resources |
|
11 |
Material Type: Conference Proceeding
|
On the Role of Plasmonic Nanoparticles on the Photocatalytic of TiO2 Nanoparticles for Visible-Light Photoreduction of BicarbonateJournal of physics. Conference series, 2019, Vol.1310 (1) [Peer Reviewed Journal]Published under licence by IOP Publishing Ltd ;ISSN: 1742-6588 ;EISSN: 1742-6596 ;DOI: 10.1088/1742-6596/1310/1/012004Full text available |
|
12 |
Material Type: Conference Proceeding
|
The performance evaluation of nanostructured perovskite-type complex oxides GdBO3 (B = Fe, Co, Mn) for carbon monoxide hydrogenationJournal of physics. Conference series, 2019, Vol.1310 (1) [Peer Reviewed Journal]Published under licence by IOP Publishing Ltd ;ISSN: 1742-6588 ;EISSN: 1742-6596 ;DOI: 10.1088/1742-6596/1310/1/012007Full text available |
|
13 |
Material Type: Conference Proceeding
|
Proving Differential Privacy via Probabilistic CouplingsDistributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1145/2933575.2934554Digital Resources/Online E-Resources |
|
14 |
Material Type: Conference Proceeding
|
IR and Raman markers of Fe(II) spin state in the spin-crossover complex of iron(II) nitrate with tris(3,5-dimethylpyrazol-1-yl)methaneJournal of physics. Conference series, 2019, Vol.1310 (1), p.12006 [Peer Reviewed Journal]Published under licence by IOP Publishing Ltd ;ISSN: 1742-6588 ;EISSN: 1742-6596 ;DOI: 10.1088/1742-6596/1310/1/012006Full text available |
|
15 |
Material Type: Conference Proceeding
|
Minimal Absent Words in a Sliding Window and Applications to On-Line Pattern MatchingDistributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-662-55751-8_14Digital Resources/Online E-Resources |
|
16 |
Material Type: Conference Proceeding
|
Structural and electronic properties of MgGexSn(1-x)N2 semiconductors: The density functional theory investigationJournal of physics. Conference series, 2018, Vol.1144 (1) [Peer Reviewed Journal]Published under licence by IOP Publishing Ltd ;ISSN: 1742-6588 ;EISSN: 1742-6596 ;DOI: 10.1088/1742-6596/1144/1/012149Full text available |
|
17 |
Material Type: Conference Proceeding
|
Study of thermodynamics and complex structures on spin transitions of [Fe 2 (Htrz) 6 (trz) 3 ]Cl and [Fe 4 (Htrz) 10 (trz) 5 ]Cl 3 complexes using the Density Functional Theory methodJournal of physics. Conference series, 2020, Vol.1462 (1), p.12045 [Peer Reviewed Journal]ISSN: 1742-6588 ;EISSN: 1742-6596 ;DOI: 10.1088/1742-6596/1462/1/012045Full text available |
|
18 |
Material Type: Conference Proceeding
|
Short-term forecasting of high resolution local DNI maps with multiple fish-eye cameras in stereoscopic modeAIP conference proceedings, 2017, Vol.1850 (1) [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 0094-243X ;EISSN: 1551-7616 ;DOI: 10.1063/1.4984512Digital Resources/Online E-Resources |
|
19 |
Material Type: Conference Proceeding
|
Phase Change Materials for building envelopes in Reunion Island, FranceJournal of physics. Conference series, 2021, Vol.2042 (1), p.12183 [Peer Reviewed Journal]Published under licence by IOP Publishing Ltd ;Attribution ;ISSN: 1742-6588 ;EISSN: 1742-6596 ;DOI: 10.1088/1742-6596/2042/1/012183Full text available |
|
20 |
Material Type: Conference Proceeding
|
Geometrically activated thermal mass: wood vs. concreteJournal of physics. Conference series, 2021, Vol.2042 (1), p.12156 [Peer Reviewed Journal]Published under licence by IOP Publishing Ltd ;ISSN: 1742-6588 ;EISSN: 1742-6596 ;DOI: 10.1088/1742-6596/2042/1/012156Full text available |