Exclude:

OPAC

E-Resources

Federated Resources

Premium Resources

Showing all Resources, Excluding Opac and Electronic resources

Refueling: Preventing wire degradation due to electromigration

Author:Jaume Abella Ferrer, Oguz Ergin, Antonio María González Colás, James W. Tschanz, Osman Sabri Unsal, Francisco Javier Vera Rivera
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: Electromigration is a major source of wire and via failure. Refueling undoes EM for bidirectional w…

Ambient-aware continuous care through semantic context dissemination

Author:A Mihailidis, A Valls, AK Dey, AK Dey, AL Rector, Ann Ackaert, B Hu, B Jansen, B Motik, C Chen, C Orwat, C Wroe, D Lee, D Martin, D Zhang, DL McGuinnes, E Kim, E Sirin, F Baader, F De Backere, F Manola, F Ongenae, F Ongenae, F Ongenae, F Ongenae, F Paganelli, F Siegemund, F Van den Abeele, Femke Ongenae, Filip De Turck, H Byun, H Chen, I Filali, I Horrocks, I Korhonen, J Anderston, J Ash, J Bardram, J Famaey, J Famaey, J Hong, JA Blake, JC Burgelman, Jeroen Famaey, JH Jahnke, JJ Carroll, K Fishkin, L Ma, LOBS Santos, M Baldauf, M Corporation, M Horridge, M Román, M Tentori, MA Muñoz, MB Skov, MD Rodrúguez, MJ O‚ÄôConnor, N Bricon-Souf, P Barnaghi, P de Toledo, P Korpip√§√§, Piet Verhoeve, R Cornet, RL Mattson, S Kumar, S Mitchell, S Schulz, S Verstichel, S Verstichel, Saar De Zutter, Steven Latré, Stijn Verstichel, T Chin, T Gu, T Strang, T Suzuki, TH Cormen, TH Knublauch, TR Gruber, U Varshney, V Stanford, VFS Fook, W Xue, W3C Semantic Sensor NetworkIncubatorGroup, Y Punie
Publisher:Springer Science and Business Media LLC
Abstract: Background: The ultimate ambient-intelligent care room contains numerous sensors and devices to mon…

Performance analysis and optimization of automatic speech recognition

Author:José Marúa Arnau Montañés, Antonio Marúa González Colás, Hamid Tabani, Jordi Tubella Murgadas
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: ¬© 2018 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for…

Verifying Safety Properties With the TLA+ Proof System

Author:A. Chaieb, B. Alpern, E. Gafni, L. Lamport, L. Lamport, L. Lamport, P. Corbineau, R. Bonichon, T. Bouton
Publisher:Springer Science and Business Media LLC
Abstract: TLAPS, the TLA+ proof system, is a platform for the development and mechanical verification of TLA+…

Airborne chemical sensing with mobile robots

Author:Achim Lilienthal, Albert, Amy Loutfi, Arshak, Atema, Blumenthal, Braitenberg, Carey, Deveza, Dickinson, Duda, Eiben, Engelberger, Gardner, Gardner, Hangartner, Haug, Hayes, Hayes, Hinze, Ishida, Ishida, Ishida, Ishida, Ishida, Ishida, Ishida, Ishida, Ishida, Ishida, Kaneyasu, Kanzaki, Kanzaki, Kleperis, Kolb, Kreutz, Kuwana, Larionova, Lilienthal, Lilienthal, Lilienthal, Loutfi, Loutfi, Martinez, Moncrieff, Munoz, Murlis, Nagle, Nakamoto, Nakamoto, Olafsson, Organisation, Partridge, Parzen, Pearce, Penza, Persaud, Pluijm, Pyk, Raub, Rechenberg, Roberts, Russell, Russell, Russell, Russell, Russell, Sauerbrey, Schaller, Schwefel, Smyth, Sudd, Tom Duckett, Townsend, Wilkens, Winquist
Publisher:MDPI AG
Abstract: Airborne chemical sensing with mobile robots has been an active research areasince the beginning of…

Mining Domain-Specific Thesauri from Wikipedia: A case study

Author:Olena Medelyan, David N. Milne, Ian H. Witten
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: Domain-specific thesauri are high-cost, high-maintenance, high-value knowledge structures. We show …

A framework to analyze argumentative knowledge construction in computer-supported collaborative learning

Author:Armin Weinberger, Baker, Baker, Barab, Chan, Chi, Chi, Chi, Clark, Cobb, Cohen, Cohen, Cooke, De Grave, Dillenbourg, Doise, Fischer, Fischer, Frank Fischer, Hakkarainen, Heider, Hogan, Huber, Janetzko, Keefer, Kern, Kerr, Kiesler, Kiesler, King, King, Kollar, Kreijns, Kuhn, Latané, Leit√£o, Linn, Marttunen, M√§kitalo, Nastasi, Palincsar, Pontecorvo, Quinn, Rice, Roschelle, Rosenshine, Salomon, Schwarz, Spiro, Stegmann, Teasley, Toulmin, van Boxtel, van Eemeren, Voss, Voss, Vygotsky, Walton, Webb, Webb, Weinberger, Weiner
Publisher:Elsevier BV
Abstract: Computer-supported collaborative learning (CSCL) is often based on written argumentative discourse …

Visual Model-Driven Design, Verification and Implementation of Security Protocols

Author:Piergiuseppe Bettassa Copet, Alfredo Pironti, Davide Pozza, Riccardo Sisto, Pietro Vivoli
Publisher:EE
Abstract: A novel visual model-driven approach to security protocol design, verification, and implementation …

Modelling multi-tier enterprise applications behaviour with design of experiments technique

Author:P Jamshidi, T Ustinova
Publisher:C
Abstract: Queueing network models are commonly used for performance modelling. However, through application d…

Individualization as driving force of clustering phenomena in humans

Author:A Flache, A Nowak, AL Barabasi, Andreas Flache, Carl T. Bergstrom, CR Snyder, D Lazer, D Liben-Nowell, Dirk Helbing, DJ Watts, E Ben-Jacob, E Bonabeau, E Durkheim, E Durkheim, EL Glaeser, F Liljeros, FJ Milliken, G Deffuant, G Palla, HA Makse, HE Stanley, ID Couzin, J Gautrais, K Klemm, K Sznajd-Weron, L Behera, LR Izquierdo, M Ballerini, M Batty, M McPherson, M McPherson, M Moussaid, M Pineda, MEJ Newman, Michael Mäs, MJ Greig, MJ Hornsey, MP Fiorina, MW Macy, NP Mark, P DiMaggio, PC Early, R Axelrod, R Hegselmann, R Imhoff, R Jeanson, RP Abelson, S Aral, S Galam, TL Friedman, TM Liggett, U Beck, VL Vignoles, W Weidlich, WJ Sutherland, Y Iwasa, Z Krizan
Publisher:Public Library of Science (PLoS)
Abstract: One of the most intriguing dynamics in biological systems is the emergence of clustering, the self-…
Privacy Policy
Powered by: