Det Tekniske Fakultet

Publikationer 1971 2020

Filtrer
Konferencebidrag i proceedings
2020

Output-Only Estimation of Amplitude Dependent Friction-Induced Damping

Vesterholm, K. K., Friis, T., Katsanos, E., Brincker, R. & Brandt, A., 2020, Dynamics of Civil Structures. Pakzad, S. (red.). Springer, Bind 2. s. 17-25 (Conference Proceedings of the Society for Experimental Mechanics Series).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Modal analysis
Damping
Friction
Parameter estimation
2019

Abstraction in Modeling and Programming with Associations: Instantiation, Composition and Inheritance

Kristensen, B. B., 2019, Advances in Computer Communication and Computational Sciences: Proceedings of IC4S 2018. Bhatia, S. K., Tiwari, S., Mishra, K. K. & Trivedi, M. C. (red.). Springer, s. 11-31 (Advances in Intelligent Systems and Computing, Bind 924).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Association reactions
Schematic diagrams
Chemical analysis
Experiments

A chemosensory navigation model inspired by the neural odour processing mechanism in cockroaches

Zurro, A. P., Rano, I. & Shaikh, D., 2019, (Accepteret/In press) Proceedings of the 2019 IEEE International Conference on Cyborg and Bionic Systems. 7 s.

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Odors
Navigation
Processing
Gaussian distribution
Neurons

A cross-national comparative study of the political and regulatory impact on the adoption of demand response in Denmark and Austria

Schultz, M. J., Aabjerg Friis, H. T., Ma, Z. & Jørgensen, B. N., 2019, ECEEE 2019 Summer Study on Energy Efficiency: Is Efficient Sufficient?. European Council for an Energy Efficient Economy (ECEEE), s. 541-549

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Austria
Comparative study
Demand response
Cross-national
Denmark

Active magnetic regenerators implemented as a magnetocaloric heat pump for residential buildings

Johra, H., Filonenko, K., Heiselberg, P. K., Veje, C., Dallolio, S., Engelbrecht, K. & Bahl, C. R. H., 2019, Thermag VIII, International Conference on Caloric Cooling. 6 s.

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Space heating
Regenerators
Pumps
Heating
Heat pump systems

Adaptive Motor Control for Human-like Spatial-temporal Adaptation

Xiong, X. & Manoonpong, P., mar. 2019, 2018 IEEE International Conference on Robotics and Biomimetics, ROBIO 2018. IEEE, s. 2107-2112

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Controllers
Biomechanics
Biomimetics
Robotics
Damping

A Methodology for evaluating Commercial Off The Shelf parachutes designed for sUAS failsafe systems

Tofterup, V. K. & Jensen, K., 15. aug. 2019, 2019 International Conference on Unmanned Aircraft Systems (ICUAS). IEEE, s. 129-137

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Parachutes
Antennas
Takeoff
Specifications
Recovery

An Accurate Fault Location Algorithm for Smart Electrical Distribution Systems Equipped with Micro Phasor Measurement Units

Mirshekali, H., Dashti, R. & Shaker, H. R., 2019, (Accepteret/In press) Proceedings of the 2019 International Symposium on Advanced Electrical and Communication Technologies : ISAECT. IEEE

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

An Accurate Programmable Pulse Generator for Stepper Actuated Real-Time Control Systems

Ramezani, H., Torbensen, R., Duggen, L. & Jouffroy, J., 24. maj 2019, Proceedings of the 2019 IEEE International Conference on Mechatronics, ICM 2019. IEEE, s. 358-363

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Pulse generators
Real time control
Control systems
Trajectories
Costs

An Analysis of Contracts and Relationships between Supercomputing Centers and Electricity Service Providers

Clausen, A., Koenig, G., Klingert, S., Ghatikar, G., Schwartz, P. M. & Bates, N., 30. maj 2019, (Accepteret/In press) 48th International Conference on Parallel Processing: Workshops Proceedings. ACM

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Anisotropic Concrete Compressive Strength in Existing Structures

