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 24  for All Library Resources

Results 1 2 next page
Show only
Refined by: subject: Technology remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Pulsed and oscillating gradient MRI for assessment of cell size and extracellular space (POMACE) in mouse gliomas
Material Type:
Article
Add to My Research

Pulsed and oscillating gradient MRI for assessment of cell size and extracellular space (POMACE) in mouse gliomas

NMR in biomedicine, 2016-10, Vol.29 (10), p.1350-1363 [Peer Reviewed Journal]

Copyright © 2016 John Wiley & Sons, Ltd. ;ISSN: 0952-3480 ;EISSN: 1099-1492 ;DOI: 10.1002/nbm.3577 ;PMID: 27448059

Full text available

2
Collaborative Network Monitoring by Means of Laplacian Spectrum Estimation and Average Consensus
Material Type:
Article
Add to My Research

Collaborative Network Monitoring by Means of Laplacian Spectrum Estimation and Average Consensus

International journal of control, automation, and systems, 2019-07, Vol.17 (7), p.1826-1837

Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 1598-6446 ;EISSN: 2005-4092 ;DOI: 10.1007/s12555-018-0638-0

Digital Resources/Online E-Resources

3
Differential pressure sensor using a piezoresistive cantilever
Material Type:
Article
Add to My Research

Differential pressure sensor using a piezoresistive cantilever

Journal of micromechanics and microengineering, 2012-05, Vol.22 (5), p.55015-6 [Peer Reviewed Journal]

2012 IOP Publishing Ltd ;2015 INIST-CNRS ;ISSN: 0960-1317 ;EISSN: 1361-6439 ;DOI: 10.1088/0960-1317/22/5/055015 ;CODEN: JMMIEZ

Full text available

4
Concensus-Based ALADIN Method to Faster the Decentralized Estimation of Laplacian Spectrum
Material Type:
Article
Add to My Research

Concensus-Based ALADIN Method to Faster the Decentralized Estimation of Laplacian Spectrum

Applied sciences, 2020-08, Vol.10 (16), p.5625 [Peer Reviewed Journal]

2020. This work is licensed under http://creativecommons.org/licenses/by/3.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;ISSN: 2076-3417 ;EISSN: 2076-3417 ;DOI: 10.3390/app10165625

Full text available

5
Elastic Wave Measurement Using a MEMS AE Sensor
Material Type:
Article
Add to My Research

Elastic Wave Measurement Using a MEMS AE Sensor

Applied sciences, 2017-07, Vol.7 (7), p.737 [Peer Reviewed Journal]

2017 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;ISSN: 2076-3417 ;EISSN: 2076-3417 ;DOI: 10.3390/app7070737

Full text available

6
Functionalization of Fe3O4 nanoparticles with biodegradable chitosan-grafted-mPEG for paclitaxel delivery
Material Type:
Article
Add to My Research

Functionalization of Fe3O4 nanoparticles with biodegradable chitosan-grafted-mPEG for paclitaxel delivery

Green processing and synthesis, 2016-10, Vol.5 (5), p.459-466 [Peer Reviewed Journal]

ISSN: 2191-9542 ;EISSN: 2191-9550 ;DOI: 10.1515/gps-2016-0093

Full text available

7
Closure and Consistency In Logic-Associated Argumentation
Material Type:
Article
Add to My Research

Closure and Consistency In Logic-Associated Argumentation

The Journal of artificial intelligence research, 2014-01, Vol.49, p.79-109 [Peer Reviewed Journal]

2014. Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the associated terms available at https://www.jair.org/index.php/jair/about ;ISSN: 1076-9757 ;EISSN: 1943-5037 ;DOI: 10.1613/jair.4107

Full text available

8
Towards Building an Intelligent Call Routing System
Material Type:
Article
Add to My Research

Towards Building an Intelligent Call Routing System

International journal of advanced computer science & applications, 2016, Vol.7 (1)

2016. This work is licensed under https://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;ISSN: 2158-107X ;EISSN: 2156-5570 ;DOI: 10.14569/IJACSA.2016.070162

Full text available

9
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
Material Type:
Article
Add to My Research

On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games

Artificial intelligence, 1995-09, Vol.77 (2), p.321-357 [Peer Reviewed Journal]

1995 ;1996 INIST-CNRS ;ISSN: 0004-3702 ;EISSN: 1872-7921 ;DOI: 10.1016/0004-3702(94)00041-X ;CODEN: AINTBB

Full text available

10
The modular logic of private international law
Material Type:
Article
Add to My Research

The modular logic of private international law

Artificial intelligence and law, 2011-08, Vol.19 (2-3), p.233-261 [Peer Reviewed Journal]

Springer Science+Business Media B.V. 2011 ;COPYRIGHT 2011 Springer ;ISSN: 0924-8463 ;EISSN: 1572-8382 ;DOI: 10.1007/s10506-011-9112-5

Full text available

11
Representing the semantics of abstract dialectical frameworks based on arguments and attacks
Material Type:
Article
Add to My Research

Representing the semantics of abstract dialectical frameworks based on arguments and attacks

Argument & computation, 2018-01, Vol.9 (3), p.249-267 [Peer Reviewed Journal]

