tag :: logic | BibSonomy

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

1Why does all() return True if the iterable is empty? · The Ethically-Trained Programmer
https://blog.carlana.net/post/2020/python-square-of-opposition/
8 months ago by @bshanks
show all tags
aristotelian
aristotle
logic
squareofopposition
vacuous
aristotelianaristotlelogicsquareofoppositionvacuous
(0)
copydelete
- community post
- history of this post
1paradoxes - Is $B = \{x:x \notin B\}$ a valid paradox in Naive Set Theory? - Mathematics Stack Exchange
https://math.stackexchange.com/questions/1089224/is-b-xx-notin-b-a-valid-paradox-in-naive-set-theory?rq=1
2 years ago by @knaevelboerrar
show all tags
mathematics
logic
mathematicslogic
(0)
copydelete
- community post
- history of this post
1soft question - complete axiomatization of reals vs we can't prove every statement about the reals vs every statement about the real numbers is either true or false - Mathematics Stack Exchange
https://math.stackexchange.com/questions/4145833/complete-axiomatization-of-reals-vs-we-cant-prove-every-statement-about-the-rea
2 years ago by @knaevelboerrar
show all tags
mathematics
logic
mathematicslogic
(0)
copydelete
- community post
- history of this post
1Meet-the-clever-The-Jenkins-comics-that-will-make-you-laugh-a-lot-62b059e84f8ae__880.jpg (JPEG Image, 880 × 880 pixels)
https://www.boredpanda.com/blog/wp-content/uploads/2022/06/Meet-the-clever-The-Jenkins-comics-that-will-make-you-laugh-a-lot-62b059e84f8ae__880.jpg
2 years ago by @bshanks
show all tags
comic
logic
comiclogic
(0)
copydelete
- community post
- history of this post
1Wolfram Logic (@wolframlogic) | Zeneca
https://www.zeneca.io/wolframlogic
3 years ago by @bshanks
show all tags
logic
logic
(0)
copydelete
- community post
- history of this post
1gentzler cut proof theory - Google Search
https://www.google.com/search?safe=active&client=ubuntu&hs=9H2&channel=fs&sxsrf=ALeKk00iujoPGvwQZJBoa_tUpy4sHiDc8A%3A1590040788503&ei=1BjGXoCpHojz-gSj1aGwDg&q=gentzler+cut+proof+theory&oq=gentzler+cut+proof+theory&gs_lcp=CgZwc3ktYWIQAzoECAAQRzoFCCEQoAE6BQghEKsCOgcIIRAKEKABUPq6AVj9xgFgiMkBaABwAXgAgAF8iAHyCpIBAzUuOJgBAKABAaoBB2d3cy13aXo&sclient=psy-ab&ved=0ahUKEwiA44HDo8TpAhWIuZ4KHaNqCOYQ4dUDCAs&uact=5
3 years ago by @bshanks
show all tags
logic
math
proof
toread
logicmathprooftoread
(0)
copydelete
- community post
- history of this post
1Proof Theory (Stanford Encyclopedia of Philosophy)
https://plato.stanford.edu/entries/proof-theory/
3 years ago by @bshanks
show all tags
logic
math
proof
logicmathproof
(0)
copydelete
- community post
- history of this post
2Dominic Hughes
http://boole.stanford.edu/~dominic/
3 years ago by @bshanks
show all tags
cs353
logic
math
pratt
proof
proofnet
cs353logicmathprattproofproofnet
(0)
copydelete
- community post
- history of this post
1Robert J. van Glabbeek
http://theory.stanford.edu/~rvg/
3 years ago by @bshanks
show all tags
concurrency
cs353
logic
math
pratt
concurrencycs353logicmathpratt
(0)
copydelete
- community post
- history of this post
1Modal Logic Introductory Lecture - ml-lec1.pdf
http://ai.stanford.edu/~epacuit/classes/modal-spr2012/ml-lec1.pdf
3 years ago by @bshanks
show all tags
intro
logic
math
modal
toread
intrologicmathmodaltoread
(0)
copydelete
- community post
- history of this post
1ml-notes.pdf
http://ai.stanford.edu/~epacuit/classes/logicai-cmu/ml-notes.pdf
3 years ago by @bshanks
show all tags
intro
logic
math
modal
toread
intrologicmathmodaltoread
(0)
copydelete
- community post
- history of this post
1Modal Logic for Open Minds
http://web.stanford.edu/group/cslipublications/cslipublications/site/9781575865980.shtml
3 years ago by @bshanks
show all tags
book
logic
math
modal
toread
booklogicmathmodaltoread
(0)
copydelete
- community post
- history of this post
1Modal Logic
http://ai.stanford.edu/~epacuit/classes/modal.html
3 years ago by @bshanks
show all tags
course
logic
math
modal
courselogicmathmodal
(0)
copydelete
- community post
- history of this post
1PHIL 169: Modal Logic Course Homepage
https://web.stanford.edu/class/phil169/coursework/syllabus.html
3 years ago by @bshanks
show all tags
benthem
course
logic
math
modal
stanford
benthemcourselogicmathmodalstanford
(0)
copydelete
- community post
- history of this post
1syl02.pdf
http://boole.stanford.edu/cs353/handouts/syl02.pdf
3 years ago by @bshanks
show all tags
cs353
logic
math
pratt
cs353logicmathpratt
(0)
copydelete
- community post
- history of this post
1Wayback Machine
https://web.archive.org/web/20210125162407/http://boole.stanford.edu/cs353/handouts/cs353-02.pdf
3 years ago by @bshanks
show all tags
cs353b
logic
math
pratt
cs353blogicmathpratt
(0)
copydelete
- community post
- history of this post
1Robert J. van Glabbeek
https://web.archive.org/web/20210330171450/https://theory.stanford.edu/~rvg/
3 years ago by @bshanks
show all tags
Glabbeek
logic
math
pratt
Glabbeeklogicmathpratt
(0)
copydelete
- community post
- history of this post
1CS352
Glabbeek
3 years ago by @bshanks
show all tags
Glabbeek
algebraic
chu
concurrency
cs353
dynamic
logic
math
pratt
toread
Glabbeekalgebraicchuconcurrencycs353dynamiclogicmathpratttoread
(0)
copydelete
- community post
- history of this post
1CS 353 Autumn 2003-04 Handouts
https://web.archive.org/web/20190706060019/http://boole.stanford.edu/cs353/handouts.html
3 years ago by @bshanks
show all tags
algebraic
chu
cs353
logic
math
pratt
algebraicchucs353logicmathpratt
(0)
copydelete
- community post
- history of this post
1cs353-02.pdf
http://boole.stanford.edu/cs353/handouts/cs353-02.pdf
3 years ago by @bshanks
show all tags
algebraic
chu
cs353
cs353b
logic
math
pratt
algebraicchucs353cs353blogicmathpratt
(0)
copydelete
- community post
- history of this post

