tag :: System logic

bookmarks (hide)1
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

2ProofWeb
ProofWeb is both a system for teaching logic and for using proof assistants through the web. ProofWeb can be used in three ways. First, one can use the guest login, for which one does not even need to register. Secondly, a user can be a student in a logic or proof assistants course. We are hosting courses free of charge. If you are a teacher and would like to host your course on this server, send email to proofweb@cs.ru.nl. Thirdly, if teachers do not want to trust us with their students' files, they can freely download the ProofWeb system and run it on a server of their own.
16 years ago by @pitman
show all tags
logic
math
proof
system
logicmathproofsystem
(0)
copydelete
- community post
- history of this post

⟨⟨
⟨
1
⟩
⟩⟩

publications (hide)15
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...

1HIGH-PERFORMANCE DOUBLE BOOST DC-DC CONVERTER BASED ON FUZZY LOGIC CONTROLLER
M. Lwin. Mechatronics and Applications: An International Journal (MECHATROJ), 2 (1): 01-12 (January 2018)
3 months ago by @clauren
show all tags
(FLC)
Boost
Centre
Control
Controller
Converter
DC-DC
Data
Double
Dual
Energy
Fuzzy
High
Logic
Mode
Renewable
Stage
System
Vehicle
Voltage
(FLC)BoostCentreControlControllerConverterDC-DCDataDoubleDualEnergyFuzzyHighLogicModeRenewableStageSystemVehicleVoltage
(0)
copydeleteadd this publication to your clipboard
1EVALUATION OF COMPUTABILITY CRITERIONS FOR RUNTIME WEB SERVICE INTEGRATION
Thirumaran.M, Dhavachelvan.P, Aranganayagi.G, and S.Abarna. International Journal on Web Service Computing (IJWSC), 2 (3): 43-56 (September 2011)
4 months ago by @ijwsc
show all tags
Business
Computability
Evaluation
Integration
Logic
Model
Property
Service
System
Traceability
and
BusinessComputabilityEvaluationIntegrationLogicModelPropertyServiceSystemTraceabilityand
(0)
copydeleteadd this publication to your clipboard
1Modelling of Solar PV and Optimization of Chopper Based PV Array using Fuzzy Control System as Per Climatic Conditions
M. Verma. INTERNATIONAL JOURNAL OF TREND IN SCIENTIFIC RESEARCH AND DEVELOPMENT, 7 (4): 1077-1086 (June 2023)
a year ago by @ijtsrd
show all tags
&
(FLC),Perturbation
(IGBT),
(MPPT),
(P&O)
(PWM),
(STATCOM),),
(THD),
Insulated
Maximum
Modulation
Observation
Pulse
Total
Width
and
bipolar
compensator
control
distortion
fuzzy
gate
harmonic
logic
point
power
static
synchronous
system
tracking
transistor
&(FLC),Perturbation(IGBT),(MPPT),(P&O)(PWM),(STATCOM),),(THD),InsulatedMaximumModulationObservationPulseTotalWidthandbipolarcompensatorcontroldistortionfuzzygateharmoniclogicpointpowerstaticsynchronoussystemtrackingtransistor
(0)
copydeleteadd this publication to your clipboard
1Analysis and Simulation of Solar PV Connected with Grid Accomplished with Maximum Power Point Tracking System
S. Diwan. INTERNATIONAL JOURNAL OF TREND IN SCIENTIFIC RESEARCH AND DEVELOPMENT, 6 (5): 1157-1161 (July 2022)
2 years ago by @ijtsrd
show all tags
&
(FLC)
(IGBT)
(MPPT)
(P&O)
(PWM)
(STATCOM)
(THD)
)
Insulated
Maximum
Modulation
Observation
Perturbation
Pulse
Total
Width
and
bipolar
compensator
control
distortion
fuzzy
gate
harmonic
logic
point
power
static
synchronous
system
tracking
transistor
&(FLC)(IGBT)(MPPT)(P&O)(PWM)(STATCOM)(THD))InsulatedMaximumModulationObservationPerturbationPulseTotalWidthandbipolarcompensatorcontroldistortionfuzzygateharmoniclogicpointpowerstaticsynchronoussystemtrackingtransistor
(0)
copydeleteadd this publication to your clipboard
1Fuzzy informer homed routing protocol for wireless sensor network.
G. Kakamanshadi, S. Gupta, and S. Singh. International Journal of Computer Networks & Communications (IJCNC), 11 (4): 43-60 (2019)
5 years ago by @laimbee
show all tags
Algorithms;
Clustering
Efficiency;
Energy
Fault
Fuzzy
Logic
Network;
Protocols;
Routing
Sensor
Tolerance;
Wireless
system
Algorithms;ClusteringEfficiency;EnergyFaultFuzzyLogicNetwork;Protocols;RoutingSensorTolerance;Wirelesssystem
(0)
copydeleteadd this publication to your clipboard
1Adaptive Type-2 Fuzzy Second Order Sliding Mode Control for Nonlinear Uncertain Chaotic System
R. Hendel, F. Khaber, and N. Essounbouli. International Journal of Computational Science, Information Technology and Control Engineering (IJCSITCE, 2 (4): 14 (October 2015)
6 years ago by @ashvath
show all tags
Chaotic
Control
Fuzzy
Logic
Lyapunov
Mode
Sliding
Stability
System
Type-2
order
second
ChaoticControlFuzzyLogicLyapunovModeSlidingStabilitySystemType-2ordersecond
(0)
copydeleteadd this publication to your clipboard
1ENSP: ENERGY EFFICIENT NEXT HOP SELECTION IN A PROBABILISTIC VOTING-BASED FILTERING SCHEME USING FUZZY LOGIC
S. Jae Kwan Lee1, and T. Cho3. Informatics Engineering, an International Journal (IEIJ), 02 (04): 01-12 (December 2014)
6 years ago by @ieij1
show all tags
Filtering
Fuzzy
Probabilistic
Scheme,
Voting-based
Wireless
logic
networks,
sensor
system
FilteringFuzzyProbabilisticScheme,Voting-basedWirelesslogicnetworks,sensorsystem
(0)
copydeleteadd this publication to your clipboard
1Can Automation Eliminate Human Intervention?
D. Subramanian. International Journal of Engineering and Management Research, 8 (3): 100-108 (2018)
6 years ago by @amarjeetsingh
show all tags
Adaptability
Advancements
Automated
Can
Controls
How
Human
Intervention
Judgment
Logic
Maximize
Minimum
Performance
System
Technical
We
With
and
AdaptabilityAdvancementsAutomatedCanControlsHowHumanInterventionJudgmentLogicMaximizeMinimumPerformanceSystemTechnicalWeWithand
(0)
copydeleteadd this publication to your clipboard
1Maximum Power Extraction Strategy for Wind Energy Conversion Systems using Intelligent Controllers
A. Malik. International Journal of Trend in Scientific Research and Development, 1 (4): 580-584 (June 2017)
6 years ago by @ijtsrd
show all tags
Electrical
Engineering
MPPT
Wind-diesel
control.
energy
fuzzy
logic
system
ElectricalEngineeringMPPTWind-dieselcontrol.energyfuzzylogicsystem
(0)
copydeleteadd this publication to your clipboard
1A SURVEY ON DYNAMIC SPECTRUM ACCESS TECHNIQUES IN COGNITIVE RADIO
P. Yadav, S. Chatterjee, and P. Bhattacharya. International Journal of Next-Generation Networks (IJNGN), (December 2012)
7 years ago by @ijfls
show all tags
Wireless
access
cognitive
communication
dynamic
fuzzy
logic
management.
policies
radio
spectrum
system
threshold
Wirelessaccesscognitivecommunicationdynamicfuzzylogicmanagement.policiesradiospectrumsystemthreshold
(0)
copydeleteadd this publication to your clipboard
1Cognitive Radio And Dynamic Spectrum Access – A Study
G. Ghosh, P. Das, and S. Chatterjee. International Journal of Next-Generation Networks (IJNGN), 6 (1): 43 - 60 (March 2014)
7 years ago by @ijfls
show all tags
(CR)
(DSA)
Wireless
access
and
chain
cognitive
communication
dynamic
fuzzy
logic
management.
markovian
policies
radio
sharing
spectrum
system
threshold
(CR)(DSA)Wirelessaccessandchaincognitivecommunicationdynamicfuzzylogicmanagement.markovianpoliciesradiosharingspectrumsystemthreshold
(0)
copydeleteadd this publication to your clipboard
1Introduction to Information Retrieval Systems
M. Janbandhu, and M. Karhade. International Journal on Recent and Innovation Trends in Computing and Communication, 3 (4): 2051--2054 (April 2015)
9 years ago by @ijritcc
show all tags
Information
crawler
engine
logic
relevancy
retrieval
search
system
Informationcrawlerenginelogicrelevancyretrievalsearchsystem
(0)
copydeleteadd this publication to your clipboard
1Smart Energy Management controller for a Micro Grid
E. Atef. M. Mansour, Khaled .N. Faris. International Journal of Engineering Research, 4 (8): 456-464 (August 2015)
9 years ago by @editorijer
show all tags
(ESS)
(FLC)
(PV)
Energy
Fuzzy
MPPT
Photovoltaic
Storage
System
controller
logic
management
(ESS)(FLC)(PV)EnergyFuzzyMPPTPhotovoltaicStorageSystemcontrollerlogicmanagement
(0)
copydeleteadd this publication to your clipboard
2A Distributed Music Information System
Y. Raimond. Queen Mary, University of London, (November 2008)
15 years ago by @mediadigits
show all tags
information
logic
music
ontology
semantic
system
informationlogicmusicontologysemanticsystem
(0)
copydeleteadd this publication to your clipboard
1Mind and Nature: A Necessary Unity (Advances in Systems Theory, Complexity, and the Human Sciences)
G. Bateson. Hampton Press, Incorporated, (1979)
18 years ago by @moritzstefaner
show all tags
bateson
culture
logic
mind
organic
system
type
batesonculturelogicmindorganicsystemtype
(0)
copydeleteadd this publication to your clipboard

⟨⟨
⟨
1
⟩
⟩⟩

BibSonomy

bookmarks (hide)1
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

2ProofWeb

publications (hide)15
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...

1HIGH-PERFORMANCE DOUBLE BOOST DC-DC CONVERTER BASED ON FUZZY LOGIC CONTROLLER

1EVALUATION OF COMPUTABILITY CRITERIONS FOR RUNTIME WEB SERVICE INTEGRATION

1Modelling of Solar PV and Optimization of Chopper Based PV Array using Fuzzy Control System as Per Climatic Conditions

1Analysis and Simulation of Solar PV Connected with Grid Accomplished with Maximum Power Point Tracking System

1Fuzzy informer homed routing protocol for wireless sensor network.

1Adaptive Type-2 Fuzzy Second Order Sliding Mode Control for Nonlinear Uncertain Chaotic System

1ENSP: ENERGY EFFICIENT NEXT HOP SELECTION IN A PROBABILISTIC VOTING-BASED FILTERING SCHEME USING FUZZY LOGIC

1Can Automation Eliminate Human Intervention?

1Maximum Power Extraction Strategy for Wind Energy Conversion Systems using Intelligent Controllers

1A SURVEY ON DYNAMIC SPECTRUM ACCESS TECHNIQUES IN COGNITIVE RADIO

1Cognitive Radio And Dynamic Spectrum Access – A Study

1Introduction to Information Retrieval Systems

1Smart Energy Management controller for a Micro Grid

2A Distributed Music Information System

1Mind and Nature: A Necessary Unity (Advances in Systems Theory, Complexity, and the Human Sciences)

browse

related tags

bookmarks (hide)1 displayallbookmarks onlybookmarks per page5102050100 sort byadded attitle RSSBibTeXXML

publications (hide)15 displayallpublications onlypublications per page5102050100 sort byadded attitleauthorpublication dateentry typehelp for advanced sorting... RSSBibTeXRDFmore...

browse

related tags

bookmarks (hide)1
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

publications (hide)15
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...