skip to main content
Language:
Search Limited to: Search Limited to: Resource type Show Results with: Show Results with: Search type Index

Results 1 - 20 of 5,471  for All Library Resources

Results 1 2 3 4 5 next page
Show only
Refined by: resource type: Conference Proceedings remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Faster, Higher, Stronger: E 2.3
Material Type:
Conference Proceeding
Add to My Research

Faster, Higher, Stronger: E 2.3

Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-030-29436-6_29

Digital Resources/Online E-Resources

2
Postponing Optimization to Speed Up MAXSAT Solving
Material Type:
Conference Proceeding
Add to My Research

Postponing Optimization to Speed Up MAXSAT Solving

Lecture 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_21

Full text available

3
An Axiomatic Approach to Reversible Computation
Material Type:
Conference Proceeding
Add to My Research

An Axiomatic Approach to Reversible Computation

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

Digital Resources/Online E-Resources

4
JayHorn: A framework for verifying Java programs
Material Type:
Conference Proceeding
Add to My Research

JayHorn: A framework for verifying Java programs

Computer Aided Verification, 2016, p.352 [Peer Reviewed Journal]

ISBN: 9783319415277 ;ISBN: 3319415271 ;DOI: 10.1007/978-3-319-41528-4_19

Digital Resources/Online E-Resources

5
A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics
Material Type:
Conference Proceeding
Add to My Research

A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics

Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1109/LICS.2019.8785765

Digital Resources/Online E-Resources

6
Chitosan coating by mechanical milling of MnFe2O4 and Mn0.5Co0.5Fe2O4: Effect of milling
Material Type:
Conference Proceeding
Add to My Research

Chitosan coating by mechanical milling of MnFe2O4 and Mn0.5Co0.5Fe2O4: Effect of milling

Journal 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/012016

Full text available

7
A note about entropy and inconsistency in evidence theory
Material Type:
Conference Proceeding
Add to My Research

A note about entropy and inconsistency in evidence theory

Lecture 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_22

Digital Resources/Online E-Resources

8
Extension of Some Edge Graph Problems: Standard and Parameterized Complexity
Material Type:
Conference Proceeding
Add to My Research

Extension of Some Edge Graph Problems: Standard and Parameterized Complexity

Fundamentals 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_13

Digital Resources/Online E-Resources

9
Preparation and Characterization of ZnO & TiO2 Nanocatalysts For Photo Degradation of Bentazon existing in Polluted water
Material Type:
Conference Proceeding
Add to My Research

Preparation and Characterization of ZnO & TiO2 Nanocatalysts For Photo Degradation of Bentazon existing in Polluted water

Journal 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/012015

Full text available

10
Comparative study of LPWAN technologies on unlicensed bands for M2M communication in the IoT: Beyond Lora and Lorawan
Material Type:
Conference Proceeding
Add to My Research

Comparative study of LPWAN technologies on unlicensed bands for M2M communication in the IoT: Beyond Lora and Lorawan

The 16th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2019), 2019, p.343 [Peer Reviewed Journal]

DOI: 10.1016/j.procs.2019.08.049

Digital Resources/Online E-Resources

11
On the Role of Plasmonic Nanoparticles on the Photocatalytic of TiO2 Nanoparticles for Visible-Light Photoreduction of Bicarbonate
Material Type:
Conference Proceeding
Add to My Research

On the Role of Plasmonic Nanoparticles on the Photocatalytic of TiO2 Nanoparticles for Visible-Light Photoreduction of Bicarbonate

Journal 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/012004

Full text available

12
The performance evaluation of nanostructured perovskite-type complex oxides GdBO3 (B = Fe, Co, Mn) for carbon monoxide hydrogenation
Material Type:
Conference Proceeding
Add to My Research

The performance evaluation of nanostructured perovskite-type complex oxides GdBO3 (B = Fe, Co, Mn) for carbon monoxide hydrogenation

Journal 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/012007

Full text available

13
Proving Differential Privacy via Probabilistic Couplings
Material Type:
Conference Proceeding
Add to My Research

Proving Differential Privacy via Probabilistic Couplings

Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1145/2933575.2934554

Digital Resources/Online E-Resources

14
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)methane
Material Type:
Conference Proceeding
Add to My Research

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)methane

Journal 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/012006

Full text available

15
Minimal Absent Words in a Sliding Window and Applications to On-Line Pattern Matching
Material Type:
Conference Proceeding
Add to My Research

Minimal Absent Words in a Sliding Window and Applications to On-Line Pattern Matching

Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-662-55751-8_14

Digital Resources/Online E-Resources

16
Structural and electronic properties of MgGexSn(1-x)N2 semiconductors: The density functional theory investigation
Material Type:
Conference Proceeding
Add to My Research

Structural and electronic properties of MgGexSn(1-x)N2 semiconductors: The density functional theory investigation

Journal 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/012149

Full text available

17
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 method
Material Type:
Conference Proceeding
Add to My Research

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 method

Journal 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/012045

Full text available

18
Short-term forecasting of high resolution local DNI maps with multiple fish-eye cameras in stereoscopic mode
Material Type:
Conference Proceeding
Add to My Research

Short-term forecasting of high resolution local DNI maps with multiple fish-eye cameras in stereoscopic mode

AIP 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.4984512

Digital Resources/Online E-Resources

19
Phase Change Materials for building envelopes in Reunion Island, France
Material Type:
Conference Proceeding
Add to My Research

Phase Change Materials for building envelopes in Reunion Island, France

Journal 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/012183

Full text available

20
Geometrically activated thermal mass: wood vs. concrete
Material Type:
Conference Proceeding
Add to My Research

Geometrically activated thermal mass: wood vs. concrete

Journal 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/012156

Full text available

Results 1 - 20 of 5,471  for All Library Resources

Results 1 2 3 4 5 next page

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Show only

  1. Peer-reviewed Journals (2,795)

Refine My Results

Creation Date 

From To
  1. Before 1993  (21)
  2. 1993 To 1999  (16)
  3. 2000 To 2007  (202)
  4. 2008 To 2015  (1,742)
  5. After 2015  (3,571)
  6. More options open sub menu

Language 

  1. Japanese  (23)
  2. Norwegian  (3)
  3. Welsh  (1)
  4. Russian  (1)
  5. French  (1)
  6. Spanish  (1)
  7. More options open sub menu

Searching Remote Databases, Please Wait