LEADER 00942nam0-22003131i-450- 001 990001103310403321 010 $a0-19-851973-7 035 $a000110331 035 $aFED01000110331 035 $a(Aleph)000110331FED01 035 $a000110331 100 $a--------d--------km-y0itay50------ba 101 0 $aeng 200 1 $a<>Emperor's New Mind$eConcerning computers, mind, and the laws of physics$fRoger Penrose$gForeword by Martin Gardner 210 $aOxford [etc.]$cCambridge University Press$d1989 610 0 $aCibernetica 610 0 $aTeoria dei giochi 610 0 $aTeoria degli automi 610 0 $aIntelligenza artificiale 676 $a510.78 700 1$aPenrose,$bRoger$f<1931- >$039346 702 1$aGardner,$bMartin 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001103310403321 952 $a8-248$b17695$fFI1 959 $aFI1 996 $aEmperor's New Mind$9338170 997 $aUNINA LEADER 01824nam 2200445 a 450 001 9910695758003321 005 20070402155128.0 035 $a(CKB)5470000002372200 035 $a(OCoLC)122257413 035 $a(EXLCZ)995470000002372200 100 $a20070402d2005 ua 0 101 0 $aeng 135 $aurmn|---||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aNondestructive assessment of single-span timber bridges using a vibration-based method$b[electronic resource] /$fXiping Wang ... [and others] : in cooperation with the United States Dept. of Transportation, Federal Highway Administration 210 1$aMadison, WI :$cU.S. Dept. of Agriculture, Forest Service, Forest Products Laboratory,$d[2005] 215 $a15 pages $cdigital, PDF file 225 1 $aResearch paper FPL-RP ;$v627 300 $aTitle from title screen (viewed on Mar. 29, 2007). 300 $a"June 2005." 320 $aIncludes bibliographical references (page 9). 517 3 $aNondestructive assessment of single span timber bridges using a vibration based method 606 $aWooden bridges$zUnited States 606 $aWood$xNondestructive testing$zUnited States 606 $aWooden bridges$xVibration$zUnited States 615 0$aWooden bridges 615 0$aWood$xNondestructive testing 615 0$aWooden bridges$xVibration 700 $aWang Xiping$01178326 712 02$aUnited States.$bDepartment of Agriculture. 712 02$aForest Products Laboratory (U.S.) 712 02$aUnited States.$bFederal Highway Administration. 801 0$bGPO 801 1$bGPO 906 $aBOOK 912 $a9910695758003321 996 $aNondestructive assessment of single-span timber bridges using a vibration-based method$93434986 997 $aUNINA LEADER 06452nam 2200697Ia 450 001 9910484689703321 005 20200520144314.0 010 $a3-642-10383-9 024 7 $a10.1007/978-3-642-10383-4 035 $a(CKB)1000000000804454 035 $a(SSID)ssj0000355624 035 $a(PQKBManifestationID)11286613 035 $a(PQKBTitleCode)TC0000355624 035 $a(PQKBWorkID)10340824 035 $a(PQKB)10945431 035 $a(DE-He213)978-3-642-10383-4 035 $a(MiAaPQ)EBC3064867 035 $a(PPN)139962719 035 $a(EXLCZ)991000000000804454 100 $a20091015d2009 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aService-oriented computing $e7th international joint conference, ICSOC-Servicewave 2009, Stockholm, Sweden, November 24-27, 2009 : proceedings /$fLuciano Baresi, Chi-Hung Chi, Jun Suzuki (eds.) 205 $a1st ed. 2009. 210 $aBerlin $cSpringer$dc2009 215 $a1 online resource (XVI, 659 p.) 225 1 $aLecture notes in computer science,$x0302-9743 ;$v5900.$aServices science 225 1 $aLNCS sublibrary. SL 2, Programming and software engineering 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-10382-0 320 $aIncludes bibliographical references and index. 327 $aComposition -- Facilitating Workflow Interoperation Using Artifact-Centric Hubs -- Aspect Orientation for Composite Services in the Telecommunication Domain -- Intelligent Overload Control for Composite Web Services -- Discovery -- Trust-Oriented Composite Service Selection and Discovery -- A Two-Tiered Approach to Enabling Enhanced Service Discovery in Embedded Peer-to-Peer Systems -- Web Service Selection with Incomplete or Inconsistent User Preferences -- Design Principles -- Energy-Aware Design of Service-Based Applications -- Action Patterns in Business Process Models -- Artifact-Centric Workflow Dominance -- Customization and Adaptation -- Requirements-Driven Collaborative Choreography Customization -- An Automatic Approach to Enable Replacement of Conversational Services -- Towards Adaptable SOA: Model Driven Development, Context and Aspect -- Negotiation, Agreements, and Compliance -- Modeling Service Level Agreements with Binary Decision Diagrams -- Provider-Composer Negotiations for Semantic Robustness in Service Compositions -- Evaluating Contract Compatibility for Service Composition in the SeCO2 Framework -- Explaining the Non-compliance between Templates and Agreement Offers in WS-Agreement -- Selection -- A Probabilistic Approach to Service Selection with Conditional Contracts and Usage Patterns -- ServiceTrust: Supporting Reputation-Oriented Service Selection -- QoS Browsing for Web Service Selection -- Platforms and Infrastructures -- An Orchestration as a Service Infrastructure Using Grid Technologies and WS-BPEL -- The FAST Platform: An Open and Semantically-Enriched Platform for Designing Multi-channel and Enterprise-Class Gadgets -- Message-Oriented Middleware with QoS Awareness -- Short Papers I -- Learning the Control-Flow of a Business Process Using ICN-Based Process Models -- Fine-Grained Recommendation Systems for Service Attribute Exchange -- A Generative Framework for Service Process Composition -- Achieving Predictability and Service Differentiation in Web Services -- Security -- Incorporating Security Requirements into Service Composition: From Modelling to Execution -- End-to-End Security for Enterprise Mashups -- A Genetic Algorithms-Based Approach for Optimized Self-protection in a Pervasive Service Middleware -- Short Papers II -- Role of Process Modeling in Software Service Design -- Assisting Trustworthiness Based Web Services Selection Using the Fidelity of Websites -- Web Service Search on Large Scale -- Enabling Adaptation of Pervasive Flows: Built-in Contextual Adaptation -- Modeling and Design -- A Service-Oriented UML Profile with Formal Support -- Designing Workflows on the Fly Using e-BioFlow -- Measuring the Quality of Service Oriented Design -- Validation and Verification -- Specification, Verification and Explanation of Violation for Data Aware Compliance Rules -- Generating Interface Grammars from WSDL for Automated Verification of Web Services -- Satisfaction of Control Objectives by Control Processes -- Reputation and Ranking -- Effective and Flexible NFP-Based Ranking of Web Services -- Combining Quality of Service and Social Information for Ranking Services -- Web Services Reputation Assessment Using a Hidden Markov Model -- Service Management -- MC-Cube: Mastering Customizable Compliance in the Cloud -- Another Approach to Service Instance Migration -- Distributed Cross-Domain Configuration Management -- Demonstrations -- A Pluggable Framework for Tracking and Managing Faults in Service-Oriented Systems -- Distributed Access Control Management ? A XACML-Based Approach -- Engage: Engineering Service Modes with WS-Engineer and Dino -- FAST-SE: An ESB Based Framework for SLA Trading -- Gelee: Cooperative Lifecycle Management for (Composite) Artifacts -- Hosted Universal Integration on the Web: The mashArt Platform -- Sec-MoSC Tooling - Incorporating Security Requirements into Service Composition -- Services Inside the Smart Home: A Simulation and Visualization Tool -- SLA Management and Contract-Based Service Execution. 410 0$aLecture notes in computer science ;$v5900. 410 0$aLecture notes in computer science.$pServices science. 606 $aWeb services$xDesign$vCongresses 606 $aComputer engineering$vCongresses 606 $aComputer network architectures$vCongresses 606 $aBusiness enterprises$xComputer networks$vCongresses 615 0$aWeb services$xDesign 615 0$aComputer engineering 615 0$aComputer network architectures 615 0$aBusiness enterprises$xComputer networks 676 $a004n/a 686 $aDAT 250f$2stub 686 $aDAT 310f$2stub 686 $aDAT 616f$2stub 686 $aSS 4800$2rvk 701 $aBaresi$b Luciano$0521100 701 $aChi$b Chi-Hung$01750516 701 $aSuzuki$b Junichi$f1974-$01750517 712 12$aICSOC-ServiceWave 2009 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484689703321 996 $aService-oriented computing$94185160 997 $aUNINA