LEADER 01465nam2-2200397li-450 001 990000205020203316 005 20180312154816.0 010 $a3-540-62790-1 035 $a0020502 035 $aUSA010020502 035 $a(ALEPH)000020502USA01 035 $a0020502 100 $a20001109d1997----km-y0itay0103----ba 101 0 $aeng 102 $aGW 200 1 $aTools and algorithms for the construction and analysis of systems$e3rd International workshop, TACAS'97$eEnschede, The Netherlands, April 1997$eproceedings$fEd Brinksma (ed.) 210 $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 1997 215 $aX, 431 p.$cill.$d23 cm 225 2 $aLecture notes in computer science$v1217 410 0$10010020264$12001$aLecture notes in computer science 610 1 $acongressi$aenschede$a1997 610 1 $aelaboratori elettronici$aprogrammazione$acongressi$a1997 676 $a00512$9Svuluppo dei programmi 702 1$aBrinksma,$bEd 710 12$aInternational workshop TACAS'97$d3.$eEnschese$f1997$0753654 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000205020203316 951 $a001 LNCS (1217)$b0020353 959 $aBK 969 $aSCI 979 $c19970711 979 $c20001110$lUSA01$h1714 979 $c20020403$lUSA01$h1628 979 $aPATRY$b90$c20040406$lUSA01$h1615 996 $aTools and algorithms for the construction and analysis of systems$91516193 997 $aUNISA LEADER 05035nam 2200661Ia 450 001 9910143988603321 005 20190813180146.0 010 $a1-282-30842-4 010 $a9786612308420 010 $a0-470-12580-2 010 $a0-470-12607-8 035 $a(CKB)1000000000376101 035 $a(EBL)468830 035 $a(OCoLC)609847558 035 $a(SSID)ssj0000308378 035 $a(PQKBManifestationID)11244365 035 $a(PQKBTitleCode)TC0000308378 035 $a(PQKBWorkID)10251830 035 $a(PQKB)10177675 035 $a(MiAaPQ)EBC468830 035 $a(EXLCZ)991000000000376101 100 $a19920731d1992 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aReviews in computational chemistry III /$fedited by Kenny B. Lipkowitz and Donald B. Boyd 210 $aNew York, NY $cVCH$dc1992 215 $a1 online resource (290 p.) 225 0 $aReviews in computational chemistry ;$v3 300 $aDescription based upon print version of record. 311 $a0-471-18853-0 320 $aIncludes bibliographical references and indexes. 327 $aReviews in Computational Chemistry 111; Contents; Optimization Methods in Computational Chemistry; Introduction; Mathematical Preliminaries; Notation; Problem Statement; Matrix Characteristics; Conditions at Minima; Analysis of Functions; Basic Approaches to Large-Scale Optimization; Size and Space Limitations; Search Techniques; Local and Global Methods; Basic Descent Structure of Local Methods; Descent Directions; Line Search and Trust Region Steps; Convergence Criteria; Convergence Characterization; Nonderivative Methods; Gradient Methods; Steepest Descent; Conjugate Gradient 327 $aPreconditioningNonlinear Conjugate Gradient; Newton Methods; Overview; Discrete Newton; Quasi-Newton; Truncated Newton; Perspective and Computational Examples; Comparisons; Numerical Example I: Rosenbrock Minimization; Numerical Example II: Deoxycytidine; Numerical Example III: Water Clusters; New Technologies; Acknowledgments; References; Predicting Three-Dimensional Structures of Oligopeptides; Introduction; Theoretical Foundations; Generation of Oligopeptide Chain; Residue Geometry; End-Group Geometry; Constructing a Molecule; Ring Closure without Symmetry; Ring Closure with Symmetry 327 $aEarly Use of Hard-Sphere PotentialMore Realistic Potentials; Potential Functions; Optimization Methods; Ancillary Techniques; Application to Simple Systems; Multiple-Minima Problem; Build-up Methods; Optimization of Electrostatics (Self-consistent Electric Field); Monte Carlo plus Minimization; Electrostatically Driven Monte Carlo; Adaptive Importance Sampling Monte Carlo; Increase in Dimensionality; Deformation of the Potential Energy Hypersurface; Mean-Field Theory; Simulated Annealing; Extension of Methodology to Large Polypeptides and Proteins; Build-up Method 327 $aBuild-up with Limited ConstraintsCalculations with Constraints; Use of Homology; Pattern-Recognition Importance Sampling Minimization (PRISM); Outlook for the Future; Acknowledgments; References; Molecular Modeling Using Nuclear Magnetic Resonance Data; Introduction; Scope and Definitions; Historical Perspective; Molecular Representation; Generating Initial Structures; Metric Matrix Method; Variable Target Function Method; Other Methods for Generating Initial Structures; Modeling of Experimental Data; Distance Restraints; Averaging over Discrete Conformations 327 $aTime-Averaged Distance RestraintsDirect NOE Refinement; Dihedral Angle Restraints; Refinement, Minimization, and Dynamics; Molecular Dynamics; Other Derivative-Based Dynamics Schemes; Other Non-Derivative-Based Schemes; Force Field; Force Field Parameters and Accuracy; Force Field Modifications; Systematic Errors and Biases; Quality of Structures; Future Directions; Acknowledgment; References; Computer-Assisted Methods in the Evaluation of Chemical Toxicity; Introduction; Computer-Based Methods for Toxicity Evaluation; Quantitative Structure-Activity Relationship 327 $aPattern Recognition Techniques 330 $aFrom reviews of the series:'Many of the articles are indeed accessible to any interested nonspecialist, even without theoretical background.'Journal of the American Chemical Society'...an invaluable resource for the serious molecular modeler.' Chemical Design Automation News 410 0$aReviews in Computational Chemistry 606 $aChemistry$xData processing 606 $aChemistry$xMathematics 608 $aElectronic books. 615 0$aChemistry$xData processing. 615 0$aChemistry$xMathematics. 676 $a542.85 676 $a542/.8 701 $aLipkowitz$b Kenny B$0855564 701 $aBoyd$b Donald B$0855565 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910143988603321 996 $aReviews in computational chemistry III$91978113 997 $aUNINA LEADER 01247nam 2200337Ia 450 001 996391559903316 005 20221108101835.0 035 $a(CKB)1000000000675618 035 $a(EEBO)2240950234 035 $a(OCoLC)12567969 035 $a(EXLCZ)991000000000675618 100 $a19850918d1689 uy | 101 0 $aeng 135 $aurbn#|||a|bb| 200 12$aA sermon preached before the Right Honourable the Lord Mayor and aldermen of the city of London, at Gvild-hall-Chappel, on Sunday, Nov. 4, 1688$b[electronic resource] /$fby William Sherlock .. 210 $aLondon $cPrinted for William Rogers ...$d1689 215 $a[6], 29, [1] p 300 $aAdvertisement: p. [1] at end. 300 $aRunning title: A sermon preached before the Lord Mayor. 300 $aReproduction of original in Duke University Library. 330 $aeebo-0040 700 $aSherlock$b William$f1641?-1707.$0322284 801 0$bEAA 801 1$bEAA 801 2$bm/c 801 2$bUMI 801 2$bWaOLN 906 $aBOOK 912 $a996391559903316 996 $aA sermon preached before the Right Honourable the Lord Mayor and aldermen of the city of London, at Gvild-hall-Chappel, on Sunday, Nov. 4, 1688$92383949 997 $aUNISA LEADER 04582nam 2200385 450 001 9910637742803321 005 20230330094446.0 024 7 $a10.26530/OAPEN_422350 035 $a(CKB)5690000000111499 035 $a(NjHacI)995690000000111499 035 $a(EXLCZ)995690000000111499 100 $a20230330d2009 uy 0 101 0 $ager 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aSchlu?sselqualifikationen fu?r Studium, Beruf und Gesellschaft $eTechnische Universita?ten im Kontext der Kompetenzdiskussion /$fCaroline Y. Robertson-von Trotha 210 1$aKarlsruhe :$cKIT Scientific Publishing,$d2009. 210 4$d©2009 215 $a1 online resource (584 pages) 320 $aIncludes bibliographical references and index. 327 $aProblemkreise der Angewandten Kulturwissenschaft -- Schlu?sselqualifikationen an Technischen Hochschulen. Vorwort -- Schlu?sselqualifikationen revisited. Ein altes Thema in Zukunftskontexten -- Wissen und Ko?nnen: Ungewohnte Anforderungen an die Aus- und Weiterbildungseinrichtungen -- Die Unbildungskatastrophe. Was heißt ,Geisteswissenschaft' und ,Studium generale'? Zu welchem Ende braucht man sie und wozu ,Bildung'? -- Fachu?bergreifende Lehre und Schlu?sselkompetenz als Programm. 60 Jahre Studium Generale und 20 Jahre Angewandte Kulturwissenschaft an der Universita?t Karlsruhe (TH) -- Projekte zu Schlu?sselqualifikationen an Technischen Universita?ten. Konzeptionelle U?berlegungen, empirische Erhebungen und interuniversita?rer Austausch -- Das Aktionsprogramm ,Schlu?sselqualifikationenplus' des Stifterverbandes fu?r die Deutsche Wissenschaft und der Stiftung Mercator -- Drei Gedanken zur Frage: ,Welche Schlu?sselkompetenzen brauchen Hochschulabsolventen?' -- Schlu?sselqualifikationen fu?r die Arbeit der Zukunft -- Schlu?sselqualifikationen fu?r die optische/medizintechnische Industrie -- Berufsbefa?higung und Qualita?tssicherung. Die Perspektiven der Bildungsgewerkschaft GEW -- Schlu?sselqualifikationen. Ein Weg zur internationalen Vergleichbarkeit der Ingenieurausbildung -- Integrierte Fo?rderung der sozialen Kompetenz in der Hochschulausbildung -- Genderkompetenz als Schlu?sselqualifikation in der natur- und ingenieurwissenschaftlichen Lehre -- Ethik als Schlu?sselqualifikation an Technischen Universita?ten -- Interkulturelle Kommunikation und akademische Schlu?sselqualifikationen: Anmerkungen zur Diskussion u?ber eine gewagte Allianz -- Interdisziplina?re Kommunikationskompetenz und Schlu?sselqualifikationen -- Visuelle Kompetenz: Semiotik, Bildwissenschaft, Visuelle Kultur -- Medienkompetenz als gesellschaftliche Schlu?sselkompetenz -- Die Sprache als Werkzeug der Perso?nlichkeit. Kreatives Schreiben und Kommunizieren als Schlu?sselqualifikationen -- Global Engineering -- Innovationsdynamik, Bildung und Schlu?sselqualifikationen an Technischen Universita?ten -- Schlu?sselqualifikation Orientierungskompetenz -- Integration von Arbeiten und Lernen im Studium. Handlungskompetenz als Schu?ssel zum Erfolg -- Vermittlung von Schlu?sselqualifikationen am Beispiel des Karlsruher Lehrmodells fu?r Produktentwicklung (KaLeP) -- Humanities in den Ingenieurwissenschaften. Die Vermittlung von Schlu?sselqualifikationen an der Technischen Universita?t Hamburg Harburg (TUHH) -- Schlu?sselkompetenzen an der Universita?t St. Gallen (HSG): Fach- und Kontextstudium vernetzen -- Qualifikationen im Studium - akademische Ausbildung zwischen Bologna-Reform und Arbeitsmarkt -- Die Autorinnen und Autoren. 330 $aDie Bescha?ftigung mit SQ-Konzepten hat durch die aktuellen bildungspolitischen Debatten und Vorgaben neue Impulse erfahren. Der Band stellt neben Grundsatzu?berlegungen zum Bildungsbegriff Beispiele einzelner Hochschulen und die Arbeit der Forschung vor. Vertreter der Wirtschaft erla?utern ihre Personalauswahl, die Bereiche Interkulturelle, Gender- und Medienkompetenz sowie Interdisziplinarita?t werden diskutiert. Dies besonders in Hinblick auf technische Hochschulen und deren besondere Anforderungen. 517 $aSchlüsselqualifikationen für Studium, Beruf und Gesellschaft 606 $aAdult education$zGermany 615 0$aAdult education 676 $a374.943 700 $aRobertson-von Trotha$b Caroline Y.$0801736 801 0$bNjHacI 801 1$bNjHacl 906 $aBOOK 912 $a9910637742803321 996 $aSchlu?sselqualifikationen fu?r Studium, Beruf und Gesellschaft$93085320 997 $aUNINA