MPG.eBooks - Search Results

21

Theoretical Aspects of Computing – ICTAC 2023 : 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings

Published 2023

Springer Nature Switzerland

Table of Contents: “... Symmetric $n$-Variable Functions with $2n$ Cards -- On the complexity of reasoning in Kleene algebras...”

Read Now

22

European Research Reloaded: Cooperation and Integration among Europeanized States

Published 2006

Springer Netherlands

Table of Contents: “... of Sovereignty -- European Integration and Unfreezing Territoriality: The Case of the European Health Card...”

Read Now

23

Verification, Model Checking, and Abstract Interpretation : Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers

Published 2002

Springer Berlin Heidelberg

Table of Contents: “... -- A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines -- Analyzing...”

Read Now

24

Trust and Privacy in Digital Business : First International Conference, TrustBus 2004, Zaragoza, Spain, August 30-September 1, 2004, Proceedings

Published 2004

Springer Berlin Heidelberg

Table of Contents: “... Architectural Gaps in Smart-Card Middleware Design -- On the Security of the Lee-Hwang Group-Oriented Undeniable...”

Read Now

25

Knowledge Management and Acquisition for Intelligent Systems : 17th Pacific Rim Knowledge Acquisition Workshop, PKAW 2020, Yokohama, Japan, January 7–8, 2021, Proceedings

Published 2021

Springer International Publishing

Table of Contents: “... -- Automatic Generation and Classification of Malicious FQDN -- Analyzing Temporal Change in LoRa Communication...”

Read Now

26

Big Data Support of Urban Planning and Management : The Experience in China

Published 2018

Springer International Publishing

Table of Contents: “...: The Spatial and Temporal Evolution of Innovative Function of Science and Technology of Beijing Based...”

Read Now

27

Combinatorial Algorithms : 32nd International Workshop, IWOCA 2021, Ottawa, ON, Canada, July 5–7, 2021, Proceedings

Published 2021

Springer International Publishing

Table of Contents: “...Card-based Cryptographic Protocols for Three-input Functions Using Private Operations -- Königsberg...”

Read Now

28

Databases Theory and Applications : 26th Australasian Database Conference, ADC 2015, Melbourne, VIC, Australia, June 4-7, 2015. Proceedings

Published 2015

Springer International Publishing

Table of Contents: “... Passengers in Public Transportation Using Smart Card Data -- Unifying Spatial, Temporal and Semantic Features...”

Read Now

29

Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings

Published 2006

Springer Berlin Heidelberg

Table of Contents: “...Invited Papers -- Verifying a Hotel Key Card System -- Z/Eves and the Mondex Electronic Purse...”

Read Now

30

WALCOM: Algorithms and Computation : 15th International Conference and Workshops, WALCOM 2021, Yangon, Myanmar, February 28 – March 2, 2021, Proceedings

Published 2021

Springer International Publishing

Table of Contents: “... of Unicycle Graphs and Diameter-Optimally Augmenting Trees -- On Short Fastest Paths in Temporal Graphs...”

Read Now

31

Stabilization, Safety, and Security of Distributed Systems : 24th International Symposium, SSS 2022, Clermont-Ferrand, France, November 15–17, 2022, Proceedings

Published 2022

Springer International Publishing

Table of Contents: “... of reachability in temporal graphs -- Brief Announcement: Dynamic graph models for the Bitcoin P2P network...”

Read Now

32

Human-Centered Urban Planning and Design in China: Volume II : Urban Design and Mobility

Published 2021

Springer International Publishing

Table of Contents: “...Chapter 13. Study of the Spatial-Temporal Characteristics of College Students' Activities Based...”

Read Now

33

Information Systems Security : 9th International Conference, ICISS 2013, Kolkata, India, December 16-20, 2013. Proceedings

Published 2013

Springer Berlin Heidelberg

Table of Contents: “... for Spatio-Temporal Role Based Access Control -- A UC-Secure Authenticated Contributory Group Key Exchange...”

Read Now

34

Applications of Databases : First International Conference, ADB-94, Vadstena, Sweden, June 21 - 23, 1994. Proceedings

Published 1994

Springer Berlin Heidelberg

Table of Contents: “... database server: The CQL card -- Intelligent networks as a data intensive application (INDIA)...”

Read Now

35

Beginning anomaly detection using Python-based deep learning : with Keras and PyTorch

by Alla, Sridhar, Adari, Suman Kalyan
Published 2019

Apress

Table of Contents: “...Chapter 7: Temporal Convolutional NetworksWhat Is a Temporal Convolutional Network?; Dilated...”

Read Now

36

Computational Urban Planning and Management for Smart Cities

Published 2019

Springer International Publishing

Table of Contents: “... Card Data -- The Comparison Between Two Different Algorithms of Spatio-Temporal Forecasting for Traffic...”

Read Now

37

Computer Supported Cooperative Work and Social Computing : 18th CCF Conference, ChineseCSCW 2023, Harbin, China, August 18–20, 2023, Revised Selected Papers, Part II

Published 2024

Springer Nature Singapore

Table of Contents: “... Knowledge for Professional Text Inference -- Card Mini Program Design and Implementation Based on SCHOLAT...”

Read Now

38

Artificial Neural Networks and Machine Learning – ICANN 2021 : 30th International Conference on Artificial Neural Networks, Bratislava, Slovakia, September 14–17, 2021, Proceedings...

Published 2021

Springer International Publishing

Table of Contents: “...: A Spatio-Temporal VAE Approach for Traffic Data Imputation -- Traffic Camera Calibration via Vehicle...”

Read Now

39

Smart Graphics : 10th International Symposium, SG 2009, Salamanca, Spain, Mai 28-30, 2009, Proceedings

Published 2009

Springer Berlin Heidelberg

Table of Contents: “... for Assisting the Design and Production of Pop-Up Card -- Part-III: Human Computer Interaction -- Whole Body...”

Read Now

40

Entertainment Computing - ICEC 2010 : 9th International Conference, ICEC 2010, Seoul, Korea, September 8-11, 2010. Proceedings

Published 2010

Springer Berlin Heidelberg

Table of Contents: “... Actuator -- Easy Robot Programming for Beginners and Kids Using Command and Instruction Marker Card...”

Narrow Search