Search results for "ISAC"

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.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	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.	DATE	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.	IEEE Intell. Syst.	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	CoRR	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.	J. Glob. Optim.	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.	AAMAS	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.	SIGUCCS	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.	SIGUCCS	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.	ICCSA (2)	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.	CoRR	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.	CoRR	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.	CoRR	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.	IEEE Trans. Biomed. Eng.	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.	CoRR	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.	CoRR	2023	DBLP DOI BibTeX RDF
29	Omri Isac, Yoni Zohar, Clark W. Barrett, Guy Katz	DNN Verification, Reachability, and the Exponential Function Problem.	CoRR	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.	IEEE Softw.	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.	Sensors	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.	CHASE	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.	CHASE	2023	DBLP DOI BibTeX RDF
29	Isac Costa, Carlos V. G. C. Lima, Thiago Marcilon	The Conversion Set Problem on Graphs.	LAGOS	2023	DBLP DOI BibTeX RDF
29	Omri Isac, Yoni Zohar, Clark W. Barrett, Guy Katz	DNN Verification, Reachability, and the Exponential Function Problem.	CONCUR	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.	SII	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.	LOPSTR	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.	CoRR	2022	DBLP DOI BibTeX RDF
29	Omri Isac, Clark W. Barrett, Min Zhang 0002, Guy Katz	Neural Network Verification with Proof Production.	CoRR	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	NSV/FoMLAS@CAV	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.	ISC2	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.	FNWF	2022	DBLP DOI BibTeX RDF
29	Omri Isac, Clark W. Barrett, Min Zhang 0002, Guy Katz	Neural Network Verification with Proof Production.	FMCAD	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.	IEEE Access	2021	DBLP DOI BibTeX RDF
29	Yue Ju, Alka Isac, Yimin Nie	ChunkFormer: Learning Long Time Series with Multi-stage Chunked Transformer.	CoRR	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.	Comput. Secur.	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.	Sensors	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.	DATE	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.	CommNet	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.	SMC	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.	ISCAS	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.	EDUCON	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.	ICL (1)	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.	CoRR	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.	CoRR	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.	ISMICT	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.	LWMOOCS	2020	DBLP DOI BibTeX RDF
29	Cassia Isac, José Viterbo, Aura Conci, Marcos Da Silveira	Ontology-Based Management of Cranial Computed Tomography Reports.	CBMS	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.	TEEM	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.	CinC	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.	EDUCON	2020	DBLP DOI BibTeX RDF
29	Cassia Isac, Aruquia Peixoto	The Challenge of Teaching Amidst COVID-19 in Brazil.	ICL (2)	2020	DBLP DOI BibTeX RDF
29	Isac Arnekvist, Dmytro Kalpakchi	[Re] Learning to Learn By Self-Critique.	CoRR	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.	CoRR	2019	DBLP BibTeX RDF
29	Isac Arnekvist, Danica Kragic, Johannes A. Stork	VPE: Variational Policy Embedding for Transfer Reinforcement Learning.	ICRA	2019	DBLP DOI BibTeX RDF
29	Isac Cossa, Guilherme Campos, Pedro Sá-Couto, João Lindo	Making Clinical Simulation Mannequins Talk.	HEALTHINF	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.	INDIN	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.	Neurocomputing	2018	DBLP DOI BibTeX RDF
29	Isac Arnekvist, Danica Kragic, Johannes A. Stork	VPE: Variational Policy Embedding for Transfer Reinforcement Learning.	CoRR	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.	ISCC	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.	IEEE Trans. Circuits Syst. I Regul. Pap.	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.	SIGIR	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.	SBSI	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.	WSC	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.	GRAPP	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.	WSDM	2015	DBLP DOI BibTeX RDF
29	Benjamin Isac Fargion	How, when and how much a card deck is well shuffled?	CoRR	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.	EMBC	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.	WSC	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.	WSC	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.	IEEE Congress on Evolutionary Computation	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.	EATIS	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.	WSC	2011	DBLP DOI BibTeX RDF
29	George Isac	Quasi-bounded mappings and complementarity problems depending of parameters.	J. Glob. Optim.	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.	ACN	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.	WSC	2010	DBLP DOI BibTeX RDF
29	George Isac	Order Complementarity.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Ordered vector spaces, Vector lattice, Order complementarity
29	George Isac	Topological Methods in Complementarity Theory.	Encyclopedia of Optimization	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.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Fixed point problem, Nonlinear complementarity problem
29	George Isac, I. M. Popovici	An existence theorem for nonlinear complementarity problems.	Appl. Math. Lett.	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.	Optim. Lett.	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.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	Nonlinear complementarity problems, Nonlinear analysis
29	George Isac, A. A. Khan	Dubovitskii--Milyutin Approach in Set-Valued Optimization.	SIAM J. Control. Optim.	2008	DBLP DOI BibTeX RDF
29	George Isac, Vasile Postolica	Full Nuclear Cones and a Relation Between Strong Optimization and Pareto Efficiency.	J. Glob. Optim.	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.	J. Glob. Optim.	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.	J. Glob. Optim.	2005	DBLP DOI BibTeX RDF
29	George Isac, Cezar Avramescu	Some general solvability theorems.	Appl. Math. Lett.	2004	DBLP DOI BibTeX RDF
29	Vyacheslav Kalashnikov, George Isac	Solvability of Implicit Complementarity Problems.	Ann. Oper. Res.	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.	Appl. Math. Lett.	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.	J. Glob. Optim.	2000	DBLP DOI BibTeX RDF
29	Yun-Bin Zhao, George Isac	Properties of a Multivalued Mapping Associated with Some Nonmonotone Complementarity Problems.	SIAM J. Control. Optim.	2000	DBLP DOI BibTeX RDF
29	George Isac, A. Carbone	Exceptional Families of Elements for Continuous Functions: Some Applications to Complementarity Theory.	J. Glob. Optim.	1999	DBLP DOI BibTeX RDF
29	George Isac, V. Bulavski, Vyacheslav Kalashnikov	Exceptional Families, Topological Degree and Complementarity Problems.	J. Glob. Optim.	1997	DBLP DOI BibTeX RDF
29	George Isac, D. Goeleven	The Implicit General Order Complementarity Problem, models and iterative methods.	Ann. Oper. Res.	1993	DBLP DOI BibTeX RDF
22	Michael Menth, Andreas Binzenhöfer, Stefan Mühleck	Source models for speech traffic revisited.	IEEE/ACM Trans. Netw.	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.	CIBCB	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.	ISI Workshops	2008	DBLP DOI BibTeX RDF
22	Michael Menth, Andreas Binzenhöfer, Stefan Mühleck	A note on source models for speech traffic.	SIGMETRICS Perform. Evaluation Rev.	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.	ISI	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.	ICCAD	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.	IEEE Trans. Veh. Technol.	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.	IEEE Trans. Veh. Technol.	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.	IEEE Trans. Veh. Technol.	2024	DBLP DOI BibTeX RDF