Open Save New
FeedNavigator / National Library of Health Sciences
 
  
Computer Science
AddActa Automatica Sinica
AddAd hoc networks
AddAdvanced engineering informatics
AddAdvanced robotics
AddAll Things Digital - News
AddAmazon Web Services Blog
AddAnalog integrated circuits and signal processing
AddAnnals of telecommunications - Annales des télécommunications
AddAnnual reviews in control
AddApplied soft computing
AddAutomatica
AddAutomation and remote control
AddAutomation in construction
AddAutonomous robots
AddBioData Mining
AddBioinformatics (journal)
AddBiomedical Digital Libraries
AddBlown to Bits
AddBMC Bioinformatics
AddBMC Medical Informatics and Decision Making
AddBriefings in Bioinformatics
AddCCC
AddCCC Computing Research Highlights
AddCentral European journal of operations research
AddCIN: Computers, Informatics, Nursing
AddClass M
AddCluster computing
AddCognitive systems research
AddComputational Intelligence
AddComputer animation and virtual worlds
AddComputer communications
AddComputer fraud and security
AddComputer languages, systems and structures
AddComputer Methods and Programs in Biomedicine
AddComputer networks
AddComputer Scientist in a Business School
AddComputer speech and language
AddComputer vision and image understanding
AddComputerized Medical Imaging and Graphics
AddComputers in Biology and Medicine
AddComputing and visualization in science
AddConstraints
AddCybernetics and systems analysis
AddCyberpsychology & behavior
AddDaniel Lemire's blog
AddDesign automation for embedded systems
AddDigital Creativity
AddDigital Science Blog
AddDiscrete event dynamic systems
AddDisplays
AddDynamical systems
AddEDPACS
AddElectronic Commerce Research
AddEngineering applications of artificial intelligence
AddEURASIP Journal on Advances in Signal Processing
AddEURASIP Journal on Bioinformatics and Systems Biology
AddEURASIP Journal on Embedded Systems
AddEURASIP Journal on Image and Video Processing
AddEURASIP Journal on wireless communications and networking
AddEuropean journal of control
AddExpert systems with applications
AddGeekWire
AddGenomeweb.com Informatics Iron
AddHuman-computer interaction
AddIEEE/ACM Transactions on Computational Biology and Bioinformatics
AddImage and vision computing
AddInformatics for Health and Social Care
AddInformatics In Primary Care
AddInformation & management
AddInformation and Communications Technology Law
AddInformation and computation
AddInformation and software technology
AddInformation systems and e-business management
AddInformation Systems Frontiers
AddInformation Systems Research
AddInkling Engineering Blog
AddIntelligent service robotics
AddInternational Journal of Automation and computing
AddInternational journal of computer vision
AddInternational Journal of Control, Automation and Systems
AddInternational Journal of Critical Infrastructure Protection
AddInternational journal of general systems
AddInternational journal of human-computer studies
AddInternational journal of network management
AddInternational journal of wireless information networks
AddInternational journal on document analysis and recognition (IJDAR)
AddJoel on Software
AddJournal of Biomedical Informatics
AddJournal of Chemical Information and Modeling
AddJournal of computational electronics
AddJournal of Computational Science
AddJournal of Computer Virology and Hacking Techniques
AddJournal of Computer-Aided Molecular Design
AddJournal of computer-mediated communication
AddJournal of Decision Systems
AddJournal of Field Robotics
AddJournal of Graphics Tools
AddJournal of Grid Computing
AddJournal of Information Technology Case and Application Research
AddJournal of intelligent & robotic systems
AddJournal of Intelligent Manufacturing
AddJournal of Internet commerce
AddJournal of Logic and Computation
AddJournal of management information systems
AddJournal of Medical Internet Research
AddJournal of network and computer applications
AddJournal of network and systems management
AddJournal of process control
AddJournal of Signal Processing Systems
AddJournal of systems architecture
AddJournal of Systems Science and Systems Engineering
AddJournal of the American Medical Informatics Association
AddJournal of Zhejiang University Science C
AddLecture Notes in Computer Science
AddLiterary and Linguistic Computing
AddMachine vision and applications
AddMany Niches (Brendan Watson)
AddMashable
AddMedical & Biological Engineering & Computing
AddMicrosystem technologies
AddMIT : Computer science and technology
AddMobile Networks and Applications
AddMultidimensional systems and signal processing
AddNano communication networks
AddNatural computing
AddNetnomics
AddNetwork security
AddNetworks and spatial economics
AddNeural computing & applications
AddNew generation computing
AddNew review of information networking
AddO'Reilly Radar
AddOptical switching and networking
AddPattern Analysis and Applications, PAA
AddPattern recognition
AddPattern recognition letters
AddPersonal and Ubiquitous Computing
AddPervasive and mobile computing
AddPHYSorg.com: Computer Sciences
AddPLoS Computational Biology
AddPLoS Computational Biology Related SciVees
AddPLOS Tech
AddQuantum information processing
AddRobotics and autonomous systems
AddSciTopics Computer Science
AddSignal processing
AddSignal processing. Image communication
AddSimulation Modelling Practice and Theory
AddSource Code for Biology and Medicine
AddStudies in Health Technology and Informatics
AddSustainable Computing: Informatics and Systems
AddSystems & control letters
AddSystems Research and Behavioral Science
AddTechCrunch » google
AddTelecommunications policy
AddTelematics and informatics
AddThe Journal of Strategic Information Systems
AddUser Modeling and User-Adapted Interaction
AddWeb Semantics: Science, Services and Agents on the World Wide Web
AddWireless communications and mobile computing
AddWireless networks
AddWorld wide web