Hansen, S. G., Meinen, N. E. & Jørgensen, H. B., 2019, 20th Congress of IABSE New York City 2019: The Evolving Metropolis. International Association for Bridge and Structural Engineering

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Compressive strength
Concretes
Concrete construction
Concrete bridges
Drilling
1 Downloads (Pure)

Annotation of German Intonation: DIMA compared with other annotation systems

Kügler, F., Baumann, S., Andreeva, B., Braun, B., Grice, M., Neitsch, J., Niebuhr, O., Peters, J., Röhr, C. T., Schweitzer, A. & Wagner, P., 2. aug. 2019, Proceedings of the 19th International Congress of Phonetic Sciences, Melbourne, Australia 2019. Calhoun, S., Escudero, P., Tabain, M. & Warren, P. (red.). Canberra, Australia, s. 1297-1301 (Proceedings of the International Congress of Phonetic Sciences).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil
rap

Anonymizing Building Data for Data Analytics in Cross-Organizational Settings

Schwee, J. H., Sangogboye, F. C. & Kjærgaard, M. B., 15. apr. 2019, IoTDI '19 Proceedings of the International Conference on Internet of Things Design and Implementation. Association for Computing Machinery, s. 1-12

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Sensors
Intelligent buildings
Air conditioning
Contractors
Ventilation
5 Downloads (Pure)

A preliminary study of charismatic speech on YouTube: correlating prosodic variation with counts of subscribers, views and likes

Berger, S., Niebuhr, O. & Zellers, M., 16. sep. 2019, Proc. Interspeech 2019. International Speech Communication Association (ISCA), s. 1761-1765 (Proceedings of the International Conference on Spoken Language Processing).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil
Speech analysis
Acoustics

A Review on Building Energy Savings Strategies and Systems (BE3S)

Al-Ghaili, A. M., Kasim, H., Othman, M., Jørgensen, B. N. & Hassan, Z., 1. apr. 2019, 2019 IEEE 2nd International Conference on Power and Energy Applications, ICPEA 2019. IEEE, s. 243-249 7 s. 8818543. (2019 IEEE 2nd International Conference on Power and Energy Applications, ICPEA 2019).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Energy conservation
Retrofitting
Global warming
Lighting
Control systems

Assessment of Building Intelligence Requirements for Real Time Performance Testing in Smart Buildings

Markoska, E., Jakica, N., Lazarova-Molnar, S. & Kragh, M. K., 1. aug. 2019, 2019 4th International Conference on Smart and Sustainable Technologies (SpliTech). Perković, T., Vukojević, K., Rodrigues, J. J. P. C., Nižetić, S., Patrono, L. & Šolić, P. (red.). IEEE, 6 s.

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Intelligent buildings
Testing
Metadata
Energy utilization
Monitoring

A typology of user innovation

Schweisfurth, T., Raasch, C. & Herstatt, C., 2019, Proceedings of the 20th CINet conference. Continuous Innovation Network

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

User innovation
Innovation
Conceptual framework
Sources of innovation
Linkage
16 Downloads (Pure)

Bayesian Optimization of 3D Feature Parameters for 6D Pose Estimation

Hagelskjær, F., Krüger, N. & Buch, A. G., 2019, Proceedings of the 14th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications. Kerren, A., Hurter, C. & Braz, J. (red.). SCITEPRESS Digital Library, Bind 5: VISAPP. s. 135-142

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil
Tuning
Object recognition
Experiments

Bodily Human Robot Interaction

Solis, J., Sørensen, A. S. & Rasmussen, G., 22. mar. 2019, 14th ACM/IEEE International Conference on Human-Robot Interaction (HRI). IEEE, s. 683-684

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Human robot interaction
Robotics
Biomechanics
Health
Robots

Cascading implementation of a magnetocaloric heat pump for building space heating applications

Johra, H., Filonenko, K., Heiselberg, P. K., Dall'Olio, S., Engelbrecht, K. & Bahl, C. R. H., 2019, 10th International Conference on System Simulation in Buildings (SSB2018).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Changes in Heart Rate and Feeling of Safety When Led by a Rehabilitation Robot