ISSN: 1946-2166 ;EISSN: 1946-2174 ;DOI: 10.3233/AAC-180427

Full text available

12
Meteorological and Hydrological Drought Assessment for Dong Nai River Basin, Vietnam under Climate Change
Material Type:
Article
Add to My Research

Meteorological and Hydrological Drought Assessment for Dong Nai River Basin, Vietnam under Climate Change

Mobile networks and applications, 2021-08, Vol.26 (4), p.1788-1800 [Peer Reviewed Journal]

The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature 2021 ;The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature 2021. ;ISSN: 1383-469X ;EISSN: 1572-8153 ;DOI: 10.1007/s11036-021-01757-x

Full text available

13
Modular argumentation for modelling legal doctrines in common law of contract
Material Type:
Article
Add to My Research

Modular argumentation for modelling legal doctrines in common law of contract

Artificial intelligence and law, 2009-09, Vol.17 (3), p.167-182 [Peer Reviewed Journal]

Springer Science+Business Media B.V. 2009 ;ISSN: 0924-8463 ;EISSN: 1572-8382 ;DOI: 10.1007/s10506-009-9076-x

Full text available

14
Biomimetic strategy for constructing Clostridium thermocellum cellulosomal operons in Bacillus subtilis
Material Type:
Article
Add to My Research

Biomimetic strategy for constructing Clostridium thermocellum cellulosomal operons in Bacillus subtilis

Biotechnology for biofuels, 2018-06, Vol.11 (1), p.157-157, Article 157

COPYRIGHT 2018 BioMed Central Ltd. ;COPYRIGHT 2018 BioMed Central Ltd. ;Copyright © 2018. This work is licensed under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and conditions, you may use this content in accordance with the terms of the License. ;The Author(s) 2018 ;ISSN: 1754-6834 ;EISSN: 1754-6834 ;DOI: 10.1186/s13068-018-1151-7 ;PMID: 29930703

Full text available

15
Trust Negotiation with Nonmonotonic Access Policies
Material Type:
Book Chapter
Add to My Research

Trust Negotiation with Nonmonotonic Access Policies

Intelligence in Communication Systems, 2004, p.70-84 [Peer Reviewed Journal]

Springer-Verlag Berlin Heidelberg 2004 ;2005 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 354023893X ;ISBN: 9783540238935 ;EISSN: 1611-3349 ;EISBN: 9783540301790 ;EISBN: 3540301798 ;DOI: 10.1007/978-3-540-30179-0_6

Full text available

16
Partial deduction of logic programs wrt well-founded semantics
Material Type:
Article
Add to My Research

Partial deduction of logic programs wrt well-founded semantics

New generation computing, 1994-12, Vol.13 (1), p.45-74 [Peer Reviewed Journal]

1995 INIST-CNRS ;ISSN: 0288-3635 ;EISSN: 1882-7055 ;DOI: 10.1007/bf03038308 ;CODEN: NGCOE5

Full text available

17
On the correctness of unfold/fold transformation of normal and extended logic programs
Material Type:
Article
Add to My Research

On the correctness of unfold/fold transformation of normal and extended logic programs

The journal of logic programming, 1995-09, Vol.24 (3), p.201-217

1995 ;1995 INIST-CNRS ;ISSN: 0743-1066 ;EISSN: 1873-5789 ;DOI: 10.1016/0743-1066(94)00104-E ;CODEN: JLPRE2

Full text available

18
An argumentation-theoretic foundation for logic programming
Material Type:
Article
Add to My Research

An argumentation-theoretic foundation for logic programming

The journal of logic programming, 1995-02, Vol.22 (2), p.151-177

1995 ;1995 INIST-CNRS ;ISSN: 0743-1066 ;EISSN: 1873-5789 ;DOI: 10.1016/0743-1066(95)94697-X ;CODEN: JLPRE2

Full text available

19
Default reasoning with specificity
Material Type:
Conference Proceeding
Add to My Research

Default reasoning with specificity

Lecture notes in computer science, 2000, p.792-806 [Peer Reviewed Journal]

2000 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540677970 ;ISBN: 3540677976 ;EISSN: 1611-3349

Full text available

20
Towards a Common Framework for Dialectical Proof Procedures in Abstract Argumentation
Material Type:
Article
Add to My Research

Towards a Common Framework for Dialectical Proof Procedures in Abstract Argumentation

Journal of logic and computation, 2009-12, Vol.19 (6), p.1071-1109 [Peer Reviewed Journal]

The Author, 2009. Published by Oxford University Press. All rights reserved. For Permissions, please email: journals.permissions@oxfordjournals.org 2009 ;ISSN: 0955-792X ;EISSN: 1465-363X ;DOI: 10.1093/logcom/exp032

Full text available

Results 1 - 20 of 24  for All Library Resources

Results 1 2 next page

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Show only

  1. Peer-reviewed Journals (19)

Refine My Results

Creation Date 

From To
  1. Before 1997  (6)
  2. 1997 To 2003  (3)
  3. 2004 To 2010  (4)
  4. 2011 To 2016  (6)
  5. After 2016  (6)
  6. More options open sub menu

Searching Remote Databases, Please Wait