Search results for "SOS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	B. Andrásfai, Paul Erdös, Vera T. Sós	On the connection between chromatic number, maximal clique and minimal degree of a graph.	Discret. Math.	1974	DBLP DOI BibTeX RDF
24	Paul Erdös, Amram Meir, Vera T. Sós, Paul Turán	On some applications of graph theory, I.	Discret. Math.	1972	DBLP DOI BibTeX RDF
23	J. William Helton, Jiawang Nie	Semidefinite representation of convex sets.	Math. Program.	2010	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 46N10, 47N10, 90C25, 65K05, 90C22
23	Ruggero Lanotte, Simone Tini	Probabilistic bisimulation as a congruence.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	probabilistic process algebra, transition rule format, Bisimulation, congruence
23	Matthias Pätzold 0001, Cheng-Xiang Wang 0001, Bjørn Olav Hogstad	Two new sum-of-sinusoids-based methods for the efficient generation of multiple uncorrelated rayleigh fading waveforms.	IEEE Trans. Wirel. Commun.	2009	DBLP DOI BibTeX RDF
23	Keywon Chung, Carnaven Chiu, Xiao Xiao, Pei-Yu (Peggy) Chi	Stress outsourced: a haptic social network via crowdsourcing.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	haptic social network, privacy model, touch therapy, ubiquitous computing, social network, wearable computing, tangible interface, crowdsourcing, affective communication
23	Hasan Al-Hamadi, Maytham Safar, Dariush Ebrahimi	Power efficient clustering algorithm.	ICDIM	2009	DBLP DOI BibTeX RDF
23	John R. D. Hughes, Cliff B. Jones	Reasoning about programs via operational semantics: requirements for a support system.	Autom. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Proofs about programs, Tool support, Structural operational semantics
23	Javier Vía, Ignacio Santamaría	On the Blind Identifiability of Orthogonal Space-Time Block Codes From Second-Order Statistics.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
23	Hiroyuki Ichihara	State feedback synthesis for polynomial systems with bounded disturbances.	CDC	2008	DBLP DOI BibTeX RDF
23	Christopher Ackermann, Deane E. Sibol, William C. Stratton, Mikael Lindvall, Sally Godfrey	An Analysis Framework for Inter-system Interaction Behavior.	ISSRE	2008	DBLP DOI BibTeX RDF
23	René Doursat, Mihaela Ulieru	Emergent engineering for the management of complex situations.	Autonomics	2008	DBLP DOI BibTeX RDF	cyber-physical ecosystems, emergent engineering, security, self-organization, complex systems, co-evolution, dynamical networks
23	Erich L. Kaltofen, Bin Li, Zhengfeng Yang, Lihong Zhi	Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars.	ISSAC	2008	DBLP DOI BibTeX RDF	validated output, semidefinite programming, hybrid method, sum-of-squares, approximate factorization
23	Caroline Herssens, Stéphane Faulkner, François Fouss, Ivan Jureta	A Framework for QoS Driven Selection of Services.	IEEE SCC (2)	2008	DBLP DOI BibTeX RDF	QoS, preferences, priorities, services selection, Multi Criteria Decision Making
23	Chia-Jui Hsu, Ming-Yung Ko, Shuvra S. Bhattacharyya, Suren Ramasubbu, José Luis Pino	Efficient simulation of critical synchronous dataflow graphs.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	simulation, Scheduling, synchronous dataflow
23	Donatella Darsena, Giacinto Gelli, Luigi Paura, Francesco Verde	A Constrained Maximum-SINR NBI-Resistant Receiver for OFDM Systems.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
23	Shaodan Ma, Tung-Sang Ng	Time-Domain Signal Detection Based on Second-Order Statistics for MIMO-OFDM Systems.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
23	Kevin C. Borries, Daniel D. Stancil	Efficient Simulation of Mobile-To-Mobile Rayleigh Fading using Gaussian Quadrature.	VTC Spring	2007	DBLP DOI BibTeX RDF
23	Pablo A. Parrilo, Ali Jadbabaie	Approximation of the Joint Spectral Radius of a Set of Matrices Using Sum of Squares.	HSCC	2007	DBLP DOI BibTeX RDF
23	Peter K. K. Loh, Y. K. Tan	A Constrained Multipath Routing Protocol for Wireless Sensor Networks.	EUC	2007	DBLP DOI BibTeX RDF	constrained broadcasting, sensor networks, routing protocol, flooding, selective broadcasting
23	Helfried Peyrl, Pablo A. Parrilo	A Macaulay 2 package for computing sum of squares decompositions of polynomials with rational coefficients.	SNC	2007	DBLP DOI BibTeX RDF	semideffinite programming, symbolic/numerical methods, sum of squares, algebraic geometry
23	Husheng Li, H. Vincent Poor	Performance analysis of semiblind channel estimation in long-code DS-CDMA systems.	IEEE Trans. Signal Process.	2006	DBLP DOI BibTeX RDF
23	Weizhou Su, Wei Xing Zheng 0001, Li Chai 0001	Precoder design and blind identification of MIMO channels.	IEEE Trans. Signal Process.	2006	DBLP DOI BibTeX RDF
23	Tzahi Weisman, Arie Yeredor	Separation of Periodically Time-Varying Mixtures Using Second-Order Statistics.	ICA	2006	DBLP DOI BibTeX RDF
23	Fernando Alonso, Rafael Fernández, Sonia Frutos, Javier Soriano 0001	Engineering Agent Conversations with the DIALOG Framework.	MATES	2006	DBLP DOI BibTeX RDF
23	Xiaolin Shi, Shu-hung Leung, Chi-Sing Leung	Mean square error analysis of RLS algorithm for WSSUS fading channels.	ISCAS	2006	DBLP DOI BibTeX RDF
23	Kenji Iwata, Yutaka Satoh, Ikushi Yoda, Katsuhiko Sakaue	Hybrid Camera Surveillance System by Using Stereo Omni-directional System and Robust Human Detection.	PSIVT	2006	DBLP DOI BibTeX RDF	Stereo Omni-directional System, Hybrid Camera Network, Surveillance, Face Tracking, Human Detection
23	Chia-Jui Hsu, Suren Ramasubbu, Ming-Yung Ko, José Luis Pino, Shuvra S. Bhattacharyya	Efficient simulation of critical synchronous dataflow graphs.	DAC	2006	DBLP DOI BibTeX RDF	simulation, scheduling, synchronous dataflow
23	Martin Hall-May, Tim Kelly	Defining and Decomposing Safety Policy for Systems of Systems.	SAFECOMP	2005	DBLP DOI BibTeX RDF
23	Mohammad Reza Mousavi 0001, Michel A. Reniers	Congruence for Structural Congruences.	FoSSaCS	2005	DBLP DOI BibTeX RDF
23	Hans van Maaren, Linda van Norden	Sums of Squares, Satisfiability and Maximum Satisfiability.	SAT	2005	DBLP DOI BibTeX RDF
23	Alexander Fish, Evgeny Avner, Orly Yadid-Pecht	Low-power global/rolling shutter image sensors in silicon on sapphire technology.	ISCAS (1)	2005	DBLP DOI BibTeX RDF
23	Eugenio Culurciello, Philippe O. Pouliquen, Andreas G. Andreou, Kim Strohbehn, Steven E. Jaskulek	A monolithic isolation amplifier in silicon-on-insulator CMOS.	ISCAS (1)	2005	DBLP DOI BibTeX RDF
23	Ciaran McIvor, Máire McLoone, John V. McCanny	FPGA Montgomery Multiplier Architectures - A Comparison.	FCCM	2004	DBLP DOI BibTeX RDF
23	José Meseguer 0001, Grigore Rosu	Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools.	IJCAR	2004	DBLP DOI BibTeX RDF
23	Tim Blackwell, Jürgen Branke	Multi-swarm Optimization in Dynamic Environments.	EvoWorkshops	2004	DBLP DOI BibTeX RDF
23	David Cristinacce, Timothy F. Cootes	A Comparison of Shape Constrained Facial Feature Detectors.	FGR	2004	DBLP DOI BibTeX RDF
23	Simone Tini	Rule Formats for Non Interference.	ESOP	2003	DBLP DOI BibTeX RDF
23	John Gormly	Rapid help desk revitalization.	SIGUCCS	2003	DBLP DOI BibTeX RDF	professional staff, systems, help desk, students
23	Alyssa B. Apsel, Eugenio Culurciello, Andreas G. Andreou, K. Aliberti	Thin film PIN photodiodes for optoelectronic silicon on sapphire CMOS.	ISCAS (4)	2003	DBLP DOI BibTeX RDF
23	Caihua Wang, Hideki Tanahashi, Yutaka Sato, Hidekazu Hirayu, Yoshinori Niwa, Kazuhiko Yamamoto	Registering Panoramic Range Data and Omni-directional Color Image Based on Edge Histograms.	ICPR (4)	2002	DBLP DOI BibTeX RDF
23	Irek Ulidowski, Shoji Yuen	Process Languages for Rooted Eager Bisimulation.	CONCUR	2000	DBLP DOI BibTeX RDF
23	Allan Snavely, Dean M. Tullsen	Symbiotic Jobscheduling for a Simultaneous Multithreading Processor.	ASPLOS	2000	DBLP DOI BibTeX RDF
23	Jaikumar Radhakrishnan, Amnon Ta-Shma	Tight Bounds for Depth-two Superconcentrators.	FOCS	1997	DBLP DOI BibTeX RDF	depth-two superconcentrators, optimal bounds, disperser graphs, entropy loss, superconcentrator, entropy, directed graphs, directed graph, edges, tight bounds
23	Hugh McEvoy	Context sensitivity and synchronisation as taxonomics for parallel languages.	HICSS (1)	1997	DBLP DOI BibTeX RDF
23	Hugh McEvoy, Pieter H. Hartel	Local Linear Logic for Locality Consciousness in Multiset Transformation	PLILP	1995	DBLP DOI BibTeX RDF
23	Vijay Balasubramanian, Prithviraj Banerjee	Tradeoffs in the Design of Efficient Algorithm-Based Error Detection Schemes for Hypercube Multiprocessors.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	algorithm-based error detection, 16-processor Intel iPSC-2/D4/MX, software engineering, multiprocessing systems, error detection, encoding, encoding, linear algebra, QR factorization, numerical linear algebra, hypercube multiprocessors, sum-of-squares, checksum
23	Babak Rezaei Rad, Fereidoon Shams Aliee	Computational Grid as an Appropriate Infrastructure for Ultra Large Scale Software Intensive Systems.	CISIS	2010	DBLP DOI BibTeX RDF	Grid, Infrastructure, OGSA, SoS, ULS
23	Thomas Schmid 0002, Roy Shea, Jonathan Friedman, Mani B. Srivastava	Movement Analysis in Rock-Climbers.	IPSN	2007	DBLP DOI BibTeX RDF	rock-climber, accelerometer, SOS
23	Robert Elsässer, Burkhard Monien, Günter Rote, Stefan Schamberger	Toward Optimal Diffusion Matrices.	IPDPS	2002	DBLP DOI BibTeX RDF	FOS, load balancing, hypercubic networks, diffusion, eigenvalues, SOS
23	Steven Klusener	Completeness in Real Time Process Algebra.	CONCUR	1991	DBLP DOI BibTeX RDF	& Phrases Real Time, Integration, Process Algebra, SOS, ACP
22	Joongyoon Lee, Youngwon Park	A Study on the Abstracted Metamodel of DoDAF 2.0 for CBA Methodology Execution.	SNPD	2009	DBLP DOI BibTeX RDF	Capability Based Assessment (CBA), Metamodel, Enterprise Architecture, Schema, System of Systems (SoS), DoDAF
22	Elias B. Kosmatopoulos, Manolis Diamantis, Markos Papageorgiou	Neural Network Control of Unknown Nonlinear Systems with Efficient Transient Performance.	ICANN (1)	2009	DBLP DOI BibTeX RDF	High Order Neural Networks (HONN), Persistence of Excitation (PE), Exploitation vs Exploration, Control Lyapunov Function (CLF), Sum of Squares (SoS)
22	Jiawang Nie, James Demmel, Ming Gu 0002	Global minimization of rational functions and the nearest GCDs.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	Sum of squares (SOS), Quadratic module, Polynomial, Greatest common divisor, Global minimization, Rational function
22	Sandrine Duflos, Brigitte Kervella, Valérie Gay	Considering Security and Quality of Service in SLS to Improve Policy-Based Management of Multimedia Services.	ICN	2007	DBLP DOI BibTeX RDF	SLS, Security of Service (SoS), SLA management, Security, QoS, SLA
22	Alexander Martin 0001, Markus Möller, Susanne Moritz	Mixed Integer Models for the Stationary Case of Gas Network Optimization.	Math. Program.	2006	DBLP DOI BibTeX RDF	Gas optimization, Piece-wise linear functions, SOS constraints, Branch-and-Bound, Mixed integer programming, Cutting planes
22	Mike E. Botts, George Percivall, Carl Reed, John Davidson	OGC Sensor Web Enablement: Overview and High Level Architecture.	GSN	2006	DBLP DOI BibTeX RDF	Open Geospatial Consortium, Inc., Sensor Web Enablement (SWE), Observations & Measurements Schema (O&M), Sensor Model Language (SensorML), Transducer Model Language (TransducerML or TML), Sensor Observations Service (SOS), Sensor Planning Service (SPS), Sensor Alert Service (SAS), Web Notification Services (WNS), standards, sensors, OGC, sensor webs
16	Chris Swickline, Thomas A. Mazzuchi, Shahram Sarkani	A methodology for developing SoS architectures using SysML model federation.	Syst. Eng.	2024	DBLP DOI BibTeX RDF
16	Yi Ding 0002, Yong Zhang, Wei Liu, Jinrong Li, Zhongliang Meng	Nonlinear Controller Synthesis for HIV Dynamics Based on SOS.	IEEE Access	2024	DBLP DOI BibTeX RDF
16	Yashar Salami, Vahid Khajehvand, Esmaeil Zeinali	SOS-FCI: a secure offloading scheme in fog-cloud-based IoT.	J. Supercomput.	2024	DBLP DOI BibTeX RDF
16	Feng Guo, Meijun Zhang	An SDP method for fractional semi-infinite programming problems with SOS-convex polynomials.	Optim. Lett.	2024	DBLP DOI BibTeX RDF
16	Adrien Vacher, Boris Muzellec, Francis R. Bach, François-Xavier Vialard, Alessandro Rudi	Optimal Estimation of Smooth Transport Maps with Kernel SoS.	SIAM J. Math. Data Sci.	2024	DBLP DOI BibTeX RDF
16	Xiang-Kai Sun, Jiayi Huang, Kok Lay Teo	On semidefinite programming relaxations for a class of robust SOS-convex polynomial optimization problems.	J. Glob. Optim.	2024	DBLP DOI BibTeX RDF
16	Jouko Kinnari, Annika Thomas, Parker C. Lusk, Kota Kondo, Jonathan P. How	SOS-SLAM: Segmentation for Open-Set SLAM in Unstructured Environments.	CoRR	2024	DBLP DOI BibTeX RDF
16	Benjamin Zanger, Tiangang Cui, Martin Schreiber 0001, Olivier Zahm	Sequential transport maps using SoS density estimation and α-divergences.	CoRR	2024	DBLP DOI BibTeX RDF
16	Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir	A unified rule format for bounded nondeterminism in SOS with terms as labels.	CoRR	2024	DBLP DOI BibTeX RDF
16	Michael Schneeberger, Silvia Mastellone, Florian Dörfler	Advanced safety filter based on SOS Control Barrier and Lyapunov Functions.	CoRR	2024	DBLP DOI BibTeX RDF
16	Valentina Castiglioni, Ruggero Lanotte, Simone Tini	Back to the format: A survey on SOS for probabilistic processes.	J. Log. Algebraic Methods Program.	2024	DBLP DOI BibTeX RDF
16	Xiaoyun Zheng, Liwei Liao, Jianbo Jiao, Feng Gao, Ronggang Wang	Surface-SOS: Self-Supervised Object Segmentation via Neural Surface Representation.	IEEE Trans. Image Process.	2024	DBLP DOI BibTeX RDF
16	Louis Golowich, Tali Kaufman	NLTS Hamiltonians and Strongly-Explicit SoS Lower Bounds from Low-Rate Quantum LDPC Codes.	ITCS	2024	DBLP DOI BibTeX RDF
16	Shuyuan Zhang, Shizhong Song, Lei Wang 0055, Bai Xue 0001	Stability Verification for Heterogeneous Complex Networks via Iterative SOS Programming.	IEEE Control. Syst. Lett.	2023	DBLP DOI BibTeX RDF
16	Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Francesca Levi, Paolo Milazzo	Quantitative extensions of reaction systems based on SOS semantics.	Neural Comput. Appl.	2023	DBLP DOI BibTeX RDF
16	Ghani-Ur Rehman, Anwar Ghani, Muhammad Zubair 0007, Muhammad Imran Saeed, Dhananjay Singh 0001	SOS: Socially omitting selfishness in IoT for smart and connected communities.	Int. J. Commun. Syst.	2023	DBLP DOI BibTeX RDF
16	David Conlon, Lior Gishboliner, Yevgeny Levanzov, Asaf Shapira	A new bound for the Brown-Erdős-Sós problem.	J. Comb. Theory, Ser. B	2023	DBLP DOI BibTeX RDF
16	Ming-Zhu Chen, Shuchao Li, Zhao-Ming Li, Yuantian Yu, Xiao-Dong Zhang	An Aα-Spectral Erdős-Sós Theorem.	Electron. J. Comb.	2023	DBLP DOI BibTeX RDF
16	Ghassan Faisal Albaaji, S. S. Vinodchandra	Artificial intelligence SoS framework for sustainable agricultural production.	Comput. Electron. Agric.	2023	DBLP DOI BibTeX RDF
16	Charaf Eddine Dridi, Zakaria Benzadri, Faiza Belala	A Unified Architecture Framework Supporting SoS's Development: Case of the Aircraft Emergency Response System-of-Systems.	Int. J. Organ. Collect. Intell.	2023	DBLP DOI BibTeX RDF
16	Arnapurna Panda	Orthogonal array design based multi-objective CBO and SOS algorithms for band reduction in hyperspectral image analysis.	Multim. Tools Appl.	2023	DBLP DOI BibTeX RDF
16	Sajjad Pakkhesal, Saeed Shamaghdari	SOS-based policy iteration for H∞ control of polynomial systems with uncertain parameters.	Int. J. Control	2023	DBLP DOI BibTeX RDF
16	Sebastian M. Cioaba, Dheer Noal Desai, Michael Tait	A Spectral Erdős-Sós Theorem.	SIAM J. Discret. Math.	2023	DBLP DOI BibTeX RDF
16	Chong Shangguan	Degenerate Turán Densities of Sparse Hypergraphs II: A Solution to the Brown-Erdős-Sós Problem for Every Uniformity.	SIAM J. Discret. Math.	2023	DBLP DOI BibTeX RDF
16	Jie Wang 0037, Corbinian Schlosser, Milan Korda, Victor Magron	Exploiting Term Sparsity in Moment-SOS Hierarchy for Dynamical Systems.	IEEE Trans. Autom. Control.	2023	DBLP DOI BibTeX RDF
16	Saurabh Mittal, Robert L. Wittman, John Gibson, Josh Huffman, Hans Miller	Providing a User Extensible Service-Enabled Multi-Fidelity Hybrid Cloud-Deployable SoS Test and Evaluation (T&E) Infrastructure: Application of Modeling and Simulation (M&S) as a Service (MSaaS).	Inf.	2023	DBLP DOI BibTeX RDF
16	Yuan Gao, Jieyuan Cheng, Yongliang Tian, Hu Liu	Machine Learning-Based Evaluation of the Contribution Effectiveness in SoS Missions.	IEEE Syst. J.	2023	DBLP DOI BibTeX RDF
16	Leonardo Ramos Rodrigues	Multi-population SOS algorithm for constrained optimisation problems applied to adaptive PID controller optimisation.	Int. J. Bio Inspired Comput.	2023	DBLP DOI BibTeX RDF
16	Louis Golowich, Tali Kaufman	NLTS Hamiltonians and Strongly-Explicit SoS Lower Bounds from Low-Rate Quantum LDPC Codes.	Electron. Colloquium Comput. Complex.	2023	DBLP BibTeX RDF
16	Ali Yousuf Khan, Miguel-Ángel Luque-Nieto, Samiya Batool, Hammad Ahmed, Abdul Hadi Saeed, Zaid Asif	SOS Application Under Android: Help Pro.	Wirel. Pers. Commun.	2023	DBLP DOI BibTeX RDF
16	Sander Gribling, Sven C. Polak, Lucas Slot	A note on the computational complexity of the moment-SOS hierarchy for polynomial optimization.	CoRR	2023	DBLP DOI BibTeX RDF
16	Christian Amend, Tom Goertzen	A Framework for Self-Intersecting Surfaces (SOS): Symmetric Optimisation for Stability.	CoRR	2023	DBLP DOI BibTeX RDF
16	Louis Golowich, Tali Kaufman	NLTS Hamiltonians and Strongly-Explicit SoS Lower Bounds from Low-Rate Quantum LDPC Codes.	CoRR	2023	DBLP DOI BibTeX RDF
16	Fatma Elsafoury	Systematic Offensive Stereotyping (SOS) Bias in Language Models.	CoRR	2023	DBLP DOI BibTeX RDF
16	Laura Achón, Ana De Souza, Alethia Hume, Ronald Chenu-Abente, Amalia de Götzen, Luca Cernuzzi	SOS TUTORIA UC: A Diversity-Aware Application for Tutor Recommendation Based on Competence and Personality.	CoRR	2023	DBLP DOI BibTeX RDF
16	Michael Schneeberger, Florian Dörfler, Silvia Mastellone	SOS Construction of Compatible Control Lyapunov and Barrier Functions.	CoRR	2023	DBLP DOI BibTeX RDF
16	Deyan Zeng, Jian-Hua Yin	Solution to a general version of a degree sequence variant of the Erdős-Sós conjecture.	Discret. Appl. Math.	2023	DBLP DOI BibTeX RDF
16	Abhishek Bhardwaj	A Practical Approach to SOS Relaxations for Detecting Quantum Entanglement.	J. Optim. Theory Appl.	2023	DBLP DOI BibTeX RDF
16	Mehrdad Tirandazian, Hooman Tahayori, Parisa Mahya	On the Interrelationship between IoT and SoS.	Int. J. Syst. Syst. Eng.	2023	DBLP DOI BibTeX RDF
16	Parisa Mahya, Hooman Tahayori, Mehrdad Tirandazian	On the interrelationship between IoT and SoS.	Int. J. Syst. Syst. Eng.	2023	DBLP DOI BibTeX RDF
16	Qiang Yang 0018, Yuanqing Zheng	AquaHelper: Underwater SOS Transmission and Detection in Swimming Pools.	SenSys	2023	DBLP DOI BibTeX RDF
16	Nabanita Sarkar, Konstantina Marra, Margarita Osipova	Exit Violence: Comparing Usability of Physical and Visual Alarm Buttons in SOS App in the Context of Domestic Violence.	MuC (Workshopband)	2023	DBLP DOI BibTeX RDF
16	Laura Achón, Ana De Souza, Alethia Hume, Luca Cernuzzi	'SOS TUTORÍA UC': A Diversity-Aware Application for Tutor Recommendation Based on Competence and Personality.	CLEI	2023	DBLP DOI BibTeX RDF