⟨⟨
⟨
1
2
3
⟩
⟩⟩

publications (hide)680
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...

1Advanced Pitch Angle Control Configuration of Wind Energy Conversion System with Different Control System Configuration
V. Gajpal. INTERNATIONAL JOURNAL OF TREND IN SCIENTIFIC RESEARCH AND DEVELOPMENT, 6 (5): 459-463 (July 2022)
2 years ago by @ijtsrd
show all tags
(FLC)
(IGBT)
(PMSG)
(Total
(static
Fuzzy
Insulated
Permanent
Pitch
STATCOM
THD
angle
bipolar
compensator)
controller
distortion)
gate
generator
harmonic
logic
magnet
synchronous
transistor
(FLC)(IGBT)(PMSG)(Total(staticFuzzyInsulatedPermanentPitchSTATCOMTHDanglebipolarcompensator)controllerdistortion)gategeneratorharmoniclogicmagnetsynchronoustransistor
(0)
copydeleteadd this publication to your clipboard
1Methods of Organizing Mental Arithmetic Lessons in Preschool Education
S. Mohinur. International Journal on Integrated Education, (2022)
2 years ago by @researchpark_20
show all tags
Analytical
Imagining
Logic
Mental
arithmetic
thinking
AnalyticalImaginingLogicMentalarithmeticthinking
(0)
copydeleteadd this publication to your clipboard
2F-802.11P: A Fuzzy Enhancement for IEEE 802.11P in Vehicle-to-Everything Communications
H. Sayedahmed, E. Elgamal, and H. Hefny. International Journal of Computer Networks & Communications (IJCNC), 14 (04): 19-40 (July 2022)
2 years ago by @laimbee
show all tags
802.11p
DSRC
Fuzzy
IEEE
logic
vehicle-to-everything
802.11pDSRCFuzzyIEEElogicvehicle-to-everything
(0)
copydeleteadd this publication to your clipboard
1Review on Solar Power System with Artificial Intelligence
P. Hitesh. INTERNATIONAL JOURNAL OF TREND IN SCIENTIFIC RESEARCH AND DEVELOPMENT, 6 (1): 738-741 (December 2021)
2 years ago by @ijtsrd
show all tags
Algorithm
Artificial
Fuzzy
Genetic
Intelligence
Logic
Network
Neural
AlgorithmArtificialFuzzyGeneticIntelligenceLogicNetworkNeural
(0)
copydeleteadd this publication to your clipboard
1Logic gates based in asymmetric couplers: Numerical analysis
J. de Almeida, J. Menezes, W. Fraga, J. Sales, A. Ferreira, S. Marciano, A. Filho, M. da Silva, and A. Sombra. FIBER AND INTEGRATED OPTICS, 26 (4): 217-228 (2007)
2 years ago by @ppgfis_ufc_br
show all tags
coupler;
directional
gates;
logic
nonlinear
optical
pulses;
soliton
switching}
{optical
coupler;directionalgates;logicnonlinearopticalpulses;solitonswitching}{optical
(0)
copydeleteadd this publication to your clipboard
1NUMERICAL ANALYSIS OF THE INSTANTANEOUS AND RELAXED KERR MODEL FOR GENERATION OF THE ALL-OPTICAL LOGIC GATES WITH TRIANGULAR FIBER COUPLER (TFC)
J. Menezes, J. Sousa, M. Costa, A. Ferreira, F. Lima, C. Sobrinho, M. Lyra, and A. Sombra. JOURNAL OF NONLINEAR OPTICAL PHYSICS & MATERIALS, (2012)
2 years ago by @ppgfis_ufc_br
show all tags
Kerr
and
approximation
coupler}
fiber
gates;
instantaneous
logic
model;
of
relaxation
the
triangular
{All-optical
Kerrandapproximationcoupler}fibergates;instantaneouslogicmodel;ofrelaxationthetriangular{All-optical
(0)
copydeleteadd this publication to your clipboard
1Generation of logic gates based on a photonic crystal fiber Michelson interferometer
J. Sousa, A. Filho, A. Ferreira, G. Batista, C. Sobrinho, A. Bastos, M. Lyra, and A. Sombra. OPTICS COMMUNICATIONS, (2014)
2 years ago by @ppgfis_ufc_br
show all tags
Coupler;
Logic
Nonlinear;
Photonic
crystal
fiber;
gates}
interferometer;
{Michelson
Coupler;LogicNonlinear;Photoniccrystalfiber;gates}interferometer;{Michelson
(0)
copydeleteadd this publication to your clipboard
1High quality of logic gates from the return arm of a Sagnac fiber interferometer
J. Sales, T. Pessoa, A. Ferreira, D. Correia, C. Sobrinho, J. de Almeida, J. Menezes, G. Guimaraes, and A. Sombra. JOURNAL OF ELECTROMAGNETIC WAVES AND APPLICATIONS, 30 (18): 2459-2483 (2016)
2 years ago by @ppgfis_ufc_br
show all tags
(PR);
all-optical
applications}
gate;
interferometer;
logic
network
optical
precision
processing;
ratio
signal
{Sagnac
(PR);all-opticalapplications}gate;interferometer;logicnetworkopticalprecisionprocessing;ratiosignal{Sagnac
(0)
copydeleteadd this publication to your clipboard
1PAM-ASK optical logic gates in an optical fiber Sagnac interferometer
A. Ferreira, A. Jr., J. Sousa, C. Sobrinho, F. Magalhaes, A. Filho, G. Guimaraes, J. Sales, J. Menezes, and A. Sombra. OPTICS AND LASER TECHNOLOGY, (2016)
2 years ago by @ppgfis_ufc_br
show all tags
(ASK);
(PAM);
All-optical
Amplitude
Pulse
Sagnac
amplitude
gates;
interferometer;
keying
logic
modulation
processing}
shift
signal
{Nonlinear
(ASK);(PAM);All-opticalAmplitudePulseSagnacamplitudegates;interferometer;keyinglogicmodulationprocessing}shiftsignal{Nonlinear
(0)
copydeleteadd this publication to your clipboard
1All-optical XOR and OR by Mach-Zehnder Interferometer engineered photonic crystal fibers
J. Sales, A. Filho, A. Ferreira, J. Sousa, C. Sobrinho, J. Menezes, G. Guimaraes, and A. Sombra. OPTICS AND LASER TECHNOLOGY, (2017)
2 years ago by @ppgfis_ufc_br
show all tags
(MZI);
(OOK);
All-optical
FOMELG}
Interferometer
On-off
Optical
Photonic
crystal
fiber;
gate;
keying
logic
processing;
signal
waveguide;
{Mach-Zehnder
(MZI);(OOK);All-opticalFOMELG}InterferometerOn-offOpticalPhotoniccrystalfiber;gate;keyinglogicprocessing;signalwaveguide;{Mach-Zehnder
(0)
copydeleteadd this publication to your clipboard
1A Proposed Fuzzy Logic Approach for Conserving the Energy of Data Transmission in the Temperature Monitoring Systems of the Internet of Things
N. Elqeblawy, A. Mohammed, and H. A.Hefny. International Journal of Computer Networks & Communications (IJCNC), 14 (02): 97-114 (March 2022)
2 years ago by @laimbee
show all tags
Energy
Environmental
Fuzzy
Humidity
IoT
Temperature
logic
monitoring
reservation
systems
EnergyEnvironmentalFuzzyHumidityIoTTemperaturelogicmonitoringreservationsystems
(0)
copydeleteadd this publication to your clipboard
1Fuzzy Logic-based Efficient Message Route Selection Method to Prolong the Network Lifetime in WSNs
J. Ahn, S. Lim, and T. Cho. International Journal of Computer Networks & Communications (IJCNC), 13 (6): 73-91 (November 2021)
3 years ago by @laimbee
show all tags
Fuzzy
Genetic
Load
Wireless
algorithm
balancing
logic
network
sensor
FuzzyGeneticLoadWirelessalgorithmbalancinglogicnetworksensor
(0)
copydeleteadd this publication to your clipboard
1Fuzzy Forensic Analysis System for DDoS Attack in MANET Response Analysis
S. Ahmed, and S. Nirkhi. International Journal of Innovative Science and Modern Engineering (IJISME), 1 (7): 52-55 (June 2013)
3 years ago by @ijisme_beiesp
show all tags
DDoS
Dynamic
Fuzzy
MANET
Network
analysis.
attack
forensics
logic
routing
source
DDoSDynamicFuzzyMANETNetworkanalysis.attackforensicslogicroutingsource
(1)
copydeleteadd this publication to your clipboard
1An Efficient Technique of De-Noising Medical Images using Neural Network and Fuzzy -A Review
A. Sharma, and S. Anand. International Journal of Innovative Science and Modern Engineering (IJISME), 1 (4): 66-68 (March 2013)
3 years ago by @ijisme_beiesp
show all tags
BPNN
De-noising
Fuzzy
Image
Logic
Network
Neural
PSNR
BPNNDe-noisingFuzzyImageLogicNetworkNeuralPSNR
(1)
copydeleteadd this publication to your clipboard
1Ann Based SVC Switching At Distribution Level for Minimal Injected Harmonics
D. Aravind, K. Soujanya, and T. Kumar. International Journal of Innovative Science and Modern Engineering (IJISME), 1 (4): 13-17 (March 2013)
3 years ago by @ijisme_beiesp
show all tags
ANN
Compensators.
Fuzzy
Harmonic
Reactive
Static
Var
control
distortion
logic
power
ANNCompensators.FuzzyHarmonicReactiveStaticVarcontroldistortionlogicpower
(1)
copydeleteadd this publication to your clipboard
2Abduction and Induction: Essays on their Relation and Integration
P. Flach, and A. Kakas (Eds.) Springer, Dordrecht, (2000)
3 years ago by @tomhanika
show all tags
AI
abduction
book
induction
learning
logic
AIabductionbookinductionlearninglogic
(0)
copydeleteadd this publication to your clipboard
2Abduction and Induction: Essays on their Relation and Integration
P. Flach, and A. Kakas (Eds.) Springer, Dordrecht, (2000)
3 years ago by @jaeschke
show all tags
abduction
book
induction
logic
logics
abductionbookinductionlogiclogics
(0)
copydeleteadd this publication to your clipboard
1Online Tour Booking using Fuzzy Decision Making Method
R. Rithika. International Journal of Trend in Scientific Research and Development, 5 (4): 1376-1378 (June 2021)
3 years ago by @ijtsrd
show all tags
Decision
Fuzzy
ICT
Logic
Making
Set
DecisionFuzzyICTLogicMakingSet
(0)
copydeleteadd this publication to your clipboard
1Security Enhancement and Eminent Verification Measures of Global Distinctive E Passport
D. Kirubaharan. International Journal of Trend in Scientific Research and Development, 5 (3): 1017-1021 (April 2021)
3 years ago by @ijtsrd
show all tags
-International
-Programmable
-Radio
-Unique
-Ventilator
-Visa
ASP-
Access
Application
Associated
Aviation
BAC-
Basic
Civil
Control
Controller
Crystal
Display
Frequency
IACCO
Identification
Information
Key
LCD-
Liquid
Logic
Number
Organization
PKI-
PLC
Pneumonia
Program
Provider
Public
RFID
Service
UID
VAL
VAW
Waiver
-International-Programmable-Radio-Unique-Ventilator-VisaASP-AccessApplicationAssociatedAviationBAC-BasicCivilControlControllerCrystalDisplayFrequencyIACCOIdentificationInformationKeyLCD-LiquidLogicNumberOrganizationPKI-PLCPneumoniaProgramProviderPublicRFIDServiceUIDVALVAWWaiver
(0)
copydeleteadd this publication to your clipboard
2Multi Path Route Determination Method for Network Load Balancing in FAP Based WSNs Using Fuzzy Logic
W. Chung, and T. Cho. International Journal of Computer Science & Information Technology (IJCSIT), (December 2017)
4 years ago by @shamerjose
show all tags
Attack
Balancing
Flooding
Fuzzy
Load
Logic
Multi-path
Network
Prevention
Routing
Sensor
Wireless
AttackBalancingFloodingFuzzyLoadLogicMulti-pathNetworkPreventionRoutingSensorWireless
(0)
copydeleteadd this publication to your clipboard