Nielsen, C., Mathiesen, M., Nielsen, J. & Jensen, L. C., 2019, 14th ACM/IEEE International Conference on Human-Robot Interaction (HRI). IEEE, s. 580-581

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Patient rehabilitation
Robots
Human robot interaction

Combined Optimization of Gripper Finger Design and Pose Estimation Processes for Advanced Industrial Assembly

Hagelskjær, F., Kramberger, A., Wolniakowski, A., Savarimuthu, T. R. & Krüger, N., 2019, IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). 8 s.

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Grippers
Parameter estimation
Industrial applications
Manipulators
Robotics

Comparative evaluation of threshold modelling for smart buildings' performance testing

Markoska, E., 2019, 2018 Ninth International Green and Sustainable Computing Conference (IGSC).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Comparison of Deep Learning-Based Recognition Techniques for Medical and Biomedical Images

Majtner, T. & S. Nadimi, E., 22. aug. 2019, International Conference on Computer Analysis of Images and Patterns: CAIP 2019: Computer Analysis of Images and Patterns. Vento, M. & Percannella, G. (red.). Springer, s. 492-504 (Lecture Notes in Computer Science, Bind 11678).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Neural networks
Network architecture
Deep learning

Comparison of Three-Phase Voltage Source Converter Topologies for Electric High-Speed Drives Application

Kapino, G., Ebel, T. & Franke, T., 2019, Proceedings of the 21st European Conference on Power Electronics and Applications (EPE'19 ECCE Europe). IEEE

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Topology
Electric potential
Electric motors
Silicon carbide

Comparison of two simulation tools for district heating applications

Filonenko, K., Howard, D., Buck, J. & Veje, C., 2019, Procedings of the 9th International Energy Conference REMOO. 10 s.

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Computer-Generated Speaker Charisma and Its Effects on Human Actions in a Car-Navigation System Experiment - or How Steve Jobs’ Tone of Voice Can Take You Anywhere

Niebuhr, O. & Michalsky, J., 29. jun. 2019, Computational Science and Its Applications – ICCSA 2019 - 19th International Conference, 2019, Proceedings. Misra, S., Torre, C., Tarantino, E., Apduhan, B. O., Gervasi, O., Murgante, B., Stankova, E., Korkhov, V., Rocha, A. M. A. C. & Taniar, D. (red.). Springer, s. 375–390 (Lecture Notes in Computer Science, Bind 11620).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

charisma
experiment
instruction
driver
university

CPG Driven RBF Network Control with Reinforcement Learning for Gait Optimization of a Dung Beetle-Like Robot

Pitchai, M., Xiong, X., Thor, M., Billeschou, P., Mailänder, P. L., Leung, B., Kulvicius, T. & Manoonpong, P., 1. jan. 2019, Artificial Neural Networks and Machine Learning – ICANN 2019: Theoretical Neural Computation - 28th International Conference on Artificial Neural Networks, 2019, Proceedings. Tetko, I. V., Karpov, P., Theis, F. & Kurková, V. (red.). Springer VS, s. 698-710 13 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11727 LNCS).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Radial basis function networks
Reinforcement learning
Robots
Controllers
Energy efficiency

Cross-location and Cross-disciplinary Collaborative Prototyping Using Virtual Reality in Higher Education

Yu, F. & Khalid, M. S., 2019, (Accepteret/In press) 18th European Conference on e-Learning (ECEL19) . Academic Conferences and Publishing International

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Virtual reality
Education
Students
Feedback
E-learning

DAMPED UPDATED FINITE ELEMENT MODELS FOR DYNAMIC DESIGN

Arora, V., sep. 2019, Proceeding of 14th International Conference on Vibration Problems . Springer

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

DanBERA: A Tool for Danish Buildings Energy Renovation Design and Assessment

Jradi, M., Andersen, S. & Hagenau, M., 5. sep. 2019, Proceedings of the 10th International Conference on Indoor Air Quality, Ventilation and Energy Conservation in Buildings IAQVEC 2019. IAQVEC

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Apartment houses
Office buildings
Air quality
Ventilation
Environmental impact

