Search results for "Credo"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
116	Andries Stam, Alfons H. Salden	Towards composition of distributed evolving services: the Credo approach (invited paper).	Autonomics	2008	DBLP DOI BibTeX RDF	Credo, Creol, exogenous coordination, composition, C, evolution, services, automata, Reo
74	Udo Steinberg, Jean Wolter, Hermann Härtig	Fast Component Interaction for Real-Time Systems.	ECRTS	2005	DBLP DOI BibTeX RDF
61	Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard K. Aichernig, Christel Baier, Tobias Blechmann 0001, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein 0001, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Liang Xuedong, Wang Yi 0001	Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo.	TTSS	2009	DBLP DOI BibTeX RDF
38	Andrea Credo, Ilya Petrov, Valerii Abramenko, Juha Pyrhönen	Model Validation of Synchronous Motors With a New Standstill Measurement Technique.	IEEE Access	2023	DBLP DOI BibTeX RDF
38	Marco Villani 0002, Giuseppe Fabri, Andrea Credo, Lino Di Leonardo, Francesco Parasiliti Collazzo	Line-Start Synchronous Reluctance Motor: A Reduced Manufacturing Cost Avenue to Achieve IE4 Efficiency Class.	IEEE Access	2022	DBLP DOI BibTeX RDF
38	Andrea Credo, Lino Di Leonardo, Francesco Parasiliti Collazzo, Marco Tursini	The Impact of the Control Strategy in Flux Observer Based Sensorless Control of Synchronous Reluctance Motors.	IEEE Access	2021	DBLP DOI BibTeX RDF
38	Lino Di Leonardo, Andrea Credo, Marco Tursini, Marco Villani 0002	Rapid analytical method to evaluate eddy current losses in hairpin wound IM due to PWM.	IECON	2021	DBLP DOI BibTeX RDF
38	Andrea Credo, Giuseppe Fabri, Lino Di Leonardo, Marco Villani 0002	Synchronous Reluctance Motor with fluid shaped barriers: preliminary and optimized design procedures.	IECON	2021	DBLP DOI BibTeX RDF
38	Argen Mary Arceño, Michael Buenviaje, Mave Rick Credo, Ronn Joaquin Cuenco, Rollison Joshua Tabuyan, Carlos Sison, Thaddeo Garcia, Antonio Tee	Voice Controlled Ultraviolet Sterilization Robot for Disinfection with Monitoring Features.	ISNCC	2021	DBLP DOI BibTeX RDF
38	George Procyon Cabrera, Jhelsea Credo, Gio Ishmael Evidente, Ralen Rose Gloria Malatbalat, Steven Lorenzo Mindoro, Arlo Ricardo Sanico, Anastacia B. Alvarez, Chris Vincent J. Densing, Rico Jossel M. Maestro, Marc D. Rosales, Maria Theresa G. de Leon	A 2.4 GHz Energy-efficient Short-range Receiver with Wake-up and Multiple Gain Settings for Wireless Sensor Networks.	TENCON	2018	DBLP DOI BibTeX RDF
38	Karol Baginski, Jakub Wierciak, Wojciech Credo	Identification and Evaluation of a Model of an Orthotic Robot Based on Experimental Research.	AUTOMATION	2018	DBLP DOI BibTeX RDF
38	Drew A. Hall, Jonathan S. Daniels, Bibiche M. Geuskens, Noureddine Tayebi, Grace M. Credo, David J. Liu, Handong Li, Kai Wu, Xing Su, Madoo Varma, Oguz H. Elibol	16.1 A nanogap transducer array on 32nm CMOS for electrochemical DNA sequencing.	ISSCC	2016	DBLP DOI BibTeX RDF
38	Crédo Paniah	Approche multi-agents pour la gestion des fermes éoliennes offshore. (A multi-agent approach for offshore wind farms management).		2015	RDF
38	Crédo Paniah, Javier Gil Quijano, David Mercier	Systèmes multi-agents pour la gestion de sources d'énergie renouvelable et de stockage de masse (présentation courte).	JFSMA	2013	DBLP BibTeX RDF
31	Simone Alessandri, Maria L. Ratto, Sergio Rabellino, Gabriele Piacenti, Sandro Gepiro Contaldo, Simone Pernice, Marco Beccuti, Raffaele A. Calogero, Luca Alessandrì	CREDO: a friendly Customizable, REproducible, DOcker file generator for bioinformatics applications.	BMC Bioinform.	2024	DBLP DOI BibTeX RDF
31	David Radke, Kyle Tilbury	Learning to Learn Group Alignment: A Self-Tuning Credo Framework with Multiagent Teams.	CoRR	2023	DBLP DOI BibTeX RDF
31	David Radke, Kate Larson, Tim Brecht	The Importance of Credo in Multiagent Learning.	AAMAS	2023	DBLP BibTeX RDF
31	Tadeusz Wibig, Michal Karbowiak	CREDO-Maze Cosmic Ray Mini-Array for Educational Purposes.	Symmetry	2022	DBLP DOI BibTeX RDF
31	David Radke, Kate Larson, Tim Brecht	The Importance of Credo in Multiagent Learning.	CoRR	2022	DBLP DOI BibTeX RDF
31	Marcin Piekarczyk, Olaf Bar, Lukasz Bibrzycki, Michal Niedzwiecki, Krzysztof Rzecki, Slawomir Stuglik, Thomas Andersen, Nikolay Budnev, David E. Alvarez-Castillo, Kévin Almeida Cheminant, Dariusz Góra, Alok C. Gupta, Bohdan Hnatyk, Piotr Homola, Robert Kaminski, Marcin Kasztelan, Marek Knap, Péter Kovács, Bartosz Lozowski, Justyna Miszczyk, Alona Mozgova, Vahab Nazari, Maciej Pawlik, Matías Rosas, Oleksandr Sushchov, Katarzyna Smelcerz, Karel Smolek, Jaroslaw Stasielak, Tadeusz Wibig, Krzysztof W. Wozniak, Jilberto Zamora-Saá	CNN-Based Classifier as an Offline Trigger for the CREDO Experiment.	Sensors	2021	DBLP DOI BibTeX RDF
31	Dan Zhu, Hui Zhu 0001, Ximeng Liu, Hui Li 0006, Fengwei Wang, Hao Li 0038, Dengguo Feng	CREDO: Efficient and privacy-preserving multi-level medical pre-diagnosis based on ML-kNN.	Inf. Sci.	2020	DBLP DOI BibTeX RDF
31	Lukasz Bibrzycki, Dariusz Burakowski, Piotr Homola, Marcin Piekarczyk, Michal Niedzwiecki, Krzysztof Rzecki, Slawomir Stuglik, Arman Tursunov, Bohdan Hnatyk, David E. Alvarez-Castillo, Katarzyna Smelcerz, Jaroslaw Stasielak, Alan R. Duffy, Leonie Chevalier, Eman Ali, Lewis Lakerink, Gregory B. Poole, Tadeusz Wibig, Jilberto Zamora-Saá	Towards A Global Cosmic Ray Sensor Network: CREDO Detector as the First Open-Source Mobile Application Enabling Detection of Penetrating Radiation.	Symmetry	2020	DBLP DOI BibTeX RDF
31	Anit Kumar Sahu, Dusan Jakovetic, Soummya Kar	CREDO: A Communication-Efficient Distributed Estimation Algorithm.	ISIT	2018	DBLP DOI BibTeX RDF
31	John Fox 0001	Cognitive systems at the point of care: The CREDO program.	J. Biomed. Informatics	2017	DBLP DOI BibTeX RDF
31	Adrian Schreyer, Tom L. Blundell	CREDO: a structural interactomics database for drug discovery.	Database J. Biol. Databases Curation	2013	DBLP DOI BibTeX RDF
31	Alessandro Antonucci 0001, David Huber 0001, Marco Zaffalon, Philippe Luginbuhl, Ian Chapman, Richard Ladouceur	CREDO: A military decision-support system based on credal networks.	FUSION	2013	DBLP BibTeX RDF
31	Immo Grabe, Mohammad Mahdi Jaghoori, Joachim Klein 0001, Sascha Klüppelholz, Andries Stam, Christel Baier, Tobias Blechmann 0001, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer	The Credo Methodology - (Extended Version).	FMCO	2009	DBLP DOI BibTeX RDF
31	Mogens Laerke	Apology for a Credo Maximum: On Three Basic Rules in Leibniz's Method of Religious Controversy.	Leibniz: What Kind of Rationalist?	2008	DBLP DOI BibTeX RDF
31	Tobias Hindemitt, Klaus F. X. Mayer	CREDO: a web-based tool for computational detection of conserved sequence motifs in noncoding sequences.	Bioinform.	2005	DBLP DOI BibTeX RDF
31	Claudio Carpineto, Giovanni Romano 0002	Exploiting the Potential of Concept Lattices for Information Retrieval with CREDO.	J. Univers. Comput. Sci.	2004	DBLP DOI BibTeX RDF
31	Marc Lesk, Thierry Mouton	CREDO HG: A graphical tool for data network planning.	ICCC	1988	DBLP BibTeX RDF
25	Naresh P. Cuntoor, B. Yegnanarayana 0001, Rama Chellappa	Activity Modeling Using Event Probability Sequences.	IEEE Trans. Image Process.	2008	DBLP DOI BibTeX RDF
25	Bernhard K. Aichernig, Andreas Griesmayer, Einar Broch Johnsen, Rudolf Schlatte, Andries Stam	Conformance Testing of Distributed Concurrent Systems with Executable Designs.	FMCO	2008	DBLP DOI BibTeX RDF	concolic execution, Creol, Model-based testing, conformance testing, Maude
25	Alan Bundy	AI Bridges and Dreams.	AI Soc.	2007	DBLP DOI BibTeX RDF
25	Bernhard Nebel	Formal Methods in Robotics.	JELIA	2004	DBLP DOI BibTeX RDF