ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • Books  (172)
  • Maps
  • 2015-2019  (160)
  • 1990-1994  (10)
  • 1980-1984  (2)
  • Economics  (88)
  • Computer Science  (85)
Collection
Source
Keywords
Publisher
Language
Years
Year
Topic
  • 1
    Unknown
    Automate the Boring Stuff with Python : Practical Programming for Total Beginners (2019)
    San Francisco, CA : No Starch Press
    Details
    Keywords: Python ; programming
    Description / Table of Contents: Chapter 0 – Introduction --- Chapter 1 – Python Basics --- Chapter 2 – Flow Control --- Chapter 3 – Functions --- Chapter 4 – Lists --- Chapter 5 – Dictionaries and Structuring Data --- Chapter 6 – Manipulating Strings --- Chapter 7 – Pattern Matching with Regular Expressions --- Chapter 8 – Input Validation --- Chapter 9 – Reading and Writing Files --- Chapter 10 – Organizing Files --- Chapter 11 – Debugging --- Chapter 12 – Web Scraping --- Chapter 13 – Working with Excel Spreadsheets --- Chapter 14 – Working with Google Spreadsheets --- Chapter 15 – Working with PDF and Word Documents --- Chapter 16 – Working with CSV Files and JSON Data --- Chapter 17 – Keeping Time, Scheduling Tasks, and Launching Programs --- Chapter 18 – Sending Email and Text Messages --- Chapter 19 – Manipulating Images --- Chapter 20 – Controlling the Keyboard and Mouse with GUI Automation --- Appendix A – Installing Third-Party Modules --- Appendix B – Running Programs --- Appendix C – Answers to the Practice Questions
    Pages: Online-Ressource (592 Seiten) , Illustrationen, Diagramme
    Edition: 2nd edition
    ISBN: 9781593279929
    URL: https://automatetheboringstuff.com/
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 2
    Unknown
    Reality Lost : Markets of Attention, Misinformation and Manipulation (2019)
    Cham : Springer
    Details
    Keywords: Internet marketing ; Digital media ; Philosophy ; Behavioral economics ; Online Marketing/Social Media ; Digital/New Media ; Philosophy of Technology ; Behavioral/Experimental Economics
    Description / Table of Contents: Chapter 1. Attention Economics --- Chapter 2. The News Market --- Chapter 3. Attention Speculation and Political Bubbles --- Chapter 4. Alternative Facts, Misinformation, and Fake News --- Chapter 5. Fact Resistance, Populism, and Conspiracy Theory --- Chapter 6. The Post-Factual Democracy
    Pages: Online-Ressource (XXI, 144 pages) , 49 illustrations
    ISBN: 9783030008130
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-030-00813-0
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 3
    Unknown
    Natural Hazards : Risk, Exposure, Response, and Resilience (2019)
    Rijeka : InTech
    Details
    Keywords: risk management ; natural disasters ; floods ; disasters ; Tsunami
    Description / Table of Contents: 1. Assessing Seismic Hazard in Chile Using Deep Neural Networks --- 2. Strong Rainfall in Mato Grosso do Sul, Brazil: Synoptic Analysis and Numerical Simulation --- 3. Natural Hazards and Nuclear Power Plant Safety --- 4. Estimation of Shear Wave Velocity Profiles Employing Genetic Algorithms and the Diffuse Field Approach on Microtremors Array: Implications on Liquefaction Hazard at Port of Spain, Trinidad --- 5. Long-Wave Generation due to Atmospheric-Pressure Variation and Harbor Oscillation in Harbors of Various Shapes and Countermeasures against Meteotsunamis --- 6. Identification and Assessment of Hazard of Development in Gypsum Karst Regions: Examples from Turkey --- 7. Dam Retirement and Decision-Making --- 8. Seismic Hazard of Viaduct Transportation Infrastructure --- 9. Determinants of Coping Strategies to Floods and Droughts in Multiple Geo-Ecological Zones --- 10. Emergency Communications Network for Disaster Management --- 11. Interview of Natural Hazards and Seismic Catastrophe Insurance Research in China --- 12. Multiset-Based Assessment of Resilience of Sociotechnological Systems to Natural Hazards
    Pages: Illustrationen, Diagramme, Karten
    ISBN: 9781789854411
    URL: https://www.intechopen.com/books/natural-hazards-risk-exposure-response-and-resilience
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 4
    Unknown
    Finite Element Method : Simulation, Numerical Analysis and Solution Techniques (2018)
    Rijeka : InTech
    Details
    Keywords: FEM ; Finite Element Method ; simulation
    Description / Table of Contents: Chapter 1: FEM Analysis of Mechanical and Structural Properties of Long Fiber-Reinforced Composites by Michal Petrů and Ondřej Novák --- Chapter 2: Finite Element Dynamic Analysis on Residual Stress Distribution of Titanium Alloy and Titanium Matrix Composite after Shot Peening Treatment by Lechun Xie, Zhou Wang, Chengxi Wang, Yan Wen, Liqiang Wang, Chuanhai Jiang, Weijie Lu, Lai-Chang Zhang and Lin Hua --- Chapter 3: Multiscale Wavelet Finite Element Analysis in Structural Dynamics by Mutinda Musuva and Cristinel Mares --- Chapter 4: Numerical Analysis of Hot Polymer-Coated Steel Pipeline Joints in Bending by Finian McCann, Guido Ridolfi, Erwan Karjadi, Harm Demmink and Helen Boyd --- Chapter 5: Application of Finite Element Analysis in Multiscale Metal Forming Process by Zhengyi Jiang and Haibo Xie --- Chapter 6: Finite Element Thermal Analysis of Metal Parts Additively Manufactured via Selective Laser Melting by Dario Pitassi, Enrico Savoia, Vigilio Fontanari, Alberto Molinari, Valerio Luchin, Gianluca Zappini and Matteo Benedetti --- Chapter 7: Adaptive Modeling and Simulation of Elastic, Dielectric and Piezoelectric Problems by Grzegorz Zboiński --- Chapter 8: Vibration Simulation of Electric Machines by Marcel Janda and Kristyna Jandova --- Chapter 9: Numerically and Analytically Forecasting the Coal Burst Using Energy Based Approach Methods by Faham Tahmasebinia, Chengguo Zhang, Ismet Canbulat, Onur Vardar and Serkan Saydam --- Chapter 10: Linear Thermo-Poroelasticity and Geomechanics by Horacio Florez --- Chapter 11: Numerical Analysis of the Incompressible Fluid Flow and Heat Transfer by Toshio Tagawa --- Chapter 12: Numerical Simulation of Wave (Shock Profile) Propagation of the Kuramoto-Sivashinsky Equation Using an Adaptive Mesh Method by Denson Muzadziwa, Stephen T. Sikwila and Stanford Shateyi --- Chapter 13: Numerical Analysis on the Simulated Heavy Rainfall Event of Tropical Cyclone Fung-Wong by Lei-Ming Ma and Xu-Wei Bao --- Chapter 14: Weighted Finite-Element Method for Elasticity Problems with Singularity by Viktor Anatolievich Rukavishnikov and Elena Ivanovna Rukavishnikova
    Pages: Online-Ressource (322 Seiten)
    ISBN: 9789535138501
    URL: https://www.intechopen.com/books/finite-element-method-simulation-numerical-analysis-and-solution-techniques
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 5
    Unknown
    Data Mining (2018)
    Rijeka : InTech
    Details
    Keywords: environmental data mining ; big data
    Description / Table of Contents: 1. Ensemble Methods in Environmental Data Mining / by Goksu Tuysuzoglu, Derya Birant and Aysegul Pala --- 2. Estimating Customer Lifetime Value Using Machine Learning Techniques / by Sien Chen --- 3. Determination and Classification of Crew Productivity with Data Mining Methods / by Abdullah Emre Keleş and Mümine Kaya Keleş --- 4. Mining HCI Data for Theory of Mind Induction / by Oksana Arnold and Klaus P. Jantke --- 5. Performance-Aware High-Performance Computing for Remote Sensing Big Data Analytics / by Mustafa Kemal Pektürk and Muhammet Ünal --- 6. Early Prediction of Patient Mortality Based on Routine Laboratory Tests and Predictive Models in Critically Ill Patients / by Sven Van Poucke, Ana Kovacevic and Milan Vukicevic --- 7. Semantic Infrastructure for Service Environment Supporting Successful Aging / by Vesa Salminen, Päivi Sanerma, Seppo Niittymäki and Patrick Eklund --- 8. Adaptive Neural Network Classifier-Based Analysis of Big Data in Health Care / by Manaswini Pradhan --- 9. Identification of Research Thematic Approaches Based on Keywords Network Analysis in Colombian Social Sciences / by José Hernando Ávila-Toscano, Ivón Catherine Romero-Pérez, Ailed Marenco-Escuderos and Eugenio Saavedra Guajardo --- 10. Data Privacy for Big Data Publishing Using Newly Enhanced PASS Data Mining Mechanism / by Priyank Jain, Manasi Gyanchandani and Nilay Khare
    ISBN: 9781789235975
    URL: https://www.intechopen.com/books/data-mining
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 6
    Unknown
    Bitcoin and Beyond : Cryptocurrencies, Blockchains, and Global Governance (2018)
    London, New York : Routledge
    Details
    Keywords: Bitcoin ; Blockchain ; cryptocurrency ; governance
    Description / Table of Contents: Chapter 1: Introduction: What are blockchains and how are they relevant to governance in the contemporary global political economy? / Malcolm Campbell-Verduyn --- Chapter 2: Moneys at the Margins – From Political Experiment to Cashless Societies / Moritz Hütten and Matthias Thiemann --- Chapter 3: The Internal and External Governance of Blockchain-Based Organisations: Evidence from Cryptocurrencies / Ying-Ying Hsieh, JP Vergne, and Sha Wang --- Chapter 4: The Mutual Constitution of Technology and Global Governance: Bitcoin, Blockchains, and the International Anti-Money Laundering Regime / Malcolm Campbell-Verduyn and Marcel Goguen --- Chapter 5: Between Liberalization and Prohibition: Prudent Enthusiasm and the Governance of Bitcoin/Blockchain Technology / Kai Jia and Falin Zhang --- Chapter 6: Cryptocurrencies and Digital Payment Rails in Networked Global Governance: Perspectives on Inclusion and Innovation / Daivi Rodima-Taylor and William W. Grimes --- Chapter 7: Governing What Wasn’t Meant To Be Governed:　A Controversy-Based Approach to the Study of Bitcoin Governance / Francesca Musiani, Alexandre Mallard and Cécile Méadel --- Chapter 8: Experiments in Algorithmic Governance: A History and Ethnography of "The DAO," a Failed Decentralized Autonomous Organization / Quinn DuPont --- Chapter 9: Conclusion: Towards A Block Age or Blockages of Global Governance? / Malcolm Campbell-Verduyn
    Pages: Online-Ressource (XIII, 207 Seiten) , Diagramme
    ISBN: 9781315211909
    URL: https://www.taylorfrancis.com/books/9780415792141
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 7
    Unknown
    Prozessintelligenz : Business-Process-Management-Studie – Status quo und Erfolgsmuster (2018)
    Berlin, Heidelberg : Springer Gabler
    Details
    Keywords: Business ; Management information systems ; Industrial management ; E-commerce ; Business and Management ; Business Process Management ; e-Commerce/e-business
    Description / Table of Contents: Studienrahmen: Gegenstand und Ziele der Studie --- Die Fallstudien: Erfolgsmuster aus der Praxis --- Die quantitative Studie: Status quo --- Fazit und Ausblick
    Pages: Online-Ressource (XIV, 126 Seiten) , 64 Abbildungen, 57 Abbildungen in Farbe
    ISBN: 9783662557051
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-662-55705-1
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 8
    Unknown
    Kundennutzen durch digitale Transformation : Business-Process-Management-Studie – Status quo und Erfolgsmuster (2018)
    Berlin, Heidelberg : Springer Gabler
    Details
    Keywords: Business ; Management information systems ; Industrial management ; E-commerce ; Business and Management ; Business Process Management ; e-Commerce/e-business
    Description / Table of Contents: Studienrahmen: Begriffsbestimmung, Rahmenwerk und Studiendesign --- Status quo „Prozessmanagement/Digitalisierung/Kundennutzen“: Ergebnisse der quantitativen Studie --- Die Fallstudien: Erfolgsmuster aus der Praxis --- Fazit und Ausblick
    Pages: Online-Ressource (XV, 153 Seiten) , 84 Abbildungen, 70 Abbildungen in Farbe
    ISBN: 9783662557075
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-662-55707-5
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 9
    Unknown
    Inklusives Wachstum und wirtschaftliche Sicherheit : Erkenntnisse ökonomischer Spitzenforschung prägnant zusammengefasst (2018)
    Wiesbaden : Springer Gabler
    Details
    Keywords: Banks and banking ; Labor economics ; Economics ; Political Economy/Economic Policy ; Labor Economics ; Banking
    Description / Table of Contents: Diese Open Access Buch geht den Fragen nach, wie inklusives Wachstum und wirtschaftliche Sicherheit entstehen, welche Rahmenbedingungen der Staat setzen und welche Reformen er auf den Weg bringen muss und wie sich wirtschaftspolitische Maßnahmen auswirken. Die besten Studierenden der Universität St. Gallen fassen prägnant und verständlich wichtige Ergebnisse der ökonomischen Spitzenforschung in führenden Fachzeitschriften zusammen. Die wissenschaftlichen Nachwuchstalente bereiten die empirischen Grundlagen der Wirtschaftspolitik für die Entscheidungsträger und die Öffentlichkeit auf und tragen zum Wissenstransfer in die wirtschaftspolitische Praxis bei. Der Inhalt Empirische Grundlagen der Wirtschaftspolitik Forschungsergebnisse aus den Bereichen Forschung, Entwicklung & Innovation, Beschäftigung & Arbeitsmarkt, Finanzmärkte & Stabilität, Steuern & Staatsausgaben Die Zielgruppen Dozierende und Studierende der Volks- und Betriebswirtschaftslehre sowie der Politikwissenschaften mit dem Schwerpunkt Internationale Beziehungen Praktikerinnen und Praktiker in Wirtschaft, Medien, Bildung, Gesellschaft und Politik Der Herausgeber Christian Keuschnigg ist Professor für Nationalökonomie, insbesondere öffentliche Finanzen an der Universität St. Gallen sowie Initiator und Leiter des Wirtschaftspolitischen Zentrums in Wien
    Pages: Online-Ressource (XII, 209 Seiten) , 19 Abbildungen, 3 Abbildungen in Farbe
    ISBN: 9783658213442
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-658-21344-2
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 10
    Unknown
    Digitale Transformation : Fallbeispiele und Branchenanalysen (2018)
    Wiesbaden : Springer Gabler
    Details
    Keywords: Business ; Management ; Industrial management ; Information technology ; Business ; Data processing ; Business and Management ; IT in Business ; Innovation/Technology Management
    Description / Table of Contents: Charakteristika digitaler Transformation --- Technologietrends in der digitalen Transformation --- Auswirkungen der digitalen Transformation auf den Wettbewerb --- Erfolgswirkung und Herausforderung digitaler Geschäftsmodellentwicklung --- Digitale Transformation aus der Sicht von IT-Entscheidern --- Digitale Transformation in ausgewählten Ländern im Vergleich
    Pages: Online-Ressource (VII, 196 Seiten) , 38 Abbildungen, 6 Abbildungen in Farbe
    ISBN: 9783658226244
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-658-22624-4
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 11
    Unknown
    Zukunft der Arbeit – Eine praxisnahe Betrachtung (2018)
    Berlin, Heidelberg : Springer Vieweg
    Details
    Keywords: Engineering ; Robotics ; Automation ; Industrial engineering ; Production engineering ; Economic sociology ; Engineering ; Industrial and Production Engineering ; Organizational Studies, Economic Sociology ; Robotics and Automation
    Description / Table of Contents: Einleitung --- Prognostizierte Veränderungen der gestaltbaren Arbeitssystemdimensionen --- Systeme zur Assistenz und Effizienzsteigerung in manuellen Produktionsprozessen der Industrie auf Basis von Projektion und Tiefendatenerkennung --- Betriebliche Auswirkungen industrieller Servicerobotik am Beispiel der Kleinteilemontage --- Erweiterte Horizonte – Ein technischer Blick in die Zukunft der Arbeit --- Soziotechnische Assistenzsysteme für die Produktionsarbeit in der Textilbranche --- Lernförderliche Arbeitssysteme für die Arbeitswelt von morgen --- Assistenz und Wissensvermittlung am Beispiel von Montage- und Instandhaltungstätigkeiten --- Der Mensch in Interaktion mit autonomen Planungs- und Steuerungssystemen für Cyber-Physische Produktionssysteme --- ReApp – Wiederverwendbare Roboterapplikationen für flexible Roboteranlagen - Auswirkungen der Ergebnisse aus ReApp auf betriebliche Funktionen am Beispiel eines Anwendungsfalls in der Elektroindustrie --- Modellierungsansatz für ein arbeitsplatznahes Beschreibungsmodell der »Arbeitswelt Industrie 4.0 --- Die Zukunft der Arbeit im demografischen Wandel --- “Social Manufacturing and Logistics“ – Arbeit in der digitalisierten Produktion --- Lernförderliche Arbeitsorganisation in der Industrie 4.0 --- Decision Support Pipelines – Durchgängige Datenverarbeitungsinfrastrukturen für die Entscheidungen von morgen --- Gerechtigkeit in flexiblen Arbeits- und Managementprozessen --- Technologie, Organisation, Qualifikation
    Pages: Online-Ressource (XI, 246 Seiten) , 62 Abbildungen, 56 Abbildungen in Farbe
    ISBN: 9783662492666
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-662-49266-6
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 12
    Unknown
    Risk Assessment (2018)
    Rijeka : InTech
    Details
    Keywords: risk assessment ; risk avoiding ; risk reduction ; risk control ; natural hazards ; natural disasters
    Description / Table of Contents: Chapter 1: Landslides: Methodology to Select Stabilizing Construction Works by Oscar Andrés Cuanalo Campos --- Chapter 2: Natural Risk Management to Protect Critical Infrastructures: A Model for Active Learning by Catalin Cioaca, Vasile Prisacariu and Mircea Boscoianu --- Chapter 3: Earthquake Culture: A Significant Element in Earthquake Disaster Risk Assessment and Earthquake Disaster Risk Management by Michaela Ibrion --- Chapter 4: Mexico City after September 2017: Are We Building the Right City? by Milton Montejano-Castillo and Mildred Moreno-Villanueva --- Chapter 5: On Risk and Reliability Studies of Climate-Related Building Performance by Krystyna Pietrzyk and Ireneusz Czmoch --- Chapter 6: Machinery Safety Requirements as an Effective Tools for Operational Safety Management by Hana Pacaiova --- Chapter 7: Integrated Risk Assessment of Safety, Security, and Safeguards by Mitsutoshi Suzuki --- Chapter 8: Practical Propagation of Trust in Risk Management Systems by Kristian Helmholt, Matthijs Vonder, Bram Van Der Waaij, Elena Lazovik and Niels Neumann --- Chapter 9: Risk Assessment for Collaborative Operation: A Case Study on Hand-Guided Industrial Robots by Varun Gopinath, Kerstin Johansen and Johan Ölvander --- Chapter 10: Managing Technogenic Risks with Stakeholder Cooperation by Riitta Molarius --- Chapter 11: Risks, Safety and Security in the Ecosystem of Smart Cities by Stig O. Johnsen --- Chapter 12: Implementation of Basel and Solvency Risk Assessment Standards in Banks and Insurance Companies of Southeastern Europe Countries by Safet Kozarevic, Emira Kozarevic, Pasqualina Porretta and Fabrizio Santoboni --- Chapter 13: Environmental Health Surveillance for Health Risk Assessment Following Radionuclide Release by Robert Wålinder --- Chapter 14: Challenges and Perspectives of the Risk Assessment of the Genetic Susceptibility to Cancer in the Next-Generation Sequencing Era by Israel Gomy --- Chapter 15: Risk Assessment of Heavy Metals Pollution in Urban Environment by Gevorg Tepanosyan, Lilit Sahakyan, David Pipoyan and Armen Saghatelyan --- Chapter 16: Pharmaceuticals and Personal Care Products: Risks, Challenges, and Solutions by Zakiya Hoyett --- Chapter 17: Estimation of PM2.5 Trajectory Using Atmospheric Dispersion Models and GIS in the Tokyo Metropolitan Area by Kayoko Yamamoto and Zhaoxin Yang --- Chapter 18: Risk Assessment and Prediction of Aflatoxin in Agro-Products by Peiwu Li, Xiaoxia Ding, Yizhen Bai, Linxia Wu, Xiaofeng Yue and Liangxiao Zhang --- Chapter 19: Risk Management in Complex Organisations by Andrea Antonucci
    Pages: Online-Ressource (384 Seiten)
    ISBN: 9789535137993
    URL: https://www.intechopen.com/books/risk-assessment
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 13
    Unknown
    Colorimetry and Image Processing (2018)
    Rijeka : InTech
    Details
    Keywords: image processing
    Description / Table of Contents: Chapter 1: Colorimetry and Dichromatic Vision by Humberto Moreira, Leticia Álvaro, Anna Melnikova and Julio Lillo --- Chapter 2: Image Segmentation Based on Mathematical Morphological Operator by Jianjun Chen, Haijian Shao and Chunlong Hu --- Chapter 3: Color Reconstruction and Resolution Enhancement Using Super-Resolution by Eduardo Quevedo Gutiérrez and Gustavo Marrero Callicó --- Chapter 4: Color Analysis and Image Processing Applied in Agriculture by Jesús Raúl Martínez Sandoval, Miguel Enrique Martínez Rosas, Ernesto Martínez Sandoval, Manuel Moisés Miranda Velasco and Humberto Cervantes De Ávila --- Chapter 5: A Proposal of Color Image Processing Applications for Education by Hiroshi Kamada, Tomohisa Ishikawa and Keitaro Yoshikawa --- Chapter 6: Real-Time Video Analysis in Agriculture by Using LabVIEW Software by Abdullah Beyaz --- Chapter 7: Diffusion-Steered Super-Resolution Image Reconstruction by Baraka J. Maiseli --- Chapter 8: A New Pansharpening Approach for Hyperspectral Images by Chiman Kwan, Jin Zhou and Bence Budavari --- Chapter 9: Thresholding Algorithm Optimization for Change Detection to Satellite Imagery by René Vázquez-Jiménez, Rocío N. Ramos-Bernal, Raúl Romero- Calcerrada, Patricia Arrogante-Funes, Sulpicio Sanchez Tizapa and Carlos J. Novillo --- Chapter 10: Clouds Motion Estimation from Ground-Based Sky Camera and Satellite Images by Ali Youssef Zaher and Afraa Ghanem
    Pages: Online-Ressource (206 Seiten)
    ISBN: 9789535137450
    URL: https://www.intechopen.com/books/colorimetry-and-image-processing
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 14
    Unknown
    Time Series Analysis and Applications (2018)
    Rijeka : InTech
    Details
    Keywords: time series analysis ; TSA ; data science ; forecasting
    Description / Table of Contents: Chapter 1: Introductory Chapter: Time Series Analysis (TSA) for Anomaly Detection in IoT by Nawaz Mohamudally --- Chapter 2: Anxiety, Worry and Fear: Quantifying the Mind Using EKG Time Series Analysis by Toru Yazawa --- Chapter 3: Agricultural Monitoring in Regional Scale Using Clustering on Satellite Image Time Series by Renata Ribeiro do Valle Gonçalves, Jurandir Zullo Junior, Bruno Ferraz do Amaral, Elaine Parros Machado Sousa and Luciana Alvim Santos Romani --- Chapter 4: Volatility Parameters Estimation and Forecasting of GARCH(1,1) Models with Johnson’s SU Distributed Errors by Mohammed Elamin Hassan, Henry Mwambi and Ali Babikir --- Chapter 5: Generation of Earth’s Surface Three-Dimensional (3-D) Displacement Time-Series by Multiple-Platform SAR Data by Antonio Pepe --- Chapter 6: Time Series and Renewable Energy Forecasting by Mahmoud Ghofrani and Musaad Alolayan --- Chapter 7: Modeling Nonlinear Vector Time Series Data by Jiancheng Jiang and Sha Yu --- Chapter 8: Symbolic Time Series Analysis and Its Application in Social Sciences by Wiston Adrián Risso --- Chapter 9: State-Space Models for Binomial Time Series with Excess Zeros by Fan Tang and Joseph E. Cavanaugh --- Chapter 10: Ensemble Prediction of Stream Flows Enhanced by Harmony Search Optimization by Milan Cisty and Veronika Soldanova
    Pages: Online-Ressource (178 Seiten)
    ISBN: 9789535137436
    URL: https://www.intechopen.com/books/time-series-analysis-and-applications
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 15
    Unknown
    Education and Skills for Inclusive Growth, Green Jobs and the Greening of Economies in Asia : Case Study Summaries of India, Indonesia, Sri Lanka and Viet Nam (2018)
    Singapore : Springer
    Details
    Keywords: Business ; Management ; Industrial management ; Technical education ; Sustainable development ; Business and Management ; Innovation/Technology Management ; Sustainable Development ; Engineering/Technology Education
    Description / Table of Contents: Overview --- Introduction --- Summary of Main Research Findings and Storylines: India, Indonesia, Sri Lanka, Viet Nam --- Case Study of a Private Sector Firm in Indonesia --- A Holistic Approach to Greening TVET: A Case Study and Analysis of Bac Thang Long Economic Technical College Practices --- Summary, Conclusions, and the Way Ahead: Cross-Country Concerns, Issues, and Prospects
    Pages: Online-Ressource (XXII, 198 pages) , 19 illustrations in color
    ISBN: 9789811065590
    URL: https://link.springer.com/openurl?genre=book&isbn=978-981-10-6559-0
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 16
    Unknown
    Entrepreneurial Cognition : Exploring the Mindset of Entrepreneurs (2018)
    Cham : Palgrave Macmillan
    Details
    Keywords: Business ; Entrepreneurship ; Cognitive psychology ; Business and Management ; Entrepreneurship ; Cognitive Psychology ; Employee Health and Wellbeing
    Description / Table of Contents: 1: Introduction --- 2: Prior Knowledge and Entrepreneurial Cognition --- 3: Motivation and Entrepreneurial Cognition --- 4: Attention and Entrepreneurial Cognition --- 5: Entrepreneurial Identity --- 6: Emotion and Entrepreneurial Cognition --- 7: Conclusion
    Pages: Online-Ressource (XIII, 281 pages) , 5 illustrations, 1 illustrations in color
    ISBN: 9783319717821
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-71782-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 17
    Unknown
    Heterogeneity, High Performance Computing, Self-Organization and the Cloud (2018)
    Cham : Palgrave Macmillan
    Details
    Keywords: Big data ; Business logistics ; Industries ; Information Systems ; Computer network architectures ; Big Data/Analytics ; Logistics ; Industries ; Management of Computing and Information Systems ; Computer System Implementation
    Description / Table of Contents: 1 Addressing the Complexity of HPC in the Cloud: Emergence, Self-Organisation, Self-Management and the Separation of Concerns --- 2 Cloud Architectures and Management Approaches --- 3 Self-organising, Self-Managing Frameworks and Strategies --- 4 Application Blueprints and Service Description --- Simulating Heterogeneous Clouds at Scale --- Concluding Remarks
    Pages: Online-Ressource (XXI, 165 pages) , 46 illustrations
    ISBN: 9783319760384
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-76038-4
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 18
    Unknown
    Market Segmentation Analysis : Understanding It, Doing It, and Making It Useful (2018)
    Singapore : Springer
    Details
    Keywords: Market research ; Statistics ; Market Research/Competitive Intelligence ; Statistics for Business/Economics/Mathematical Finance/Insurance
    Description / Table of Contents: Part I. Introduction --- Chapter 1. Market segmentation --- Chapter 2. Market segmentation analysis --- Part II. Ten steps of market segmentation analysis --- Chapter 3. STEP 1: Deciding (not) to segment --- Chapter 4. STEP 2: Specifying the ideal target segment --- Chapter 5. STEP 3: Collecting data --- Chapter 6. STEP 4: Exploring data --- Chapter 7. STEP 5: Extracting segments --- Chapter 8. STEP 6: Profiling segments --- Chapter 9. STEP 7: Describing segments --- Chapter 10. STEP 8: Selecting (the) target segment(s) --- Chapter 11. STEP 9: Customising the marketing mix --- Chapter 12. STEP 10: Evaluation and monitoring.
    Pages: Online-Ressource (XXI, 324 pages) , 123 illustrations, 51 illustrations in color
    ISBN: 9789811088186
    URL: https://link.springer.com/openurl?genre=book&isbn=978-981-10-8818-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 19
    Unknown
    RESTART Sustainable Business Model Innovation (2018)
    Cham : Palgrave Macmillan
    Details
    Keywords: Industrial management-Environmen ; Social responsibility of busines ; Leadership ; Sustainability Management ; Corporate Social Responsibility ; Business Strategy/Leadership
    Description / Table of Contents: Chapter 1: Why sustainable business model innovation? --- Chapter 2: The seven steps of the RESTART framework --- Chapter 3: RESTART: what, why, how and so what? --- Chapter 4: Roadmap to a RESTART --- Chapter 5: Redesign rather than standstill --- Chapter 6: Experimentation rather than turnaround --- Chapter 7: Service-logic rather than product-logic --- Chapter 8: The circular rather than the linear economy --- Chapter 9: Alliances rather than solo-runs --- Chapter 10: Results rather than indulgences --- Chapter 11: Three-dimensionality rather than one-dimensionality --- Chapter 12: RESTART before it is too late --- Chapter 13: A recap of the RESTART framework --- Chapter 14: A process model for sustainable business model innovation --- Chapter 15: Avenues for future research --- Chapter 16: Case study: A RESTART for Scanship --- Chapter 17: Case study: A circular business model for Orkla and BIR?
    Pages: Online-Ressource (XXIII, 253 pages) , 26 illustrations
    ISBN: 9783319919713
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-91971-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 20
    Unknown
    Drones and the Creative Industry : Innovative Strategies for European SMEs (2018)
    Cham : Springer
    Details
    Keywords: Business ; Small business ; Management ; Industrial management ; Culture - Economic aspects ; Business and Management ; Innovation/Technology Management ; Digital/New Media ; Small Business ; Film/TV Industry ; Cultural Economics
    Description / Table of Contents: Introduction to Drones & Technology Applied to the Creative Industry. AiRT Project: An Overview of the Main Results and Actions --- The Economic Impact of the Creative Industry in the European Union --- Creative Industries’ Needs: A Latent Demand --- Financing Tech-Transfer and Innovation: An Application to the Creative Industries --- Successful Cases of the Use of Innovative Tools & Technology in the Creative Industries Field --- Storyboarding as a Means of Requirements Elicitation and User Interface Design: An Application to the Drones’ Industry --- Usability and Experience of the Creative Industries through Heuristic Evaluation of Flight Software for Mapping and Photogrammetry with Drones --- How a Cutting-Edge Technology Can Benefit the Creative Industries: The Positioning System at Work --- Indoor Drones for the Creative Industries: Distinctive Features/Opportunities in Safety Navigation --- The Relationship of the Industry with the Public Administration: Best Practices on Co-regulation for Training --- Innovative Strategies for the European SMEs. AiRT Project Main Remarks
    Pages: Online-Ressource (X, 161 pages) , 58 illustrations, 53 illustrations in color
    ISBN: 9783319952611
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-95261-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 21
    Unknown
    Development Policies and Policy Processes in Africa : Modeling and Evaluation (2018)
    Cham : Springer
    Details
    Keywords: Development economics ; Agricultural economics ; Economic policy ; Economics ; Development Economics ; Development Policy ; African Economics ; Development Aid ; Agricultural Economics
    Description / Table of Contents: Introduction --- Part I: Modeling Economic Policies --- Macro-Economic Models --- Micro-Economic and Micro-Macro Linked Models --- Part II: Modeling Policy Processes --- Concluding Remarks
    Pages: Online-Ressource (XV, 351 pages) , 52 illustrations, 8 illustrations in color
    ISBN: 9783319607146
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-60714-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 22
    Unknown
    Natural Hazards : Risk Assessment and Vulnerability Reduction (2018)
    Rijeka : InTech
    Details
    Keywords: risk management ; natural disasters ; floods ; disasters ; Tsunami
    Description / Table of Contents: 1. Vulnerability, Urban Design and Resilience Management / by Bruno Barroca --- 2. Index of Proportional Risk (IRP) Flood-Risk Assessment Model and Comparison to Collected Data / by Luca Franzi, Gennaro Bianco, Alessandro Pezzoli and Angelo Besana --- 3. Insight into the Correlation between Land Subsidence and the Floods in Regions of Indonesia / by Heri Andreas, Hasanuddin Z. Abidin, Irwan Gumilar, Teguh P. Sidiq, Dina A. Sarsito and Dhota Pradipta --- 4. Assessing the Impact of Land Use Changes and Rangelands and Forest Degradation on Flooding Using Watershed Modeling System / by Nafise Moghadasi, Iman Karimirad and Vahedberdi Sheikh --- 5. Extent of 2014 Flood Damages in Chenab Basin Upper Indus Plain / by Shakeel Mahmood and Razia Rani --- 6. Towards the Reduction of Vulnerabilities and Risks of Climate Change in the Community-Based Tourism, Namibia / by Selma Lendelvo, Margaret N. Angula, Immaculate Mogotsi and Karl Aribeb --- 7. Using the Monoplotting Technique for Documenting and Analyzing Natural Hazard Events / by Conedera Marco, Bozzini Claudio, Ryter Ueli, Bertschinger Thalia and Krebs Patrik --- 8. Tsunami Hazard Assessment for the Hokuriku Region, Japan: Toward Disaster Mitigation for Future Earthquakes / by Michihiro Ohori, Yuri Masukawa and Keisuke Kojima --- 9. Disaster Mitigation Model of Eruption Based on Local Wisdom in Indonesia / by Eko Hariyono and Solaiman Liliasari
    ISBN: 9781789848212
    URL: https://www.intechopen.com/books/natural-hazards-risk-assessment-and-vulnerability-reduction
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 23
    Unknown
    Projection-Based Clustering through Self-Organization and Swarm Intelligence : Combining Cluster Analysis with the Visualization of High-Dimensional Data (2018)
    Wiesbaden : Springer Vieweg
    Details
    Keywords: Computer science ; Data structures (Computer science) ; Pattern recognition ; Computer Science ; Pattern Recognition ; Data Structures
    Description / Table of Contents: Approaches to Unsupervised Machine Learning --- Methods of Visualization of High-Dimensional Data --- Quality Assessments of Visualizations --- Behavior-Based Systems in Data Science --- Databionic Swarm (DBS)
    Pages: Online-Ressource (XX, 201 pages) , 90 illustrations, 29 illustrations in color
    ISBN: 9783658205409
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-658-20540-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 24
    Unknown
    Climate Smart Agriculture : Building Resilience to Climate Change (2018)
    Cham : Springer
    Details
    Keywords: Economic policy ; Agricultural economics ; Economics ; Agricultural Economics ; R & D/Technology Policy ; Political Economy/Economic Policy
    Description / Table of Contents: Chapter 1: Introduction --- Chapter 2: A Short History of the Evolution of the Climate Smart Agriculture Approach and its Links to Climate Change and Sustainable Agriculture Debates --- Chapter 3:Economics of Climate-Smart Agriculture --- Chapter 4:  Innovation in Response to Climate Change --- Chapter 5:  Use of Satellite Information on Wetness and Temperature for Decision of Crop Yield Prediction, River Discharge and Planning --- Chapter 6:  Early Warning Techniques for Local Climate Resilience: Smallholder Rice in Lao PDE --- Chapter 7 :  Farmers' Perceptions of and Adaptations to Climate Change in Southeast Asia:  The Case Study from Thailand and Vietnam --- Chapter 8:  U.S. Maize Yield Growth and Countervailing Climate Change Impacts --- Chapter 9:  Understanding Tradeoffs in the Context of Farm-Scale Impacts:  An Application of Decision-Support Tools for Assessing Climate Smart Argiculture --- Chapter 10:  Can Insurance Help Manage Climate Risk and Food Insecurity?: Evidence from the Pastoral Regions of East Africa --- Chapter 11:  Can Cash Transfer Programs Promote Household Resilience?: Cross-Country Evidence from Sub-Saharan Africa --- Chapter 12:  Input Subsidy Programs and Climate Smart Agriculture --- Chapter 13:  Robust Decision Making for a Climate-Resilient Development of the Agricultural Sector in Nigeria --- Chapter 14:  Using AgMIP Regional Integrated Assessment Methods to Evaluate Vulnerability, Resilience and Adaptive Capacity for Climate Smart Agricultural Systems --- Chapter 15:  Climate Smart Food Supply Chains in Developing Countries in an Era of Rapid Dual Change in Agrifood Systems and the Climate --- Chapter 16:  The Adoption of Climate Smart Agriculture: The Role of Information and Insurance under Climate Change --- Chapter 17:  A Qualitative Evaluation of CSA Options in Mixed Crop-Livestock Systems in Developing Countries --- Chapter 18: Identifying Strategies to Enhance the Resilience of Smallholder Farming Systems: Evidence of Zambia --- Chapter 19:  Climate Risk Management Through Sustainable Land and Water Management in Sub-Saharan Africa --- Chapter 20:  Improving the Resilience of Central Asian Agriculture to Weather Viability and Climate Change --- Chapter 21:  Managing Environmental Risk in the Presence of Climate Change: The Role of Adaption in the Mile Basin of Ethiopia --- Chapter 22: Diversification as Part of a CSA Strategy: The Cases of Zambia and Malawi --- Chapter 23:  Economic Analysis of Improved Smallholder Paddy and Maize Production in Northern Vietnam and Implications for Climate-Smart Agriculture --- Chapter 24:  Synthesis:  Devising Effective Strategies and Policies for CSA --- Chapter 25:  Conclusions and Policy Implications
    Pages: Online-Ressource (XVIII, 630 pages) , 107 illustrations, 97 illustrations in color
    ISBN: 9783319611945
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-61194-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 25
    Unknown
    Computational Fluid Dynamics : Basic Instruments and Applications in Science (2018)
    Rijeka : InTech
    Details
    Keywords: computational fluid dynamics
    Description / Table of Contents: Chapter 1: High-Performance Computing: Dos and Don’ts by Guillaume Houzeaux, Ricard Borrell, Yvan Fournier, Marta Garcia- Gasulla, Jens Henrik Göbbert, Elie Hachem, Vishal Mehta, Youssef Mesri, Herbert Owen and Mariano Vázquez --- Chapter 2: Multilevel Variable-Block Schur-Complement-Based Preconditioning for the Implicit Solution of the Reynolds- Averaged Navier-Stokes Equations Using Unstructured Grids by Bruno Carpentieri and Aldo Bonfiglioli --- Chapter 3: Free-Surface Flow Simulations with Smoothed Particle Hydrodynamics Method using High-Performance Computing by Corrado Altomare, Giacomo Viccione, Bonaventura Tagliafierro, Vittorio Bovolin, José Manuel Domínguez and Alejandro Jacobo Cabrera Crespo --- Chapter 4: Highly Deforming Computational Meshes for CFD Analysis of Twin-Screw Positive Displacement Machines by Sham Rane, Ahmed Kovačević, Nikola Stošić and Ian Smith --- Chapter 5: Optimization Design by Coupling Computational Fluid Dynamics and Genetic Algorithm by Jong-Taek Oh and Nguyen Ba Chien --- Chapter 6: Applications of CFD for Process Safety by Luis G. Zárate, Sebastián Uribe and Mario E. Cordero --- Chapter 7: Adaptation to Climate Change at Local Scale: A CFD Study in Porto Urban Area by Vera Rodrigues, Sandra Rafael, Sandra Sorte, Sílvia Coelho, Hélder Relvas, Bruno Vicente, Joana Leitão, Myriam Lopes, Ana Isabel Miranda and Carlos Borrego --- Chapter 8: Computational Fluid Dynamics (CFD) Applied to a Glass Vaporization Chamber for Introduction of Micro- or Nano-Size Samples into Lab-Based ICPs and to a CFD-Derived (and Rapidly Prototyped Via 3D Printing) Smaller-Size Chamber for Portable Microplasmas by Hamid R. Badiei, Gordon Stubley, Ryan Fitzgerald, Melanie Saddler and Vassili Karanassios --- Chapter 9: Analysis of Biomass Waste Cofiring into Existing Coal-Fired Power Plant Using Computational Fluid Dynamics by Arif Darmawan, Dwika Budianto, Koji Tokimatsu and Muhammad Aziz --- Chapter 10: CFD Modelling of Coupled Multiphysics-Multiscale Engineering Cases by Mario E. Cordero, Sebastián Uribe, Luis G. Zárate, Reyna Natividad Rangel, Alejandro Regalado-Méndez and Ever Peralta Reyes --- Chapter 11: CFD Analysis of Turbulence Models to Achieve the Digester Mixing Process by Jorge Flores-Velazquez, Abraham Jesus Arzeta-Rios, Waldo Ojeda Bustamante and Teodoro Espinosa-Solares --- Chapter 12: CFD for the Design and Optimization of Slurry Bubble Column Reactors by Omar M. Basha and Badie I. Morsi --- Chapter 13: Two Different Formulations for Solving the Navier-Stokes Equations with Moderate and High Reynolds Numbers by Blanca Bermúdez, Alejandro Rangel-Huerta, Wuiyevaldo Fermín Guerrero-Sánchez and José David Alanís --- Chapter 14: Vibration Characteristics of Fluid-Filled Functionally Graded Cylindrical Material with Ring Supports by Muzamal Hussain, Aamir Shahzad, Muhammad Nawaz Naeem and Maogang He --- Chapter 15: CFD Simulations of Crude Oil Fouling on Heat Transfer Surfaces by Ramasamy Marappa Gounder and Sampath Emani --- Chapter 16: Surrogate Model Applied for Analysis of Uncertain Parameters in Turbulent Mixing Flows by Boštjan Končar, Andrej Prošek and Matjaž Leskovar
    Pages: Online-Ressource (410 Seiten)
    ISBN: 9789535137917
    URL: https://www.intechopen.com/books/computational-fluid-dynamics-basic-instruments-and-applications-in-science
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 26
    Unknown
    Clinical Text Mining : Secondary Use of Electronic Patient Records (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Health informatics ; Data mining ; Information storage and retrieval ; Text processing (Computer science) ; Computational linguistics ; Computer Science ; Information Storage and Retrieval ; Health Informatics ; Document Preparation and Text Processing ; Health Informatics ; Language Translation and Linguistics ; Data Mining and Knowledge Discovery
    Description / Table of Contents: Introduction --- The history of the patient record and the paper record --- User needs: clinicians, clinical researchers and hospital management --- Characteristics of patient records and clinical corpora --- Medical classifications and terminologies --- Evaluation metrics and evaluation --- Basic building blocks for clinical text processing --- Computational methods for text analysis and text classification --- Ethics and privacy of patient records for clinical text mining research --- Applications of clinical text mining --- Networks and shared tasks in clinical text mining --- Conclusions and outlook --- References --- Index
    Pages: Online-Ressource (XVII, 181 pages) , 54 illustrations, 28 illustrations in color
    ISBN: 9783319785035
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-78503-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 27
    Unknown
    Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer organization ; Software engineering ; Programming languages (Electronic computers) ; Computers ; Computer Science ; Software Engineering ; Programming Languages, Compilers, Interpreters ; Computer Systems Organization and Communication Networks ; The Computing Profession ; Theory of Computation
    Description / Table of Contents: Model-Based Software Development --- A Formal Framework for Incremental Model Slicing --- Multiple Model Synchronization with Multiary Delta Lenses --- Controlling the Attack Surface of Object-Oriented Refactorings --- Efficient Analysis of Attack Trees: a Model-Driven Approach --- Distributed Program and System Analysis --- ROLA: A New Distributed Transaction Protocol and Its Formal Analysis --- A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism --- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems --- EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States --- Software Design and Verification --- Hierarchical Specification and Verification of Architectural Design Patterns --- Supporting Verification-Driven Incremental Distributed Design of Components --- Summarizing Software API Usage Examples using Clustering Techniques --- Fast Computation of Arbitrary Control Dependencies --- Specification and Program Testing --- Iterative Generation of Diverse Models for Testing Specifications of SL Tools --- Optimising Spectrum Based Fault Localisation for Single Fault Programs using Specifications --- TCM: Test Case Mutation to Improve Crash Detection in Android --- CRETE: A Versatile Binary-Level Concolic Testing Framework --- Family-Based Software Development --- Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* --- FPH: Efficient Non-Commutativity Analysis of Feature-Based Systems --- Taming Multi-Variability of Software Product Line Transformations
    Pages: Online-Ressource (XII, 357 pages) , 116 illustrations
    ISBN: 9783319893631
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89363-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 28
    Unknown
    Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer system failures ; Software engineering ; Computer logic ; Computer science ; Mathematics ; Artificial intelligence ; Computers ; Computer Science ; Logics and Meanings of Programs ; Software Engineering/Programming and Operating Systems ; Artificial Intelligence (incl. Robotics) ; System Performance and Evaluation ; The Computing Profession ; Discrete Mathematics in Computer Science
    Description / Table of Contents: Semantics --- Non-angelic Concurrent Game Semantics --- A Trace Semantics for System F Parametric Polymorphism --- Categorical Combinatorics for Non Deterministic Strategies on Simple Games --- A Syntactic View of Computational Adequacy --- Linearity --- A New Linear Logic for Deadlock-Free Session-Typed Processes --- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads --- Depending on Session-Typed Processes --- FabULous Interoperability for ML and a Linear Language --- Concurrency --- Automata for True Concurrency Properties --- A Theory of Encodings and Expressiveness --- A Framework for Parameterized Monitorability --- Logics for Bisimulation and Divergence --- Lambda-Calculi and Types --- Call-by-need, Neededness and All That --- Fitch-Style Modal Lambda Calculi --- Realizability Interpretation and Normalization of Typed Call-by-Need --- Quotient Inductive-Inductive Types --- Category Theory and Quantum Control --- Guarded Traced Categories --- Proper Semirings and Proper Convex Functors --- From Symmetric Pattern-Matching to Quantum Control --- Quantitative Models --- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes --- A Hierarchy of Scheduler Classes for Stochastic Automata --- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings --- Comparator Automata in Quantitative Verification --- Logics and Equational Theories --- Modular Tableaux Calculi for Separation Theories --- Differential Calculus with Imprecise Input and its Logical Framework --- The Effects of Adding Reachability Predicates in Propositional Separation Logic --- The Equational Theory of the Natural Join and of Inner Union is Decidable --- Graphs and Automata --- Minimization of Graph Weighted Models over Circular Strings --- Games on Graphs with a Public Signal Monitoring --- WQO Dichotomy for 3-Graphs --- Verifying Higher-Order Functions with Tree Automata
    Pages: Online-Ressource (XV, 583 pages) , 75 illustrations
    ISBN: 9783319893662
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89366-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 29
    Unknown
    Elements of Robotics (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Artificial intelligence ; Algorithms ; Robotics ; Automation ; Computer Science ; Artificial Intelligence (incl. Robotics) ; Algorithms ; Robotics and Automation
    Description / Table of Contents: Robots and their Applications --- Sensors --- Reactive Behavior --- Finite State Machines --- Robotic Motion and Odometry --- Control --- Local Navigation: Obstacle Avoidance --- Localization --- Mapping --- Mapping-based Navigation --- Fuzzy Logic Control --- Image Processing --- Neural Networks --- Machine Learning --- Swarm Robotics --- Kinematics of a Robotic Manipulator --- Appenix A:Units of Measurement --- Appendix B:Mathematical Derivations and Tutorials --- Index
    Pages: Online-Ressource (XVI, 308 pages) , 198 illustrations, 76 illustrations in color
    ISBN: 9783319625331
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-62533-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 30
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer hardware ; Computer organization ; Software engineering ; Computer logic ; Computers ; Computer Science ; Logics and Meanings of Programs ; Software Engineering/Programming and Operating Systems ; Computer Systems Organization and Communication Networks ; Computing Methodologies ; Computing Milieux ; Computer Hardware
    Description / Table of Contents: Concurrent and Distributed Systems --- Computing the concurrency threshold of sound free-choice workflow nets --- Fine-Grained Complexity of Safety Verification --- Parameterized verification of synchronization in constrained reconfigurable broadcast networks --- EMME: a formal tool for the ECMAScript Memory Model Evaluation --- SAT and SMT II --- What a Difference a Variable Makes --- Abstraction Refinement for Emptiness Checking of Alternating Data Automata --- Revisiting Enumerative Instantiation --- An Non-linear Arithmetic Procedure for Control-Command Software Verification --- Security and Reactive Systems --- Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection --- Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts --- RVHyper: A Runtime Verification Tool for Temporal Hyperproperties --- The Refinement Calculus of Reactive Systems Toolset --- Static and Dynamic Program Analysis --- TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation --- Optimal Dynamic Partial Order Reduction with Observers --- Structurally Defined Conditional Data-flow Static Analysis --- Geometric Nontermination Arguments --- Hybrid and Stochastic Systems --- Efficient dynamic error reduction for hybrid systems reachability analysis --- AMT2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic --- Multi-Cost Bounded Reachability in MDPs --- A Statistical Model Checker for Nondeterminism and Rare Events --- Temporal logic and mu-calculus --- Permutation Games for the Weakly Aconjunctive mu-Calculus --- Symmetry Reduction for the Local Mu-Calculus --- Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models --- 7th Competition on Software Verification (SV-COMP) --- 2LS: Memory Safety and Non-Termination (Competition contribution) --- Yogar-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement (Competition Contribution) --- CPA-BAM-Slicing: Block-Abstraction Memorization and Slicing with Region-Based Dependency Analysis (Competition Contribution) --- InterpChecker: Reducing State Space via Interpolations (Competition Contribution) --- Map2Check using LLVM and KLEE (Competition Contribution) --- Symbiotic 5: Boosted Instrumentation (Competition Contribution) --- Ultimate Automizer and the Search for Perfect Interpolants (Competition Contribution) --- Ultimate Taipan with Dynamic Block Encoding (Competition Contribution) --- VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution)
    Pages: Online-Ressource (XX, 465 pages) , 92 illustrations
    ISBN: 9783319899633
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89963-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 31
    Unknown
    The Essence of Software Engineering (2018)
    Cham : Springer
    Details
    Keywords: Software engineering ; Management information systems ; Information Systems ; Software Engineering ; Software Management ; Management of Computing and Information Systems
    Description / Table of Contents: 1 The Leading Role of Software and Systems Architecture in the Age of Digitization --- 2 Formal Methods and Agile Development: Towards a Happy Marriage --- 3 Escaping Method Prison – On the Road to Real Software Engineering --- 4 What is software?: The Role of Empirical Methods in Answering the Question --- 5 Only the Architecture You Need --- 6 Variability in standard software products Introducing software product line engineering to the insurance industry --- 7 Using Design Thinking for Requirements Engineering in the Context of Digitalization and Digital Transformation – a Motivation and an Experience Report --- 8 Towards Deviceless Edge Computing: Challenges, Design Aspects & Models for Serverless paradigm at the Edge --- 9 Data-driven decisions and actions in today’s software development --- 10 Software Architecture: Past, Present, Future --- 11 Software Product Lines --- 12 Enabling Flexible and Robust Business Process Automation for the Agile Enterprise --- 13 Achievements, Failures, and the Future of Model-based Software Engineering
    Pages: Online-Ressource (XV, 236 pages) , 98 illustrations, 51 illustrations in color
    ISBN: 9783319738970
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-73897-0
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 32
    Unknown
    Building a Resilient and Sustainable Agriculture in Sub-Saharan Africa (2018)
    Cham : Palgrave Macmillan
    Details
    Keywords: Industrial organization ; Development economics ; Economic policy ; Agricultural economics ; Environmental economics ; Economics ; Agricultural Economics ; African Economics ; Environmental Economics ; Industrial Organization ; R & D/Technology Policy ; Development Economics
    Description / Table of Contents: Chapter 1: Understanding the Challenges of the Agriculture Sector in Sub-Saharan Africa --- Part I – Improving Agricultural Productivity --- Chapter 2: Improved Seeds and Agricultural Productivity of Family Farms in Cameroon --- Chapter 3: Breaking the Traditional Trap: Assessing Drivers of Modern Technology Adoption by Smallholder Farmers in Hurungwe District, Zimbabwe --- Chapter 4: Input Utilization and Agricultural Labour Productivity: A Gender Analysis --- Chapter 5: Evaluation of Women’s On-Farm Trial of Drought Tolerant Maize in Southern Guinea Savannah Agro-Ecological Zone of Nigeria --- Chapter 6: Impact of Bioenergy Crop Adoption on Total Crop Incomes of Farmers in Northern Ghana: The Case of Jatropha Curcas --- Part II - Addressing Climate Change Challenges --- Chapter 7: Profitability in a Sustainable Agricultural Production System: An Approach by the Soil and Water Conservation --- Chapter 8: Land Tenure and Communities’ Vulnerability to Climate Shocks: Insights from the Niger Basin of Benin --- Chapter 9: Impact of Drought Index Insurance on Supplemental Irrigation: A Randomized Controlled Trial Experimental Evidence in Northern Ghana --- Part III – Promoting Agro-Industrialization --- Chapter 10: Does the Development of the Agricultural Sector Affect the Manufacturing Sector? --- Chapter 11: Transforming African Agriculture through Special Economic Zones: Opportunities and Challenges --- Chapter 12: Global Value Chains and Upmarket of ECOWAS countries --- Chapter 13: Enhancing the Resilience and Sustainability of the Agriculture Sector in Sub-Saharan Africa
    Pages: Online-Ressource (XXVIII, 302 pages) , 25 illustrations, 19 illustrations in color
    ISBN: 9783319762227
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-76222-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 33
    Unknown
    Applying the Kaizen in Africa : A New Avenue for Industrial Development (2018)
    Cham : Palgrave Macmillan
    Details
    Keywords: Leadership ; Industrial organization ; Labor economics ; Development economics ; Economics ; Industrial Organization ; Business Strategy/Leadership ; Development Economics ; African Economics ; Labor Economics
    Description / Table of Contents: Chapter 1. How Kaizen Brightens Africa's Future? --- Chapter 2. Role of Kaizen in Japan’s Overseas Development Cooperation --- Chapter 3. Kaizen in Practice --- Chapter 4. Kaizen and Standardization --- Chapter 5. Kaizen as a Policy Instrument: The Case of Ethiopia --- Chapter 6. Kaizen as a Key Ingredient of Industrial Development Policy
    Pages: Online-Ressource (XX, 266 pages) , 37 illustrations, 6 illustrations in color
    ISBN: 9783319914008
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-91400-8
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 34
    Unknown
    Projection-Based Clustering through Self-Organization and Swarm Intelligence : Combining Cluster Analysis with the Visualization of High-Dimensional Data (2018)
    Wiesbaden : Springer Vieweg
    Details
    Keywords: Computer science ; Data structures (Computer science) ; Pattern recognition ; Computer Science ; Pattern Recognition ; Data Structures
    Description / Table of Contents: Approaches to Unsupervised Machine Learning --- Methods of Visualization of High-Dimensional Data --- Quality Assessments of Visualizations --- Behavior-Based Systems in Data Science --- Databionic Swarm (DBS)
    Pages: Online-Ressource (XX, 201 pages) , 90 illustrations, 29 illustrations in color
    ISBN: 9783658205409
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-658-20540-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 35
    Unknown
    Language Technologies for the Challenges of the Digital Age : 27th International Conference, GSCL 2017, Berlin, Germany, September 13-14, 2017, Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Data mining ; Artificial intelligence ; Text processing (Computer science) ; Computational linguistics ; Computer Science ; Document Preparation and Text Processing ; Artificial Intelligence (incl. Robotics) ; Language Translation and Linguistics ; Data Mining and Knowledge Discovery ; Information Systems Applications (incl. Internet)
    Description / Table of Contents: Reconstruction of Separable Particle Verbs in a Corpus of Spoken German --- Detecting Vocal Irony --- The Devil is in the Details: Parsing Unknown German Words --- Exploring Ensemble Dependency Parsing to Reduce Manual Annotation Workload --- Different German and English Co-reference Resolution Models for Multi-Domain Content Curation Scenarios --- Word and Sentence Segmentation in German: Overcoming Idiosyncrasies in the Use of Punctuation in Private Communication --- Fine-Grained POS Tagging of German Social Media and Web Texts --- Developing a Stemmer for German Based on a Comparative Analysis of Publicly Available Stemmers --- Negation Modeling for German Polarity Classification --- NECKAr: A Named Entity Classifier for Wikidata --- Investigating the Morphological Complexity of German Named Entities: The Case of the GermEval NER Challenge --- Detecting Named Entities and Relations in German Clinical Reports --- In-Memory Distributed Training of Linear-Chain Conditional Random Fields with an Application to Fine-Grained Named Entity Recognition --- What does this imply? Examining the Impact of Implicitness on the Perception of Hate Speech --- Automatic Classification of Abusive Language and Personal Attacks in Various Forms of Online Communication --- Token Level Code-Switching Detection Using Wikipedia as a Lexical Resource --- How Social Media Text Analysis Can Inform Disaster Management --- A Comparative Study of Uncertainty Based Active Learning Strategies for General Purpose Twitter Sentiment Analysis with Deep Neural Networks --- An Infrastructure for Empowering Internet Users to Handle Fake News and Other Online Media Phenomena --- Different Types of Automated and Semi-automated Semantic Storytelling: Curation Technologies for Different Sectors --- Twitter Geolocation Prediction Using Neural Networks --- Diachronic Variation of Temporal Expressions in Scientific Writing Through the Lens of Relative Entropy --- A Case Study on the Relevance of the Competence Assumption for Implicature Calculation in Dialogue Systems --- Supporting Sustainable Process Documentation --- Optimizing Visual Representations in Semantic Multi-Modal Models with Dimensionality Reduction, De-noising and Contextual Information --- Using Argumentative Structure to Grade Persuasive Essays
    Pages: Online-Ressource (XIII, 310 pages) , 54 illustrations
    ISBN: 9783319737065
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-73706-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 36
    Unknown
    Supercomputing Frontiers : 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Logic design ; Computer organization ; Operating systems (Computers) ; Computers ; Computer Science ; Computing Methodologies ; Computer Systems Organization and Communication Networks ; Operating Systems ; Logic Design ; Information Systems and Communication Service
    Description / Table of Contents: HHVSF: A Framework to Accelerate Drug-based High-throughput Virtual Screening on High-Performance Computers --- HBasechainDB --- A Scalable Blockchain Framework on Hadoop Ecosystem --- DETOUR: A Large-Scale Non-Blocking Optical Data Center Fabric --- Querying Large Scientific Data Sets with Adaptable IO System ADIOS --- On the Performance of Spark on HPC Systems: Towards a Complete Picture --- Experiences of Converging Big Data Analytics Frameworks with High Performance Computing Systems --- MACC : An OpenACC Transpiler for Automatic Multi-GPU Use --- Acceleration of Wind Simulation using Locally Mesh-Refined Lattice Boltzmann Method on GPU-Rich supercomputers --- Architecture of an FPGA-Based Heterogeneous System for Code-Search Problems --- TINS: A Task-Based Dynamic Helper Core Strategy for In Situ Analytics --- Machine Learning Predictions for Underestimation of Job Runtime on HPC System --- A Power Management Framework with Simple DSL for Automatic Power-Performance Optimization on Power-Constrained HPC Systems --- Scalable Data Management of the Uintah Simulation Framework for Next-Generation Engineering Problems with Radiation --- High performance LOBPCG method for solving multiple eigenvalues of Hubbard model: Efficiency of communication avoiding Neumann expansion preconditioner --- Application of a preconditioned Chebyshev basis communication-avoiding conjugate gradient method to a multiphase thermal-hydraulic CFD code --- Optimization of Hierarchical matrix computation on GPU
    Pages: Online-Ressource (X, 293 pages) , 121 illustrations
    ISBN: 9783319699530
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-69953-0
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 37
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer system failures ; Software engineering ; Data structures (Computer science) ; Computer logic ; Computers ; Computer Science ; Logics and Meanings of Programs ; Software Engineering/Programming and Operating Systems ; Computing Milieux ; Data Structures, Cryptology and Information Theory ; System Performance and Evaluation
    Description / Table of Contents: Theorem Proving --- Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning --- Efficient verification of imperative programs using auto2 --- Frame Inference for Inductive Entailment Proofs in Separation Logic --- Verified Model Checking of Timed Automata --- SAT and SMT I --- Chain Reduction for Binary and Zero-Suppressed Decision Diagrams --- CDCLSym: Introducing E_ective Symmetry Breaking in SAT Solving --- Automatic Generation of Precise and Useful Commutativity Conditions --- Bit-Vector Model Counting using Statistical Estimation --- Deductive Verification --- Hoare Logics for Time Bounds --- A Verified Implementation of the Bounded List Container --- Automating Deductive Verification for Weak-Memory Programs --- Software Verification and Optimisation --- Property Checking Array Programs Using Loop Shrinking --- Invariant Synthesis for Incomplete Verification Engines --- Accelerating Syntax-Guided Invariant Synthesis --- Daisy - Framework for Analysis and Optimization of Numerical Programs --- Model Checking --- Oink: an Implementation and Evaluation of Modern Parity Game Solvers --- More Scalable LTL Model Checking via Discovering Design-Space Dependencies (D^3) --- Generation of Minimum Tree-like Witnesses for Existential CTL --- From Natural Projection to Partial Model Checking and Back --- Machine Learning --- ICE-based Refinement Type Discovery for Higher-Order Functional Programs --- Strategy Representation by Decision Trees in Reactive Synthesis --- Feature-Guided Black-Box Safety Testing of Deep Neural Networks.
    Pages: Online-Ressource (XX, 429 pages) , 93 illustrations
    ISBN: 9783319899602
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89960-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 38
    Unknown
    Principles of Security and Trust : 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer system failures ; Computer security ; Data structures (Computer science) ; Computers ; Computer Science ; Systems and Data Security ; Theory of Computation ; Computing Milieux ; Data Structures, Cryptology and Information Theory ; System Performance and Evaluation
    Description / Table of Contents: Information Flow and Non-Intereference --- What's the Over/Under? Probabilistic Bounds on Information Leakage --- Secure Information Release in Timed Automata --- Compositional Non-Interference for Concurrent Programs via Separation and Framing --- The Meaning of Memory Safety --- Leakage, Information Flow, and Protocols --- Formal Verification of Integrity Preserving Countermeasures Against Cache Storage --- Leakage and Protocol Composition in a Game-theoretic Perspective --- Equivalence Properties by Typing in Cryptographic Branching Protocols --- Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience --- Smart Contracts and Privacy --- SoK: Unraveling Bitcoin Smart Contracts --- A Semantic Framework for the Security Analysis of Ethereum Smart Contracts --- Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts --- UniTraX: Protecting Data Privacy with Discoverable Biases --- Firewalls and Attack-Defense Trees --- Transcompiling Firewalls --- On Quantitative Analysis of Attack-Defense Trees with Repeated Labels
    Pages: Online-Ressource (XIV, 347 pages) , 85 illustrations
    ISBN: 9783319897226
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89722-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 39
    Unknown
    Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer hardware ; Computer organization ; Programming languages (Electronic computers) ; Computers ; Computer Science ; Programming Languages, Compilers, Interpreters ; Theory of Computation ; Computer Systems Organization and Communication Networks ; Computer Hardware ; Computing Methodologies ; Computing Milieux
    Description / Table of Contents: Language Design --- Consistent Subtyping for All --- HOBiT: Programming Lenses without using Lens Combinators --- Dualizing Generalized Algebraic Data Types by Matrix Transposition --- Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach --- Probabilistic Programming --- An Assertion-Based Program Logic for Probabilistic Programs --- Fine-grained Semantics for Probabilistic Programs --- How long, O Bayesian network, will I sample thee? --- Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus --- Types and Effects --- Failure is Not an Option: An Exceptional Type Theory --- Let Arguments Go First --- Behavioural equivalence via modalities for algebraic effects --- Explicit Effect Subtyping --- Concurrency --- A separation logic for a promising semantics --- Logical Reasoning for Disjoint Permissions --- Deadlock-Free Monitors --- Fragment Abstraction for Concurrent Shape Analysis --- Security --- Reasoning About a Machine with Local Capabilities - Provably Safe Stack and Return Pointer Management --- Modular Product Programs --- Program Verification --- A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification --- Verified Learning Without Regret --- Program Verification by Coinduction --- Velisarios: Byzantine Fault Tolerant Protocols Powered by Coq --- Program Analysis and Automated Verification --- Evaluating Design Tradeoffs in Numeric Static Analysis for Java --- An Abstract Interpretation Framework for Input Data Usage --- Higher-Order Program Verification via HFL Model Checking --- Quantitative Analysis of Smart Contracts --- Session Types and Concurrency --- Session-Typed Concurrent Contracts --- A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems --- On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings --- Concurrent Kleene Algebra: Free Model and Completeness --- Concurrency and Distribution --- Correctness of a Concurrent Object Collector for Actor Languages --- Paxos Consensus, Deconstructed and Abstracted --- On Parallel Snapshot Isolation and Release/Acquire Consistency --- Eventual Consistency for CRDTs --- Compiler Verification --- A Verified Compiler from Isabelle/HOL to CakeML --- Compositional Verification of Compiler Optimisations on Relaxed Memory
    Pages: Online-Ressource (XVI, 1058 pages) , 276 illustrations
    ISBN: 9783319898841
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89884-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 40
    Unknown
    Clinical Text Mining : Secondary Use of Electronic Patient Records (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Health informatics ; Data mining ; Information storage and retrieval ; Text processing (Computer science) ; Computational linguistics ; Computer Science ; Information Storage and Retrieval ; Health Informatics ; Document Preparation and Text Processing ; Health Informatics ; Language Translation and Linguistics ; Data Mining and Knowledge Discovery
    Description / Table of Contents: Introduction --- The history of the patient record and the paper record --- User needs: clinicians, clinical researchers and hospital management --- Characteristics of patient records and clinical corpora --- Medical classifications and terminologies --- Evaluation metrics and evaluation --- Basic building blocks for clinical text processing --- Computational methods for text analysis and text classification --- Ethics and privacy of patient records for clinical text mining research --- Applications of clinical text mining --- Networks and shared tasks in clinical text mining --- Conclusions and outlook --- References --- Index
    Pages: Online-Ressource (XVII, 181 pages) , 54 illustrations, 28 illustrations in color
    ISBN: 9783319785035
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-78503-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 41
    Unknown
    Security in Computer and Information Sciences : First International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, London, UK, February 26-27, 2018, Revised Selected Papers (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer communication systems ; Special purpose computers ; Data encryption (Computer science) ; Computer Science ; Security ; Information Systems Applications (incl. Internet) ; Data Encryption ; Special Purpose and Application-Based Systems ; Computer Communication Networks
    Description / Table of Contents: Security of distributed interconnected systems --- Security of software systems --- Security of the Internet of Things
    Pages: Online-Ressource (XII, 159 pages) , 33 illustrations
    ISBN: 9783319951898
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-95189-8
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 42
    Unknown
    Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Software engineering ; Algorithms ; Computer logic ; Mathematical logic ; Artificial intelligence ; Computer simulation ; Computer Science ; Logics and Meanings of Programs ; Software Engineering ; Artificial Intelligence (incl. Robotics) ; Mathematical Logic and Formal Languages ; Algorithm Analysis and Problem Complexity ; Simulation and Modeling
    Description / Table of Contents: This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verication to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications
    Pages: Online-Ressource (XIX, 703 pages) , 146 illustrations
    ISBN: 9783319961453
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-96145-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 43
    Unknown
    Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Software engineering ; Algorithms ; Computer logic ; Mathematical logic ; Artificial intelligence ; Computer simulation ; Computer Science ; Logics and Meanings of Programs ; Software Engineering ; Artificial Intelligence (incl. Robotics) ; Mathematical Logic and Formal Languages ; Algorithm Analysis and Problem Complexity ; Simulation and Modeling
    Description / Table of Contents: This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verication to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications
    Pages: Online-Ressource (XX, 545 pages) , 106 illustrations
    ISBN: 9783319961422
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-96142-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 44
    Unknown
    The Huawei and Snowden Questions : Can Electronic Equipment from Untrusted Vendors be Verified? Can an Untrusted Vendor Build Trust into Electronic Equipment? (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Management information systems ; Computer engineering ; Economic policy ; Computer Science ; Privacy ; Computer Engineering ; Management of Computing and Information Systems ; Governance and Government ; R & D/Technology Policy
    Description / Table of Contents: 1 Introduction --- 2 Trust --- 3 What is an ICT-System? --- 4 Development of ICT Systems --- 5 Theoretical Foundation --- 6 Reverse Engineering of Code --- 7 Static Detection of Malware --- 8 Dynamic Detection Methods --- 9 Formal Methods --- 10 Software Quality and Quality Management --- 11 Containment of Untrusted Modules --- 12 Summary and Way Forward
    Pages: Online-Ressource (XIV, 116 pages) , 6 illustrations, 5 illustrations in color
    ISBN: 9783319749501
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-74950-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 45
    Unknown
    Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer organization ; Software engineering ; Programming languages (Electronic computers) ; Computers ; Computer Science ; Software Engineering ; Programming Languages, Compilers, Interpreters ; Computer Systems Organization and Communication Networks ; The Computing Profession ; Theory of Computation
    Description / Table of Contents: Model-Based Software Development --- A Formal Framework for Incremental Model Slicing --- Multiple Model Synchronization with Multiary Delta Lenses --- Controlling the Attack Surface of Object-Oriented Refactorings --- Efficient Analysis of Attack Trees: a Model-Driven Approach --- Distributed Program and System Analysis --- ROLA: A New Distributed Transaction Protocol and Its Formal Analysis --- A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism --- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems --- EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States --- Software Design and Verification --- Hierarchical Specification and Verification of Architectural Design Patterns --- Supporting Verification-Driven Incremental Distributed Design of Components --- Summarizing Software API Usage Examples using Clustering Techniques --- Fast Computation of Arbitrary Control Dependencies --- Specification and Program Testing --- Iterative Generation of Diverse Models for Testing Specifications of SL Tools --- Optimising Spectrum Based Fault Localisation for Single Fault Programs using Specifications --- TCM: Test Case Mutation to Improve Crash Detection in Android --- CRETE: A Versatile Binary-Level Concolic Testing Framework --- Family-Based Software Development --- Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* --- FPH: Efficient Non-Commutativity Analysis of Feature-Based Systems --- Taming Multi-Variability of Software Product Line Transformations
    Pages: Online-Ressource (XII, 357 pages) , 116 illustrations
    ISBN: 9783319893631
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89363-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 46
    Unknown
    Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer system failures ; Software engineering ; Computer logic ; Computer science ; Mathematics ; Artificial intelligence ; Computers ; Computer Science ; Logics and Meanings of Programs ; Software Engineering/Programming and Operating Systems ; Artificial Intelligence (incl. Robotics) ; System Performance and Evaluation ; The Computing Profession ; Discrete Mathematics in Computer Science
    Description / Table of Contents: Semantics --- Non-angelic Concurrent Game Semantics --- A Trace Semantics for System F Parametric Polymorphism --- Categorical Combinatorics for Non Deterministic Strategies on Simple Games --- A Syntactic View of Computational Adequacy --- Linearity --- A New Linear Logic for Deadlock-Free Session-Typed Processes --- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads --- Depending on Session-Typed Processes --- FabULous Interoperability for ML and a Linear Language --- Concurrency --- Automata for True Concurrency Properties --- A Theory of Encodings and Expressiveness --- A Framework for Parameterized Monitorability --- Logics for Bisimulation and Divergence --- Lambda-Calculi and Types --- Call-by-need, Neededness and All That --- Fitch-Style Modal Lambda Calculi --- Realizability Interpretation and Normalization of Typed Call-by-Need --- Quotient Inductive-Inductive Types --- Category Theory and Quantum Control --- Guarded Traced Categories --- Proper Semirings and Proper Convex Functors --- From Symmetric Pattern-Matching to Quantum Control --- Quantitative Models --- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes --- A Hierarchy of Scheduler Classes for Stochastic Automata --- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings --- Comparator Automata in Quantitative Verification --- Logics and Equational Theories --- Modular Tableaux Calculi for Separation Theories --- Differential Calculus with Imprecise Input and its Logical Framework --- The Effects of Adding Reachability Predicates in Propositional Separation Logic --- The Equational Theory of the Natural Join and of Inner Union is Decidable --- Graphs and Automata --- Minimization of Graph Weighted Models over Circular Strings --- Games on Graphs with a Public Signal Monitoring --- WQO Dichotomy for 3-Graphs --- Verifying Higher-Order Functions with Tree Automata
    Pages: Online-Ressource (XV, 583 pages) , 75 illustrations
    ISBN: 9783319893662
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89366-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 47
    Unknown
    Musical Haptics (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Music ; Consciousness ; User Interfaces and Human Computer Interaction ; Music ; Cognitive Psychology
    Description / Table of Contents: Introduction --- Part 1- Haptics in Musical Interaction: Psychophysics and User Experience --- A Brief Overview of the Somatosensory System --- Once More with Feeling: The Dynamics of Performer-Instrument Interaction --- Perception of Vibrotactile Cues in Musical Performance --- The Role of Haptic Cues in Musical Instrument Quality Perception --- A Functional Analysis of Haptic Feedback in Digital Musical Instrument Interactions --- Auditory-Tactile Experience of Music --- Part II - Haptic Musical Interfaces: Design and Applications --- The MSCI Platform: A Framework for the Design and Simulation of Multisensory Virtual Musical Instruments --- Implementation and Characterization of Vibrotactile Interfaces --- Touchscreens and Musical Interaction --- Design of Vibrotactile Feedback --- Haptic Force-Feedback Instruments for the Laptop Orchestra of Louisiana --- Haptics for the Development of Fundamental Rhythm Skills Including Multi-Limb Coordination
    Pages: Online-Ressource (XV, 285 pages) , 107 illustrations, 58 illustrations in color
    ISBN: 9783319583167
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-58316-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 48
    Unknown
    Autonomous Control for a Reliable Internet of Services : Methods, Models, Approaches, Techniques, Algorithms, and Tools (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer communication systems ; Special purpose computers ; Computer system failures ; Coding theory ; E-commerce ; Computer Science ; Computer Communication Networks ; System Performance and Evaluation ; Special Purpose and Application-Based Systems ; Information Systems Applications (incl. Internet) ; Coding and Information Theory ; e-Commerce/e-business
    Description / Table of Contents: State-of-the-Art and Research Challenges in the Area of Autonomous Control for a Reliable Internet of Services --- Context Monitoring for Improved System Performance and QoE --- QoE Management for Future Networks --- Scalable Traffic Quality and System Efficiency Indicators towards Overall Telecommunication System's QoE Management --- Lag Compensation for First Person Shooter Games in Cloud Gaming --- The Value of Context-awareness in Bandwidth-challenging HTTP Adaptive Streaming Scenarios --- Conceptual and Analytical Models for Predicting the Quality of Service of Overall Telecommunication Systems --- QoS-based Elasticity for Service Chains in Distributed Edge Cloud Environments --- Integrating SDN and NFV with QoS-aware Service Composition --- Energy vs. QoX Network- and Cloud Services Management --- Traffic Management for Cloud Federation --- Efficient Simulation of IoT Cloud Use Cases --- Security of Internet of Things for Reliable Internet of Services --- TCP performance over current cellular access: A comprehensive analysis
    Pages: Online-Ressource (XVI, 401 pages) , 120 illustrations
    ISBN: 9783319904153
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-90415-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 49
    Unknown
    Agile Processes in Software Engineering and Extreme Programming : 19th International Conference, XP 2018, Porto, Portugal, May 21–25, 2018, Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Management information systems ; Software engineering ; Computer Science ; Software Engineering ; Software Management ; Management of Computing and Information Systems
    Description / Table of Contents: Agile requirements --- COSMIC User Story Standard --- Improving Mockup-based Requirement Specification with End-User Annotations --- Agile testing --- Combining STPA and BDD for Safety Analysis and Verification in Agile Development: A Controlled Experiment --- Software tester, we want to hire you! An analysis of the demand for soft skills --- Developers' initial perceptions on TDD practice: A thematic analysis with distinct domains and languages --- Myths and Facts about Static Application Security Testing Tools: An Action Research at Telenor Digital --- Automated Acceptance Tests as Software Requirements: An Experiment to Compare the Applicability of Fit tables and Gherkin Language --- Agile transformation --- Interface Problems of Agile in a Non-Agile Environment --- Enterprise agility: Why is transformation so hard? --- Technical and Organizational Agile Practices: A Latin-American Survey --- Agile Software Development { Adoption & Maturity: An Activity Theory Perspective --- Scaling agile --- Do Agile Methods Work for Large Software Projects? --- Learning in the Large - An Exploratory Study of Retrospectives in Large-Scale Agile Development --- Reporting in Agile Portfolio Management: Routines, Metrics and Artefacts to Maintain an Effective Oversight --- Inter-team Coordination in Large-Scale Agile Development: A Case Study of Three Enabling Mechanisms --- Supporting Large-Scale Agile Development with Domain-driven Design --- Towards Agile Scalability Engineering --- Human-centric agile --- Stress in Agile Software Development: Practices and Outcomes --- Teamwork quality and team performance: Exploring differences between small and large agile projects --- Continuous experimentation --- Challenges and Strategies for Undertaking Continuous Experimentation to Embedded Systems: Industry and Research Perspectives --- ICOs overview: should investors choose an ICO developed with the Lean Startup methodology?
    Pages: Online-Ressource (XV, 309 pages) , 50 illustrations
    ISBN: 9783319916026
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-91602-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 50
    Unknown
    Medical Imaging Systems : An Introductory Guide (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer graphics ; Computer Science ; Computer Imaging, Vision, Pattern Recognition and Graphics
    Description / Table of Contents: Introduction --- System Theory --- Image Processing --- Endoscopy --- Microscopy --- Magnetic Resonance Imaging --- X-ray Imaging --- Computed Tomography --- X-ray Phase Contrast: Research on a Future Imaging Modality --- Emission Tomography --- Ultrasound --- Optical Coherence Tomography --- Acronyms.
    Pages: Online-Ressource (X, 259 pages) , 167 illustrations
    ISBN: 9783319965208
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-96520-8
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 51
    Unknown
    Ganzheitliche Digitalisierung von Prozessen : Perspektivenwechsel – Design Thinking – Wertegeleitete Interaktion (2018)
    Wiesbaden : Springer Vieweg
    Details
    Keywords: Computer science ; Management ; Industrial management ; Information technology ; Business ; Data processing ; Computers ; Computer Science ; Information Systems and Communication Service ; Innovation/Technology Management ; IT in Business
    Description / Table of Contents: Modelle --- Modellierungssprachen --- Vorgehensweise von der Modellbildung zur Digitalisierung --- Vorbereitung der Prozessimplementierung --- Umsetzung --- Praxisbeispiel
    Pages: Online-Ressource (X, 254 Seiten) , 143 Abbildungen, 69 Abbildungen in Farbe
    ISBN: 9783658226480
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-658-22648-0
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 52
    Unknown
    Wellbeing Economics : The Capabilities Approach to Prosperity (2018)
    Cham : Palgrave Macmillan
    Details
    Keywords: Welfare economics ; Public policy ; Political science ; Economic policy ; Economic growth ; Social Choice/Welfare Economics/Public Choice ; Public Policy ; Governance and Government ; Political Economy/Economic Policy ; Economic Growth
    Description / Table of Contents: Chapter 1: From Economic Growth to Wellbeing Economics --- Chapter 2: Persons and Human Capital --- Chapter 3: Households, Families and Cultural Capital --- Chapter 4: Civil Society and Social Capital --- Chapter 5: Market Participation and Economic Capital --- Chapter 6: Local Government and Natural Capital --- Chapter 7: The Nation State and Knowledge Capital --- Chapter 8: The Global Community and Diplomatic Capital --- Chapter 9: The Wellbeing Economics Policy Framework
    Pages: Online-Ressource (XVII, 196 pages) , 23 illustrations
    ISBN: 9783319931944
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-93194-4
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 53
    Unknown
    Socioeconomics of Agriculture (2018)
    Cham : Springer
    Details
    Keywords: Agriculture ; Agricultural economics ; Economic sociology ; Economics ; Agricultural Economics ; Organizational Studies, Economic Sociology ; Agriculture
    Description / Table of Contents: This open access book applies for the first time emerging concepts of socioeconomics to analyse an economic sector, namely agriculture. It considers the rational choices of all actors in the system (just as agricultural economists do) and their cultural preferences and constraints (just as rural sociologists do). Socioeconomic concepts are subsequently used to structure agricultural issues with regard to the three governance mechanisms (hierarchy, markets, and cooperation), and different agricultural systems are presented and compared. The book will be of interest to social scientists with various backgrounds, and seeks to break down the barriers of single-disciplinary thinking
    Pages: Online-Ressource (VII, 106 pages) , 12 illustrations, 8 illustrations in color
    ISBN: 9783319741413
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-74141-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 54
    Unknown
    A Fair Share of Tax : A Fiscal Anthropology of Contemporary Sweden (2018)
    Cham : Palgrave Macmillan
    Details
    Keywords: Tax accounting ; Tax laws ; Behavioral economics ; Public finance ; Culture - Economic aspects ; Ethnography ; Economics ; Cultural Economics ; Business Taxation/Tax Law ; Ethnography ; Behavioral/Experimental Economics ; Public Economics
    Description / Table of Contents: Chapter 1: Exchanges create relations --- Chapter 2: Taxpayers’ relation to their state --- Chapter 3: Taxpayer to taxpayer relation --- Chapter 4: Tensions between Paying and Receiving --- Chapter 5: Making tax compliant
    Pages: Online-Ressource (XIII, 136 pages)
    ISBN: 9783319697727
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-69772-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 55
    Unknown
    Climate Smart Agriculture : Building Resilience to Climate Change (2018)
    Cham : Springer
    Details
    Keywords: Economic policy ; Agricultural economics ; Economics ; Agricultural Economics ; R & D/Technology Policy ; Political Economy/Economic Policy
    Description / Table of Contents: Chapter 1: Introduction --- Chapter 2: A Short History of the Evolution of the Climate Smart Agriculture Approach and its Links to Climate Change and Sustainable Agriculture Debates --- Chapter 3:Economics of Climate-Smart Agriculture --- Chapter 4:  Innovation in Response to Climate Change --- Chapter 5:  Use of Satellite Information on Wetness and Temperature for Decision of Crop Yield Prediction, River Discharge and Planning --- Chapter 6:  Early Warning Techniques for Local Climate Resilience: Smallholder Rice in Lao PDE --- Chapter 7 :  Farmers' Perceptions of and Adaptations to Climate Change in Southeast Asia:  The Case Study from Thailand and Vietnam --- Chapter 8:  U.S. Maize Yield Growth and Countervailing Climate Change Impacts --- Chapter 9:  Understanding Tradeoffs in the Context of Farm-Scale Impacts:  An Application of Decision-Support Tools for Assessing Climate Smart Argiculture --- Chapter 10:  Can Insurance Help Manage Climate Risk and Food Insecurity?: Evidence from the Pastoral Regions of East Africa --- Chapter 11:  Can Cash Transfer Programs Promote Household Resilience?: Cross-Country Evidence from Sub-Saharan Africa --- Chapter 12:  Input Subsidy Programs and Climate Smart Agriculture --- Chapter 13:  Robust Decision Making for a Climate-Resilient Development of the Agricultural Sector in Nigeria --- Chapter 14:  Using AgMIP Regional Integrated Assessment Methods to Evaluate Vulnerability, Resilience and Adaptive Capacity for Climate Smart Agricultural Systems --- Chapter 15:  Climate Smart Food Supply Chains in Developing Countries in an Era of Rapid Dual Change in Agrifood Systems and the Climate --- Chapter 16:  The Adoption of Climate Smart Agriculture: The Role of Information and Insurance under Climate Change --- Chapter 17:  A Qualitative Evaluation of CSA Options in Mixed Crop-Livestock Systems in Developing Countries --- Chapter 18: Identifying Strategies to Enhance the Resilience of Smallholder Farming Systems: Evidence of Zambia --- Chapter 19:  Climate Risk Management Through Sustainable Land and Water Management in Sub-Saharan Africa --- Chapter 20:  Improving the Resilience of Central Asian Agriculture to Weather Viability and Climate Change --- Chapter 21:  Managing Environmental Risk in the Presence of Climate Change: The Role of Adaption in the Mile Basin of Ethiopia --- Chapter 22: Diversification as Part of a CSA Strategy: The Cases of Zambia and Malawi --- Chapter 23:  Economic Analysis of Improved Smallholder Paddy and Maize Production in Northern Vietnam and Implications for Climate-Smart Agriculture --- Chapter 24:  Synthesis:  Devising Effective Strategies and Policies for CSA --- Chapter 25:  Conclusions and Policy Implications
    Pages: Online-Ressource (XVIII, 630 pages) , 107 illustrations, 97 illustrations in color
    ISBN: 9783319611945
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-61194-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 56
    Unknown
    Housing Market Dynamics in Africa (2018)
    London : Palgrave Macmillan
    Details
    Keywords: Africa ; Politics and government ; International economics ; Social policy ; Urban economics ; Economics ; Urban Economics ; Political Economy/Economic Policy ; Social Policy ; International Economics ; African Politics
    Description / Table of Contents: 1. Introduction --- 2. The Housing Sector in Africa: Setting the Scene: The Political Economy --- 3. Housing Finance in Africa --- 4. Unlocking Land Markets and the Provision of Infrastructure for Affordable Housing in Africa --- 5. The Construction Cost Conundrum in Africa --- 6. Slum Upgrading and Housing Alternatives for the Poor --- 7. Conclusion
    Pages: Online-Ressource (XIV, 272 pages)
    ISBN: 9781137597922
    URL: https://link.springer.com/openurl?genre=book&isbn=978-1-137-59792-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 57
    Unknown
    Time Predictions : Understanding and Avoiding Unrealism in Project Planning and Everyday Life (2018)
    Cham : Springer
    Details
    Keywords: Project management ; Personnel management ; Management information systems ; Behavioral economics ; Economics ; Behavioral/Experimental Economics ; Human Resource Management ; Project Management ; Software Management
    Description / Table of Contents: Preface --- 1. Introduction: 1.1 A prediction success --- 1.2 Prediction disasters --- 2. How we Predict Time Usage: 2.1 Mental time travel --- 2.2 How did you make that prediction? --- 2.3 Time predictions are everywhere --- 2.4 How good are we at predicting time? --- 3. Predictions and the Uncertainty of the Future: 3.1 Precisely wrong or roughly right? --- 3.2 Communication of time predictions --- 3.3 Probability-based time predictions --- 3.4 Right-skewed time distributions --- 3.5 Relearning to add: 2 + 2 is usually more than 4 --- 3.6 How to predict the mean time usage --- 3.7 How time predictions affect performance --- 4. Overoptimistic Predictions: 4.1 Optimism, overoptimism, and overoptimistic predictions --- 4.2 The benefits of overoptimism --- 4.3 The desire to control time --- 4.4 Motivation to make accurate time usage predictions --- 4.5 Selection bias --- 4.6 Deception --- 4.7 Who makes the most realistic time predictions? --- 5. Time Prediction Biases: 5.1 The team scaling fallacy --- 5.2 Anchoring --- 5.3 Sequence effects --- 5.4 Format effects --- 5.5 The magnitude effect --- 5.6 Length of task description --- 5.7 The time unit effect --- 6. Uncertainty of Time Predictions: 6.1 Why are we overconfident? --- 6.2 What can we do to avoid overconfidence? --- 6.2.1 The use of alternative interval prediction formats --- 6.2.2 Learning from accuracy feedback --- 7. Time Prediction Methods and Principles: 7.1 Unpacking and decomposition --- 7.2 Analogies --- 7.3 Relative predictions --- 7.4 Time prediction models --- 7.5 Consider alternative futures --- 7.6 Combinations of time predictions --- 7.7 Let other people make the prediction? --- 7.8 Removing irrelevant and misleading information --- 7.9 From Fibonacci to t-shirt sizes: Time predictions using alternative scales --- 8. Time Predictions: Matching the Method to the Situation --- 9. How to Obtain Overoptimistic Time Predictions from Others
    Pages: Online-Ressource (XII, 110 pages) , 12 illustrations, 11 illustrations in color
    ISBN: 9783319749532
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-74953-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 58
    Unknown
    Competition Authorities in South Eastern Europe : Building Institutions in Emerging Markets (2018)
    Cham : Springer
    Details
    Keywords: Commercial law ; International law ; Industrial organization ; Law and economics ; Economics ; Industrial Organization ; Law and Economics ; Commercial Law ; European Law
    Description / Table of Contents: Foreword --- Introduction --- Western Balkans and the Design of Effective Competition Law: The Role of Economic, Institutional and Cultural Characteristics --- Middle Income Convergence Trap and the Role of Competition Policy in SEE countries --- Institutional Design of State Aid Authorities in South East Europe: The Unfit Legal Transplant and its Ramifications --- Antitrust, Mergers, State Aid and Consumer Protection Under the Same Roof: Does Political Compromise Prevail Over the Expert Approach? --- Realigning Competition Advocacy Priorities in the Context of Economic Adjustment Programmes: the Greek Case --- The role of competition advocacy: the Serbian experience --- Considerations Determining the Extent of Economic Analysis and the Choice of Legal Standards in Competition Law Enforcement --- Three Economist’s Tools for Antitrust Analysis: A Non-Technical Introduction --- Pricing Benchmark in Market Definition: Theoretical Background and Practical Application --- The Rationale for Using the Classic Cournot Mechanism in Merger Control --- Difference-in-Differences as a Tool for Ex-Post Analysis of Mergers: The Case of a Merger in the Romanian Retail Market
    Pages: Online-Ressource (IX, 217 pages) , 27 illustrations, 24 illustrations in color
    ISBN: 9783319766447
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-76644-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 59
    Unknown
    World Energy Outlook 2018 (2018)
    Paris : OECD/IEA (Please request login data at the PIK library)
    Details
    Keywords: energy ; energy economics
    Description / Table of Contents: The World Energy Outlook (WEO) is the gold standard of long-term energy analysis. The 2018 edition provides updated analysis to show what the latest data, technology trends and policy announcements might mean for the energy sector to 2040. It also outlines an integrated way to meet multiple sustainable development goals: limiting the global temperature rise in line with the Paris Agreement, addressing air pollution, and ensuring universal access to energy.
    Pages: Online-Ressource (643 pages) , illustrations, diagrams
    ISBN: 9789264064522
    URL: http://bib.gfz-potsdam.de/intern/pubint/weo2018.pdf
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 60
    Unknown
    Risk Management Treatise for Engineering Practitioners (2018)
    Rijeka : InTech
    Details
    Keywords: risk management ; natural disasters ; engineering ; construction
    Description / Table of Contents: 1. An Insight into the Process, Tools and Techniques for Construction Risk Management / by Onengiyeofori O. Odimabo, Chike F. Oduoza and Subashini Suresh --- 2. Big Data as a Project Risk Management Tool / by Jarosław Górecki --- 3. Product Life Cycle Risk Management / by Jan Machac, Frantisek Steiner and Jiri Tupa --- 4. Critical Success Factors for Effective Risk Management / by Geraldine J. Kikwasi --- 5. Construction Supply Chain Resilience in Catastrophic Events / by Yasangika Gayani Sandanayake, Tharaka Bandara Dissanayake and Chike Oduoza --- 6. Risk Management in Indonesia Construction Project: A Case Study of a Toll Road Project / by Mochammad Agung Wibowo, Jati Utomo Dwi Hatmoko and Asri Nurdiana --- 7. Risk Management to Enhance Performance in the Construction SME Sector; Theory and Case Study / by Jan Simota, Jiri Tupa* and Frantisek Steiner --- 8. Leadership Initiatives for Health and Safety Risk Management Systems in a Small Construction Company: A Case Study / by Subashini Suresh, Chike Oduoza and Suresh Renukappa --- 9. Landslide Risk Management for Urbanized Territories / by Valentina Svalova
    ISBN: 9781789846010
    URL: https://www.intechopen.com/books/risk-management-treatise-for-engineering-practitioners
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 61
    Unknown
    Cracking Codes with Python : An Introduction to Building and Breaking Ciphers (2018)
    San Francisco, CA : No Starch Press
    Details
    Keywords: Python ; programming
    Description / Table of Contents: Introduction --- Chapter 1 - Making Paper Cryptography Tools --- Chapter 2 -Programming in the Interactive Shell --- Chapter 3 - Strings and Writing Programs --- Chapter 4 - The Reverse Cipher --- Chapter 5 - The Caesar Cipher --- Chapter 6 - Hacking the Caesar Cipher with Brute-Force --- Chapter 7 - Encrypting with the Transposition Cipher --- Chapter 8 - Decrypting with the Transposition Cipher --- Chapter 9 - Programming a Program to Test Your Program --- Chapter 10 - Encrypting and Decrypting Files --- Chapter 11 - Detecting English Programmatically --- Chapter 12 - Hacking the Transposition Cipher --- Chapter 13 - A Modular Arithmetic Module for the Affine Cipher --- Chapter 14 - Programming the Affine Cipher --- Chapter 15 - Hacking the Affine Cipher --- Chapter 16 - Programming the Simple Substitution Cipher --- Chapter 17 - Hacking the Simple Substitution Cipher --- Chapter 18 - Programming the Vigenere Cipher --- Chapter 19 - Frequency Analysis --- Chapter 20 - Hacking the Vigenere Cipher --- Chapter 21 - The One-Time Pad Cipher --- Chapter 22 - Finding and Generating Prime Numbers --- Chapter 23 - Generating Keys for the Public Key Cipher --- Chapter 24 - Programming the Public Key Cipher
    Pages: Online-Ressource (416 Seiten) , Illustrationen, Diagramme
    Edition: 2nd edition
    ISBN: 9781593278229
    URL: https://inventwithpython.com/cracking/
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 62
    Unknown
    Machine Learning for Data Streams : with Practical Examples in MOA (2018)
    Cambridge, MA : MIT Press
    Details
    Keywords: machine learning; KI; ML
    Description / Table of Contents: A hands-on approach to tasks and techniques in data stream mining and real-time analytics, with examples in MOA, a popular freely available open-source software framework. Today many information sources—including sensor networks, financial markets, social networks, and healthcare monitoring—are so-called data streams, arriving sequentially and at high speed. Analysis must take place in real time, with partial data and without the capacity to store the entire data set. This book presents algorithms and techniques used in data stream mining and real-time analytics. Taking a hands-on approach, the book demonstrates the techniques using MOA (Massive Online Analysis), a popular, freely available open-source software framework, allowing readers to try out the techniques after reading the explanations. The book first offers a brief introduction to the topic, covering big data mining, basic methodologies for mining data streams, and a simple example of MOA. More detailed discussions follow, with chapters on sketching techniques, change, classification, ensemble methods, regression, clustering, and frequent pattern mining. Most of these chapters include exercises, an MOA-based lab session, or both. Finally, the book discusses the MOA software, covering the MOA graphical user interface, the command line, use of its API, and the development of new methods within MOA. The book will be an essential reference for readers who want to use data stream mining as a tool, researchers in innovation or data stream mining, and programmers who want to create new algorithms for MOA.
    Pages: Online-Ressource (XXI, 262 Seiten) , Illustrationen, Diagramme
    ISBN: 9780262346047
    URL: https://direct.mit.edu/books/book/4475/Machine-Learning-for-Data-Streamswith-Practical
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 63
    Unknown
    Computer Simulation (2017)
    Rijeka : InTech
    Details
    Keywords: computer modelling ; computer simulation
    Description / Table of Contents: Chapter 1: Modelling and Simulation of Complex Adaptive System: The Diffusion of Socio-Environmental Innovation in the RENDRUS Network by Aida Huerta Barrientos and Yazmin Dillarza Andrade --- Chapter 2: Rendering Techniques in 3D Computer Graphics Based on Changes in the Brightness of the Object Background by Nika Bratuž, Helena Gabrijelčič Tomc and Dejana Javoršek --- Chapter 3: Modelling and Visualisation of the Optical Properties of Cloth by Tanja Nuša Kočevar and Helena Gabrijelčič Tomc --- Chapter 4: Textile Forms’ Computer Simulation Techniques by Andreja Rudolf, Slavica Bogović, Beti Rogina Car, Andrej Cupar, Zoran Stjepanovič and Simona Jevšnik --- Chapter 5: Computer Simulation of Bioprocess by Jianqun Lin, Ling Gao, Huibin Lin, Yilin Ren, Yutian Lin and Jianqiang Lin --- Chapter 6: Developing a Hybrid Model and a Multi-Scale 3D Concept of Integrated Modelling High-Temperature Processes by Marcin Hojny --- Chapter 7: Computer-Aided Physical Simulation of the Soft-Reduction and Rolling Process by Marcin Hojny --- Chapter 8: Surrogate Modelling with Sequential Design for Expensive Simulation Applications by Joachim van der Herten, Tom Van Steenkiste, Ivo Couckuyt and Tom Dhaene --- Chapter 9: Computer Simulation of High-Frequency Electromagnetic Fields by Andrey D. Grigoriev --- Chapter 10: Modeling and Simulation of Task Allocation with Colored Petri Nets by Mildreth Alcaraz-Mejia, Raul Campos-Rodriguez and Marco Caballero-Gutierrez --- Chapter 11: Multi-Criteria Decision-Making in the Implementation of Renewable Energy Sources by Dejan Jovanovic and Ivan Pribicevic
    Pages: Online-Ressource (264 Seiten)
    ISBN: 9789535132066
    URL: https://www.intechopen.com/books/computer-simulation
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 64
    Unknown
    Building State Capability : Evidence, Analysis, Action (2017)
    Oxford : Oxford University Press
    Details
    Keywords: development ; capability ; reform ; government ; poverty ; services ; policy ; PDIA ; politics ; foreign aid
    Description / Table of Contents: Governments play a major role in the development process, and constantly introduce reforms and policies to achieve developmental objectives. Many of these interventions have limited impact, however; schools get built but kids don’t learn, IT systems are introduced but not used, plans are written but not implemented. These achievement deficiencies reveal gaps in capabilities, and weaknesses in the process of building state capability. This book addresses these weaknesses and gaps. It starts by providing evidence of the capability shortfalls that currently exist in many countries, showing that many governments lack basic capacities even after decades of reforms and capacity-building efforts. The book then analyzes this evidence, identifying capability traps that hold many governments back—particularly related to isomorphic mimicry (where governments copy best practice solutions from other countries that make them look more capable even if they are not more capable) and premature load bearing (where governments adopt new mechanisms that they cannot actually make work, given weak extant capacities). The book then describes a process that governments can use to escape these capability traps. Called PDIA (problem-driven iterative adaptation), this process empowers people working in governments to find and fit solutions to the problems they face. The discussion about this process is structured in a practical manner so that readers can actually apply tools and ideas to the capability challenges they face in their own contexts. These applications will help readers devise policies and reforms that have more impact than those of the past. | Table of Contents Introduction: "The Long Voyage of Discovery" Part 1. The Problem: The Creation and Consolidation of Capability Traps 1: The Big Stuck in State Capability 2: Looking Like a State: The Seduction of Isomorphic Mimicry 3: Premature Load Bearing: Doing Too Much Too Soon 4: Capability for Policy Implementation 5: What Type of Organization Capability is Needed? Part 2. A Strategy for Action: Problem-Driven Iterative Adaptation (PDIA) 6: The Challenge of Building (Real) State Capability for Implementation 7: Doing Problem-Driven Work 8: The Searchframe: Doing Experimental Iterations 9: Managing Your Authorizing Environment 10: Building State Capability at Scale Through Groups
    Pages: Online-Ressource (XII, 257 pages) , 27 Figures, 25 Tables, 6 Boxes
    ISBN: 9780198807186
    URL: http://global.oup.com/academic/product/building-state-capability-9780198747482
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 65
    Unknown
    Knowledge Solutions : Tools, Methods, and Approaches to Drive Organizational Performance (2017)
    Singapore : Springer
    Details
    Keywords: Business ; Leadership ; Knowledge management ; Organization ; Planning ; Personnel management ; Business and Management ; Knowledge Management ; Organization ; Business Strategy/Leadership ; Human Resource Management ; Industrial and Organizational Psychology
    Description / Table of Contents: Part 1: Strategy Development --- Part 2: Management Techniques --- Part 3: Collaboration Mechanisms --- Part 4: Knowledge Sharing and Learning --- Part 5: Knowledge Capture and Storage
    Pages: Online-Ressource (XVI, 1140 pages) , 358 illustrations
    ISBN: 9789811009839
    URL: https://link.springer.com/openurl?genre=book&isbn=978-981-10-0983-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 66
    Unknown
    Symbiotic Interaction : 5th International Workshop, Symbiotic 2016, Padua, Italy, September 29–30, 2016, Revised Selected Papers (2017)
    Cham : Springer
    Details
    Keywords: Computer science ; Special purpose computers ; Computer security ; User interfaces (Computer systems) ; Artificial intelligence ; Image processing ; Computer Science ; Information Systems Applications (incl. Internet) ; User Interfaces and Human Computer Interaction ; Artificial Intelligence (incl. Robotics) ; Systems and Data Security ; Image Processing and Computer Vision ; Special Purpose and Application-Based Systems
    Description / Table of Contents: This book is published open access under a CC BY license. This book constitutes the proceedings of the 5th International Workshop on Symbiotic Interaction, Symbiotic 2016, held in Padua, Italy, in October 2016. The 12 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 23 submissions. The idea of symbiotic systems put forward in this workshop capitalizes on the computers’ ability to implicitly detect the users goals, preferences or/and psycho-physiological states and thereby enhancing human-computer interaction (HCI). The papers present an overview of the symbiotic relationships between humans and computers with emphasis on user-driven research on symbiotic systems, adaptive systems, implicit input data, physiological computing and BCI, but also on understanding the nature of the interdependence and agency between computers and humans more broadly
    Pages: Online-Ressource (XIV, 182 pages) , 51 illustrations
    ISBN: 9783319577531
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-57753-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 67
    Unknown
    Spanish Economic Growth, 1850–2015 (2017)
    Cham : Palgrave Macmillan
    Details
    Keywords: Labor economics ; Economic history ; Development economics ; Economic growth ; Agricultural economics ; Economics ; Economic History ; European Economics ; Economic Growth ; Development Economics ; Labor Economics ; Agricultural Economics
    Description / Table of Contents: This book is open access under a CC BY 4.0 license. This text offers a comprehensive and nuanced view of the economic development of Spain since 1850. It provides a new set of historical GDP estimates for Spain from the demand and supply sides, and presents a reconstruction of production and expenditure series for the century prior to the introduction of modern national accounts. The author splices available national accounts sets over the period 1958–2015 through interpolation, as an alternative to conventional retropolation. The resulting national accounts series are linked to the historical estimates providing yearly series for GDP and its components since 1850. On the basis of new population estimates, the author derives GDP per head, decomposed into labour productivity and the amount of work per person, and placed into international perspective. With theoretical reasoning and historiographical implications, Prados de la Escosura provides a useful methodological reference work for anyone interested in national accounting. ‘This book stands among the classics for the Kuznetian paradigm in empirical economics. This is the definitive study of Spain's transition to a modern economy.’ —Patrick Karl O'Brien, Emeritus Fellow at St. Antony’s College, the University of Oxford, UK, and Professor Emeritus of Global Economic History at the London School of Economics and Political Science, UK ‘The definitive account of Spanish economic growth since 1850, based firmly on a magisterial reconstruction of that country’s national accounts and an unrivalled knowledge of both Spanish and global economic history of the period.’ —Stephen Broadberry, Professor of Economic History at Nuffield College, the University of Oxford, UK
    Pages: Online-Ressource (XXIV, 383 pages) , 36 illustrations
    ISBN: 9783319580425
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-58042-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 68
    Unknown
    Accounting and Corporate Reporting : Today and Tomorrow (2017)
    Rijeka : InTech
    Details
    Keywords: auditing standards
    Description / Table of Contents: Chapter 1: Paradigm Shift in Corporate Reporting by Pınar Okan Gökten and Beyhan Marşap --- Chapter 2: Integrated Reporting: A Template for Energy Companies by Gülçin Yıldırım, Tuğçe Uzun Kocamış and Figen Öker Türüdüoğlu --- Chapter 3: Greening Accounting: An Inevitable Link to Help Firms Connect with Sustainability by Somnath Debnath --- Chapter 4: Greening Accounting II: Exploring Feasibility of Environmental Accounting Framework by Somnath Debnath --- Chapter 5: Adaptation of International Accounting Standards: Case of Portugal by Helena Isabel Barroso Saraiva, Maria-Céu F.G. Alves and Vítor M.S. Gabriel --- Chapter 6: M2M-Fair Value Accounting by Yıldız Özerhan and Banu Sultanoğlu --- Chapter 7: Reporting for Carbon Trading and International Accounting Standards by Figen Öker and Hümeyra Adıgüzel --- Chapter 8: Accounting Choices in Corporate Financial Reporting: A Literature Review of Positive Accounting Theory by İdil Kaya --- Chapter 9: Value Relevance of Accounting Data in an Emerging Market: Did Accounting Reforms Make a Difference? by Mine Aksu, Ayse Tansel Cetin and Can Simga Mugan --- Chapter 10: Associativism of Accounting Professionals by Osmar Antonio Bonzanini, Amélia Cristina Ferreira da Silva and Teresa Gabriela Marques Leite --- Chapter 11: Behavioral Accounting and its Interactions by Filiz Angay Kutluk --- Chapter 12: The Future of Accounting Profession in an Era of Start-Ups by Burak Özdoğan --- Chapter 13: Graphical and Textual Presentations in Financial Reports by Seedwell T.M. Sithole --- Chapter 14: Historical Development of Government Accounting by Mihriban Coşkun Arslan --- Chapter 15: Public Accounting Reform from Institutional Theory Perspectives: Case of Turkey by Ceray Aldemir and Tuğba Uçma Uysal --- Chapter 16: The Factors Used to Create Performance-Based Budgeting: A Research on Turkey by Hakan Vahit Erkutlu, Şükran Güngör Tanç and Seyhan Çil Koçyiğit --- Chapter 17: The Managerial Perspective and Systems of Accountability in Judicial Offices by Ubaldo Comite
    Pages: Online-Ressource (338 Seiten)
    ISBN: 9789535135500
    URL: https://www.intechopen.com/books/accounting-and-corporate-reporting-today-and-tomorrow
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 69
    Unknown
    Fallibility at Work : Rethinking Excellence and Error in Organizations (2017)
    Cham : Palgrave Macmillan
    Details
    Keywords: Business ; Knowledge management ; Organization ; Planning ; Business ethics ; Business and Management ; Knowledge Management ; Business Ethics ; Organization
    Description / Table of Contents: 1. Risky Play --- 2. Falling Fast --- 3. Moral Risk in a Nursing Home --- 4. Coping with Fallibility in Aviation --- 5. Fallibility and Trust in Healthcare --- 6. Approaches to Help in Organizations --- 7. Ethics of Fallibility
    Pages: Online-Ressource (XX, 159 pages)
    ISBN: 9783319633183
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-63318-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 70
    Unknown
    Dynamics of Long-Life Assets : From Technology Adaptation to Upgrading the Business Model (2017)
    Cham : Springer
    Details
    Keywords: Business ; Knowledge management ; Organization ; Planning ; Management ; Industrial management ; Production management ; Management information systems ; Business and Management ; Innovation/Technology Management ; Knowledge Management ; Business Information Systems ; Organization ; Production
    Description / Table of Contents: PART I: Introduction and Setting the scene --- Dynamics of Long-Life Assets: The Editors’ Intro --- The Challenge --- The Use-it-Wisely (UIW) Approach --- PART II: Tools and Methods --- Innovation Management with an Emphasis on Co-Creation --- Complexity Management and System Dynamics Thinking --- Managing the Life Cycle to Reduce Environmental Impacts --- Virtual Reality and 3D Imaging to Support Collaborative Decision Making for Adaptation of Long-llife Assets --- Operator-oriented Product and Production Process Design for Manufacturing, Maintenance and Upgrading --- Fostering a Community of Practice for Industrial Processes --- Extending the System Model --- PART III: From Theory to Practice --- Collaborative Management of inspection Results in Power Plant Turbines --- Rock crusher Upgrade Business from a PLM Perspective --- Space Systems Development --- Adaptation of High-Variant Automotive Production System Using a Collaborative Approach --- Supporting the Small-to-Medium Vessel Industry --- Sustainable Furniture that Grows with End-users --- Comparing Industrial Cluster Cases to Define Upgrade Business Models for a Circular Economy.   
    Pages: Online-Ressource (XXVI, 356 pages) , 117 illustrations, 81 illustrations in color
    ISBN: 9783319454382
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-45438-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 71
    Unknown
    Fashion Figures : How Missy the Mathlete Made the Cut (2017)
    Berkeley, CA : Apress
    Details
    Keywords: Business ; Management science ; Children's literature ; Education ; Data processing ; Computers ; Business and Management ; Business and Management, general ; The Computing Profession ; Science, Humanities and Social Sciences, multidisciplinary ; Children's Literature ; Computers and Education
    Description / Table of Contents: Chapter 1 104 Driscoll Ave.- Chapter 2 Codes and Crises.- Chapter 3 Figures and Icons.- Chapter 4 Divided We Stand --- Chapter 5 Patterns and Problems --- Chapter 6 --- Garbage In ≠ Garbage Out --- Chapter 7 Teasing Out the Answers --- Chapter 8 Solutions by Design --- Chapter 9 To the Nines --- Chapter 10 All the Right Angles --- Chapter 11 Pi for All
    Pages: Online-Ressource (XV, 109 pages) , 57 illustrations, 12 illustrations in color
    ISBN: 9781484222744
    URL: https://link.springer.com/openurl?genre=book&isbn=978-1-4842-2274-4
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 72
    Unknown
    Open Source Systems: Towards Robust Practices : 13th IFIP WG 2.13 International Conference, OSS 2017, Buenos Aires, Argentina, May 22-23, 2017, Proceedings (2017)
    Cham : Springer
    Details
    Keywords: Computer science ; Software engineering ; Computers ; Law and legislation ; Management information systems ; Computer Science ; Management of Computing and Information Systems ; Software Engineering ; Legal Aspects of Computing ; Information Systems Applications (incl. Internet)
    Description / Table of Contents: This book is open access under a CC BY license. This book constitutes the refereed proceedings of the 13th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2017, held in Buenos Aires, Argentina, in May 2017. The 16 revised full papers and 3 short papers presented were carefully reviewed and selected from 32 submissions. The papers cover a wide range of topics related to free, libre, and open source software (FLOSS), including: licensing, strategies, and practices; case studies; projects, communication, and participation; tools; and project management, development and evaluation
    Pages: Online-Ressource (XIV, 220 pages) , 37 illustrations
    ISBN: 9783319577357
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-57735-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 73
    Unknown
    Security of Networks and Services in an All-Connected World : 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, Zurich, Switzerland, July 10-13, 2017, Proceedings (2017)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer communication systems ; Computer system failures ; Computer security ; Data structures (Computer science) ; Computers and civilization ; Computer Science ; Computer Communication Networks ; Systems and Data Security ; Data Structures, Cryptology and Information Theory ; System Performance and Evaluation ; Computers and Society ; Information Systems Applications (incl. Internet)
    Description / Table of Contents: Making Flow-Based Security Detection Parallel --- A Blockchain-Based Architecture for Collaborative DDoS Mitigation with Smart Contracts --- Achieving Reproducible Network Environments with INSALATA --- Towards a Software-Defined Security Framework for Supporting Distributed Cloud --- Optimal Service Function Chain Composition in Network Functions Virtualization --- An Optimized Resilient Advance Bandwidth Scheduling for Media Delivery Services --- The Evaluation of the V2VUNet Concept to Improve Inter-vehicle Communications --- Towards Internet Scale Quality-of-Experience Measurement with Twitter --- Hunting SIP Authentication Attacks Efficiently --- MoDeNA: Enhancing User Security for Devices in Wireless Personal and Local Area Networks --- Flow-Based Detection of IPv6-specific Network Layer Attacks --- Towards a Hybrid Cloud Platform Using Apache Mesos --- Visual Analytics for Network Security and Critical Infrastructures --- Preserving Relations in Parallel Flow Data Processing --- SmartDEMAP: A Smart Contract Deployment and Management Platform --- Optimizing the Integration of Agent-Based Cloud Orchestrators and Higher-Level Workloads --- Situational Awareness: Detecting Critical Dependencies and Devices in a Network --- A Framework for SFC Integrity in NFV Environments --- Multi-domain DDoS Mitigation based on Blockchains
    Pages: Online-Ressource (XX, 192 pages) , 55 illustrations
    ISBN: 9783319607740
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-60774-0
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 74
    Unknown
    Agile Processes in Software Engineering and Extreme Programming : 18th International Conference, XP 2017, Cologne, Germany, May 22-26, 2017, Proceedings (2017)
    Cham : Springer
    Details
    Keywords: Computer science ; Management information systems ; Software engineering ; Computer Science ; Software Engineering ; Software Management ; Management of Computing and Information Systems
    Description / Table of Contents: Improving Agile Processes --- Reflection in Agile Retrospectives --- What influences the speed of prototyping? An empirical investigation of twenty software startups --- Key Challenges in Agile Requirements Engineering --- A Multiple Case Study on Selecting a Technique for User-Interaction Data Collecting --- Comparing Requirements Decomposition within the Scrum, Scrum with Kanban, XP, and Banana Development Processes --- Effects of Technical Debt Awareness: A classroom study --- Agile in Organizations --- Don’t Forget to Breathe: A Controlled Trial of Mindfulness Practices in Agile Project Teams --- Enhancing Agile Team Collaboration through the use of Large Digital Multi-touch Cardwalls --- Knowledge Sharing in a Large Agile Organisation: A Survey Study --- Teaching Agile Methods to Software Engineering Professionals: 10 Years, 1000 Release Plans --- Are Software Startups Applying Agile? the State of the Practice from a Large Survey --- Adopting Test Automation on Agile Development Projects: A Grounded Theory Study of Indian Software Organizations --- Safety Critical Software --- How is security testing done in agile teams? A cross-case analysis of four software teams --- An assessment of avionics software development practice: justifications for an agile development process --- Short Research Papers --- Inoculating an Agile Company with User-Centred Design: an Empirical Study --- On the Usage and Benefits of Agile Methods & Practices --- Checklists to Support Test Charter Design in Exploratory Testing --- Discovering Software Process Deviations Using Visualizations --- Exploring Workflow Mechanisms and Task Allocation Strategies in Agile Software Teams --- Are daily stand-up meetings valuable? A survey of developers in software teams --- Doctoral Symposium Papers --- Knowledge Management and Reflective Practice in Daily Stand-up and Retrospective Meetings --- Self-Assignment: Task Allocation Practice in Agile Software Development --- Software Development Practices Patterns.
    Pages: Online-Ressource (XIII, 306 pages) , 55 illustrations
    ISBN: 9783319576336
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-57633-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 75
    Unknown
    Institutional Reform for Innovation and Entrepreneurship : An Agenda for Europe (2017)
    Cham : Springer
    Details
    Keywords: Entrepreneurship ; Management ; Industrial management ; Evolutionary economics ; Industrial organization ; European Economic Community literature ; Economic policy ; Economics ; Industrial Organization ; Entrepreneurship ; Institutional/Evolutionary Economics ; R & D/Technology Policy ; Innovation/Technology Management ; European Integration
    Description / Table of Contents: Introduction: Europe's Innovation Emergency --- Innovation and Entrepreneurship in the European Union - a Reform Agenda --- Summary and Conclusions
    Pages: Online-Ressource (X, 102 pages) , 18 illustrations
    ISBN: 9783319550923
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-55092-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 76
    Unknown
    Has Latin American Inequality Changed Direction? : Looking Over the Long Run (2017)
    Cham : Springer
    Details
    Keywords: Political economy ; Economic history ; Economic growth ; Social structure ; Social inequality ; Economics ; Economic History ; Latin American and Caribbean Economics ; Social Structure, Social Inequality ; Political Economy ; Economic Growth
    Description / Table of Contents: INTRODUCTION --- Chapter1. Long-run inequality trends and cycles and the recent inequality downturn in Latin America --- PART I. LONG-RUN TRENDS --- Chapter 2. Functional Inequality in Latin America: News from the Twentieth Century --- Chapter 3. The Political Economy of Income Inequality in Chile since 1850 --- Chapter 4. What Human Heights Can Explain about the Evolution of Living Standards and Inequality in Latin America: the Case of Mexican Females and Males, 1850-1992 --- Chapter 5. Long-run Human Development in Mexico: 1895-2010 --- Chapter 6. Inequality, Institutions, and Long-Term Development: A Perspective from Brazilian Regions --- Chapter 7. Historical perspectives on regional income inequality in Brazil, 1872-2000 --- Chapter 9. Racial Inequality in Brazil from Independence to Present --- Chapter 10. The lingering face of gender inequality in Latin America --- Chapter 11. Fiscal Redistribution in Latin America since the Nineteenth Century --- PART II. THE RECENT INEQUALITY DOWNTURN --- Chapter 12. Inequality in Latin America --- Chapter 13. The Inequality Story in Latin America and the Caribbean: Searching for an Explanation --- Chapter 14. The Political Economy of Inequality at the Top in Contemporary Chile --- Chapter 15. Structural change and the fall of income inequality in Latin America - Agricultural development, inter-sectoral duality and the Kuznets curve --- Chapter 16. Fiscal policy and inequality in Latin America 1960-2012 --- Chapter 17. Challenges for Social Policy in a Less Favorable Macroeconomic Context
    Pages: Online-Ressource (VIII, 419 pages) , 90 illustrations, 59 illustrations in color
    ISBN: 9783319446219
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-44621-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 77
    Unknown
    Digitalisierung : Bildung / Technik / Innovation (2017)
    Berlin, Heidelberg : Springer Vieweg
    Details
    Keywords: Engineering ; Humanities ; Digital libraries ; Computers ; Educational technology ; Electrical engineering ; Engineering ; Communications Engineering, Networks ; Information Systems and Communication Service ; Digital Humanities ; Technology and Digital Education
    Description / Table of Contents: Seit Jahren wird unser Alltag geprägt von zunehmender Automation und Vernetzung, die Digitalisierung genannt wird. Sensoren erfassen immer mehr unterschiedliche Daten und werden von intelligenten Algorithmen zunehmend präzisier analysiert. Dies führt nicht nur zu einem anderen Verhältnis im Umgang und bei der Nutzung von Daten durch Menschen und Maschinen, sondern wird auch dramatisch Aufgaben und Prozesse verändern. Die damit verbundenen Arbeitsanforderungen werden zum massiven Wandel von Berufsbildern führen, in dem einfache Tätigkeiten automatisiert und komplexe Tätigkeiten vereinfacht werden. Nicht nur das Arbeiten sondern auch das Lernen, Lehren und Forschen verändert sich durch die Digitalisierung. Die technischen Möglichkeiten wandeln die Lebenswelten mit ihren urbanen Versorgungs- und Infrastrukturen und eröffnen den Wirtschaftsräumen neue Geschäftsmodelle. Diese parallel einsetzenden Entwicklungen führen zu radikalen Umbrüchen, die in den kommenden Jahren sämtliche Aspekte der Gesellschaft verändern werden
    Pages: Online-Ressource (IX, 199 Seiten)
    ISBN: 9783662528549
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-662-52854-9
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 78
    Unknown
    Holographic Materials and Optical Systems (2017)
    Rijeka : InTech
    Details
    Keywords: holography
    Description / Table of Contents: Chapter 1: Volume Holography: Novel Materials, Methods and Applications by Tina Sabel and Marga C. Lensen --- Chapter 2: Volume Holographic Optical Elements as Solar Concentrators by Maria Antonietta Ferrara, Gaetano Bianco, Fabio Borbone, Roberto Centore, Valerio Striano and Giuseppe Coppola --- Chapter 3: Volume Bragg Gratings: Fundamentals and Applications in Laser Beam Combining and Beam Phase Transformations by Ivan Divliansky --- Chapter 4: Holographically Recorded Low Spatial Frequency Volume Bragg Gratings and Holographic Optical Elements by Suzanne Martin, Hoda Akbari, Sanjay Keshri, Dennis Bade, Izabela Naydenova, Kevin Murphy and Vincent Toal --- Chapter 5: Holographic Optical Elements and Application by Nam Kim, Yan-Ling Piao and Hui-Ying Wu --- Chapter 6: Holographic Data Storage Using Parallel-Aligned Liquid Crystal on Silicon Displays by Francisco J. Martínez Guardiola, Andrés Márquez Ruiz, Sergi Gallego Rico, Roberto Fernández Fernández, Jorge Francés Monllor, Manuel Ortuño Sánchez, Inmaculada Pascual Villalobos and Augusto Beléndez Vázquez --- Chapter 7: Microtopography and Thickness Measurement with Digital Holographic Microscopy Highlighting and Its Tomographic Capacity by Miguel León-Rodríguez, Juan A. Rayas-Alvarez, Amalia Martínez- García and Raúl R. Cordero --- Chapter 8: 3D Capture and 3D Contents Generation for Holographic Imaging by Elena Stoykova, Hoonjong Kang, Youngmin Kim, Joosup Park, Sunghee Hong and Jisoo Hong --- Chapter 9: Multiwavelength Digital Holography and Phase-Shifting Interferometry Selectively Extracting Wavelength Information: Phase-Division Multiplexing (PDM) of Wavelengths by Tatsuki Tahara, Reo Otani, Yasuhiko Arai and Yasuhiro Takaki --- Chapter 10: Dynamic Imaging with X-ray Holography by Büttner Felix --- Chapter 11: Indirect Off-Axis Holography for Antenna Metrology by Ana Arboleya, Jaime Laviada, Juha Ala-Laurinaho, Yuri Álvarez, Fernando Las-Heras and Antti V. Räisänen --- Chapter 12: Surface Characterization by the Use of Digital Holography by Dahi Ghareab Abdelsalam, Takeshi Yasui, Takayuki Ogawa and Baoli Yao --- Chapter 13: Digital Holographic Interferometry for Analysing High-Density Gradients in Fluid Mechanics by Jean-Michel Desse and François Olchewsky --- Chapter 14: Holography: The Usefulness of Digital Holographic Microscopy for Clinical Diagnostics by Zahra El-Schich, Sofia Kamlund, Birgit Janicke, Kersti Alm and Anette Gjörloff Wingren --- Chapter 15: Unlabeled Semen Analysis by Means of the Holographic Imaging by Giuseppe Coppola, Maria Antonietta Ferrara, Giuseppe Di Caprio, Gianfranco Coppola and Brian Dale --- Chapter 16: One-Step Holographic Photoalignment for Twisted Nematic Liquid Crystal Gratings by Kotaro Kawai, Moritsugu Sakamoto, Kohei Noda, Tomoyuki Sasaki, Nobuhiro Kawatsuki and Hiroshi Ono --- Chapter 17: Application of High Performance Photoinitiating Systems for Holographic Grating Recording by C. Ley, C. Carré, A. Ibrahim and X. Allonas --- Chapter 18: Fluorite Crystals with Color Centers: A Medium for Recording Extremely Stable but Broadly Transformable Holograms by Aleksandr I. Ryskin, Aleksandr E. Angervaks and Andrei V. Veniaminov --- Chapter 19: New Photo-Thermo-Refractive Glasses for Holographic Optical Elements: Properties and Applications by Nikonorov Nikolay, Ivanov Sergey, Dubrovin Victor and Ignatiev Alexander --- Chapter 20: Active Holography by Zurab V. Wardosanidze --- Chapter 21: Two-Wave Mixing in Organic-Inorganic Hybrid Structures for Dynamic Holography by Vera Marinova, Shiuan Huei Lin and Ken Yuh Hsu
    Pages: Online-Ressource (516 Seiten)
    ISBN: 9789535130383
    URL: http://www.intechopen.com/books/holographic-materials-and-optical-systems
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 79
    Unknown
    International Development (2017)
    Rijeka : InTech
    Details
    Keywords: international development ; rural development ; food security
    Description / Table of Contents: Chapter 1: Nutrition-Sensitive Agricultural Development for Food Security in Africa: A Case Study of South Africa by Hester Carina Schönfeldt, Nicolette Hall and Beulah Pretorius --- Chapter 2: A Study of Household Food security and Adoption of Biofortified Crop Varieties in Tanzania: The Case of Orange- Fleshed Sweetpotato by Julius J. Okello, Kirimi Sindi, Kelvin Shikuku, Margaret McEwan and Jan Low --- Chapter 3: Current Review of Medical Research in Developing Countries: A Case Study from Egypt by Sherif M. Shehata, Nehal M. ElMashad and Azza M. Hassan --- Chapter 4: Comparing GDP Health and Military Expenditure, Poverty and Child Mortality of 71 Countries from Different Regions by Colin Pritchard and Steven Keen --- Chapter 5: Spot Improvement of Rural Roads Using a Local Resource- Based Approach: Case Studies from Asia and Africa by Yoshinori Fukubayashi and Makoto Kimura --- Chapter 6: Natural Disaster and International Development by Luke Strongman --- Chapter 7: A Study of the Relationship between Foreign Aid and Human Development in Africa by Gabriel Staicu and Razvan Barbulescu --- Chapter 8: Developing Competencies for Rural Development Project Management through Local Action Groups: The Punta Indio (Argentina) Experience by Ricardo Stratta Fernández, Ignacio de los Ríos Carmenado and Miriam López González
    Pages: Online-Ressource (180 Seiten)
    ISBN: 9789535131045
    URL: https://www.intechopen.com/books/international-development
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 80
    Unknown
    Ad Hoc Networks (2017)
    Rijeka : InTech
    Details
    Keywords: mobile devices ; wireless devices ; MANET
    Description / Table of Contents: Chapter 1: Data-Gathering and Aggregation Protocol for Networked Carrier Ad Hoc Networks: The Optimal and Heuristic Approach by Chao Gao, Guorong Zhao and Jianhua Lu --- Chapter 2: A Composite Trust Model for Secure Routing in Mobile Ad-Hoc Networks by Rutvij H. Jhaveri, Narendra M. Patel and Devesh C. Jinwala --- Chapter 3: Performance Analysis of Three Routing Protocols in MANET Using the NS-2 and ANOVA Test with Varying Speed of Nodes by Subhrananda Goswami, Subhankar Joardar, Chandan Bikash Das, Samarajit Kar and Dibyendu Kumar Pal --- Chapter 4: Cooperative Routing in Multi-Radio Multi-Hop Wireless Network by Kun Xie, Shiming He, Xin Wang, Dafang Zhang and Keqin Li --- Chapter 5: MANET Network in Internet of Things System by Rasa Bruzgiene, Lina Narbutaite and Tomas Adomkus --- Chapter 6: Radio Frequency-Based Indoor Localization in Ad-Hoc Networks by Mehdi Golestanian, Joshua Siva and Christian Poellabauer
    Pages: Online-Ressource (146 Seiten)
    ISBN: 9789535131106
    URL: https://www.intechopen.com/books/ad-hoc-networks
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 81
    Unknown
    Multi-agent Systems (2017)
    Rijeka : InTech
    Details
    Keywords: software agents
    Description / Table of Contents: Chapter 1: Introductory Chapter: Multi-Agent Systems by Jorge Rocha, Inês Boavida-Portugal and Eduardo Gomes --- Chapter 2: Motion Coordination Problems with Collision Avoidance for Multi-Agent Systems by Jesús Santiaguillo-Salinas and Eduardo Aranda-Bricaire --- Chapter 3: Multiagent Systems in Automotive Applications by Raul Campos-Rodriguez, Luis Gonzalez-Jimenez, Francisco Cervantes-Alvarez, Francisco Amezcua-Garcia and Miguel Fernandez-Garcia --- Chapter 4: Time Critical Mass Evacuation Simulation Combining A Multi- Agent System and High-Performance Computing by Leonel Aguilar, Maddegedara Lalith and Muneo Hori --- Chapter 5: Robust Adaptive Cooperative Control for Formation-Tracking Problem in a Network of Non-Affine Nonlinear Agents by Muhammad Nasiruddin bin Mahyuddin and Ali Safaei --- Chapter 6: Management of a Single-User Multi-Robot Teleoperated System for Maintenance in Offshore Plants by Seungyeol Lee and Jeon-Il Moon --- Chapter 7: Multiagent System for Image Mining by Nicksson Ckayo Arrais de Freitas and Marcelino Pereira dos Santos Silva --- Chapter 8: A Toolbox to Analyze Emergence in Multiagent Simulations by Danilo Saft and Volker Nissen --- Chapter 9: Hybrid Architecture to Support Context-Aware Systems by Maricela Bravo, José A. Reyes-Ortiz, Leonardo Sánchez-Martínez and Roberto A. Alcántara-Ramírez --- Chapter 10: Resilience Enhancement in Cyber-Physical Systems: A Multiagent-Based Framework by Fábio Emanuel Pais Januário, Joaquim Leitão, Alberto Cardoso and Paulo Gil
    Pages: Online-Ressource (212 Seiten)
    ISBN: 9789535135364
    URL: https://www.intechopen.com/books/multi-agent-systems
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 82
    Unknown
    Emerging Issues in Economics and Development (2017)
    Rijeka : InTech
    Details
    Keywords: economics ; natural resources ; sustainable development
    Description / Table of Contents: Chapter 1: Introductory Chapter: Economics, Natural Resources and Sustainable Development by Introductory Chapter: Economics, Natural Resources and Sustainable Development --- Chapter 2: Self-Organizing Maps to Analyze Value Creation in Mergers and Acquisitions in the Telecommunications Sector by Julio Navío, Jose M. Martinez-Martinez, Alberto Urueña, Juan J. Garcés and Emilio Soria --- Chapter 3: Do Foreign Investors Crowd Out or Crowd In Domestic Investment? A Panel Analysis for OECD Countries by Burçak Polat --- Chapter 4: Analysis of ‘Dutch Disease Effects’ on Asian Economies by Hiroyuki Taguchi --- Chapter 5: Ricardo’s Law of Comparative Advantage and the Law of Association: A Subjective Analysis by Er’el Granot --- Chapter 6: International Trade: The Position of Africa in Global Merchandise Trade by Nahanga Verter
    Pages: Online-Ressource (98 Seiten)
    ISBN: 9789535135302
    URL: https://www.intechopen.com/books/emerging-issues-in-economics-and-development
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 83
    Unknown
    World Energy Outlook 2017 (2017)
    Paris : OECD/IEA (Please request login data at the PIK library)
    Details
    Keywords: energy ; energy economics
    Description / Table of Contents: The global energy scene is in a state of flux. Understanding the dynamic interplay of energy markets, technology and policy has never been more critical. The World Energy Outlook (WEO), widely regarded as the gold standard of energy analysis, provides strategic insight on what today’s policy and investment decisions mean for long-term trends. The 2017 edition of the WEO, which will be released on 14 November, will contain a full update of energy demand and supply projections through 2040 under different scenarios, and their consequences for energy security, investment, energy industries and the environment. It will also include in-depth analysis of: China’s energy outlook. China’s influence has long been felt in coal, oil and gas, as well as in nuclear power, but the country is also now firmly established as a global leader in renewable energy, efficiency and innovation. The WEO will examine China’s economic and energy transitions in detail, and consider how the country’s policy choices can shape not just national prospects, but also global outcomes. Natural gas. The outlook for gas markets is evolving rapidly under pressure from two revolutions: the shale revolution, led by the United States, and the LNG revolution that is testing traditional gas business and pricing models. It will also investigate the wider opportunities and uncertainties for gas in the transition to a cleaner energy system, including its role in tackling local pollution as well as the risk of methane emissions. In addition, the WEO-2017 series will feature two special analyses, to be released in October. The close links between energy and development, assessing today’s global picture for access to modern energy, the strategies and technologies that can enable countries to achieve energy for all by 2030, and the ways in which reliable energy can move communities from poverty towards prosperity. Prospects for energy in Southeast Asia, where infrastructure and investment have to keep up with rapid, sustained growth in energy demand. The report will cover the particular challenge of providing secure, clean and affordable energy to small island systems and remote settlements.
    Pages: Online-Ressource (763)
    ISBN: 9789264282308
    URL: http://bib.gfz-potsdam.de/intern/pubint/weo2017.pdf
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 84
    Unknown
    Recent Progress in Parallel and Distributed Computing (2017)
    Rijeka : InTech
    Details
    Keywords: parallel computing ; distributed computing
    Description / Table of Contents: Chapter 1: Introductory Chapter: The Newest Research in Parallel and Distributed Computing by Wen-Jyi Hwang --- Chapter 2: Social Trust: Evaluating Node Influential Capability in Social Networks by Yap Hock Yeow and Lim Tong-Ming --- Chapter 3: A Distributed Computing Architecture for the Large-Scale Integration of Renewable Energy and Distributed Resources in Smart Grids by Ignacio Aravena, Anthony Papavasiliou and Alex Papalexopoulos --- Chapter 4: GPU Computing Taxonomy by Abdelrahman Ahmed Mohamed Osman --- Chapter 5: Distributed Software Development Tools for Distributed Scientific Applications by Vaidas Giedrimas, Leonidas Sakalauskas and Anatoly Petrenko --- Chapter 6: DANP-Evaluation of AHP-DSS by Wolfgang Ossadnik, Ralf H. Kaspar and Benjamin Föcke
    Pages: Online-Ressource (122 Seiten)
    ISBN: 9789535133162
    URL: https://www.intechopen.com/books/recent-progress-in-parallel-and-distributed-computing
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 85
    Unknown
    Key Issues for Management of Innovative Projects (2017)
    Rijeka : InTech
    Details
    Keywords: project management ; innovation
    Description / Table of Contents: Chapter 1: Fundamentals of Innovation by Angela Albu --- Chapter 2: Key Issues to Improve Innovation Project Excellence by Biiljana Stošić and Radul Milutinović --- Chapter 3: Planning and Management Tasks of Innovation Projects in Production and Economic Systems by Leonid A. Mylnikov --- Chapter 4: Innovations in Research and Development of Scientific Procedures to Reach the Success and the Excellence by Means of Psychology Applied to the High Performance by Amador Cernuda Lago --- Chapter 5: Risk Mitigation Strategies in Innovative Projects by Riaz Ahmed --- Chapter 6: Risk Management in the Decisional Process by Florin Boghean and Carmen Boghean --- Chapter 7: Financing Innovation by Carolina Rodríguez Rodríguez --- Chapter 8: Leadership and Teamwork in Innovation Ecosystems by José Miguel Muñoz Pérez and Manuel Irún Molina --- Chapter 9: Evaluation of the Project Management Team Members by Using the MCDM by Blanka Bazsova --- Chapter 10: Handling Innovative People by M. Dolores Storch de Gracia, Luis Mazadiego and Bernardo Llamas
    Pages: Online-Ressource (192 Seiten)
    ISBN: 9789535134688
    URL: https://www.intechopen.com/books/key-issues-for-management-of-innovative-projects
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 86
    Unknown
    Digitale Souveränität : Bürger / Unternehmen / Staat (2017)
    Berlin, Heidelberg : Springer Vieweg
    Details
    Keywords: Engineering ; Humanities ; Digital libraries ; Educational technology ; Electrical engineering ; Engineering ; Communications Engineering, Networks ; Digital Humanities ; Technology and Digital Education
    Description / Table of Contents: Vorwort --- Einleitung --- Bürger --- Wenn Bots sich unter Leute mischen: Social Bots in den Sozialen Medien --- Digitale Partizipation in Wissenschaft und Wirtschaft --- Entwicklung einer soziodigitalen Souveränität --- Unternehmen --- Digitale Souveränität – ein mehrdimensionales Handlungskonzept für die deutsche Wirtschaft --- Privatheit und digitale Souveränität in der Arbeitswelt 4.0 --- Staat --- Mehr Daten, weniger Vertrauen in Statistik – freie Fahrt für ‚alternative Fakten‘? --- Internationale Perspektiven auf digitale Souveränität --- Digitalisierung der Bildung als staatliche Aufgabe --- Ausblick
    Pages: Online-Ressource (IX, 187 Seiten) , 40 Abbildungen in Farbe
    ISBN: 9783662557969
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-662-55796-9
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 87
    Unknown
    Informatics in the Future : Proceedings of the 11th European Computer Science Summit (ECSS 2015), Vienna, October 2015 (2017)
    Cham : Springer
    Details
    Keywords: Computer science ; Research ; Moral and ethical aspects ; Computers ; Computers and civilization ; Computer Science ; Computers and Society ; History of Computing ; Diversity Management/Women in Business ; Research Ethics
    Description / Table of Contents: Shifting Identities in Computing: From a Useful Tool to a New Method and Theory of Science --- On the Big Impact of “Big Computer Science” --- On Informatics, Diamonds and T --- Leadership and Balance in Research --- Rational ethics --- Ethics for the digital age: where are the moral specs? --- Digital Sovereignty and IT-Security for a Prosperous Society --- Women in Computing and the contingency of informatics cultures --- Ada - poet of computing
    Pages: Online-Ressource (XI, 109 pages) , 22 illustrations in color
    ISBN: 9783319557359
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-55735-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 88
    Unknown
    Intelligent Human Computer Interaction : 9th International Conference, IHCI 2017, Evry, France, December 11-13, 2017, Proceedings (2017)
    Cham : Springer
    Details
    Keywords: Computer science ; Special purpose computers ; Database management ; User interfaces (Computer systems) ; Artificial intelligence ; Computer Science ; Artificial Intelligence (incl. Robotics) ; User Interfaces and Human Computer Interaction ; Database Management ; Special Purpose and Application-Based Systems
    Description / Table of Contents: Can Machines Design? Optimizing User Interfaces for Human Performance --- Geometrical Shapes Rendering on a Dot-Matrix Display --- Dynamic Hand Gesture Recognition for Mobile Systems Using Deep LSTM --- Adjustable Autonomy for UAV Supervision Applications Through Mental Workload Assessment Techniques --- Classification of Motor Imagery Based EEG Signals Using Sparsity Approach --- Mental Workload Assessment for UAV Traffic Control Using Consumer-Grade BCI Equipment --- Improving Classification Performance by Combining Feature Vectors with A Boosting Approach for Brain Computer Interface (BCI) --- List Navigation Using Edge Menu --- Simplexity and Vicariance. On Human Cognition Principles for Man-Machine Interaction --- Design Considerations for Self-paced Interactive Notes on Video Lectures - A Learner's Perspective and Enhancements of Learning Outcome --- Using Psycholinguistic Features for the Classification of Comprehenders from Summary Speech Transcripts --- Lector: Towards Reengaging Students in the Educational Process Inside Smart Classrooms --- Predicting Driver's Work Performance in Driving Simulator Based on Physiological Indices --- Interpersonal Human-Human and Human-Robot Interactions --- Exploring the Dynamics of Relationships Between Expressed and Experienced Emotions --- Standard Co-training in Multiword Expression Detection --- Comparative Study on Normalization in Emotion Recognition from Speech --- Detecting Vigilance in People Performing Continual Monitoring Task
    Pages: Online-Ressource (XVIII, 216 pages) , 78 illustrations
    ISBN: 9783319720388
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-72038-8
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 89
    Unknown
    Cloud Computing : Architecture and Applications (2017)
    Rijeka : InTech
    Details
    Keywords: Cloud computing ; Internet of Things
    Description / Table of Contents: Chapter 1: State-of-the-Art Antenna Technology for Cloud Radio Access Networks (C-RANs) by Waleed Tariq Sethi, Abdullah Alfakhri, Muhammad Ahmad Ashraf, Amr G. Alasaad and Saleh Alshebeili --- Chapter 2: Cloud Computing for Next-Generation Sequencing Data Analysis by Shanrong Zhao, Kirk Watrous, Chi Zhang and Baohong Zhang --- Chapter 3: Green-Aware Virtual Machine Migration Strategy in Sustainable Cloud Computing Environments by Xiaoying Wang, Guojing Zhang, Mengqin Yang and Lei Zhang --- Chapter 4: M-ary Optical Computing by Jian Wang and Yun Long --- Chapter 5: Networking Solutions for Integrated Heterogeneous Wireless Ecosystem by Roman Florea, Aleksandr Ometov, Adam Surak, Sergey Andreev and Yevgeni Koucheryavy
    Pages: Online-Ressource (138 Seiten)
    ISBN: 9789535132448
    URL: https://www.intechopen.com/books/cloud-computing-architecture-and-applications
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 90
    Unknown
    Wireless Sensor Networks : Insights and Innovations (2017)
    Rijeka : InTech
    Details
    Keywords: wireless ; sensor networks ; mobile wireless ; connectivity
    Description / Table of Contents: Chapter 1: Mobile Wireless Sensor Networks: An Overview by Velmani Ramasamy --- Chapter 2: Routing Protocols for Wireless Sensor Networks (WSNs) by Noman Shabbir and Syed Rizwan Hassan --- Chapter 3: Gradient Descent Localization in Wireless Sensor Networks by Nuha A.S. Alwan and Zahir M. Hussain --- Chapter 4: A Novel Hybrid Methodology Applied Optimization Energy Consumption in Homogeneous Wireless Sensor Networks by Plácido Rogerio Pinheiro, Álvaro Meneses Sobreira Neto, Alexei Barbosa Aguiar and Pedro Gabriel Calíope Dantas Pinheiro --- Chapter 5: WSN in Conservation Management by Akbar Ghobakhlou and Shane Inder --- Chapter 6: Recent Advances on Implantable Wireless Sensor Networks by Hugo Dinis and Paulo M. Mendes --- Chapter 7: Low-Cost Energy-Efficient Air Quality Monitoring System Using Wireless Sensor Network by Kavi Kumar Khedo and Vishwakarma Chikhooreeah --- Chapter 8: Modern Clustering Techniques in Wireless Sensor Networks by I.S. Akila, S.V. Manisekaran and R. Venkatesan --- Chapter 9: Fuzzy Adaptive Setpoint Weighting Controller for WirelessHART Networked Control Systems by Sabo Miya Hassan, Rosdiazli Ibrahim, Nordin Saad, Vijanth Sagayan Asirvadam, Kishore Bingi and Tran Duc Chung --- Chapter 10: A Hybrid Sink Repositioning Technique for Data Gathering in Wireless Sensor Networks by Prerana Shrivastava
    Pages: Online-Ressource (206 Seiten)
    ISBN: 9789535135623
    URL: https://www.intechopen.com/books/wireless-sensor-networks-insights-and-innovations
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 91
    Unknown
    Energy Technology Perspectives 2017 : Catalysing Energy Technology Transformations (2017)
    Paris : OECD/IEA (Please request login data at the PIK library)
    Details
    Keywords: energy ; energy economics
    Description / Table of Contents: The global energy system is moving closer to a historic transformation. This year's edition of the International Energy Agency (IEA)'s comprehensive publication on energy technology focuses on the opportunities and challenges of scaling and accelerating the deployment of clean energy technologies. This includes looking at more ambitious scenarios than the IEA has produced before. Improvements in technology continue to modify the outlook for the energy sector, driving changes in business models, energy demand and supply patterns as well as regulatory approaches. Energy security, air quality, climate change and economic competitiveness are increasingly being factored in by decision makers. Energy Technology Perspectives 2017 (ETP 2017) details these trends as well as the technological advances that will shape energy security and environmental sustainability for decades to come. For the first time, ETP 2017 looks at how far clean energy technologies could move the energy sector towards higher climate change ambitions if technological innovations were pushed to their maximum practical limits. The analysis shows that, while policy support would be needed beyond anything seen to date, such a push could result in greenhouse gas emission levels that are consistent with the mid-point of the target temperature range of the global Paris Agreement on climate change. The analysis also indicates that regardless of the pathway chosen for the energy sector transformation, policy action is needed to ensure that multiple economic, security and other benefits to the accelerated deployment of clean energy technologies are realised through a systematic and co-ordinated approach. ETP 2017 also features the annual IEA Tracking Clean Energy Progress 2017 report, which shows that the current progress in clean energy technology development and deployment remains sub-optimal. It highlights that progress has been substantial where policies have provided clear signals on the value of technology innovation. But many technology areas still suffer from a lack of financial and policy support.
    Pages: Online-Ressource (438 Seiten)
    ISBN: 9789264275973
    URL: http://bib.gfz-potsdam.de/intern/pubint/etp2017.pdf
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 92
    Unknown
    Case Study of Innovative Projects : Successful Real Cases (2017)
    Rijeka : InTech
    Details
    Keywords: project management ; innovation
    Description / Table of Contents: Chapter 1: The New Panama Canal by Ana Belén Berrocal Menarguez and Juan Pous de la Flor --- Chapter 2: Innovation Management in Iberdrola by Agustín Delgado Martín --- Chapter 3: Composite Solutions for Construction Sector by Pilar Górriz, Anurag Bansal, Carlo Paulotto, Stefano Primi and Ignacio Calvo --- Chapter 4: Importance and Ranking Evaluation of Cost Overrun Factors for Oil Transmission Pipeline Projects by Pooneh Saidi --- Chapter 5: Alliances: An Innovative Management Model for Public and Private Investments by Fco. Javier Carrillo de Albornoz Portes --- Chapter 6: Innovative Solutions for Seawater Use in Mining Operations by Edelmira D. Gálvez and Luis A. Cisternas --- Chapter 7: Microalgae: The Basis of Mankind Sustainability by Francisco Gabriel Acien Fernandez, Jose Maria Fernandez Sevilla and Emilio Molina Grima --- Chapter 8: Innovative Management and Implementation of Applied Research Project “Green Cost-Efficient Package Selection” by Eduard Shevtshenko, Tatjana Karaulova, Meelis Pohlak, Kashif Mahmood, Martin Tamm and Kaupo Leht --- Chapter 9: Innovation in Limited Markets: Managing PCP Projects in the UK Defence Industry by Shaun Gee, Miles W. Weaver and Grant MacKerron --- Chapter 10: An Education Towards the Future by Luis Rey --- Chapter 11: Management of Entrepreneurship Projects from Project-Based Learning: Coworking StartUPS Project at Universidad Politécnica Salesiana (Salesian Polytechnic University), Ecuador by Juan Pablo Salgado Guerrero, Ignacio de los Ríos Carmenado and Miriam López González --- Chapter 12: Novel Health Mobile Technology as an Emerging Strategy in Diabetes Management by Satish Kumar David and Mohamed Rafiullah --- Chapter 13: The Arts in Clinical Health Programs for the Recovery of Diseases and to Improve Quality of Life by Amador Cernuda Lago
    Pages: Online-Ressource (286 Seiten)
    ISBN: 9789535134480
    URL: https://www.intechopen.com/books/case-study-of-innovative-projects-successful-real-cases
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 93
    Unknown
    Heuristics and Hyper-Heuristics : Principles and Applications (2017)
    Rijeka : InTech
    Details
    Keywords: heuristics
    Description / Table of Contents: Chapter 1: Hyper-Heuristics and Metaheuristics for Selected Bio-Inspired Combinatorial Optimization Problems by Aleksandra Swiercz --- Chapter 2: Multi-Objective Hyper-Heuristics by Mashael Suliaman Maashi --- Chapter 3: Heuristics Techniques for Scheduling Problems with Reducing Waiting Time Variance by Satyasundara Mahapatra, Rati Ranjan Dash and Sateesh K. Pradhan --- Chapter 4: Efficient Heuristics for Scheduling with Release and Delivery Times by Nodari Vakhania --- Chapter 5: Advanced Particle Filter Methods by Roi Yozevitch and Boaz Ben-Moshe --- Chapter 6: On the Use of Hybrid Heuristics for Providing Service to Select the Return Channel in an Interactive Digital TV Environment by Marcos César da Rocha Seruffo, Ádamo Lima de Santana, Carlos Renato Lisboa Francês and Nandamudi Lankalapalli Vijaykumar
    Pages: Online-Ressource (134 Seiten)
    ISBN: 9789535133841
    URL: https://www.intechopen.com/books/heuristics-and-hyper-heuristics-principles-and-applications
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 94
    Unknown
    Congruence of Personal and Organizational Values (2017)
    Rijeka : InTech
    Details
    Keywords: personal values ; organizational values ; congruence phenomenon ; organizational performance ; organizational climate
    Description / Table of Contents: Chapter 1: Introductory Chapter: Congruence of Personal and Organizational Values—How to Deal with? by Jolita Vveinhardt --- Chapter 2: Impact of Real and Propagated Values on Organisational Success by Eneken Titov and Ljudmila Umarova --- Chapter 3: Personal-Organizational Value Congruence as a Mediator Between Personality and Employee Attitudes by Doruk Uysal-Irak --- Chapter 4: Strengthening the Congruence of Personal and Organizational Values by Evelina Gulbovaite --- Chapter 5: Grading Intellectual Work Output by Fractional Approach to Excellence: A Score Sheet for Every Activity by Manfred Fehr
    Pages: Online-Ressource (88 Seiten)
    ISBN: 9789535136668
    URL: https://www.intechopen.com/books/congruence-of-personal-and-organizational-values
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 95
    Unknown
    Knowledge Management Strategies and Applications (2017)
    Rijeka : InTech
    Details
    Keywords: knowledge management ; KM ; organization ; knowledge creation ; knowledge sharing ; dissemination
    Description / Table of Contents: Chapter 1: Tacit Knowledge Sharing: A Literature Review Applied to the Context of the Brazilian Judiciary by José Roberto Ferretti and Maria da Conceição L. Afonso --- Chapter 2: Knowledge Sharing and Human Resource Development in Innovative Organizations by Michael Beyerlein, Rachele Collins, Shinhee Jeong, Christi Phillips, Suravee Sunalai and Lei Xie --- Chapter 3: Network Market Orientation, Knowledge Management and Born Globals’ Competitiveness by Diego Monferrer Tirado and Marta Estrada Guillén --- Chapter 4: Knowledge Management Hybrid Strategy with People, Technology and Process Pillars by Ivy Chan --- Chapter 5: Knowledge Management for Informally Structured Domains: Challenges and Proposals by Karla Olmos-Sánchez and Jorge Rodas-Osollo --- Chapter 6: Performance Management by Causal Mapping: An Application Field of Knowledge Management by Sarah Kölbel, Wolfgang Ossadnik and Stefan Gergeleit --- Chapter 7: Intelligent Knowledge Retrieval from Industrial Repositories by Antonio Martin, Mauricio Burbano and Carlos León --- Chapter 8: Affective Technology Acceptance Model: Extending Technology Acceptance Model with Positive and Negative Affect by Angela Lee Siew Hoong, Lip Sam Thi and Mei-Hua Lin --- Chapter 9: The Impact of the Internet of Things to Value Added in Knowledge-Intensive Organizations by Maja Meško, Jana Suklan and Vasja Roblek --- Chapter 10: Knowledge Management Trends in Biotechnology in Brazil by Maria de Fátima Ebole Santana --- Chapter 11: Exploring the Impact of Online Clinical Guidelines on Individual Knowledge Management Behaviors and Individual Net Benefits by Shofang Chang, Tain-Junn Cheng and Chung-Hsien Chan --- Chapter 12: Knowledge-Based Assignment Model for Allocation of Employees in Engineering-to-Order Production by Matjaz Roblek, Maja Zajec and Benjamin Urh --- Chapter 13: An Examination of the Knowledge Management Process in the Emerging Chinese Hotel Industry by Tommy Wong, Linda French and Mark Wickham --- Chapter 14: Widening the Understanding of Risk Approaches by Comparing Definitions from Different Disciplines by Gabriele Berg-Beckhoff, Peter Wiedemann, Balázs Ádám, Joachim Schüz, Kristian Breum Ølgaard, Pernille Tanggaard Andersen, Steven Ndugwa Kabwama and Jesper Bo Nielsen
    Pages: Online-Ressource (274 Seiten)
    ISBN: 9789535136187
    URL: https://www.intechopen.com/books/knowledge-management-strategies-and-applications
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 96
    Unknown
    Management of Cities and Regions (2017)
    Rijeka : InTech
    Details
    Keywords: urbanizing ; local development ; urban planning
    Description / Table of Contents: Chapter 1: Collaboration: Long-Term Partnerships for Local Development by Elisabeth Schauppenlehner-Kloyber --- Chapter 2: Evolution of Marketing in Smart Cities through the Collaboration Design by Urška Starc-Peceny, Anita Maček and Rasto Ovin --- Chapter 3: Social Media Use and Citizen Engagement in Local Government of Thailand by Sataporn Roengtam --- Chapter 4: Urban Planning in Decentralization and Local Autonomy Era: A Case Study on the Relationship Between Local Government and Civic Group in Development and Budget Planning in Malang City (Indonesia) by Salahudin, Achmad Nurmandi and Jainuri --- Chapter 5: The Key Role of Integral Extension in Socio-Environmental Innovation towards Sustainable Rural Development by Aida Huerta-Barrientos --- Chapter 6: Export, Import, Economic Growth, and Carbon Emissions in Bangladesh: A Granger Causality Test under VAR (Restricted) Environment by Farhana Ferdousi and Md. Qamruzzaman --- Chapter 7: Water Challenges of an Urbanizing World by Sheetal Sharma --- Chapter 8: The Spatial Structure of Ecuador: Analysis Using Market Potentials by Jorge Guido Sotomayor-Pereira, Jesús López-Rodríguez and Laura Varela-Candamio --- Chapter 9: The Economic Geography of Most North-Western Region of Spain: Galicia and the Effect of Market Access on Regional Development Levels by Jesús López-Rodríguez and Guillermo Manso-Fernández --- Chapter 10: Some Perpetually Old and New Development Issues in the EU Regions: Competitiveness, Resilience, and Convergence: Where Do the New Member States Stand? by Marioara Iordan and Mihaela-Nona Chilian --- Chapter 11: Regional Analysis for European Structural and Investment Funds on the Case of Slovenia-Austria Cross-Border Cooperation 2014–2020 by Vito Bobek and Anita Maček
    Pages: Online-Ressource (226 Seiten)
    ISBN: 9789535136040
    URL: https://www.intechopen.com/books/management-of-cities-and-regions
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 97
    Unknown
    Scaling a Software Business : The Digitalization Journey (2017)
    Cham : Springer
    Details
    Keywords: Computer science ; Management information systems ; Software engineering ; Computer Science ; Software Engineering ; Software Management ; Management of Computing and Information Systems
    Description / Table of Contents: Common challenges with software --- The map --- A holistic view to change --- The compass --- The journeys --- Co-develop in a community --- Charing is caring --- A thriving Open Source culture behind the wall --- Keeping the doors open.- Building ecosystems --- Pushing the boundaries --- Add supplementary services --- Adding Internet to things --- Boosting product sales by services --- Deliver 24/7 --- Pruning a bush --- Ensuring prima deliveries --- Pump up the volume --- Global R&D goes agile with SAFe --- Multi-site development --- Agile and disciplined --- Scaling Agile in Automotive --- Scaling Agile in Life sciences --- Outside the box --- Efficient communication --- Outsourcing Strategy at Sony Mobile --- Not so shore anymore --- Play it again, Sam, backwards --- First things first --- Robotic growing pains --- Softhouse reflects on architecture changes --- From mobile to Platform --- Your journey
    Pages: Online-Ressource (XXIII, 242 pages)
    ISBN: 9783319531168
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-53116-8
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 98
    Unknown
    Cloud-Based Benchmarking of Medical Image Analysis (2017)
    Cham : Springer
    Details
    Keywords: Computer science ; Health informatics ; Computer system failures ; Image processing ; Computer Science ; Health Informatics ; Health Informatics ; Image Processing and Computer Vision ; System Performance and Evaluation
    Description / Table of Contents: VISCERAL: Evaluation-as-a-Service for Medical Imaging --- Using the Cloud as a Platform for Evaluation and Data Preparation --- Ethical and Privacy Aspects of Using Medical Image Data --- Annotating Medical Image Data --- Datasets created in VISCERAL --- Evaluation Metrics for Medical Organ Segmentation and Lesion Detection --- VISCERAL Anatomy Benchmarks for Organ Segmentation and Landmark Localisation: Tasks and Results --- Retrieval of Medical Cases for Diagnostic Decisions: VISCERAL Retrieval Benchmark --- Automatic Atlas-Free Multi-Organ Segmentation of Contrast-Enhanced CT Scans --- Multi-organ Segmentation Using Coherent Propagating Level Set Method Guided by Hierarchical Shape Priors and Local Phase Information --- Automatic Multi-organ Segmentation using Hierarchically-Registered Probabilistic Atlases --- Multi-Atlas Segmentation Using Robust Feature-Based Registration --- Combining Radiology Images and Clinical Meta-data for Multimodal Medical Case-based Retrieval --- Text and Content-based Medical Image Retrieval in the VISCERAL Retrieval Benchmark
    Pages: Online-Ressource (XVIII, 254 pages) , 93 illustrations, 39 illustrations in color
    ISBN: 9783319496443
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-49644-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 99
    Unknown
    Digitalisierung : Bildung / Technik / Innovation (2017)
    Berlin, Heidelberg : Springer Vieweg
    Details
    Keywords: Engineering ; Humanities ; Digital libraries ; Computers ; Educational technology ; Electrical engineering ; Engineering ; Communications Engineering, Networks ; Information Systems and Communication Service ; Digital Humanities ; Technology and Digital Education
    Description / Table of Contents: Seit Jahren wird unser Alltag geprägt von zunehmender Automation und Vernetzung, die Digitalisierung genannt wird. Sensoren erfassen immer mehr unterschiedliche Daten und werden von intelligenten Algorithmen zunehmend präzisier analysiert. Dies führt nicht nur zu einem anderen Verhältnis im Umgang und bei der Nutzung von Daten durch Menschen und Maschinen, sondern wird auch dramatisch Aufgaben und Prozesse verändern. Die damit verbundenen Arbeitsanforderungen werden zum massiven Wandel von Berufsbildern führen, in dem einfache Tätigkeiten automatisiert und komplexe Tätigkeiten vereinfacht werden. Nicht nur das Arbeiten sondern auch das Lernen, Lehren und Forschen verändert sich durch die Digitalisierung. Die technischen Möglichkeiten wandeln die Lebenswelten mit ihren urbanen Versorgungs- und Infrastrukturen und eröffnen den Wirtschaftsräumen neue Geschäftsmodelle. Diese parallel einsetzenden Entwicklungen führen zu radikalen Umbrüchen, die in den kommenden Jahren sämtliche Aspekte der Gesellschaft verändern werden
    Pages: Online-Ressource (IX, 199 Seiten)
    ISBN: 9783662528549
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-662-52854-9
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 100
    Unknown
    Think Big, Start Small : StreetScooter die e-mobile erfolgsstory: Innovationsprozesse radikal effizienter (2017)
    Berlin, Heidelberg : Springer Vieweg
    Details
    Keywords: Engineering ; Project management ; Engineering design ; Automotive Engineering ; Project Management ; Engineering Design
    Description / Table of Contents: A - Die Entwicklung: Drei Erfolgsstories --- Die StreetScooter-Gründer-Story --- Die StreetScooter-Meilensteine 2008-2017 --- Die StreetScooter-Entwicklungsstory --- Die StreetScooter-Protagonisten-Story --- B - Die Lösung: Return on Engineering: Die StreetScooter-Lösungsbausteine. C - Die Perspektive: Die StreetScooter-Netzwerk-Story --- Die StreetScooter-Produktions-Story --- Die StreetScooter-Post-Story --- Die StreetScooter-Mobilitätslösung --- Die StreetScooter-Vision. A - The Development: Three Stories of Success --- The StreetScooter Founder Story --- The StreetScooter Milestones 2008-2017 --- The StreetScooter Development Story --- The StreetScooter Protagonists Story --- B - The Solution: Return on Engineering: The StreetScooter Building Blocks --- C - The Perspective: The StreetScooter Network Story --- The StreetScooter Production Story --- The StreetScooter Post Story --- The StreetScooter Mobility Solution --- The StreetScooter Vision
    Pages: Online-Ressource (VII, 213 Seiten)
    ISBN: 9783662549971
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-662-54997-1
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...