Dataset: Occupancy Presence and Trajectory Data from an Instrumented Public Building

Das, A., Schwee, J. H., Kolvig-Raun, E. S. & Kjærgaard, M. B., 2019, (Accepteret/In press) DATA’19 ’19: Proceedings of the Second Workshop on Data Acquisition To Analysis, Co-hosted at BuildSys/SenSys 2019. Association for Computing Machinery

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Benchmarking
Trajectories
Intelligent buildings
Stereo vision
Cameras

Decision-making support for simulation solutions in small and medium sized enterprises

Yu, F. & Petersson Nielsen, C., 2019, 20th International CINet Conference. Continuous Innovation Network

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Decision making
Simulation
Small and medium-sized enterprises
Software selection
Manufacturing
4 Downloads (Pure)

Design and Evaluation of a Patient Monitoring Dashboard for Emergency Departments

Schmidt, T., Brabrand, M., Lassen, A. T. & Wiil, U. K., 21. aug. 2019, MEDINFO 2019: Health and Wellbeing e-Networks for All. Ohno-Machado, L. & Séroussi, B. (red.). IOS Press, s. 788-792 (Studies in Health Technology and Informatics, Bind 264).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil
Patient monitoring
Momentum
Information systems
Trajectories

Detection of nonlinear behavior using the Random Decrement Technique

Vesterholm, K. K., Brincker, R. & Brandt, A., 2019, 8th International Operational Modal Analysis Conference (IOMAC 2019). Amador, S. D. R., Brincker, R., Katsanos, E. I., Lopez Aenlle, M. & Fernandez, P. (red.). IOMAC, s. 421-424

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

detection method
linearity
detection
method
calculation
5 Downloads (Pure)

Do not hesitate! – Unless you do it shortly or nasally: How the phonetics of filled pauses determine their subjective frequency and perceived speaker performance

Niebuhr, O. & Fischer, K., 16. sep. 2019, Proc. Interspeech 2019. International Speech Communication Association (ISCA), s. 544-548 (Proceedings of the International Conference on Spoken Language Processing).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil
Proportion
Rhetoric
Managers

Dynamic Energy Model-Based Automatic Building Performance Testing for Continuous Commissioning

Jradi, M., Liu, N., Johansen, A., Arendt, K., Mattera, C. G., Kjærgaard, M. B., Veje, C. & Jørgensen, B. N., 2. sep. 2019, Proceedings of the 16th IBPSA International Conference and Exhibition Building Simulation 2019. International Building Performance Simulation Association

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Testing
Fault detection
Ventilation
Economics
Monitoring

Dynamic modeling, simulation and energy performance improvement of NASA Ames Sustainability Base

Jradi, M., Jørgensen, B. N. & Martin, R. A., 26. jun. 2019, Proceedings of 32nd International Conference on Efficiency, Cost, Optimization, Simulation and Environmental Impact of Energy Systems.

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

NASA
Sustainable development
Computer simulation
Ventilation
Energy utilization
9 Downloads (Pure)

Dynamic Rating of Three-Core XLPE Submarine Cables Considering the Impact of Renewable Power Generation

Nielsen, T., Jakobsen, S. & Savaghebi, M., apr. 2019, (Accepteret/In press) IEEE. 6 s.

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Submarine cables
Cable cores
Power generation
Cables
Ladder networks

Ecosystem Thinking: Creating Microgrid Solutions for Reliable Power Supply in India's Power System

Ma, Z., Broe, M., Fischer, A., Sorensen, T. B., Frederiksen, M. V. & Joergensen, B. N., 29. jul. 2019, Proceedings - 2019 IEEE 1st Global Power, Energy and Communication Conference, GPECOM . IEEE, s. 392-397

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Ecosystems
Risk analysis
Factor analysis
Innovation

Emotion Expression in HRI – When and Why

