|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 119 occurrences of 97 keywords
|
|
|
Results
Found 2266 publication records. Showing 1951 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
97 | Jan van den Bos |
Abstract Interaction Tools: A Language for User Interface Management Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 10(2), pp. 215-247, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
58 | Heiko Falk, Paul Lokuciejewski, Henrik Theiling |
Design of a WCET-Aware C Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESTIMedia ![In: Proceedings of the 2006 4th Workshop on Embedded Systems for Real-Time Multimedia, ESTIMedia 2006, October 26-27, 2006, Seoul, Korea, conjunction with CODES+ISSS 2006, pp. 121-126, 2006, IEEE Computer Society, 0-7803-9783-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
58 | Christian Ferdinand, Reinhold Heckmann, Hans-Jörg Wolff, Christian Renz, Oleg Parshin, Reinhard Wilhelm |
Towards Model-Driven Development of Hard Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASWSD ![In: Model-Driven Development of Reliable Automotive Services, Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers, pp. 145-160, 2006, Springer, 978-3-540-70929-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
45 | Andreas Stergiou, Ghassan Karame, Aristodemos Pnevmatikakis, Lazaros Polymenakos |
The AIT 2D Face Detection and Tracking System for CLEAR 2007. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLEAR ![In: Multimodal Technologies for Perception of Humans, International Evaluation Workshops CLEAR 2007 and RT 2007, Baltimore, MD, USA, May 8-11, 2007, Revised Selected Papers, pp. 113-125, 2007, Springer, 978-3-540-68584-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Marc Schlickling, Markus Pister 0002 |
Semi-automatic derivation of timing models for WCET analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems, LCTES 2010, Stockholm, Sweden, April 13-15, 2010, pp. 67-76, 2010, ACM, 978-1-60558-953-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
vhdl, worst-case execution time, hard real-time |
39 | Noriaki Kawamae |
Author interest topic model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: Proceeding of the 33rd International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2010, Geneva, Switzerland, July 19-23, 2010, pp. 887-888, 2010, ACM, 978-1-4503-0153-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
topic modeling, latent variable modeling |
39 | Daniel Kästner, Reinhard Wilhelm, Reinhold Heckmann, Marc Schlickling, Markus Pister 0002, Marek Jersak, Kai Richter 0001, Christian Ferdinand |
Timing Validation of Automotive Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings, pp. 93-107, 2008, Springer, 978-3-540-88478-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Daniel Kästner |
Safe worst-case execution time analysis by abstract interpretation of executable code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2007 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'07), San Diego, California, USA, June 13-15, 2007, pp. 135, 2007, ACM, 978-1-59593-632-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Christian Ferdinand, Reinhold Heckmann, Hans-Jörg Wolff, Christian Renz, Manabendra Gupta, Oleg Parshin |
Towards an Integration of Low-Level Timing Analysis and Model-Based Code Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006, pp. 220-226, 2006, IEEE Computer Society, 978-0-7695-3071-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
39 | Christian Ferdinand, Florian Martin 0001, Christoph Cullmann, Marc Schlickling, Ingmar Stein, Stephan Thesing, Reinhold Heckmann |
New Developments in WCET Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program Analysis and Compilation ![In: Program Analysis and Compilation, Theory and Practice, Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, pp. 12-52, 2006, Springer, 978-3-540-71315-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
39 | Wen-Hsiung Wu, Chin-Fu Ho |
Technology adaptation: the case of implementing a collaborative product commerce system to new product design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEC ![In: Proceedings of the 7th International Conference on Electronic Commerce, ICEC 2005, Xi'an, China, August 15-17, 2005, pp. 674-680, 2005, ACM, 1-59593-112-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
collaborative product commerce, implementation of advanced information technology, new product design, technology adaptation |
37 | Stephan Thesing |
Modeling a system controller for timing analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 6th ACM & IEEE International conference on Embedded software, EMSOFT 2006, October 22-25, 2006, Seoul, Korea, pp. 292-300, 2006, ACM, 1-59593-542-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
aiT, verification, static analysis, VHDL, timing analysis, WCET, worst-case execution time, avionics, peripherals |
33 | Soukaina Ait Errami, Hicham Hajji, Kenza Ait El Kadi, Hassan Badir |
Spatial big data architecture: From Data Warehouses and Data Lakes to the LakeHouse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Parallel Distributed Comput. ![In: J. Parallel Distributed Comput. 176, pp. 70-79, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Brahim Ait Benali, Soukaina Mihi, Addi Ait Mlouk, Ismail El Bazi, Nabil Laachfoubi |
Arabic named entity recognition in social media based on BiLSTM-CRF using an attention mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 42(6), pp. 5427-5436, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
33 | Philippe Fournier-Viger, Ahmed Hassan Yousef, Ladjel Bellatreche, Ahmed Awad 0001, Abderrahim Ait Wakrime, Yassine Ouhammou, Idir Aït-Sadoune (eds.) |
Advances in Model and Data Engineering in the Digitalization Era - MEDI 2022 Short Papers and DETECT 2022 Workshop Papers, Cairo, Egypt, November 21-24, 2022, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEDI Workshops ![Springer, 978-3-031-23118-6 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
33 | Brahim Ait Benali, Soukaina Mihi, Nabil Laachfoubi, Addi Ait Mlouk |
Arabic Named Entity Recognition in Arabic Tweets Using BERT-based Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FNC/MobiSPC/SEIT ![In: 17th International Conference on Future Networks and Communications / 19th International Conference on Mobile Systems and Pervasive Computing / 12th International Conference on Sustainable Energy Information Technology (FNC/MobiSPC/SEIT 2022), August 9-11, 2022, Niagara Falls, Ontario, Canada., pp. 733-738, 2022, Elsevier. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
33 | Abdelkarim Ait Temghart, Driss Ait Omar, Mohamed Baslam, Mbarek Marwan |
Game theoretical approach for a fair and effective pricing strategy in cloud computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. High Perform. Syst. Archit. ![In: Int. J. High Perform. Syst. Archit. 10(1), pp. 43-55, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
33 | Abdelkarim Ait Temghart, Driss Ait Omar, Mbarek Marwan |
Optimal Virtual Machine Provisioning in Cloud Computing Using Game Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBI ![In: Business Intelligence - 6th International Conference, CBI 2021, Beni Mellal, Morocco, May 27-29, 2021, Proceedings, pp. 307-321, 2021, Springer, 978-3-030-76507-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
33 | Abdelkarim Ait Temghart, Driss Ait Omar, M'hamed Outanoute, Mbarek Marwan |
Game Theoretic Approaches to Mitigate Cloud Security Risks: An Initial Insight. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBI ![In: Business Intelligence - 6th International Conference, CBI 2021, Beni Mellal, Morocco, May 27-29, 2021, Proceedings, pp. 335-347, 2021, Springer, 978-3-030-76507-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
33 | Badr Ait Hammou, Ayoub Ait Lahcen, Salma Mouline |
Towards a real-time processing framework based on improved distributed recurrent neural network variants with fastText for social big data analytics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Manag. ![In: Inf. Process. Manag. 57(1), 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
33 | Youssef Ait Khouya, Mohammed Ait Oussous, Faouzi Ghorbel |
Describing Brachiopods Shape Based on Fusion of Curvature and Fourier Descriptors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoCPaR ![In: Proceedings of the 12th International Conference on Soft Computing and Pattern Recognition (SoCPaR 2020), 15-18 December 2020, pp. 444-455, 2020, Springer, 978-3-030-73688-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
33 | Badr Ait Hammou, Ayoub Ait Lahcen, Salma Mouline |
An effective distributed predictive model with Matrix factorization and random forest for Big Data recommendation systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 137, pp. 253-265, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
33 | Badr Ait Hammou, Ayoub Ait Lahcen, Salma Mouline |
FRAIPA version 2: A fast recommendation approach based on self-adaptation and multi-thresholding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 118, pp. 209-216, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
33 | Badr Ait Hammou, Ayoub Ait Lahcen, Salma Mouline |
A distributed group recommendation system based on extreme gradient boosting and big data technologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 49(12), pp. 4128-4149, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
33 | Lynda Ait Oubelli, Yamine Aït Ameur, Judicaël Bedouet, Benoît Chausserie-Lapree, Béatrice Larzul |
Finding conservative schema evolutions by analysing API changes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: The 31st International Conference on Software Engineering and Knowledge Engineering, SEKE 2019, Hotel Tivoli, Lisbon, Portugal, July 10-12, 2019., pp. 748-777, 2019, KSI Research Inc. and Knowledge Systems Institute Graduate School, 1-891706-48-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
33 | Badr Ait Hammou, Ayoub Ait Lahcen, Salma Mouline |
A Distributed Ensemble of Deep Convolutional Neural Networks with Random Forest for Big Data Sentiment Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSPN ![In: Mobile, Secure, and Programmable Networking - 5th International Conference, MSPN 2019, Mohammedia, Morocco, April 23-24, 2019, Revised Selected Papers, pp. 153-162, 2019, Springer, 978-3-030-22884-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
33 | Lynda Ait Oubelli, Yamine Aït Ameur, Judicaël Bedouet, Romain Kervarc, Benoit Chausserie-Lapree, Béatrice Larzul |
A scalable model based approach for data model evolution: Application to space missions data models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Lang. Syst. Struct. ![In: Comput. Lang. Syst. Struct. 54, pp. 358-385, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
33 | Badr Ait Hammou, Ayoub Ait Lahcen, Salma Mouline |
APRA: An approximate parallel recommendation algorithm for Big Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Based Syst. ![In: Knowl. Based Syst. 157, pp. 10-19, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
33 | Yamine Aït Ameur, Idir Aït-Sadoune, P. Casteran, J. Paul Gibson, Kahina Hacid, Souad Kherroubi, Dominique Méry, Linda Mohand-Oussaïd, Neeraj Kumar Singh 0001, Laurent Voisin |
On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, pp. 425-430, 2018, Springer, 978-3-319-91270-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
33 | Mehdi Srifi, Badr Ait Hammou, Ayoub Ait Lahcen, Salma Mouline |
A Concise Survey on Content Recommendations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BDCA ![In: Big Data, Cloud and Applications - Third International Conference, BDCA 2018, Kenitra, Morocco, April 4-5, 2018, Revised Selected Papers, pp. 393-405, 2018, Springer, 978-3-319-96291-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
33 | Badr Ait Hammou, Ayoub Ait Lahcen |
FRAIPA: A fast recommendation approach with improved prediction accuracy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 87, pp. 90-97, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
33 | Yamine Aït Ameur, Idir Aït-Sadoune, Kahina Hacid, Linda Mohand-Oussaïd |
Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMPEX/FM&MDD ![In: Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD), IMPEX/FM&MDD 2017, Xi'an, China, 16th November 2017., pp. 24-33, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
33 | Lynda Ait Oubelli, Yamine Aït Ameur, Judicaël Bedouet, Benoît Chausserie-Lapree, Béatrice Larzul |
Automating the Evolution of Data Models for Space Missions. A Model-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEDI ![In: Model and Data Engineering - 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedings, pp. 340-354, 2017, Springer, 978-3-319-66853-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
33 | Almokhtar Ait El Mrabti, Najim Ammari, Anas Abou El Kalam, Abdellah Ait Ouahman, Mina De Montfort |
Mobile app security by fragmentation "MASF". ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: Proceedings of the Second International Conference on Internet of things and Cloud Computing, ICC 2017, Cambridge, United Kingdom, March 22-23, 2017, pp. 128:1-128:6, 2017, ACM. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
33 | Najim Ammari, Almokhtar Ait El Mrabti, Anas Abou El Kalam, Abdellah Ait Ouahman |
Securing the mobile environment: firewall anti-leak of sensitive data on smartphone. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: Proceedings of the Second International Conference on Internet of things and Cloud Computing, ICC 2017, Cambridge, United Kingdom, March 22-23, 2017, pp. 126:1-126:6, 2017, ACM. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
33 | Najim Ammari, Almokhtar Ait El Mrabti, Anas Abou El Kalam, Abdellah Ait Ouahman |
Firewall Anti-Leak of Sensitive Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANT/SEIT ![In: The 7th International Conference on Ambient Systems, Networks and Technologies (ANT 2016) / The 6th International Conference on Sustainable Energy Information Technology (SEIT-2016) / Affiliated Workshops, May 23-26, 2016, Madrid, Spain, pp. 1226-1231, 2016, Elsevier. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
33 | Badr Ait Hammou, Ayoub Ait Lahcen, Driss Aboutajdine |
A new recommendation algorithm for reducing dimensionality and improving accuracy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: 13th IEEE/ACS International Conference of Computer Systems and Applications, AICCSA 2016, Agadir, Morocco, November 29 - December 2, 2016, pp. 1-6, 2016, IEEE Computer Society, 978-1-5090-4320-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
33 | Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït Ameur, Mohamed Ahmed-Nacer |
Modélisation formelle d'IHM multimodales en sortie avec B Événementiel. Approche par généralisation et instanciation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tech. Sci. Informatiques ![In: Tech. Sci. Informatiques 34(5), pp. 523-548, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
33 | Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït Ameur, Mohamed Ahmed-Nacer |
A formal model for output multimodal HCI - An Event-B formalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 97(7), pp. 713-740, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
33 | Idir Aït-Sadoune, Yamine Aït Ameur |
Formal Modelling and Verification of Transactional Web Service Composition: A Refinement and Proof Approach with Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Correct Software in Web Applications and Web Services ![In: Correct Software in Web Applications and Web Services, pp. 1-27, 2015, Springer, 978-3-319-17111-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
33 | Elmustapha Ait Lmaati, Abdellah Ait Ouahman, Mohammed Najib Kaddioui, Mohammed Sadgal |
3D Virtual World Retrieval Based on Ontology and Content. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Inf. Sci. ![In: Comput. Inf. Sci. 7(2), pp. 36-47, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
33 | M. Ait Oussous, Noureddine Alaa, Youssef Ait Khouya |
Anisotropic and nonlinear diffusion applied to image enhancement and edge detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Appl. Technol. ![In: Int. J. Comput. Appl. Technol. 49(2), pp. 122-133, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
33 | Ahmed Ouqour, Younes Jabrane, Brahim Ait Es Said, Abdellah Ait Ouahman |
PAPR Reduction in OFDM via Active Constellation Extension-Projection Onto Convex Sets Combined with Particle Swarm Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 57(8), pp. 1230-1237, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
33 | Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït Ameur, Mohamed Ahmed-Nacer |
Formal Modelling of Output Multi-Modal HCI in Event-B: Modalities and Media Allocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Spring Symposia ![In: 2014 AAAI Spring Symposia, Stanford University, Palo Alto, California, USA, March 24-26, 2014, 2014, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
33 | Idir Aït-Sadoune, Yamine Aït Ameur |
Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Large Scale Data Knowl. Centered Syst. ![In: Transactions on Large-Scale Data- and Knowledge-Centered Systems X - Special Issue on Database- and Expert-Systems Applications, pp. 1-33, 2013, Springer, 978-3-642-41220-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
33 | Sanaa Kabil, Raja Elassali, Fouzia Elbahhar, Abdellah Ait Ouahman, Brahim Ait Essaid |
Analysis and solution for Multi-band orthogonal frequency-Division Multiplexing ultra Wide band System in Real Environment for Vehicle to Infrastructure Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. ![In: J. Comput. Sci. 9(10), pp. 1305-1317, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
33 | Abdelhamid Louliej, Younes Jabrane, Brahim Ait Es Said, Abdellah Ait Ouahman |
Peak to Average Power Ratio Reduction in ECMA-368 Ultra wideband Communication Systems Using Active Constellation Extension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Pers. Commun. ![In: Wirel. Pers. Commun. 70(2), pp. 677-694, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
33 | Abdelhamid Louliej, Younes Jabrane, Brahim Ait Es Said, Abdellah Ait Ouahman |
Reduction of Power Fluctuation in ECMA-368 Ultra Wideband Communication Systems Using Multilayer Perceptron Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Pers. Commun. ![In: Wirel. Pers. Commun. 72(2), pp. 1565-1583, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
33 | Azhar Hadmi, William Puech, Brahim Ait Es Said, Abdellah Ait Ouahman |
A robust and secure perceptual hashing system based on a quantization step analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Signal Process. Image Commun. ![In: Signal Process. Image Commun. 28(8), pp. 929-948, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
33 | Anas Abou El Kalam, Mohamed Maachaoui, Noureddine Idboufker, H. Ait Lahcen, Abdellah Ait Ouahman |
A Secure Architecture for Nomadic User in IMS Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Mob. Comput. Multim. Commun. ![In: Int. J. Mob. Comput. Multim. Commun. 4(1), pp. 1-17, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
33 | Najwa Ben Oujji, Idriss Bakas, Georges Istamboulié, Ihya Ait-Ichou, Elhabib Ait-Addi, Régis Rouillon, Thierry Noguer |
Acetylcholinesterase Immobilized on Magnetic Beads for Pesticides Detection: Application to Olive Oil Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 12(6), pp. 7893-7904, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
33 | Yamine Aït Ameur, Idir Aït-Sadoune |
Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA (1) ![In: Database and Expert Systems Applications - 23rd International Conference, DEXA 2012, Vienna, Austria, September 3-6, 2012. Proceedings, Part I, pp. 9, 2012, Springer, 978-3-642-32599-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
33 | Abdelhamid Louliej, Younes Jabrane, Brahim Ait Es Said, Abdellah Ait Ouahman |
Reduction of power envelope fluctuations in ECMA-368 ultra wideband communication system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMCS ![In: 2012 International Conference on Multimedia Computing and Systems, ICMCS 2012, Tangiers, Morocco, May 10-12, 2012, pp. 449-453, 2012, IEEE, 978-1-4673-1518-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
33 | Víctor P. Gil Jiménez, Younes Jabrane, Ana García Armada, Brahim Ait Es Said, Abdellah Ait Ouahman |
High Power Amplifier Pre-Distorter Based on Neural-Fuzzy Systems for OFDM Signals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Broadcast. ![In: IEEE Trans. Broadcast. 57(1), pp. 149-158, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
33 | Víctor P. Gil Jiménez, Younes Jabrane, Ana García Armada, Brahim Ait Es Said, Abdellah Ait Ouahman |
Reduction of the Envelope Fluctuations of Multi-Carrier Modulations using Adaptive Neural Fuzzy Inference Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 59(1), pp. 19-25, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
33 | Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït Ameur |
Modelling Information Fission in Output Multi-modal Interactive Systems Using Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEDI ![In: Model and Data Engineering - First International Conference, MEDI 2011, Óbidos, Portugal, September 28-30, 2011. Proceedings, pp. 200-213, 2011, Springer, 978-3-642-24442-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
33 | Azhar Hadmi, William Puech, Brahim Ait Es Said, Abdellah Ait Ouahman |
Statistical analysis of the quantization stage of robust perceptual image hashing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUVIP ![In: European Workshop on Visual Information Processing, EUVIP 2011, Paris, France, July 4-6, 2011, pp. 274-279, 2011, IEEE, 978-1-4577-0072-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
33 | Elmustapha Ait Lmaati, Ahmed El Oirrak, Mohammed Najib Kaddioui, Abdellah Ait Ouahman, Mohammed Sadgal |
3D Model Retrieval Based on 3D Discrete Cosine Transform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. Arab J. Inf. Technol. ![In: Int. Arab J. Inf. Technol. 7(3), pp. 264-270, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
33 | Younes Jabrane, Víctor P. Gil Jiménez, Ana García Armada, Brahim Ait Es Said, Abdellah Ait Ouahman |
Reduction of Power Envelope Fluctuations in OFDM Signals by using Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Commun. Lett. ![In: IEEE Commun. Lett. 14(7), pp. 599-601, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
33 | Azhar Hadmi, William Puech, Brahim Ait Es Said, Abdellah Ait Ouahman |
Analysis of the robustness of wavelet-based perceptual signatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPTA ![In: 2nd International Conference on Image Processing Theory Tools and Applications, IPTA 2010, 7-10 July, 2010, Paris, France, pp. 112-117, 2010, IEEE, 978-1-4244-7248-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
33 | Idir Aït-Sadoune, Yamine Aït Ameur |
A Proof Based Approach for Formal Verification of Transactional BPEL Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASM ![In: Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings, pp. 405-406, 2010, Springer, 978-3-642-11810-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
33 | Idir Aït-Sadoune, Yamine Aït Ameur |
Stepwise Design of BPEL Web Services Compositions: An Event_B Refinement Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERA (selected papers) ![In: Software Engineering Research, Management and Applications 2010 [selected papers from the 8th ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2010, Montreal, Canada, May 24-26, 2010], pp. 51-68, 2010, Springer, 978-3-642-13272-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
33 | Idir Aït-Sadoune, Yamine Aït Ameur |
A Proof Based Approach for Modelling and VerifyingWeb Services Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, Potsdam, Germany, 2-4 June 2009, pp. 1-10, 2009, IEEE Computer Society, 978-0-7695-3702-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Yamine Aït Ameur, Idir Aït-Sadoune, Mickaël Baron, Jean-Marc Mota |
Développements formels d'interfaces multimodales fondés sur la preuve et le raffinement. Scénarios de développement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ingénierie des Systèmes d Inf. ![In: Ingénierie des Systèmes d Inf. 13(2), pp. 127-154, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Idir Aït-Sadoune, Yamine Aït Ameur |
Animating Event B Models by Formal Data Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings, pp. 37-55, 2008, Springer, 978-3-540-88478-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Yamine Aït Ameur, Nabil Belaid, Mohammed Bennis, Olivier Corby, Rose Dieng-Kuntz, Jérémie Doucy, Priscille Durville, Chimène Fankam, Fabien Gandon, Alain Giboin, Patrick Giroux, Sandrine Grataloup, Bruno Grilhères, Florian Husson, Stéphane Jean, Joël Langlois, Phuc-Hiep Luong, Laura S. Mastella, Olivier Morel, Michel Perrin, Guy Pierra, Jean-François Rainaud, Idir Aït-Sadoune, Eric Sardet, Francois Tertre, João Francisco Valiati |
Semantic Hubs for Geological Projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SeMMA ![In: First International Workshop on Semantic Metadata Management and Applications, SeMMA 2008, Located at the Fifth European Semantic Web Conference (ESWC 2008), Tenerife, Spain, June 2nd, 2008. Proceedings, pp. 3-17, 2008, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
33 | Idir Aït-Sadoune, Yamine Aït Ameur |
Verification and Validation of Web Service Composition Using Event B Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings, pp. 339-340, 2008, Springer, 978-3-540-87602-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Yamine Aït Ameur, Idir Aït-Sadoune, Jean-Marc Mota, Mickaël Baron |
Validation et vérification formelles de systèmes interactifs multi-modaux fondées sur la preuve. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IHM ![In: Proceedings of the 18th International Conference of the Association Francophone d'Interaction Homme-Machine, Montreal, Quebec, Canada, 18-21 April 2006, pp. 123-130, 2006, ACM, 1-59593-350-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
CARE properties, multi-modal HCI, proof based technique, verification/validation |
26 | Yingsong Jiang, Ruishu Liu, Xiaojie Wang, Jinghua Zhuo |
Unconditionally positivity-preserving approximations of the Ait-Sahalia type model: Explicit Milstein-type schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.16975, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
26 | Ruishu Liu, Yulin Cao, Xiaojie Wang |
Unconditionally positivity-preserving explicit Euler-type schemes for a generalized Ait-Sahalia model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.02596, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
26 | Xuekang Zhang, Huisheng Shu |
Parameter estimation for generalized Ait-Sahalia-type interest rate model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Stat. Simul. Comput. ![In: Commun. Stat. Simul. Comput. 52(4), pp. 1630-1638, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Ziyi Lei, Siqing Gan, Jing Liu |
First order strong approximation of Ait-Sahalia-type interest rate model with Poisson jumps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Algorithms ![In: Numer. Algorithms 94(1), pp. 93-130, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Hao Yao, Lingya Wang, Xinyu Zhou, Xiaoxiao Jia, Qiangwei Xiang, Weixi Zhang |
Predicting the therapeutic efficacy of AIT for asthma using clinical characteristics, serum allergen detection metrics, and machine learning techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Biol. Medicine ![In: Comput. Biol. Medicine 166, pp. 107544, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Giulio Ruffini, Edmundo Lopez-Sola |
AIT Foundations of Structured Experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Artif. Intell. Conscious. ![In: J. Artif. Intell. Conscious. 9(2), pp. 153-191, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Marlin P. Strub, Jonathan D. Gammell |
Adaptively Informed Trees (AIT*) and Effort Informed Trees (EIT*): Asymmetric bidirectional sampling-based path planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Robotics Res. ![In: Int. J. Robotics Res. 41(4), pp. 390-417, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Yannis Katsis, Saneem A. Chemmengath, Vishwajeet Kumar, Samarth Bharadwaj, Mustafa Canim, Michael R. Glass, Alfio Gliozzo, Feifei Pan, Jaydeep Sen, Karthik Sankaranarayanan, Soumen Chakrabarti |
AIT-QA: Question Answering Dataset over Complex Tables in the Airline Industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NAACL-HLT (Industry Papers) ![In: Proceedings of the 2022 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies: Industry Track, NAACL 2022, Hybrid: Seattle, Washington, USA + Online, July 10-15, 2022, pp. 305-314, 2022, Association for Computational Linguistics, 978-1-955917-72-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Chenyue Zhang, Wenjia Li, Yuansheng Luo, Yupeng Hu |
AIT: An AI-Enabled Trust Management System for Vehicular Networks Using Blockchain Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Things J. ![In: IEEE Internet Things J. 8(5), pp. 3157-3169, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Ziyi Lei, Siqing Gan, Jing Liu |
First order strong approximation of Ait-Sahalia-type interest rate model with Poisson jumps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2110.15482, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
26 | Marlin P. Strub, Jonathan D. Gammell |
AIT* and EIT*: Asymmetric bidirectional sampling-based path planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.01877, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
26 | Yannis Katsis, Saneem A. Chemmengath, Vishwajeet Kumar, Samarth Bharadwaj, Mustafa Canim, Michael R. Glass, Alfio Gliozzo, Feifei Pan, Jaydeep Sen, Karthik Sankaranarayanan, Soumen Chakrabarti |
AIT-QA: Question Answering Dataset over Complex Tables in the Airline Industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.12944, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
26 | Yuying Zhao, Xiaojie Wang 0007, Mengchao Wang |
On the backward Euler method for a generalized Ait-Sahalia-type rate model with Poisson jumps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Algorithms ![In: Numer. Algorithms 87(3), pp. 1321-1341, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Emmanuel Coffie, Xuerong Mao |
Truncated EM numerical method for generalised Ait-Sahalia-type interest rate model with delay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Appl. Math. ![In: J. Comput. Appl. Math. 383, pp. 113137, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Mina Schütz, Jaqueline Boeck, Daria Liakhovets, Djordje Slijepcevic, Armin Kirchknopf, Manuel Hecht, Johannes Bogensperger, Sven Schlarb, Alexander Schindler, Matthias Zeppelzauer |
Automatic Sexism Detection with Multilingual Transformer Models AIT FHSTP@EXIST2021. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IberLEF@SEPLN ![In: Proceedings of the Iberian Languages Evaluation Forum (IberLEF 2021) co-located with the Conference of the Spanish Society for Natural Language Processing (SEPLN 2021), XXXVII International Conference of the Spanish Society for Natural Language Processing., Málaga, Spain, September, 2021., pp. 346-355, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
26 | Sadettin Demir |
IPv6 ağlarında gerçek zamanlı uygulamalara ait paketlerin hedef ağ parametrelerine göre önceliklendirilmesi (Prioritization of packages of real-time applications on IPv6 networks according to with destination network parameters) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2021 |
RDF |
|
26 | Cagatay Murat Yilmaz |
Motor hareket hayali görevlerine ait EEG sinyallerinin 2-B öznitelikler ve yarı olasılıksal dağılım modelleri ile sınıflandırılması (Classification of EEG-based motor imagery tasks using 2-D features and quasi-probabilistic distribution models) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2021 |
RDF |
|
26 | Longlong Jiao, Senlin Luo, Wangtong Liu, Limin Pan |
AIT: A method for operating system kernel function call graph generation with a virtualization technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KSII Trans. Internet Inf. Syst. ![In: KSII Trans. Internet Inf. Syst. 14(5), pp. 2084-2100, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Yuying Zhao, Xiaojie Wang 0007, Mengchao Wang |
On the backward Euler method for a generalized Ait-Sahalia-type rate model with Poisson jumps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.09203, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
26 | Marlin P. Strub, Jonathan D. Gammell |
Adaptively Informed Trees (AIT*): Fast Asymptotically Optimal Path Planning through Adaptive Heuristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.06599, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
26 | Marlin P. Strub, Jonathan D. Gammell |
Adaptively Informed Trees (AIT*): Fast Asymptotically Optimal Path Planning through Adaptive Heuristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2020 IEEE International Conference on Robotics and Automation, ICRA 2020, Paris, France, May 31 - August 31, 2020, pp. 3191-3198, 2020, IEEE, 978-1-7281-7395-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Maria Leitner, Maximilian Frank, Wolfgang Hotwagner, Gregor Langner, Oliver Maurhart, Timea Pahi, Lenhard Reuter, Florian Skopik, Paul Smith 0001, Manuel Warum |
AIT Cyber Range: Flexible Cyber Security Environment for Exercises, Training and Research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EICC ![In: EICC 2020: European Interdisciplinary Cybersecurity Conference, Rennes, France, November 18, 2020, pp. 2:1-2:6, 2020, ACM, 978-1-4503-7599-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Rupert Schlick |
Profil: Software Engineering Research am AIT - Austrian Institute of Technology GmbH. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SE ![In: Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria., pp. 215-220, 2020, Gesellschaft für Informatik e.V., 978-3-88579-694-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Ahmet Anil Müngen |
Çoklu çevirimiçi sosyal ağlarda aynı kişiye ait hesapları bulma yaklaşımları (Approaches to finding accounts of the same person on multiple online social networks) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
26 | Kacper Petrynski, Iwona Pozniak-Koszalka, Leszek Koszalka, Andrzej Kasprzak |
AIT-S for Single-Machine Weighted Tardiness Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vietnam. J. Comput. Sci. ![In: Vietnam. J. Comput. Sci. 6(3), pp. 273-284, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Qiulei Dong, Hong Wang, Zhanyi Hu |
Statistics of Visual Responses to Image Object Stimuli from Primate AIT Neurons to DNN Neurons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. ![In: Neural Comput. 30(2), 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Peng Wei, Liwei Zhang, Qiong Wu, Miaoxin Wang, Jian Li |
A Spacecraft AIT Visualization Control System Based on VR Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMIS ![In: Innovative Mobile and Internet Services in Ubiquitous Computing - Proceedings of the 12th International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, IMIS-2018, Matsue, Japan, July 4-6, 2018, pp. 220-230, 2018, Springer, 978-3-319-93553-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Lydia Manikonda, Cameron Dudley, Subbarao Kambhampati |
Tweeting AI: Perceptions of AI-Tweeters (AIT) vs Expert AI-Tweeters (EAIT). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1704.08389, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
26 | Qiulei Dong, Zhanyi Hu |
Statistics of Visual Responses to Object Stimuli from Primate AIT Neurons to DNN Neurons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1612.03590, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
26 | Yilmaz Yunus Akkoyunlu, Süleyman Eken, Ahmet Sayar |
HIPI ile Dagitik Goruntu Isleme Catisi: Yuz Bolgelerine Ait Biometrileri Saptama Performansinin Incelenmesi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UYMS ![In: Proceedings of the 10th Turkish National Software Engineering Symposium, UYMS 2016, Canakkale, Turkey, October 24-26, 2016., pp. 426-431, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
26 | Serdar Baltaci |
Fusion of pupil dilation and facial temperature features for detection of stress (Gözbebeği açılımı ve yüze ait sıcaklık özniteliklerinin stres tespiti için birleştirilmesi) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
26 | Filip Andren, Georg Lauss, Roland Bründlinger, Philipp Svec, Thomas I. Strasser |
An Open Source-Based and Standard-Compliant Smart Grid Laboratory Automation System: The AIT SmartEST Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HoloMAS ![In: Industrial Applications of Holonic and Multi-Agent Systems - 7th International Conference, HoloMAS 2015, Valencia, Spain, September 2-3, 2015, Proceedings, pp. 195-205, 2015, Springer, 978-3-319-22866-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 1951 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|