Search results for "POLIS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
76	Massimo Baleani, Massimo Conti, Alberto Ferrari, Valerio Frascolla, Alberto L. Sangiovanni-Vincentelli	An Enhanced POLIS Framework for Fast Exploration and Implementation of I/O Subsystems on CSoC Platforms.	FPL	2002	DBLP DOI BibTeX RDF
64	Paolo Ciancarini, Francesco Franzè, Cecilia Mascolo	Using a coordination language to specify and analyze systems containing mobile components.	ACM Trans. Softw. Eng. Methodol.	2000	DBLP DOI BibTeX RDF
64	Felice Balarin, Massimiliano Chiodo, Attila Jurecska, Luciano Lavagno, Bassam Tabbara, Alberto L. Sangiovanni-Vincentelli	Automatic Generation of a Real-Time Operating System for Embedded Systems.	CODES	1997	DBLP BibTeX RDF	scheduling, Real-Time Operating Systems, co-synthesis
64	Paolo Ciancarini	Coordinating Rule-Based Software Processes with ESP.	ACM Trans. Softw. Eng. Methodol.	1993	DBLP DOI BibTeX RDF	multiuser programming environment, concurrency, logic programming, software process, software process modeling, rule-based programming
52	Gordana Dodig-Crnkovic, Virginia Horniak	Togetherness and respect: ethical concerns of privacy in Global Web Societies.	AI Soc.	2006	DBLP DOI BibTeX RDF	Cyberethics, E-polis ethics, Legitimate by design, Disclosive ethics, Intentional design for democracy, Privacy
33	Alexandros Gazis, Eleftheria Katsiri	E-polis: A serious game for the gamification of sociological surveys.	CoRR	2023	DBLP DOI BibTeX RDF
33	Christopher T. Small, Ivan Vendrov, Esin Durmus, Hadjar Homaei, Elizabeth Barry, Julien Cornebise, Ted Suzman, Deep Ganguli, Colin Megill	Opportunities and Risks of LLMs for Scalable Deliberation with Polis.	CoRR	2023	DBLP DOI BibTeX RDF
33	Alessandro Seravalli, Mariaelena Busani, Simone Venturi, Arianna Brutti, Carlo Petrovich, Angelo Frascella, Fabrizio Paolucci, Marco Di Felice, Michele Lombardi 0001, Elena Bellodi, Riccardo Zese, Francesco Bertasi, Elia Balugani, Alket Cecaj, Rita Gamberini, Marco Mamei, Marco Picone	Towards Smart Cities for Tourism: the POLIS-EYE Project.	ISC2	2022	DBLP DOI BibTeX RDF
33	Carol Martínez, Carlos Sampedro 0001, Aneesh Chauhan, Jean-François Collumeau, Pascual Campoy	The Power Line Inspection Software (PoLIS): A versatile system for automating power line inspection.	Eng. Appl. Artif. Intell.	2018	DBLP DOI BibTeX RDF
33	Joanna S. Smith, Szymon Rusinkiewicz	Modeling the Past: Digital Technologies and Excavations in Polis, Cyprus.	EuroMed	2012	DBLP DOI BibTeX RDF
33	Jan Frederik Forst	POLIS : a probabilistic summarisation logic for structured documents.		2009	RDF
33	Gérard Berry, Ellen Sentovich	An Implementation of Constructive Synchronous Programs in POLIS.	Formal Methods Syst. Des.	2000	DBLP DOI BibTeX RDF
33	Christiane Gierke	Techno(krato)polis: über die Instrumentalisierung der Medien und den Verlust des öffentlichen Diskurses innerhalb der Marktstrategien politisch-industrieller Interessenkonglomerate am Beispiel der Historie von HDTV und DISB.		1997	RDF
33	Paolo Ciancarini	PoliS: a programming model for multiple tuple spaces.	IWSSD	1991	DBLP BibTeX RDF
33	Bärbel Naumann	Softwareentwicklung für die Echtzeitverarbeitung experimenteller Daten und für die Experimentmodellierung am Spektrometer "ALPHA-POLIS".		1990	RDF
33	David Menhennet, Jane Wainwright	'POLIS' in Parliament: Computer‐based Information Retrieval in the House of Commons Library.	J. Documentation	1982	DBLP DOI BibTeX RDF
33	Feng Lin 0001, Le Yi Wang, Gang George Yin, Michael P. Polis, Wen Chen 0007	On Detectability of a Class of Hybrid Systems.	IEEE Trans. Autom. Control.	2023	DBLP DOI BibTeX RDF
33	Le Yi Wang, George Yin 0001, Feng Lin 0001, Michael P. Polis, Wen Chen 0007	Stochastic Observability and Convergent Analog State Estimation of Randomly Switched Linear Systems With Unobservable Subsystems.	IEEE Trans. Autom. Control.	2023	DBLP DOI BibTeX RDF
33	Le Yi Wang, Gang George Yin, Feng Lin 0001, Michael P. Polis, Wen Chen 0007	Joint Estimation of Continuous and Discrete States in Randomly Switched Linear Systems With Unobservable Subsystems.	IEEE Trans. Autom. Control.	2023	DBLP DOI BibTeX RDF
33	Le Yi Wang, George Yin 0001, Feng Lin 0001, Michael P. Polis, Wen Chen 0007	Mean-square convergent continuous state estimation of randomly switched linear systems with unobservable subsystems and stochastic output noises.	Autom.	2023	DBLP DOI BibTeX RDF
33	Feng Lin 0001, Le Yi Wang, Wen Chen 0007, Michael P. Polis	On Observability of Hybrid Systems.	IEEE Trans. Autom. Control.	2022	DBLP DOI BibTeX RDF
33	Arturs Polis, Alexander Ilin	A Relational Model for One-Shot Classification of Images and Pen Strokes.	Neurocomputing	2022	DBLP DOI BibTeX RDF
33	Feng Lin 0001, Le Yi Wang, Wen Chen 0007, Michael P. Polis	On Controllability of Hybrid Systems.	IEEE Trans. Autom. Control.	2021	DBLP DOI BibTeX RDF
33	Man Jin, Adam Polis, Jonathan Hartzel	Algorithms for minimization randomization and the implementation with an R package.	Commun. Stat. Simul. Comput.	2021	DBLP DOI BibTeX RDF
33	Arturs Polis, Alexander Ilin	A Relational Model for One-Shot Classification.	CoRR	2021	DBLP BibTeX RDF
33	Arturs Polis, Alexander Ilin	A Relational Model for One-Shot Classification.	ESANN	2021	DBLP DOI BibTeX RDF
33	Feng Lin 0001, Le Yi Wang, Wen Chen 0007, Michael P. Polis	Controllability of a Class of Hybrid Systems.	ACC	2020	DBLP DOI BibTeX RDF
33	Eyad Sindi, Le Yi Wang, Michael P. Polis, George Yin 0001, Lei Ding 0005	Distributed Optimization in DC Microgrids with Subsystem Dynamics.	ICSC	2019	DBLP DOI BibTeX RDF
33	Thanasis Georgakopoulos, Stéphane Polis	Teaching & Learning Guide for: The semantic map model.	Lang. Linguistics Compass	2018	DBLP DOI BibTeX RDF
33	Thanasis Georgakopoulos, Stéphane Polis	The semantic map model: State of the art and future avenues for linguistic research.	Lang. Linguistics Compass	2018	DBLP DOI BibTeX RDF
33	Peter Willett 0001, Mari Ostendorf, Michael P. Polis, Rob Reilly	An Open Letter to the Members of the IEEE Industrial Electronics Technical Community.	IEEE Trans. Ind. Electron.	2017	DBLP DOI BibTeX RDF
33	Peter Willett 0001, Mari Ostendorf, Michael P. Polis, Rob Reilly	An Open Letter to the Members of the IEEE Industrial Electronics Technical Community.	IEEE Trans. Ind. Informatics	2017	DBLP DOI BibTeX RDF
33	Mingjun Liu, Wenyuan Li 0003, Caisheng Wang, Michael P. Polis, Le Yi Wang, Jian Li	Reliability Evaluation of Large Scale Battery Energy Storage Systems.	IEEE Trans. Smart Grid	2017	DBLP DOI BibTeX RDF
33	Bo Zhao 0013, Feng Lin 0001, Caisheng Wang, Xuesong Zhang, Michael P. Polis, Le Yi Wang	Supervisory Control of Networked Timed Discrete Event Systems and Its Applications to Power Distribution Networks.	IEEE Trans. Control. Netw. Syst.	2017	DBLP DOI BibTeX RDF
33	Einar Polis	Structuring analyses of complex enterprise datasets with adaptive morphogenesis methods.	ECBS	2017	DBLP DOI BibTeX RDF
33	Arturs Znotins, Kaspars Polis, Roberts Dargis	Media monitoring system for latvian radio and TV broadcasts.	INTERSPEECH	2015	DBLP BibTeX RDF
33	Bo Zhao 0013, Feng Lin 0001, Caisheng Wang, Xuesong Zhang, Michael P. Polis, Le Yi Wang	Power distribution network management using networked control of timed discrete event systems.	CDC	2014	DBLP DOI BibTeX RDF
33	Stéphane Polis, Serge Rosmorduc	Réviser le codage de l'égyptien ancien. Vers un répertoire partagé des signes hiéroglyphiques.	Document Numérique	2013	DBLP DOI BibTeX RDF
33	Le Yi Wang, Michael P. Polis, Caisheng Wang, Feng Lin 0001	Voltage stability and robustness for microgrid systems.	ECC	2013	DBLP DOI BibTeX RDF
33	Le Yi Wang, Michael P. Polis, Caisheng Wang, Feng Lin 0001, Gang George Yin	Voltage robust stability in microgrid power management.	CDC	2013	DBLP DOI BibTeX RDF
33	Le Yi Wang, Michael P. Polis, Gang George Yin, Wen Chen 0007, Yuhong Fu, Chunting Chris Mi	Battery Cell Identification and SOC Estimation Using String Terminal Voltage Measurements.	IEEE Trans. Veh. Technol.	2012	DBLP DOI BibTeX RDF
33	Einar Polis	Value and Viability Considerations in Information Systems Development.	DB&IS	2010	DBLP DOI BibTeX RDF
33	Ayalvadi J. Ganesh, Peter B. Key, Damien Polis, R. Srikant 0001	Congestion notification and probing mechanisms for endpoint admission control.	IEEE/ACM Trans. Netw.	2006	DBLP DOI BibTeX RDF	early congestion notification, QoS, admission control, active queue management, probing
33	Irina F. Sivergina, Michael P. Polis, Ilya V. Kolmanovsky	Boundary heat flux estimation in quasi-static thermoelastic systems.	ACC	2005	DBLP DOI BibTeX RDF
33	Irina F. Sivergina, Michael P. Polis, Ilya V. Kolmanovsky	Source Identification for Parabolic Equations.	Math. Control. Signals Syst.	2003	DBLP DOI BibTeX RDF
33	Irina F. Sivergina, Michael P. Polis	Comments on "Model-based solution techniques for the source localization problem".	IEEE Trans. Control. Syst. Technol.	2002	DBLP DOI BibTeX RDF
33	Irina F. Sivergina, Michael P. Polis	Adaptive reconstruction of multiple source intensities for parabolic PDEs.	ACC	2002	DBLP DOI BibTeX RDF
33	Asen L. Dontchev, Michael P. Polis, Vladimir M. Veliov	A dual method for parameter identification under deterministic uncertainty.	IEEE Trans. Autom. Control.	2000	DBLP DOI BibTeX RDF
33	Asen L. Dontchev, Michael P. Polis, Vladimir M. Veliov	On the Effect of Neglecting Sensor Dynamics in Parameter Identification Problems.	SIAM J. Control. Optim.	2000	DBLP DOI BibTeX RDF
33	Anna de Simone, Volker Hesselmann, Axel Klusmann, Georg Polis, Armin Thron, Walter Huber	Asymmetrie des Planum temporale und Prognose von Aphasien. Methodische Probleme bei der morphometrischen Vermessung anatomischer Hirnstrukturen in dreidimensionalen MRT-Datensätzen.	Bildverarbeitung für die Medizin	1996	DBLP BibTeX RDF
33	Michael F. Polis, Stephen J. Gifford, David M. McKeown Jr.	Automating the Construction of Large-Scale Virtual Worlds.	Computer	1995	DBLP DOI BibTeX RDF
33	Jing Sun 0003, Andrzej W. Olbrot, Michael P. Polis	Robust stabilization and robust performance using model reference control and modeling error compensation.	IEEE Trans. Autom. Control.	1994	DBLP DOI BibTeX RDF
33	Michael F. Polis, David M. McKeown Jr.	Iterative TIN generation from digital evaluation models.	CVPR	1992	DBLP DOI BibTeX RDF
33	Minyue Fu 0001, Andrzej W. Olbrot, Michael P. Polis	The edge theorem and graphical tests for robust stability of neutral time-delay systems.	Autom.	1991	DBLP DOI BibTeX RDF
33	Richard I. Polis	European Needs and Attitudes towards Information Security.	Cryptologia	1988	DBLP DOI BibTeX RDF
33	Richard I. Polis	Information security: Reality and fiction.	Comput. Secur.	1984	DBLP DOI BibTeX RDF
33	Alain Janelle, Michael P. Polis	Interactive Hybrid Computer Design of a Signaling System for a Metro Network.	IEEE Trans. Syst. Man Cybern.	1980	DBLP DOI BibTeX RDF
33	Alain Haurie, Michael P. Polis, Pierre Yansouni	On the Optimal Control on an Infinite Planning Horizon of Consumption, Pollution, Population, and Natural Resource Use.	Optimization Techniques	1973	DBLP DOI BibTeX RDF
31	François Clouté, Jean-Noël Contensou, Daniel Esteve, Pascal Pampagnin, Philippe Pons, Yves Favard	Hardware/software co-design of an avionics communication protocol interface system: an industrial case study.	CODES	1999	DBLP DOI BibTeX RDF	ARINC, POLIS, co-design, Esterel, avionics
31	I. D. Bates, E. Graeme Chester, David J. Kinniment	A statechart based HW/SW codesign system.	CODES	1999	DBLP DOI BibTeX RDF	CFSMs, POLIS, statecharts
21	Ricardo Matheus, Manuella Maia Ribeiro	Models for citizen engagement in Latin American: case studies of public digital budgeting.	ICEGOV	2009	DBLP DOI BibTeX RDF	Latin American, citizen engagement, public digital budgeting, e-governance, e-government
21	Pavlos S. Efraimidis, George Drosatos, Fotis Nalbadis, Aimilia Tasidou	Towards Privacy in Personal Data Management.	Panhellenic Conference on Informatics	2008	DBLP DOI BibTeX RDF
21	Massimo Baleani, Frank Gennari, Yunjian Jiang, Yatish Patel, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli	HW/SW partitioning and code generation of embedded control applications on a reconfigurable architecture platform.	CODES	2002	DBLP DOI BibTeX RDF	CSoC, code generation, hw/sw co-design
21	Marco Di Natale, Alberto L. Sangiovanni-Vincentelli, Felice Balarin	Scheduling Reactive Task Graphs in Embedded Control Systems.	IEEE Real Time Technology and Applications Symposium	2001	DBLP DOI BibTeX RDF
21	Alberto L. Sangiovanni-Vincentelli, Marco Sgroi, Luciano Lavagno	Formal Models for Communication-Based Design.	CONCUR	2000	DBLP DOI BibTeX RDF
21	Felice Balarin, Massimiliano Chiodo	Software Synthesis for Complex Reactive Embedded Systems.	ICCD	1999	DBLP DOI BibTeX RDF
21	Antonio Brogi, Jean-Marie Jacquet	On the Expressiveness of Coordination Models.	COORDINATION	1999	DBLP DOI BibTeX RDF
21	Luciano Lavagno, Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Harry Hsieh, S. Yee, Alberto L. Sangiovanni-Vincentelli, Kei Suzuki	A case study in computer-aided codesign of embedded controllers.	CODES	1994	DBLP DOI BibTeX RDF