Fischer, K., Jung, M., Jensen, L. C. & aus der Wieschen, M. V., 2019, 14th ACM/IEEE International Conference on Human-Robot Interaction (HRI). IEEE, s. 29-38

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Dependency (Psychology)

Enabling auto-configuring building services: The road to affordable portable applications for smart grid integration

Hviid, J., Johansen, A., Sangogboye, F. C. & Kjærgaard, M. B., 15. jun. 2019, Proceedings of the 10th ACM International Conference on Future Energy Systems. New York: Association for Computing Machinery, s. 68-77

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Ecosystems
Costs
Industry

Experiences of studying Attention through EEG in the Context of Review Tasks

Molléri, J., Jabangwe, I. N., Fotrousi, F. & Petersen, K., 15. apr. 2019, Proceedings of the Evaluation and Assessment on Software Engineering (EASE '19 ). New York: Association for Computing Machinery, s. 313-318

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Electroencephalography
Software engineering
Engineering research
Experiments
Engineering education
14 Downloads (Pure)

Experimental evaluation of a method for simulation based learning for a multi-agent system acting in a physical environment

Qian, K., Brehm, R. W. & Duggen, L., 2019, Proceedings of the 11th International Conference on Agents and Artificial Intelligence. Rocha, A., Steels, L. & van den Herik, J. (red.). SCITEPRESS Digital Library, Bind 1: ICAART. s. 103-109

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil
Reinforcement learning
Multi agent systems

Exploitation of environment support contacts for manipulation effort reduction of a robot arm

Fang, C., Kashiri, N., Rigano, G. F., Ajoudani, A. & Tsagarakis, N. G., 1. maj 2019, 2019 International Conference on Robotics and Automation, ICRA 2019. IEEE, s. 9502-9508 7 s. 8794119. (Proceedings - IEEE International Conference on Robotics and Automation, Bind 2019-May).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Robots
Force control
End effectors
Controllers
Experiments

Exploring Smart Factory for New Product Development

Malik, A. A. & Bilberg, A., 2019, (Accepteret/In press) Smart Factory for Lean Product Development. 6 s. (Elsevier IFAC Publications / IFAC Proceedings series).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Product development
Industrial plants
Production platforms
Mechatronics
Automation

Fables for teachers and pupils: incrementally defined scenario-based, interactive and spatial stories

Valente, A. & Marchetti, E., 2019, Learning and Collaboration Technologies: Designing Learning Experiences. HCII 2019. Zaphiris, P. & Ioannou, A. (red.). Springer, s. 206-224 (Lecture Notes in Computer Science, Bind 11590). (Information Systems and Applications, incl. Internet/Web, and HCI, Bind 11590).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

pupil
scenario
teacher
electronic learning
classroom

Finger joint detection vision algorithm for autonomous rheumatoid ultrasound scan

Iversen, N., Just, S. A. & Savarimuthu, T. R., 2019, Advances in Service and Industrial Robotics: Proceedings of the 27th International Conference on Robotics in Alpe-Adria Danube Region (RAAD 2018). Aspragathos, N. A., Koustoumpardis, P. N. & Moulianitis, V. C. (red.). Springer, s. 538-550 (Mechanisms and Machine Science, Bind 67).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Ultrasonics
Cameras
Robots
Scanning
Monitoring
6 Downloads (Pure)

Formal verification of safety & security related timing constraints for a cooperative automotive system

Huang, L. & Kang, E. Y., 2019, Fundamental Approaches to Software Engineering : - 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Hähnle, R. & van der Aalst, W. (red.). Springer, s. 210-227 (Lecture Notes in Computer Science, Bind 11424 ). (Theoretical Computer Science and General Issues, Bind 11424).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil
Semantics
Specification languages
Clocks
Wireless networks
Accidents

Gap-surface Plasmon Metasurfaces for Focused Structured-beams Generation

Ding, F. & Bozbevolnyi, S. I., 1. jul. 2019, 2019 Conference on Lasers and Electro-Optics, CLEO 2019 - Proceedings. IEEE, 2 s. 8749408

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

vortices
broadband