Search Results - "The Edge"

Thin-walled beam bending quartic deplanation analytical function for improved experiment matching / A Halim Kadarman ... [et al.] by Kadarman, A Halim, Azinan, Nabilah, Singh Sidhu, Junior Sarjit, Shuib, Solehuddin

Link Metadata

Least cost diet for children two to three years in Malaysia using linear programming approach / Nor Hayati Binti Shafii, Rohana Alias and Noradilla Radzuan by Shafii, Nor Hayati, Alias, Rohana, Radzuan, Noradilla

Link Metadata

Impact of non-financial rewards on employees' job satisfaction / Nur Masriyah Hamzah and Syafawati Matkhairuddin by Hamzah, Nur Masriyah, Matkhairuddin, Syafawati

Link Metadata

Keragaman Jenis Fitoplankton Di Perairan Waduk Mulur Kabupaten Sukoharjo Provinsi Jawa Tengah by Ariska Rahmadani, Zulfa, , Efri Roziaty, S. Si., M. Si

Connect to this object online

ANALISIS PENINGKATAN EFEKTIVITAS BONGKAR MUAT KOMODITAS DI PELABUHAN CIGADING - CILEGON by Restrinanda Syifaani,

Link Metadata

PENGARUH PARAMETER PERMESINAN TERHADAP FINISHING KEHALUSAN PERMUKAAN ALUMINIUM 6061 by Fajar Budiprasetyo,

Link Metadata

IDENTIFIKASI KARAKTER PSIKOLOGI SESEORANG MELALUI TULISAN TANGAN MENGGUNAKAN METODE JARINGAN SYARAF TIRUAN LEARNING VECTOR QUANTIZATION by Muhammad Fahri Kosasih, -

Link Metadata

All-Optical Methods to Study Neuronal Function

Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Concurrent and Distributed Systems -- Checking Deadlock-Freedom of Parametric Component-Based Systems -- The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability -- Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude -- Multi-Core On-The-Fly Saturation -- Monitoring and Runtime Verification -- Specification and Efficient Monitoring Beyond STL -- VyPR2: A Framework for Runtime Verification of Python Web Services -- Constraint-based Monitoring of Hyperproperties -- Hybrid and Stochastic Systems -- Tail Probabilities for Runtimes of Randomized Programs: Martingale Synthesis for Higher Moments -- Computing the Expected Execution Time of Probabilistic Workflow Nets -- Shepherding Hordes of Markov Chains -- Optimal Time-Bounded Reachability Analysis for Concurrent Systems -- Synthesis -- Minimal-Time Synthesis for Parametric Timed Automata -- Environmentally-friendly GR(1) Synthesis -- StocHy: automated verification and synthesis of stochastic processes -- Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach -- Symbolic Verification -- iRank: a variable order metric for DEDS subject to linear invariants -- Binary Decision Diagrams with Edge-Specified Reductions -- Effective Entailment Checking for Separation Logic with Inductive Definitions -- Safety and Fault-Tolerant Systems -- Digital Bifurcation Analysis of TCP Dynamics -- Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking -- Measuring Masking Fault-Tolerance -- PhASAR: An Inter-Procedural Static Analysis Framework for C/C++.…”
Link to Metadata

Special Topics in Information Technology

Link to Metadata

Digital Transformation in Semiconductor Manufacturing Proceedings of the 1st and 2nd European Advances in Digital Transformation Conference, EADTC 2018, Zittau, Germany and EADTC 2...

Link to Metadata

Macroeconomic Modelling of R&D and Innovation Policies

Link to Metadata

Entrepreneurial Strategy Starting, Managing, and Scaling New Ventures / by Shepherd, Dean A., Patzelt, Holger

Link to Metadata

Dynamics in Logistics Twenty-Five Years of Interdisciplinary Logistics Research in Bremen, Germany /

Link to Metadata

Deployment and Operation of Complex Software in Heterogeneous Execution Environments The SODALITE Approach /

Link to Metadata

Security in Computer and Information Sciences Second International Symposium, EuroCybersec 2021, Nice, France, October 25-26, 2021, Revised Selected Papers /

Table of Contents: “…Enabling 2nd-factor Authentication under Real-world constraints -- Energy, QoS and Security Aware Services at the Edge -- Mitigating the Massive Access Problem in the IoT.…”
Link to Metadata

A Macroeconometric Model for Saudi Arabia A Case Study on the World's Largest Oil Exporter / by Hasanov, Fakhri J., Joutz, Frederick L., Mikayilov, Jeyhun I., Javid, Muhammad

Link to Metadata

Intelligent Human Computer Interaction 9th International Conference, IHCI 2017, Evry, France, December 11-13, 2017, Proceedings /

Table of Contents: “…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 theEducational 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.…”
Link to Metadata

Sustainability, Human Well-Being, and the Future of Education

Table of Contents: “…1. Learning at the Edge of History -- 2. Toward Robust Foundations for Sustainable Well-being Societies: Learning to Change by Changing How We Learn -- 3. …”
Link to Metadata

Drones and the Creative Industry Innovative Strategies for European SMEs /

Table of Contents: “…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. …”
Link to Metadata