»My Articles

»Latest Feeds

»Popular Feeds
Search Feed Catalog by Name:

Critical subsystems in time interval modelsDiscrete event dynamic systems6 dayssaveRefWorksSFX Info
Model decomposition of timed event graphs under periodic partial synchronization: application to output reference controlDiscrete event dynamic systems8 dayssaveRefWorksSFX Info
Pathwise stability of multiclass queueing networksDiscrete event dynamic systems11 dayssaveRefWorksSFX Info
State-based supervisory control with restrictions on the supervisor realizationDiscrete event dynamic systems14 dayssaveRefWorksSFX Info
Correction to: Arborescent architecture for decentralized diagnosis of discrete event systemsDiscrete event dynamic systems19 dayssaveRefWorksSFX Info
Model-checking precision agriculture logistics: the case of the differential harvestDiscrete event dynamic systems26 dayssaveRefWorksSFX Info
Synthesis of covert actuator attackers for freeDiscrete event dynamic systems27 dayssaveRefWorksSFX Info
Model predictive scheduling of semi-cyclic discrete-event systems using switching max-plus linear models and dynamic graphsDiscrete event dynamic systems39 dayssaveRefWorksSFX Info
Refinements of behavioural abstractions for the supervisory control of hybrid systemsDiscrete event dynamic systems43 dayssaveRefWorksSFX Info
Modeling for supervisor synthesis– a lock-bridge combination case studyDiscrete event dynamic systems66 dayssaveRefWorksSFX Info
Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstractionDiscrete event dynamic systems75 dayssaveRefWorksSFX Info
On detectability of labeled Petri nets and finite automataDiscrete event dynamic systems76 dayssaveRefWorksSFX Info
Distributed computation of vector clocks in Petri net unfoldings for test selectionDiscrete event dynamic systems79 dayssaveRefWorksSFX Info
Arborescent architecture for decentralized diagnosis of discrete event systemsDiscrete event dynamic systems84 dayssaveRefWorksSFX Info
On the computation of counterexamples in compositional nonblocking verificationDiscrete event dynamic systems99 dayssaveRefWorksSFX Info
Modelling and control of periodic time-variant event graphs in dioidsDiscrete event dynamic systems103 dayssaveRefWorksSFX Info
Problematic configurations and choice-join pairs on Mono-T-Semiflow nets: towards the characterization of behavior-structural propertiesDiscrete event dynamic systems106 dayssaveRefWorksSFX Info
Submodular optimization problems and greedy strategies: A surveyDiscrete event dynamic systems108 dayssaveRefWorksSFX Info
Information control in networked discrete event systems and its application to battery management systemsDiscrete event dynamic systems124 dayssaveRefWorksSFX Info
A contribution to the determinization of max-plus automataDiscrete event dynamic systems127 dayssaveRefWorksSFX Info
Stochastic flow models with delays, blocking and applications to multi-intersection traffic light controlDiscrete event dynamic systems157 dayssaveRefWorksSFX Info
On the relation between reactive synthesis and supervisory control of non-terminating processesDiscrete event dynamic systems159 dayssaveRefWorksSFX Info
Analysis and control of max-plus linear discrete-event systems: An introductionDiscrete event dynamic systems185 dayssaveRefWorksSFX Info
Path planning for robotic teams based on LTL specifications and Petri net modelsDiscrete event dynamic systems185 dayssaveRefWorksSFX Info
Leveraging Horn clause solving for compositional verification of PLC softwareDiscrete event dynamic systems191 dayssaveRefWorksSFX Info
Correction to“Synchronizing sequences on a class of unbounded systems using synchronized Petri nets”Discrete event dynamic systems199 dayssaveRefWorksSFX Info
 XML / RSS feed
report