01363nas 2200421 c 450 99620620280331620200916113721.0(CKB)1000000000531620(DE-599)ZDB2217728-0(OCoLC)1184282932(OCoLC)643855488(DE-101)978152034(EXLCZ)99100000000053162020060118a20049999 |y |gerur|||||||||||txtrdacontentcrdamediacrrdacarrierPolizeiliche KriminalstatistikMinisterium für Inneres, Ländliche Räume und Integration des Landes Schleswig-Holstein, LandeskriminalamtKielSchleswig-Holstein, Landeskriminalamt2004-Online-RessourceHerausgebendes Organ früher: Innenministerium des Landes Schleswig-Holstein, LandeskriminalamtGesehen am 09.06.20Früheres im Internet nicht mehr verfügbarPKSZeitschriftgnd-contentStatistikgnd-content310340Schleswig-HolsteinLandeskriminalamtisb0026DE-1010008JOURNAL996206202803316Polizeiliche Kriminalstatistik1920172UNISA05780nam 2200673 450 99646529580331620220422155124.03-540-87785-110.1007/978-3-540-87785-1(CKB)1000000000490991(SSID)ssj0000320126(PQKBManifestationID)11279035(PQKBTitleCode)TC0000320126(PQKBWorkID)10347455(PQKB)10337723(DE-He213)978-3-540-87785-1(MiAaPQ)EBC3063163(MiAaPQ)EBC6694189(Au-PeEL)EBL6694189(PPN)129063118(EXLCZ)99100000000049099120220422d2008 uy 0engurnn#008mamaatxtccrSoftware technologies for embedded and ubiquitous systems 6th IFIP WG 10.2 international workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008. proceedings /Uwe Brinkschulte, Tony Givargis, Stefano Russo (editors)1st ed. 2008.Berlin, Germany ;New York, New York :Springer-Verlag,[2008]©20081 online resource (XIV, 432 p.)Information Systems and Applications, incl. Internet/Web, and HCI ;5287Bibliographic Level Mode of Issuance: Monograph3-540-87784-3 Includes bibliographical references and index.Model-Driven Development -- Using UML 2.1 to Model Multi-agent Systems -- Designing Fault-Tolerant Component Based Applications with a Model Driven Approach -- Model Based Synthesis of Embedded Software -- Formal Specification of Gateways in Integrated Architectures -- Model-Integrated Development of Cyber-Physical Systems -- Middleware -- Towards a Middleware Approach for a Self-configurable Automotive Embedded System -- Context-Aware Middleware for Reliable Multi-hop Multi-path Connectivity -- Service Orchestration Using the Chemical Metaphor -- Guiding Organic Management in a Service-Oriented Real-Time Middleware Architecture -- Self-describing and Data Propagation Model for Data Distribution Service -- Real Time -- Improving Real-Time Performance of a Virtual Machine Monitor Based System -- A Two-Layered Management Architecture for Building Adaptive Real-Time Systems -- Real-Time Access Guarantees for NAND Flash Using Partial Block Cleaning -- An Operating System for a Time-Predictable Computing Node -- Data Services in Distributed Real-Time Embedded Systems -- Quality of Service and Performance -- QoS-Adaptive Router Based on Per-Flow Management over NGN -- Analysis of User Perceived QoS in Ubiquitous UMTS Environments Subject to Faults -- Cost-Performance Tradeoff for Embedded Systems -- Resolving Performance Anomaly Using ARF-Aware TCP -- Applications -- Context-Aware Deployment of Services in Public Spaces -- An Ontology Supported Meta-interface for the Development and Installation of Customized Web Based Telemedicine Systems -- Cyber Biosphere for Future Embedded Systems -- Leveraging GIS Technologies for Web-Based Smart Places Services -- Pervasive and Mobile Systems -- VeryIDX - A Digital Identity Management System for Pervasive Computing Environments -- Delay-Aware Mobile Transactions -- An Operating System Architecture for Future Information Appliances -- M-Geocast: Robust and Energy-Efficient Geometric Routing for Mobile Sensor Networks -- Wireless Embedded Systems -- Toward Integrated Virtual Execution Platform for Large-Scale Distributed Embedded Systems -- A Novel Approach for Security and Robustness in Wireless Embedded Systems -- The Role of Field Data for Analyzing the Dependability of Short Range Wireless Technologies -- RG-EDF: An I/O Scheduling Policy for Flash Equipped Sensor Devices -- Methods for Increasing Coverage in Wireless Sensor Networks -- Synthesis, Verification and Protection -- Locks Considered Harmful: A Look at Non-traditional Synchronization -- From Model Driven Engineering to Verification Driven Engineering -- On Scalable Synchronization for Distributed Embedded Real-Time Systems -- Implementation of an Obfuscation Tool for C/C++ Source Code Protection on the XScale Architecture -- Automated Maintainability of TTCN-3 Test Suites Based on Guideline Checking.This book includes selected papers of the 6th IFIP WG 10.2 International Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, SEUS 2008, held on Capri, Italy, in October 2008. The 38 revised full papers presented were carefully reviewed and selected. The papers are organized in topical sections on model-driven development; middleware; real time; quality of service and performance; applications; pervasive and mobile systems: wireless embedded systems; synthesis, verification and protection.Information Systems and Applications, incl. Internet/Web, and HCI ;5287Embedded computer systemsProgrammingCongressesUbiquitous computingCongressesElectronic data processingDistributed processingCongressesEmbedded computer systemsProgrammingUbiquitous computingElectronic data processingDistributed processing004.36Givargis TonyRusso Stefano1964-Brinkschulte UweInternational Federation for Information Processing.IFIP WG 10.2.SEUS (Workshop)MiAaPQMiAaPQMiAaPQBOOK996465295803316Software Technologies for Embedded and Ubiquitous Systems771986UNISA02198nam 2200601 a 450 991078160500332120230207231446.00-8156-5136-8(CKB)2550000000051424(OCoLC)759158746(CaPaEBR)ebrary10493610(SSID)ssj0000540882(PQKBManifestationID)11327649(PQKBTitleCode)TC0000540882(PQKBWorkID)10492659(PQKB)11268649(MiAaPQ)EBC3410045(MdBmJHUP)muse3604(Au-PeEL)EBL3410045(CaPaEBR)ebr10493610(CaONFJC)MIL946756(EXLCZ)99255000000005142420080718d2008 uy 0engurcn|||||||||txtccrThe revolutionary roots of modern Yiddish, 1903-1917[electronic resource] /Barry Trachtenberg1st ed.New YorK Syracuse University Pressc20081 online resource (242 p.) Judaic traditions in literature, music, and artBibliographic Level Mode of Issuance: Monograph0-8156-3190-1 Includes bibliographical references and index.Yiddish as instrument and ideology -- The Jewish revolution of 1905 -- From jargon to visnshaft -- Shmuel Niger and the making of Yiddish high culture -- Ber Borochov: science in service of the revolution -- Nokhem Shtif: a contrarian's Yiddishism.Judaic traditions in literature, music, and art.Yiddish languageRussiaHistory20th centuryYiddish languageSocial aspectsRussiaJewsRussiaIntellectual life20th centuryYiddish languageHistoryYiddish languageSocial aspectsJewsIntellectual life439/.1Trachtenberg Barry1500982MiAaPQMiAaPQMiAaPQBOOK9910781605003321The revolutionary roots of modern Yiddish, 1903-19173754727UNINA01398nam 2200457Ia 450 991078578470332120230228140557.00-262-30468-60-262-30561-5(CKB)2670000000241505(EBL)3339488(MiAaPQ)EBC3339488(Au-PeEL)EBL3339488(CaPaEBR)ebr10597100(OCoLC)811249469(EXLCZ)99267000000024150520120329d2012 uy 0engur|n|---|||||A Semantic Web primer[electronic resource] /Grigoris Antoniou ... [et al.]3rd ed.Cambridge, MA MIT Press20121 online resource (287 p.)Cooperative information systemsDescription based upon print version of record.0-262-01828-4 Includes bibliographical references and index.Cooperative information systemsSemantic WebSemantic integration (Computer systems)Semantic Web.Semantic integration (Computer systems)025.04/27Antoniou G(Grigoris)285068MiAaPQMiAaPQMiAaPQBOOK9910785784703321A Semantic Web primer3794340UNINA05198nam 2200709 450 991083075180332120230124182813.01-280-84786-797866108478600-470-61230-40-470-39494-31-84704-647-9(CKB)1000000000688251(EBL)700769(SSID)ssj0000311994(PQKBManifestationID)11211267(PQKBTitleCode)TC0000311994(PQKBWorkID)10330027(PQKB)11452142(MiAaPQ)EBC700769(MiAaPQ)EBC4711304(MiAaPQ)EBC275735(Au-PeEL)EBL275735(OCoLC)501312936(EXLCZ)99100000000068825120070305d2007 uy| 0engur|n|---|||||txtccrTrends in constraint programming /edited by Frédéric Benhamou, Narendra Jussien, Barry O'Sullivan1st ed.Newport Beach, CA :ISTE USA,2007.1 online resource (410 p.)ISTE ;v.123Description based upon print version of record.1-905209-97-5 Includes bibliographical references and index.Trends in Constraint Programming; Contents; Introduction; Part I. The Past, Present and Future of Constraint Programming; Chapter 1. Constraint Programming as Declarative Algorithmics; 1.1. The CHIP project; 1.2. The Numerica project; 1.3. The OPL project; 1.4. The Comet project; 1.5. The future of constraint programming; Chapter 2. Constraint Programming Tools; 2.1. Introduction; 2.2. Invited talks; 2.2.1. The development of an industrial CP tool; 2.2.1.1. Design goals; 2.2.1.2. The future; 2.2.2. System design: taking informed decisions; 2.2.2.1. Search; 2.2.2.2. Constraint propagation2.2.2.3. Variables2.3. System presentations; 2.3.1. ECLiPSe; 2.3.2. SICStus FD; 2.3.3. G12; 2.3.4. DiSolver; 2.3.5.MINION; 2.3.6. Choco; 2.3.7. Gecode; 2.3.8. Comet; 2.3.9. JaCoP; 2.3.10. Borderwijk; 2.4. Panels; 2.5. Conclusion; 2.6. References; Chapter 3. The Next 10 Years of Constraint Programming; 3.1. Pedro Barahona; 3.2. Christian Bessiere; 3.3. Peter Jeavons; 3.4. Pedro Meseguer; 3.5. Gilles Pesant; 3.6. Francesca Rossi; 3.7. Thomas Schiex; 3.8. Christian Schulte; 3.9. Meinolf Sellmann; 3.10. Mark Wallace; 3.11. Toby Walsh; 3.12. Roland Yap; 3.13. ReferencesChapter 4. Constraint Propagation and Implementation4.1. Filtering algorithms for precedence and dependency constraints; 4.1.1. Problem description and related works; 4.1.2. Filtering rules for precedence and dependency constraints; 4.1.3. Summary; 4.2. A study of residual supports in arc consistency; 4.3. Maintaining singleton arc consistency; 4.3.1. Mixed consistency; 4.3.2. Checking existential-SAC; 4.3.3. Conclusion; 4.4. Probabilistic singleton arc consistency; 4.5. Simplification and extension of the SPREAD constraint; 4.5.1. Filtering of π; 4.5.2. Filtering of X; 4.5.3. Conclusion4.6. A new filtering algorithm for the graph isomorphism problem4.6.1. A global constraint for the graph isomorphism problem; 4.6.2. ILL-consistency and ILL-filtering; 4.6.3. Experimental results; 4.7. References; Chapter 5. On the First SAT/CP Integration Workshop; 5.1. The technical program; 5.1.1. The invited talk; 5.1.2. Contributions related to SMT and solver integration; 5.1.3. Contributions related to the use of SAT techniques to improve CSP/CP solvers; 5.1.4. Other contributions; 5.2. The panel session; 5.2.1. Are SAT and CP different or similar?5.2.2. Why has SAT succeeded in reducing the tuning issue?5.2.3. How long can the current generation of SAT solvers evolve?; 5.2.4. Were performance issues correctly addressed by CP?; 5.2.5. Was CP too ambitious?; 5.2.6. Do we still need CP?; 5.3. Summary, future directions and conclusion; 5.4. References; Chapter 6. Constraint-Based Methods for Bioinformatics; 6.1. On using temporal logic with constraints to express biological properties of cell processes; 6.2. Modeling biological systems in stochastic concurrent constraint programming6.3. Chemera: constraints in protein structural problemsThis title brings together the best papers on a range of topics raised at the annual International Conference on Principles and Practice of Constraint Programming. This conference provides papers and workshops which produce new insights, concepts and results which can then be used by those involved in this area to develop their own work.ISTEConstraint programming (Computer science)Constraint programming (Computer science)005.1005.1/16005.116Benhamou FrédéricJussien NarendraO'Sullivan B(Barry),MiAaPQMiAaPQMiAaPQBOOK9910830751803321Trends in constraint programming2231457UNINA04287nam 2200493 450 991083048180332120221209111422.01-119-86286-81-119-86284-110.1002/9781119862864(MiAaPQ)EBC6995511(Au-PeEL)EBL6995511(CKB)22573878400041(OCoLC)1319692123(OCoLC-P)1319692123(CaSebORM)9781119862833(EXLCZ)992257387840004120221209d2022 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierControl theory applications for dynamic production systems time and frequency methods for analysis and design /Neil A. DuffieFirst edition.Hoboken, New Jersey :John Wiley & Sons, Inc.,[2022]©20221 online resource (322 pages)Print version: Duffie, Neil A. Control Theory Applications for Dynamic Production Systems Newark : John Wiley & Sons, Incorporated,c2022 9781119862833 Continuous-Time and Discrete-Time Modeling of Production Systems -- Transfer Functions and Block Diagrams -- Fundamental Dynamic Characteristics and Time Response -- Frequency Response -- Design of Decision-Making for Closed-Loop Production Systems -- Application Examples -- Bibliography."Production planning, operations and control are being transformed by digitization, creating opportunities for automation of decision making, reduction of delays in making and implementing decisions, and significant improvement of production system performance. Meanwhile, to remain competitive, today's production industries need to adapt to increasingly dynamic and turbulent markets. In this environment, production engineers and managers can benefit from tools of control system engineering that allow them to mathematically model, analyze and design dynamic, changeable production systems with behavior that is effective and robust in the presence of turbulence. Research has shown that the tools of control system engineering are important additions to the production system engineer's toolbox, complementing traditional tools such as discrete event simulation. However, many production engineers are unfamiliar with application of these tools in their field. This book is a practical yet thorough introduction to the use of transfer functions and control theoretical methods in the modeling, analysis and design of the dynamic behavior of production systems. Production engineers and managers will find this book a valuable and fundamental resource for improving their understanding of the dynamic behavior of modern production systems and guiding their design of future production systems. In this book, emphasis is placed on analysis and examples that illustrate the opportunities that control theoretical time and frequency perspectives present for understanding and designing the behavior of dynamic production systems. The dynamic behavior of the components of these systems and their interactions must be understood first before decision making can be designed and implemented that results in favorable overall dynamic behavior of the production system, particularly when the structure contains feedback. In the re-planning system with the structure in Figure 1.1, control theoretical modeling and analysis reveals relationships between the frequency of re-planning decisions and delays in making and implementing decisions that results undesirable oscillatory behavior unless these relationships are taken into account in design of replanning decision making. Benefits of reducing delays using digital technologies can be quantified and used to guide re-planning cycle redesign"--Provided by publisher.Production controlControl theoryProduction control.Control theory.658.5/6Duffie Neil A.491102MiAaPQMiAaPQMiAaPQBOOK9910830481803321Control theory applications for dynamic production systems4009093UNINA03534nas 2200997-a 450 991017218660332120240916213021.0(CKB)958480246484(CONSER)---97642057-(EXLCZ)9995848024648419960918b19971999 --- aengtxtrdacontentcrdamediacrrdacarrierE media professionalWilton, CT Online, Inc.©1997-©19991 online resourceRefereed/Peer-reviewed"The magazine for electronic media producers & users."Title from cover.Print version: E media professional. 1090-946X (DLC) 97642057 (OCoLC)35581105 Electronic media professionalEMedia professionalEMEDIA PROFESSIONALE media prof.Interactive multimediaPublishingUnited StatesPeriodicalsCD-ROM publishingUnited StatesPeriodicalsCD-ROMsPeriodicalsInteractive multimediaPeriodicalsElectronic publishingPeriodicalsInformation storage and retrieval systemsInformation SystemsPublishingMultimediaCédéromsPériodiquesÉdition sur CD-ROMPériodiquesMultimédias interactifsPériodiquesÉdition électroniquePériodiquesMultimédias interactifsÉditionÉtats-UnisPériodiquesÉdition sur cédéromÉtats-UnisPériodiquesSystèmes d'informationÉditionInteractive multimediafast(OCoLC)fst00975995Information storage and retrieval systemsfast(OCoLC)fst00972781Electronic publishingfast(OCoLC)fst00907433CD-ROMsfast(OCoLC)fst00843362CD-ROM publishingfast(OCoLC)fst00843361Interactive multimediaPublishingfast(OCoLC)fst00976004Cd-romsgttMultimediagttUnited Statesfasthttps://id.oclc.org/worldcat/entity/E39PBJtxgQXMWqmjMjjwXRHgrqPeriodical.Periodicals.fastPeriodicals.lcgftInteractive multimediaPublishingCD-ROM publishingCD-ROMsInteractive multimediaElectronic publishingInformation storage and retrieval systems.Information Systems.Publishing.Multimedia.CédéromsÉdition sur CD-ROMPériodiques.Multimédias interactifsPériodiques.Édition électroniquePériodiques.Multimédias interactifsÉditionÉdition sur cédéromSystèmes d'information.Édition.Interactive multimedia.Information storage and retrieval systems.Electronic publishing.CD-ROMs.CD-ROM publishing.Interactive multimediaPublishing.Cd-roms.Multimedia.004JOURNAL9910172186603321exl_impl conversionE media professional2425669UNINA04277nam 22007335 450 991041005180332120200702213022.0981-15-2509-910.1007/978-981-15-2509-4(CKB)4100000010673463(DE-He213)978-981-15-2509-4(MiAaPQ)EBC6142510(PPN)24322382X(EXLCZ)99410000001067346320200320d2020 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierStudy on the Cellular Regulation and Function of Lysine Malonylation, Glutarylation and Crotonylation /by Xiucong Bao1st ed. 2020.Singapore :Springer Singapore :Imprint: Springer,2020.1 online resource (XVIII, 163 p. 132 illus., 96 illus. in color.) Springer Theses, Recognizing Outstanding Ph.D. Research,2190-5053"Doctoral Thesis accepted by The University of Hong Kong, China"--Title page.981-15-2508-0 Includes bibliographical references.Introduction to Protein Posttranslational Modifications (PTMs) -- Chemical reporter for Lysine Malonylation -- Identification of Histone Lysine Glutarylation -- Glutarylation at Histone H4 lysine 91 Modulates Chromatin Assembly -- Identification of Sirt3 as an ‘Eraser’ for Histone Lysine Crotonylation Marks using a Chemical Proteomics Approach.This book presents pioneering findings on the characterization of cellular regulation and function for three recently identified protein posttranslational modifications (PTMs): lysine malonylation (Kmal), glutarylation (Kglu) and crotonylation (Kcr). It addresses three main topics: (i) Detecting Kmal substrates using a chemical reporter, which provides important information regarding the complex cellular networks modulated by Kmal; (ii) Identifying Kglu as a new histone PTM and assessing the direct impact of histone Kglu on chromatin structure and dynamics; and (iii) Revealing Sirt3’s value as a regulating enzyme for histone Kcr dynamics and gene transcription, which opens new avenues for examining the physiological significance of histone Kcr. Taken together, these studies provide information critical to understanding how these protein PTMs are associated with various human diseases, and to identifying therapeutic targets for the dysregulation of these novel protein markers in various human diseases.Springer Theses, Recognizing Outstanding Ph.D. Research,2190-5053Bioorganic chemistryPost-translational modificationProteinsProteomicsGene expressionCell cycleBioorganic Chemistryhttps://scigraph.springernature.com/ontologies/product-market-codes/C19010Posttranslational Modificationhttps://scigraph.springernature.com/ontologies/product-market-codes/L14090Protein Structurehttps://scigraph.springernature.com/ontologies/product-market-codes/L14050Proteomicshttps://scigraph.springernature.com/ontologies/product-market-codes/L1403XGene Expressionhttps://scigraph.springernature.com/ontologies/product-market-codes/B12010Cell Cycle Analysishttps://scigraph.springernature.com/ontologies/product-market-codes/L16030Bioorganic chemistry.Post-translational modification.Proteins.Proteomics.Gene expression.Cell cycle.Bioorganic Chemistry.Posttranslational Modification.Protein Structure.Proteomics.Gene Expression.Cell Cycle Analysis.612.39Bao Xiucongauthttp://id.loc.gov/vocabulary/relators/aut1060594MiAaPQMiAaPQMiAaPQBOOK9910410051803321Study on the Cellular Regulation and Function of Lysine Malonylation, Glutarylation and Crotonylation2514386UNINA01426oam 2200457zu 450 991100485300332120210807003925.01-61583-391-9(CKB)2480000000004355(SSID)ssj0000403865(PQKBManifestationID)12119075(PQKBTitleCode)TC0000403865(PQKBWorkID)10436104(PQKB)10435513(EXLCZ)99248000000000435520160829d2002 uy engtxtccrBoiler water treatment : principles and practice[Place of publication not identified]Chemical Pub Co2002Bibliographic Level Mode of Issuance: Monograph0-8206-0371-6 Feed-water purificationWater-supplyBoilersMechanical EngineeringHILCCEngineering & Applied SciencesHILCCMechanical Engineering - GeneralHILCCFeed-water purificationWater-supply.Boilers.Mechanical EngineeringEngineering & Applied SciencesMechanical Engineering - General621.1/94Frayne Colin1824154PQKBBOOK9911004853003321Boiler water treatment : principles and practice4392663UNINA03246oam 2200781 c 450 991088799470332120260202090927.03-7757-3060-597837757496959783775749695(CKB)4100000011444956(MiAaPQ)EBC6374025(Au-PeEL)EBL6374025(OCoLC)1202476056(MiAaPQ)EBC7241729(Au-PeEL)EBL7241729(OCoLC)1397574399(NjHacI)994100000011444956(NYHLS)46308(Hatje Cantz Verlag)9783775749695(EXLCZ)99410000001144495620260202d2023 uy 0gerurcnu||||||||txtrdacontentcrdamediacrrdacarrierAlexander KlugeEr hat die herzlosen Augen eines über alles Geliebten(dOCUMENTA (13): 100 Notes - 100 Thoughts, 100 Notizen - 100 Gedanken # 031)Alexander Kluge1st ed.BerlinHatje Cantz Verlag20231 online resource (14 pages)dOCUMENTA (13): 100 Notizen - 100 Gedanken31Archived and cataloged by Library Stack3-7757-2880-5 Alexander Kluge: Er hat die herzlosen Augen eines über alles GeliebtenIn seinen literarischen Texten, egal welcher Länge, sagt Alexander Kluge, was zu sagen ist, auf kürzeste Art und Weise. Er notiert sie auf schlichte DIN-A4-Blöcke, um sie anschließend zu diktieren. In dem vorliegenden Notizbuch umreißt er in wenigen Zeilen die emotionale Befindlichkeit einer Frau namens Gesine, die in unglücklicher Liebe einem Mann verfallen ist, der längst das Interesse an ihr verloren hat, wenn er denn jemals welches gehabt hat. Sie kommt nicht von ihm los, leidet und wird von ihrem besten Freund – dem Erzähler in der Ich-Person – getröstet. Kluges sprachliche Nüchternheit in der Beschreibung der emotionalen Verflechtungen, der sachliche, distanzierte Stil mit quasi dokumentarischem Charakter, führt zu einer präzisen Verdichtung komplexer Inhalte. Aus nur einem geschilderten Umstand ergibt sich so ein kompletter Lebenslauf.    Alexander Kluge (*1932) ist Autor und Filmemacher.      Sprache: Deutsch/EnglischE-BooksAlexander KlugeBefindlichkeitBelletristikDeutschlandemotionale VerflechtungGefühleLeidenschaftLiteraturNotizbuchunglückliche LiebeAlexander KlugeBefindlichkeitBelletristikDeutschlandemotionale VerflechtungGefühleLeidenschaftLiteraturNotizbuchunglückliche Liebe709.04082Kluge Alexanderaut416400Leftloft,Library Stack (Organization),NYHLSNYHLSNYHLSBOOK9910887994703321Alexander Kluge4464091UNINA