|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 27 occurrences of 21 keywords
|
|
|
Results
Found 400 publication records. Showing 370 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
86 | Yonghong Yang, Zhenyu (Peter) Gu, Changyun Zhu, Robert P. Dick, Li Shang |
ISAC: Integrated Space-and-Time-Adaptive Chip-Package Thermal Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 26(1), pp. 86-99, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
66 | Yonghong Yang, Zhenyu (Peter) Gu, Changyun Zhu, Li Shang, Robert P. Dick |
Adaptive chip-package thermal analysis for synthesis and design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2006, Munich, Germany, March 6-10, 2006, pp. 844-849, 2006, European Design and Automation Association, Leuven, Belgium, 3-9810801-1-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
63 | Kazuhiko Kawamura, Richard Alan Peters II, D. Mitchell Wilkes, W. Anthony Alford, Tamara E. Rogers |
ISAC: Foundations in Human-Humanoid Interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Intell. Syst. ![In: IEEE Intell. Syst. 15(4), pp. 38-45, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Human agent, human-humanoid interaction, Intelligent Machine Architecture, Intelligent Soft-Arm Control, Self agent, agent-based system, humanoid |
58 | Alin Isac, Claudia Isac |
Informatics Issues Used in the Production Dashboard ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0905.4860, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
51 | George Isac, Sándor Zoltán Németh |
The non-existence of a regular exceptional family of elements. A necessary and sufficient condition. Applications to complementarity theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 42(3), pp. 359-368, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Non-existence of a regular exceptional family of elements, Complementarity problems |
44 | Kazuhiko Kawamura, Tamara E. Rogers, Xinyu Ao |
Development of a cognitive model of humans in a multi-agent framework for human-robot interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings, pp. 1379-1386, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
human recognition, sensory egosphere, learning, cognitive models, agent architectures, humanoids, cognitive robotics |
31 | Kathy Pribbenow |
Using a training survey to move mountains and blaze trails. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the 36th Annual ACM SIGUCCS Conference on User Services 2008, Portland, OR, USA, October 19-22, 2008, pp. 279-286, 2008, ACM, 978-1-60558-074-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Human Subjects Committee-Lawrence Campus (HSCL), KU, Services Assessment Council (ISAC), University of Kansas, instructional services, survey, libraries, workshop, faculty, staff, computer training, graduate students |
31 | Kathy Pribbenow |
Looking for magic - hoping for inspiration: what we learned from our training survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the 35th Annual ACM SIGUCCS Conference on User Services 2007, Orlando, Florida, USA, October 7-10, 2007, pp. 292-295, 2007, ACM, 978-1-59593-634-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
KU, human subjects committee-lawrence campus (HSCL), information services assessment council (ISAC), instructional services, survey, libraries, portal, workshop |
31 | In-Jung Kim, Cheol Won Lee, Eul-Gyu Im |
Changes of Cyber-Terrorism: Autonomous Terrors and Counter-Measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (2) ![In: Computational Science and Its Applications - ICCSA 2007, International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II, pp. 75-84, 2007, Springer, 978-3-540-74475-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
autogenous terror, cyber terrorism, CERT, ISAC |
29 | Haoze Wu 0001, Omri Isac, Aleksandar Zeljic, Teruhiro Tagomori, Matthew L. Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang 0002, Ori Lahav 0002, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark W. Barrett |
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.14461, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
29 | Marco Casadio, Tanvi Dinkar, Ekaterina Komendantskaya, Luca Arnaboldi 0001, Omri Isac, Matthew L. Daggitt, Guy Katz, Verena Rieser, Oliver Lemon |
NLP Verification: Towards a General Methodology for Certifying Robustness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.10144, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
29 | Yizhak Yisrael Elboher, Raya Elsaleh, Omri Isac, Mélanie Ducoffe, Audrey Galametz, Guillaume Povéda, Ryma Boumazouza, Noémie Cohen, Guy Katz |
Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.00035, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
29 | Francisco Ambia, Nathalie Isac, Abdelmounaim Harouri, David Bouville, Elie Lefeuvre |
Biomechanical MEMS Electrostatic Energy Harvester for Pacemaker Application: A Study of Optimal Interface Circuit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Biomed. Eng. ![In: IEEE Trans. Biomed. Eng. 71(4), pp. 1127-1138, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
29 | Marco Casadio, Luca Arnaboldi 0001, Matthew L. Daggitt, Omri Isac, Tanvi Dinkar, Daniel Kienitz, Verena Rieser, Ekaterina Komendantskaya |
ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.04003, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Remi Desmartin, Omri Isac, Grant O. Passmore, Kathrin Stark, Guy Katz, Ekaterina Komendantskaya |
Towards a Certified Proof Checker for Deep Neural Network Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.06299, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Omri Isac, Yoni Zohar, Clark W. Barrett, Guy Katz |
DNN Verification, Reachability, and the Exponential Function Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.06064, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Isac Sacchi e Souza, Daniel Pinheiro Franco, João Pedro São Gregorio Silva |
Infrastructure as Code as a Foundational Technique for Increasing the DevOps Maturity Level: Two Case Studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 40(1), pp. 63-68, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Tiago Goncalves Zacarias, Rafael Martins, Carlos Eduardo Xavier, Julio Cezar Oliveira Castioni, Wilson Cesar Santana, Germano Lambert-Torres, Bruno Reno Gama, Isac Antonio dos Santos Areias, Erik Leandro Bonaldi, Frederico de Oliveira Assuncao |
Detection of Failures in Metal Oxide Surge Arresters Using Frequency Response Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 23(12), pp. 5633, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Zongxing Xie, Ava Nederlander, Isac Park, Fan Ye 0003 |
RF-Q: Unsupervised Signal Quality Assessment for Robust RF-based Respiration Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHASE ![In: IEEE/ACM Conference on Connected Health: Applications, Systems and Engineering Technologies, CHASE 2023, Orlando, FL, USA, June 21-23, 2023, pp. 158-162, 2023, IEEE, 979-8-4007-0102-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Zongxing Xie, Ava Nederlander, Isac Park, Fan Ye 0003 |
Poster: Quantifying Signal Quality Using Autoencoder for Robust RF-based Respiration Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHASE ![In: IEEE/ACM Conference on Connected Health: Applications, Systems and Engineering Technologies, CHASE 2023, Orlando, FL, USA, June 21-23, 2023, pp. 187-188, 2023, IEEE, 979-8-4007-0102-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Isac Costa, Carlos V. G. C. Lima, Thiago Marcilon |
The Conversion Set Problem on Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LAGOS ![In: Proceedings of the XII Latin-American Algorithms, Graphs and Optimization Symposium, LAGOS 2023, Huatulco, Mexico, September 18-22, 2023., pp. 175-183, 2023, Elsevier. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Omri Isac, Yoni Zohar, Clark W. Barrett, Guy Katz |
DNN Verification, Reachability, and the Exponential Function Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 34th International Conference on Concurrency Theory, CONCUR 2023, September 18-23, 2023, Antwerp, Belgium, pp. 26:1-26:18, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-299-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Jorge Solis, Karl-Johan Bergstrand, Dwinanri Egyna, Isac Myrén Andersson, Magnus Nilsson, Geni Carmen Zanol, Su-Ping Burman |
System Integration of an Intelligent Lighting Control System for Greenhouses with a High Proportion of Local Renewable Energy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SII ![In: IEEE/SICE International Symposium on System Integration, SII 2023, Atlanta, GA, USA, January 17-20, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-9868-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Remi Desmartin, Omri Isac, Grant O. Passmore, Kathrin Stark, Ekaterina Komendantskaya, Guy Katz |
Towards a Certified Proof Checker for Deep Neural Network Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation - 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings, pp. 198-209, 2023, Springer, 978-3-031-45783-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Isac M. Lacerda, Eber A. Schmitz, Jayme Luiz Szwarcfiter, Rosiane de Freitas |
Empirical Evaluation of Project Scheduling Algorithms for Maximization of the Net Present Value. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.03330, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Omri Isac, Clark W. Barrett, Min Zhang 0002, Guy Katz |
Neural Network Verification with Proof Production. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2206.00512, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi (eds.) |
Software Verification and Formal Methods for ML-Enabled Autonomous Systems - 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSV/FoMLAS@CAV ![Springer, 978-3-031-21221-5 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Phil Aupke, Andreas Kassler, Andreas D. Theocharis, Magnus Nilsson, Isac Myrén Andersson |
Impact of Clustering Methods on Machine Learning-based Solar Power Prediction Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISC2 ![In: IEEE International Smart Cities Conference, ISC2 2022, Pafos, Cyprus, September 26-29, 2022, pp. 1-7, 2022, IEEE, 978-1-6654-8561-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Komal Panchal, Fatima Ait-Mahammed, Abdelwahab Hamou-Lhadj, Zhongwen Zhu, Salman Memon 0001, Alka Isac, Pragash Krishnamoorthy |
A Study on the Use of Runtime Files in Handling Crash Reports in a Large Telecom Company. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FNWF ![In: 2022 IEEE Future Networks World Forum, FNWF 2022, Montreal, QC, Canada, October 10-14, 2022, pp. 98-103, 2022, IEEE, 978-1-6654-6250-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Omri Isac, Clark W. Barrett, Min Zhang 0002, Guy Katz |
Neural Network Verification with Proof Production. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 38-48, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Wilson Cesar Santana, Bruno Reno Gama, Germano Lambert-Torres, Erik Leandro Bonaldi, Levy Ely de Lacerda de Oliveira, Frederico de Oliveira Assuncao, Daniel de Almeida Arantes, Isac Antonio dos Santos Areias, Luiz Eduardo Borges da Silva, Fabio Monteiro Steiner |
Development of a Modular Educational Kit for Research and Teaching on Power Electronics and Multilevel Converters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 9, pp. 127496-127514, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
29 | Yue Ju, Alka Isac, Yimin Nie |
ChunkFormer: Learning Long Time Series with Multi-stage Chunked Transformer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2112.15087, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
29 | Pablo Pessoa do Nascimento, Paulo Pereira, Jr Marco Mialaret, Isac Ferreira, Paulo Maciel 0001 |
A methodology for selecting hardware performance counters for supporting non-intrusive diagnostic of flood DDoS attacks on web servers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Secur. ![In: Comput. Secur. 110, pp. 102434, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
29 | Wilson Cesar Santana, Germano Lambert-Torres, Erik Leandro Bonaldi, Bruno Reno Gama, Tiago Goncalves Zacarias, Isac Antonio dos Santos Areias, Daniel de Almeida Arantes, Frederico de Oliveira Assuncao, Mateus Mendes Campos, Fabio Monteiro Steiner |
Online Frequency Response Analysis of Electric Machinery through an Active Coupling System Based on Power Electronics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 21(23), pp. 8057, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
29 | Shubham Rai, Walter Lau Neto, Yukio Miyasaka, Xinpei Zhang, Mingfei Yu, Qingyang Yi, Masahiro Fujita, Guilherme B. Manske, Matheus F. Pontes, Leomar S. da Rosa, Marilton S. de Aguiar, Paulo F. Butzen, Po-Chun Chien, Yu-Shan Huang, Hoa-Ren Wang, Jie-Hong R. Jiang, Jiaqi Gu, Zheng Zhao 0003, Zixuan Jiang, David Z. Pan, Brunno A. Abreu, Isac de Souza Campos, Augusto Andre Souza Berndt, Cristina Meinhardt, Jônata Tyska Carvalho, Mateus Grellert, Sergio Bampi, Aditya Lohana, Akash Kumar 0001, Wei Zeng 0015, Azadeh Davoodi, Rasit Onur Topaloglu, Yuan Zhou, Jordan Dotzel, Yichi Zhang 0006, Hanyu Wang 0005, Zhiru Zhang, Valerio Tenace, Pierre-Emmanuel Gaillardon, Alan Mishchenko, Satrajit Chatterjee |
Logic Synthesis Meets Machine Learning: Trading Exactness for Generalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation & Test in Europe Conference & Exhibition, DATE 2021, Grenoble, France, February 1-5, 2021, pp. 1026-1031, 2021, IEEE, 978-3-9819263-5-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
29 | Alka Isac, Bassant Selim, Zeinab Sobhanigavgani, Georges Kaddoum, Mallik Tatipamula |
Impulsive Noise Parameter Estimation: A Deep CNN-LSTM Network Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CommNet ![In: 4th International Conference on Advanced Communication Technologies and Networking, CommNet 2021, Rabat, Morocco, December 3-5, 2021, pp. 1-6, 2021, IEEE, 978-1-6654-0306-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
29 | Marco Andrés Luna, Ahmed Refaat Ragab, M. Sadeq Ale Isac, Pablo Flores Peña, Pascual Campoy Cervera |
A New Algorithm Using Hybrid UAV Swarm Control System for Firefighting Dynamical Task Allocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: 2021 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2021, Melbourne, Australia, October 17-20, 2021, pp. 655-660, 2021, IEEE, 978-1-6654-4207-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
29 | Brunno A. Abreu, Augusto Andre Souza Berndt, Isac de Souza Campos, Cristina Meinhardt, Jônata Tyska Carvalho, Mateus Grellert, Sergio Bampi |
Fast Logic Optimization Using Decision Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: IEEE International Symposium on Circuits and Systems, ISCAS 2021, Daegu, South Korea, May 22-28, 2021, pp. 1-5, 2021, IEEE, 978-1-7281-9201-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
29 | Vanessa Farias Dantas, Cassia Isac, Cleyton Souza, Adenice Ferreira, Aruquia Peixoto |
Investigating the Situation of Brazilian Undergraduate Students during the COVID-19 Pandemic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDUCON ![In: IEEE Global Engineering Education Conference, EDUCON 2021, Vienna, Austria, April 21-23, 2021, pp. 941-945, 2021, IEEE, 978-1-7281-8478-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
29 | Cassia Isac, Ana Luiza Lima de Souza, Aruquia Peixoto |
Teaching Multivariable Calculus in the Emergency Remote Learning in Brazil Amidst COVID-19 Pandemic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICL (1) ![In: Mobility for Smart Cities and Regional Development - Challenges for Higher Education - Proceedings of the 24th International Conference on Interactive Collaborative Learning (ICL 2021), Volume 1, Dresden, Germany, 22-24 September 2021., pp. 1021-1030, 2021, Springer, 978-3-030-93903-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
29 | Shubham Rai, Walter Lau Neto, Yukio Miyasaka, Xinpei Zhang, Mingfei Yu, Qingyang Yi, Masahiro Fujita, Guilherme B. Manske, Matheus F. Pontes, Leomar S. da Rosa Jr., Marilton S. de Aguiar, Paulo F. Butzen, Po-Chun Chien, Yu-Shan Huang, Hoa-Ren Wang, Jie-Hong R. Jiang, Jiaqi Gu, Zheng Zhao 0003, Zixuan Jiang, David Z. Pan, Brunno A. Abreu, Isac de Souza Campos, Augusto Andre Souza Berndt, Cristina Meinhardt, Jônata Tyska Carvalho, Mateus Grellert, Sergio Bampi, Aditya Lohana, Akash Kumar 0001, Wei Zeng 0015, Azadeh Davoodi, Rasit Onur Topaloglu, Yuan Zhou, Jordan Dotzel, Yichi Zhang 0006, Hanyu Wang 0005, Zhiru Zhang, Valerio Tenace, Pierre-Emmanuel Gaillardon, Alan Mishchenko, Satrajit Chatterjee |
Logic Synthesis Meets Machine Learning: Trading Exactness for Generalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2012.02530, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
29 | Isac Arnekvist, J. Frederico Carvalho 0001, Danica Kragic, Johannes A. Stork |
The effect of Target Normalization and Momentum on Dying ReLU. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.06195, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
29 | Gwenaël Bécan, Hadrien Philippe, Jodie Phung, Edouard Laudrel, Bertrand Boutaud, Nathalie Isac, Marion Woytasik, Elie Lefeuvre |
Fabrication and mechanical study of a titanium micro-membrane for in vivo pressure monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMICT ![In: 14th International Symposium on Medical Information Communication Technology, ISMICT 2020, Nara, Japan, May 20-22, 2020, pp. 1-6, 2020, IEEE, 978-1-7281-6617-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Wesley Machado, Cassia Isac, Thiago Franco Leal, Luiz Couto, David Silva |
Evaluating Students' Aprehension About Remote Learning During the COVID-19 Pandemic: a Brazilian Sample. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LWMOOCS ![In: IEEE Learning With MOOCS, LWMOOCS 2020, Antigua Guatemala, Guatemala, September 29 - October 2, 2020, pp. 162-167, 2020, IEEE, 978-1-7281-9729-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Cassia Isac, José Viterbo, Aura Conci, Marcos Da Silveira |
Ontology-Based Management of Cranial Computed Tomography Reports. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: 33rd IEEE International Symposium on Computer-Based Medical Systems, CBMS 2020, Rochester, MN, USA, July 28-30, 2020, pp. 214-219, 2020, IEEE, 978-1-7281-9429-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Vanessa Farias Dantas, Cassia Isac, Cleyton Souza, Aruquia Peixoto |
Assessing Students' Feelings During COVID-19 Pandemic Situation in Brazil: A Case Study in Paraiba Inland. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TEEM ![In: TEEM'20: Eighth International Conference on Technological Ecosystems for Enhancing Multiculturality, Salamanca, Spain, 21-23 October, 2020, pp. 611-616, 2020, ACM, 978-1-4503-8850-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Isac N. Lira, Pedro Marinho R. de Oliveira, Walter da C. Freitas, Vicente Zarzoso |
Automated Atrial Fibrillation Source Detection Using Shallow Convolutional Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CinC ![In: Computing in Cardiology, CinC 2020, Rimini, Italy, September 13-16, 2020, pp. 1-4, 2020, IEEE, 978-1-7281-7382-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Cassia Isac Gonçalves da Silva, Thiago Franco Leal, Aruquia Peixoto |
Providing competencies through practical activities for future engineering students. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDUCON ![In: 2020 IEEE Global Engineering Education Conference, EDUCON 2020, Porto, Portugal, April 27-30, 2020, pp. 601-604, 2020, IEEE, 978-1-7281-0930-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Cassia Isac, Aruquia Peixoto |
The Challenge of Teaching Amidst COVID-19 in Brazil. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICL (2) ![In: Educating Engineers for Future Industrial Revolutions - Proceedings of the 23rd International Conference on Interactive Collaborative Learning (ICL 2020), Volume 2, Tallinn, Estonia, 23-25 September., pp. 199-206, 2020, Springer, 978-3-030-68200-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Isac Arnekvist, Dmytro Kalpakchi |
[Re] Learning to Learn By Self-Critique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1912.00183, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
29 | Joshua A. Haustein, Isac Arnekvist, Johannes A. Stork, Kaiyu Hang, Danica Kragic |
Learning Manipulation States and Actions for Efficient Non-prehensile Rearrangement Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1901.03557, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
29 | Isac Arnekvist, Danica Kragic, Johannes A. Stork |
VPE: Variational Policy Embedding for Transfer Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: International Conference on Robotics and Automation, ICRA 2019, Montreal, QC, Canada, May 20-24, 2019, pp. 36-42, 2019, IEEE, 978-1-5386-6027-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Isac Cossa, Guilherme Campos, Pedro Sá-Couto, João Lindo |
Making Clinical Simulation Mannequins Talk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HEALTHINF ![In: Proceedings of the 12th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2019) - Volume 5: HEALTHINF, Prague, Czech Republic, February 22-24, 2019., pp. 450-455, 2019, SciTePress. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Carmen Alfaro-Isac, Salvador Izquierdo, Gabriel Baquedano |
Data-driven modeling of semi-batch manufacturing: a rubber compounding test case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDIN ![In: 17th IEEE International Conference on Industrial Informatics, INDIN 2019, Helsinki, Finland, July 22-25, 2019, pp. 1609-1614, 2019, IEEE, 978-1-7281-2927-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Felipe Viegas, Leonardo Rocha 0001, Marcos André Gonçalves, Fernando Mourão, Giovanni Sá, Thiago Salles, Guilherme Andrade, Isac Sandin |
A Genetic Programming approach for feature selection in highly dimensional skewed data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neurocomputing ![In: Neurocomputing 273, pp. 554-569, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Isac Arnekvist, Danica Kragic, Johannes A. Stork |
VPE: Variational Policy Embedding for Transfer Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1809.03548, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
29 | Isac Alencar Rodrigues da Silva, Elder Cleiton Barreto Francisco dos Santos, Elton Moreira Carvalho, Daniel Oliveira Dantas |
Low cost hardware and software platform for multichannel surface electromyography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: 2018 IEEE Symposium on Computers and Communications, ISCC 2018, Natal, Brazil, June 25-28, 2018, pp. 1114-1119, 2018, IEEE, 978-1-5386-6950-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Xin Fan 0003, Mikkel B. Stegmann, Oliver Schrape, Steffen Zeidler 0001, Isac G. Jensen, Jannich Thorsen, Tobias Bjerregaard, Milos Krstic |
Frequency-Domain Optimization of Digital Switching Noise Based on Clock Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. I Regul. Pap. ![In: IEEE Trans. Circuits Syst. I Regul. Pap. 63-I(7), pp. 982-993, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Vítor Mangaravite, Rodrygo L. T. Santos, Isac S. Ribeiro, Marcos André Gonçalves, Alberto H. F. Laender |
The LExR Collection for Expertise Retrieval in Academia. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: Proceedings of the 39th International ACM SIGIR conference on Research and Development in Information Retrieval, SIGIR 2016, Pisa, Italy, July 17-21, 2016, pp. 721-724, 2016, ACM, 978-1-4503-4069-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Cassia Isac, José Viterbo, Aura Conci |
A Survey on Ontology-Based Systems to Support the Prospection, Diagnosis and Treatment of Breast Cancer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBSI ![In: Proceedings of the XII Brazilian Symposium on Information Systems on Brazilian Symposium on Information Systems: Information Systems in the Cloud Computing Era, SBSI 2016, Florianópolis, Brazil, May 17-20, 2016., pp. 271-277, 2016, ACM, 978-85-7669-317-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Marcelo Moretti Fioroni, Luiz Augusto Gago Franzese, Isac Reis de Santana, Pavel Emmanuel Pereira Lelis, Camila Batista da Silva, Gustavo Dezem Telles, José Alexandre Sereno Quintáns, Fábio Kikuda Maeda, Rafael Varani |
From farm to port: simulation of the grain logistics in brazil. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 2015 Winter Simulation Conference, Huntington Beach, CA, USA, December 6-9, 2015, pp. 1936-1947, 2015, IEEE/ACM, 978-1-4673-9741-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Thiago Franco Leal, Aruquia B. M. Peixoto, Cassia Isac Gonçalves da Silva, Marcelo de A. Dreux, Carlos A. de Moura |
Local Changes in Marching Cubes to Generate Less Degenerated Triangles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GRAPP ![In: GRAPP 2015 - Proceedings of the 10th International Conference on Computer Graphics Theory and Applications, Berlin, Germany, 11-14 March, 2015., pp. 143-149, 2015, SciTePress, 978-989-758-087-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Isac S. Ribeiro, Rodrygo L. T. Santos, Marcos André Gonçalves, Alberto H. F. Laender |
On Tag Recommendation for Expertise Profiling: A Case Study in the Scientific Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSDM ![In: Proceedings of the Eighth ACM International Conference on Web Search and Data Mining, WSDM 2015, Shanghai, China, February 2-6, 2015, pp. 189-198, 2015, ACM, 978-1-4503-3317-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Benjamin Isac Fargion |
How, when and how much a card deck is well shuffled? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1407.6950, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
29 | Blake P. Printy, Lindsey M. Renken, John P. Herrmann, Isac Lee, Bryant Johnson, Emily Knight, Georgeta Varga, Diane Whitmer |
Smartphone application for classification of motor impairment severity in Parkinson's disease. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2014, Chicago, IL, USA, August 26-30, 2014, pp. 2686-2689, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Marcelo Moretti Fioroni, Letícia Cristina Alves dos Santos, Luiz Augusto Gago Franzese, Isac Reis de Santana, Gustavo Dezem Telles, Josiane Cordeiro Seixas, Bruno Penna, Gerson Mendes de Alkmim |
Logistic evaluation of an underground mine using simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 2014 Winter Simulation Conference, Savannah, GA, USA, December 7-10, 2014, pp. 1855-1865, 2014, IEEE/ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Marcelo Moretti Fioroni, Johanna Gomez Quevedo, Isac Reis de Santana, Luiz Augusto Gago Franzese, Daniel Cuervo, Paola Sánchez, Francesco Narducci |
Signal-oriented railroad simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Winter Simulations Conference: Simulation Making Decisions in a Complex World, WSC 2013, Washington, DC, USA, December 8-11, 2013, pp. 3533-3543, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
29 | Isac Sandin, Guilherme Andrade, Felipe Viegas, Daniel Madeira, Leonardo Rocha 0001, Thiago Salles, Marcos André Gonçalves |
Aggressive and effective feature selection using genetic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2012, Brisbane, Australia, June 10-15, 2012, pp. 1-8, 2012, IEEE, 978-1-4673-1510-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Gracieth Valenzuela, Isac Ferreira, Obionor O. Nóbrega, Paulo Roberto Freire Cunha |
Vertical handover decision based on quality of experience in heterogeneous wireless networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EATIS ![In: Euro-American Conference on Telematics and Information Systems, EATIS '12, Valencia, Spain, May 23-25, 2012, pp. 67-72, 2012, ACM, 978-1-4503-1012-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Luiz Augusto Gago Franzese, Daniel de Oliveira Mota, Marcelo Moretti Fioroni, Yuri Amaral C. L. Mourão, Douglas José da Silva, Isac Reis de Santana, Johanna Gomez Quevedo, Farley Santos Ribeiro, Marcelo Nazaro Silva, Fernando A. Lage Gonçalves, Thiago A. M. Brandão Diniz, Marcelo Barcelos Gomes |
Maintenance framework to address the interaction of components using simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Winter Simulation Conference 2011, WSC'11, Phoenix, AZ, USA, December 11-14, 2011, pp. 728-740, 2011, IEEE, 978-1-4577-2108-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
29 | George Isac |
Quasi-bounded mappings and complementarity problems depending of parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 47(3), pp. 355-367, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
29 | J. Isac Gnanaraj, Pitchai Calduwel Newton, L. Arockiam, Tai-Hoon Kim |
A Hop-Sensitive Mechanism to Establish Route Optimization in Mobile Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACN ![In: Advanced Communication and Networking - Second International Conference, ACN 2010, Miyazaki, Japan, June 23-25, 2010. Proceedings, pp. 116-123, 2010, 978-3-642-13404-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
29 | Marcelo Moretti Fioroni, Sydney Santos Cordeiro, Luiz Augusto Gago Franzese, Luiz Francisco da Silva, Caio Eduardo Zanin, Vitor Luciano de Almeida Benevides, José Alexandre Sereno Quintáns, Lucia Dini Pereira, Isac Reis de Santana, Paulo Savastano |
Matching production planning and ship arrival scheduling by simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 2010 Winter Simulation Conference, WSC 2010, Baltimore, Maryland, USA, 5-8 December 2010, pp. 1990-1997, 2010, IEEE, 978-1-4244-9864-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
29 | George Isac |
Order Complementarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 2873-2878, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Ordered vector spaces, Vector lattice, Order complementarity |
29 | George Isac |
Topological Methods in Complementarity Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 3918-3922, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Topological methods, Degree theory, Zero-epi mapping, Complementarity |
29 | George Isac |
Equivalence Between Nonlinear Complementarity Problem and Fixed Point Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 927-931, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Fixed point problem, Nonlinear complementarity problem |
29 | George Isac, I. M. Popovici |
An existence theorem for nonlinear complementarity problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Lett. ![In: Appl. Math. Lett. 22(4), pp. 539-543, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
29 | George Isac, Sándor Zoltán Németh |
Regular exceptional family of elements with respect to isotone projection cones in Hilbert spaces and complementarity problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optim. Lett. ![In: Optim. Lett. 2(4), pp. 567-576, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Non-existence of a regular exceptional family of elements, Isotone projection cones, Complementarity problems |
29 | George Isac |
Nonlinear analysis and complementarity theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 40(1-3), pp. 129-146, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Nonlinear complementarity problems, Nonlinear analysis |
29 | George Isac, A. A. Khan |
Dubovitskii--Milyutin Approach in Set-Valued Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Control. Optim. ![In: SIAM J. Control. Optim. 47(1), pp. 144-162, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | George Isac, Vasile Postolica |
Full Nuclear Cones and a Relation Between Strong Optimization and Pareto Efficiency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 32(4), pp. 507-516, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | George Isac |
Complementarity Problems and Variational Inequalities. A Unified Approach of Solvability by an Implicit Leray-Schauder Type Alternative. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 31(3), pp. 405-420, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | George Isac, Sándor Zoltán Németh |
Duality in Multivalued Complementarity Theory by Using Inversions and Scalar Derivatives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 33(2), pp. 197-213, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | George Isac, Cezar Avramescu |
Some general solvability theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Lett. ![In: Appl. Math. Lett. 17(8), pp. 977-983, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Vyacheslav Kalashnikov, George Isac |
Solvability of Implicit Complementarity Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 116(1-4), pp. 199-221, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
implicit complementarity problem, exceptional families, existence alternatives, continuous selections |
29 | Gheorghe Isac, Ahmed Ould Bahya |
Full nuclear cones associated to a normal cone. Application to Pareto efficiency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Lett. ![In: Appl. Math. Lett. 15(5), pp. 633-639, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
29 | George Isac, George Xian-Zhi Yuan |
The Generic Stability and Existence of Essentially Connected Components of Solutions for Nonlinear Complementarity Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 16(1), pp. 95-105, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
29 | Yun-Bin Zhao, George Isac |
Properties of a Multivalued Mapping Associated with Some Nonmonotone Complementarity Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Control. Optim. ![In: SIAM J. Control. Optim. 39(2), pp. 571-593, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
29 | George Isac, A. Carbone |
Exceptional Families of Elements for Continuous Functions: Some Applications to Complementarity Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 15(2), pp. 181-196, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
29 | George Isac, V. Bulavski, Vyacheslav Kalashnikov |
Exceptional Families, Topological Degree and Complementarity Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 10(2), pp. 207-225, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
29 | George Isac, D. Goeleven |
The Implicit General Order Complementarity Problem, models and iterative methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 44(1), pp. 63-92, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
22 | Michael Menth, Andreas Binzenhöfer, Stefan Mühleck |
Source models for speech traffic revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 17(4), pp. 1042-1051, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
queueing behavior, voice codecs, correlation, traffic models |
22 | Dan Ashlock, Taika von Konigslow, Elizabeth Clare, Wendy Ashlock |
Transience in the simulation of ring species. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIBCB ![In: Proceedings of the 2008 IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology, CIBCB 2008, Sun Valley Resort, Sun Valley, Idaho, USA, September 15-17, 2008, pp. 256-263, 2008, IEEE, 978-1-4244-1778-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Luigi Ferrara, Christian Mårtenson, Pontus Svenson, Per Svensson 0001, Justo Hidalgo, Anastasio Molano, Anders L. Madsen |
Integrating Data Sources and Network Analysis Tools to Support the Fight Against Organized Crime. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISI Workshops ![In: Intelligence and Security Informatics, IEEE ISI 2008 International Workshops: PAISI, PACCF, and SOCO 2008, Taipei, Taiwan, June 17, 2008. Proceedings, pp. 171-182, 2008, Springer, 978-3-540-69136-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Michael Menth, Andreas Binzenhöfer, Stefan Mühleck |
A note on source models for speech traffic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS Perform. Evaluation Rev. ![In: SIGMETRICS Perform. Evaluation Rev. 35(3), pp. 22-24, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Keisuke Takemori, Yutaka Miyake, Chie Ishida, Iwao Sasase |
A SOC Framework for ISP Federation and Attack Forecast by Learning Propagation Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISI ![In: IEEE International Conference on Intelligence and Security Informatics, ISI 2007, New Brunswick, New Jersey, USA, May 23-24, 2007, Proceedings, pp. 172-179, 2007, IEEE, 1-4244-1329-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Yonghong Yang, Changyun Zhu, Zhenyu (Peter) Gu, Li Shang, Robert P. Dick |
Adaptive multi-domain thermal modeling and analysis for integrated circuit synthesis and design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 2006 International Conference on Computer-Aided Design, ICCAD 2006, San Jose, CA, USA, November 5-9, 2006, pp. 575-582, 2006, ACM, 1-59593-389-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Kui Xu 0001, Xiaochen Xia, Chunguo Li, Chen Wei, Wei Xie 0001, Yue Shi |
Channel Feature Projection Clustering Based Joint Channel and DoA Estimation for ISAC Massive MIMO OFDM System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Veh. Technol. ![In: IEEE Trans. Veh. Technol. 73(3), pp. 3678-3689, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Yuan Cheng, Jianhe Du, Jianbo Liu, Libiao Jin, Xingwang Li 0001, Daniel Benevides da Costa |
Nested Tensor-Based Framework for ISAC Assisted by Reconfigurable Intelligent Surface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Veh. Technol. ![In: IEEE Trans. Veh. Technol. 73(3), pp. 4412-4417, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Jinjin Chu, Zhiping Lu, Rang Liu, Ming Li, Qian Liu 0001 |
Joint Beamforming and Reflection Design for Secure RIS-ISAC Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Veh. Technol. ![In: IEEE Trans. Veh. Technol. 73(3), pp. 4471-4475, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 370 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ >>] |
|