Authors: Tranchini, Luca
Subject Terms: Proof-theoretic semantics, Identity of proofs, Proof-theoretic harmony, Paradox and proof-theory, Proof theory and meaning, Meaning of logical constants, Higher-level rules, Inferentialism, Sense and denotation, Hyperintensionality, harmony via reductions and expansions, Normalization, subformula, canonicity harmony, proofs as constructions, relative priority of correctness and validity, Jacinto and Read’s GE-stability, Prawitz-Tennant analysis of paradoxes, Paradoxes as non-denoting derivations, PSH-inversion and harmony, thema EDItEUR:Q Philosophy and Religion:QD Philosophy:QDT Topics in philosophy:QDTL Philosophy: logic, thema EDItEUR:U Computing and Information Technology:UY Computer science:UYA Mathematical theory of computation, thema EDItEUR:P Mathematics and Science:PB Mathematics:PBC Mathematical foundations:PBCD Mathematical logic, thema EDItEUR:P Mathematics and Science:PB Mathematics:PBC Mathematical foundations
File Description: image/jpeg
Relation: Trends in Logic
Contributors: Kobayashi, Naoki, Worrell, James
Subject Terms: program analysis, categorical models and logics, language theory, automata, and games, concurrency theory, modal, spatial, and temporal logics, logics of programming, software specification and refinement, emerging models of computation, models of software security, logical aspects of computational complexity, thema EDItEUR:U Computing and Information Technology:UY Computer science:UYA Mathematical theory of computation, thema EDItEUR:P Mathematics and Science:PB Mathematics:PBC Mathematical foundations:PBCD Mathematical logic, thema EDItEUR:P Mathematics and Science:PB Mathematics:PBC Mathematical foundations, thema EDItEUR:U Computing and Information Technology:UM Computer programming / software engineering:UMB Algorithms and data structures, thema EDItEUR:G Reference, Information and Interdisciplinary subjects:GP Research and information: general:GPF Information theory, thema EDItEUR:U Computing and Information Technology:UY Computer science:UYD Systems analysis and design, thema EDItEUR:U Computing and Information Technology:UY Computer science:UYA Mathematical theory of computation:UYAM Maths for computer scientists
File Description: image/jpeg
Relation: Lecture Notes in Computer Science
Contributors: Piecha, Thomas, Wehmeier, Kai F.
Subject Terms: Proof-theoretic Semantics, Logical Constants, Proof Theory, Deductive Logic, Constructive Logic, Intuitionistic Logic, Mathematical Logic, Peter Schroeder-Heister, Gerhard Gentzen, Gottlob Frege, thema EDItEUR:Q Philosophy and Religion:QD Philosophy, thema EDItEUR:Q Philosophy and Religion:QD Philosophy:QDT Topics in philosophy:QDTL Philosophy: logic, thema EDItEUR:C Language and Linguistics:CF Linguistics:CFA Philosophy of language, thema EDItEUR:P Mathematics and Science:PB Mathematics:PBB Philosophy of mathematics, thema EDItEUR:P Mathematics and Science:PB Mathematics:PBC Mathematical foundations, thema EDItEUR:C Language and Linguistics:CB Language: reference and general:CBX Language: history and general works
File Description: image/jpeg
Relation: Outstanding Contributions to Logic
Authors: Pisano, Francesco
Subject Terms: Christoph Sigwart, Neokantianism, Transcendental logic, Scientific philosophy, Naturalization, thema EDItEUR:Q Philosophy and Religion:QD Philosophy
File Description: image/jpeg
Relation: Studies in Neo-Kantianism
Contributors: Kaniewski, Piotr, Pasternak, Mateusz, Mattoccia, Stefano
Subject Terms: pansharpening, component substitution, multiresolution analysis, neural networks, adaptive weight, image registration, nonlinear radiation distortions, phase congruency, multimodal remote sensing image, optical and synthetic aperture radar (SAR), phase congruency (PC), radiometric difference, INS, GPS, UAV, SAR, information quality, weather station, sensors, modelling, explosive devices, hyperspectral data, simulation, Spectral Angle Mapping, duration calculus, data models, temporal logic, temporal series, data fusion, data evaluation, multisensor data, signal and data processing, interval logic, classification, CORINE, feature selection, LUCAS, MDA, random forest, sentinel, infrared and visible image object detection, convolutional neural network, difference maximum loss function, focused feature enhancement module, cascaded semantic extension module, SLAM, autonomous navigation, particle filter, monocular camera, IMU, mapping, path planning, hexagonal grid, thema EDItEUR:T Technology, Engineering, Agriculture, Industrial processes:TB Technology: general issues, thema EDItEUR:T Technology, Engineering, Agriculture, Industrial processes:TB Technology: general issues:TBX History of engineering and technology, thema EDItEUR:T Technology, Engineering, Agriculture, Industrial processes:TQ Environmental science, engineering and technology
File Description: application/octet-stream
Contributors: Shukla, Amit
Subject Terms: overlap functions, grouping functions, composition, closures, properties preservation, operational semantics, Routley–Meyer-style semantics, algebraic semantics, (core) fuzzy logics, implicational tonoid fuzzy logics, brain tumor, confusion matrix, EfficientNet, CNN, MRI, fuzzy logic, fuzzy theory, FAHP, CoCoSo, MCDM, chemistry, supplier selection model, food-processing industry, fuzzy sets, multiple criteria decision making, operation research, mixed integer linear programming, supply chain management, immigrants, triangular fuzzy numbers, TOPSIS, fuzzy-hybrid cluster, generalized Hukuhara division, generalized division, granular division, B2C e-commerce, Fuzzy AHP, pandemic, interval type-3 fuzzy logic, fuzzy aggregation, time series prediction, attitudes toward immigrants, Europe, island regions, International Social Survey Program (ISSP), Fuzzy-Hybrid TOPSIS, assessment, education, INVALSI, explainable AI, fuzzy systems, AI agents, Mamdani inference system, TSK, bibliometric analysis, research agenda, multiple-criteria decision-making (MCDM), complexity, VUCA, VOSviewer, SciMAT, bic Book Industry Communication:G Reference, information & interdisciplinary subjects:GP Research & information: general, bic Book Industry Communication:P Mathematics & science
File Description: image/jpeg
Authors: Fuhrmann, André
Subject Terms: Logik, Philosophie, Zeit, Notwendigkeit, Semantik, thema EDItEUR:C Language and Linguistics:CF Linguistics:CFA Philosophy of language, thema EDItEUR:P Mathematics and Science:PB Mathematics:PBC Mathematical foundations:PBCD Mathematical logic, thema EDItEUR:Q Philosophy and Religion:QD Philosophy:QDT Topics in philosophy:QDTL Philosophy: logic
File Description: image/jpeg
Authors: Sangaramoorthy, Thurka
Subject Terms: Immigration, migration, migrant labor, immigrant health, rural health, rural Maryland, health, health care, care, rural health systems, immigration in rural America, belonging, citizenship, health deservingness, food studies, anthropology of immigration, sociology of immigration, health policy, immigration policy, health disparities, health equity, minority health, social determinants of health, immigration studies, Black immigrants, racism, racialization and health, racialization and immigrants, spatial logics of health, temporal logics of health, precarity, rural precarity, health precarity, health geographies, bic Book Industry Communication:J Society & social sciences:JH Sociology & anthropology:JHM Anthropology:JHMC Social & cultural anthropology, ethnography, bic Book Industry Communication:M Medicine:MB Medicine: general issues:MBP Health systems & services, bic Book Industry Communication:K Economics, finance, business & management:KN Industry & industrial studies:KNX Industrial relations, health & safety:KNXC Health & safety issues, bic Book Industry Communication:J Society & social sciences:JF Society & culture: general:JFF Social issues & processes:JFFN Migration, immigration & emigration
File Description: image/png
Relation: Studies in Social Medicine
Contributors: Enea, Constantin, Lal, Akash
Subject Terms: architecture verification and validation, artificial intelligence, computer programming, distributed computer systems, formal logic, embedded systems, model checking, programming languages, software architecture, software design, software quality, logic and verification, thema EDItEUR:U Computing and Information Technology:UM Computer programming / software engineering:UMZ Software Engineering, thema EDItEUR:U Computing and Information Technology:UY Computer science:UYQ Artificial intelligence, thema EDItEUR:U Computing and Information Technology:UM Computer programming / software engineering:UMB Algorithms and data structures, thema EDItEUR:U Computing and Information Technology:UT Computer networking and communications
File Description: image/jpeg
Relation: Lecture Notes in Computer Science
Contributors: Enea, Constantin, Lal, Akash
Subject Terms: architecture verification and validation, artificial intelligence, computer programming, computer systems, distributed systems, embedded systems, formal logic, model checking, programming languages, software architecture, software design, software quality, software engineering, logic and verification, thema EDItEUR:U Computing and Information Technology:UM Computer programming / software engineering:UMZ Software Engineering, thema EDItEUR:U Computing and Information Technology:UY Computer science:UYQ Artificial intelligence, thema EDItEUR:U Computing and Information Technology:UM Computer programming / software engineering:UMB Algorithms and data structures, thema EDItEUR:U Computing and Information Technology:UT Computer networking and communications
File Description: image/jpeg
Relation: Lecture Notes in Computer Science
Contributors: Diaconescu, Răzvan
Subject Terms: strategic abilities, ω-regular properties, linear dynamic logic, strategic logics, model checking, concurrent game structure, supervised learning, Hopfield neural network, logic mining, artificial neural network, first-order logic, abstract model theory, institution, sketch, algebraic specification, description logic, graph conditions, graph constraints, diagram predicate framework, institution theory, category theory, stratified institutions, 3/2-institutions, categorical model theory, model theory, many-valued truth institutions, ℒ-institutions, thema EDItEUR:G Reference, Information and Interdisciplinary subjects:GP Research and information: general, thema EDItEUR:P Mathematics and Science
File Description: image/jpeg
Contributors: Serb, Alex, Mehonic, Adnan
Subject Terms: Logic-in-Memory (LiM), Von Neumann’s bottleneck, memory-wall, memristor, memristive logic, Non-Volatile Memory (NVM), Resistive RAM, in-memory computing, majority logic, adder, Boolean logic, parallel-prefix adder, floating-gate transistor, nonvolatile memory, continuous-time programming, floating-gate memory array, FPAA, reconfigurable, MRAM, TRNG, PUF, morphable security primitive, hardware security primitive, RRAM, resistive-switching, cross-point, memory, neuromorphic, pattern recognition, multilayer perceptron, BNN, logic-in-memory, SIMPLY, physical design, power grid, power-gating, SRPG, selective SRPG, floorplanning, place and route, resistive RAM (ReRAM), non-volatile memory (NVM), 1Transistor-1Resistor (1T–1R), processing-in-memory, silicon oxide, silicon nitride, SOI technology, resistive switching, electrical characteristics, laser treatment, thermal treatment, energy modeling, non-von neumann, instruction set, compilation, stencils, convolutions, sram, energy wall, memory wall, low-bandwidth TIA, equalizer, multi-stage main amplifier, amplitude response, group delay variation, graph coloring, cellular nonlinear networks, memristor oscillatory networks, locally-active memristors, control theory, thema EDItEUR:T Technology, Engineering, Agriculture, Industrial processes:TB Technology: general issues, thema EDItEUR:T Technology, Engineering, Agriculture, Industrial processes:TB Technology: general issues:TBX History of engineering and technology
File Description: image/jpeg
Contributors: Reid, Wendy, Fjellvær, Hilde
Subject Terms: Plural Leadership,Artistic Imperative,Role Space,Co-leadership Relationship,Arts Management Research,Arts Management Literature,Logic Dominance,Arts Organizations,Board Staff Relations,Ad,Artistic Autonomy,ADs Programming,Achilles,Hold,Ticket,Co-leadership Effectiveness,Environmental Issues,Greater Organizational Effectiveness,Executive Leadership,North,Dark Side,Dataset,Pluralistic Dilemmas,Pluralistic Context,Arts Leadership, thema EDItEUR:K Economics, Finance, Business and Management:KJ Business and Management, thema EDItEUR:K Economics, Finance, Business and Management:KJ Business and Management:KJM Management and management techniques, thema EDItEUR:K Economics, Finance, Business and Management:KJ Business and Management:KJM Management and management techniques:KJMB Management: leadership and motivation, thema EDItEUR:A The Arts:AT Performing arts:ATD Theatre studies
File Description: image/jpeg
Contributors: Olaru, Adrian
Subject Terms:  , mathematical modeling, numerical simulation, control systems, response analysis, adaptive control, feedback control, stochastic control, finite-time control, frequency response, stability, fuzzy logic, neural networks, artificial intelligence , bic Book Industry Communication:G Reference, information & interdisciplinary subjects:GP Research & information: general, bic Book Industry Communication:P Mathematics & science
File Description: application/octet-stream
Contributors: Cammalleri, Marco, Di Dio, Vincenzo, Castellano, Antonella
Subject Terms: hybrid vehicle powertrain, hybrid electric vehicle, alternative propulsion system, e-mobility, electrified powertrain, power-split hybrid, parallel hybrid, hybrid electric tractors, hybrid electric air-ground vehicle, mechanical power transmission, electric continuously variable transmission, multimode transmission, power-split hybrid transmission, compound split transmission, planetary gear trains, mechanical efficiency, power-flow, global efficiency, energy management strategy, control strategy, torque allocation control logic, model predictive control, Pontryagin&rsquo, s minimum principle, drivability and emission trade-off, emissions reduction, pollutant emissions, CO2 emission, NOx emissions, battery ageing, battery lifetime, battery temperature, calibration optimization, thermal management, hydrogen, floating PV system,  , thema EDItEUR:T Technology, Engineering, Agriculture, Industrial processes:TB Technology: general issues, thema EDItEUR:T Technology, Engineering, Agriculture, Industrial processes:TB Technology: general issues:TBX History of engineering and technology, thema EDItEUR:T Technology, Engineering, Agriculture, Industrial processes:TG Mechanical engineering and materials
File Description: application/octet-stream
Contributors: Castillo, Oscar
Subject Terms: fuzzy-sets, fuzzy-random variables, distribution generating function, fuzzy binomial distribution, Fuchs distribution, MADM, Aczel–Alsina operations, IVIFNs, IVIF Aczel–Alsina geometric aggregation operators, interval type-3 fuzzy theory, fuzzy control, manufacturing, Vietè’s method, Newton–Raphson method, regula falsi method, testing of algorithms, foundations of mathematics, arithmetic, set theory, spatial fuzzy C-means, COVID-19, rustbelt states, extrapolation, interpolation, proving, refuting, improving, fuzzy set, linear Diophantine fuzzy sets, linear Diophantine fuzzy relations, level cut relations, rough approximations on two universes, decision analysis, multi-valued logic trees, hydraulic proportional valve, weighting factors, optimization, granular computing, formal concept analysis, intuitionistic fuzzy sets, periodicity, spatial and temporal aspects, knowledge discovery, thema EDItEUR:G Reference, Information and Interdisciplinary subjects:GP Research and information: general, thema EDItEUR:P Mathematics and Science
File Description: image/jpeg
Contributors: Lamata, Lucas
Subject Terms: distributed Bragg reflector, flip-chip, micro-LED, FDTD, Frenkel–Kontorova model, average distance, finite chain, tensile force, twist map, 2D nanosheet, nanomaterial, layered material, monolayer, medical imaging, CBRAM, synaptic device, AlN, barrier layer, potentiation, depression, logic operations, silicon-on-silica waveguide, contrast ratio, organic electronic devices, VTP, J-V characteristics, photoactive films, quantum protocol, quantum cryptography, quantum key distribution, error threshold, modification of the quantum protocol BB84, molecular beam epitaxy, A3B5, semiconductor nanostructures, quantum dots, photoluminescence, silicon, PEDOT: PSS, heterojunction, reflectance, solar cell, organic solvents, cyclic voltammetry, glucose sensor, graphene oxide, microwave heating, phytochemicals, electroluminescence, InAs, InSb, type II heterojunction, condition-based maintenance, artificial neural network, inverse fluidized bed reactor, hybrid quantum dots, cancer, bioimaging, theranostic, photodynamic therapy, photothermal therapy, quantum dot, confinement, tunable photoexcitation, quantum dot laser, carbon dot, quantum dots photodetector, thema EDItEUR:G Reference, Information and Interdisciplinary subjects:GP Research and information: general, thema EDItEUR:P Mathematics and Science:PH Physics
File Description: image/jpeg
Contributors: Dinh, Thach Ngoc, Kamal, Shyam, Pandey, Rajesh Kumar
Subject Terms: fractional fourier transform, weighted-type fractional fourier transform, multiweighted-type fractional Fourier transform, unitarity, direct autotuning methods, indirect autotuning methods, fractional-order controllers, simulation results, interval analysis, interval estimator, finite-time convergence, bounded uncertainties, infectious diseases, SEIR epidemic model, fractional calculus, neutral systems, fixed-point theory, distributed interval observer, fractional-order multiagent systems, monotone system theory, generalized Caputo derivate, fractional diffusion equation, finite difference method, collocation method, error, stability and convergence analysis, autonomous underwater vehicle, fuzzy logic control, particle swarm optimization algorithm, initial value problem, fractional differential systems, fractional integral equation, infinite-state approach, Riemann–Liouville integral, frequency distributed exponential function, fractional-order differential equations, verification of pseudo-state enclosures, Mittag-Leffler-type enclosures, exponential enclosures, fractional order, synchronization, event triggered, uncertain, bic Book Industry Communication:G Reference, information & interdisciplinary subjects:GP Research & information: general, bic Book Industry Communication:P Mathematics & science:PH Physics
File Description: image/jpeg
Contributors: Eyghen, Hans Van
Subject Terms: natural theology, spirits, demonology, classical theism, neoclassical theism, process theism, monopolar theism, dipolar theism, Charles Hartshorne, Alfred North Whitehead, Joshua Sijuwade, ghosts, demons, angels, spiritual entities, inference to the best explanation, the scientific method, the criteria of adequacy, methodological naturalism, the supernatural, Satan, metaphysics, gaps-based objections, mental disorders, cognitive science, devil, explanatory reasoning, animism, common consent arguments, disagreement, social epistemology, religious experience, Bengal, ritual, body, sound, affect, drum, dhak, Durga, Shiva, gnoseology, mind, Giordano Bruno, Wang Yangming, colonialism, ethics, South Asia, interpretation, explication, logic, belief, the West, Yoga, dharma, neopagan, pagan, Asatru, soteriology, Axial Age, mythology, Norse, classical Greece, John Hick, Paul Tillich, Mircea Eliade, sacred space, karma, rebirth, merit, transfer of merit, philosophy of religion, Plato, platonic forms, Afro-Brazilian religions, Candomblé, Umbanda, religious practice, religious cognition, embodied paradigm, conceptual metaphor, extended mind, languaging, enactivism, bic Book Industry Communication:H Humanities:HR Religion & beliefs, thema EDItEUR:Q Philosophy and Religion:QR Religion and beliefs
File Description: image/jpeg
Contributors: Ali, Jan A.
Subject Terms: the Qur’an, exegesis, ijtihad, revival, renewal, modernity, Tabligh Jama’at, emotion work, emotions, framing, social transformation, extremism(s), Islamism, eco-radicals, frames, Tajdid, Australian Muslims, Said Nursi, Hizmet Movement, mosque open day, Muslims in the West, Australian Intercultural Society, Fethullah Gülen, Affinity Intercultural Society, Muslim consumer ethics, youth, media, digital age, Hizmet, revivalism, revivalist movements, education, interfaith dialogue, intercultural dialogue, Islamic movements, multiculturalism, cosmopolitanism, Tablighi Jamaat, COVID-19, WhatsApp, traditional, Islamic revivalist movement, digital religion, Pakistan, netnography, logics, authority, Salafism, reversion, deprivation, women movements, ‘Aisyiyah, Muhammadiyah, modernism, literacy, Indonesian Islam, crisis of modernity, Islamic revivalism, Islamization of modernity, rationality, secularism, Maulana Tariq Jamil, Tablighi Jama’at, Raiwind, Deoband, Islam in Pakistan, ulama, religious authority, popular preachers, Islamic televangelists, da’wa, thema EDItEUR:N History and Archaeology:NH History, thema EDItEUR:J Society and Social Sciences:JB Society and culture: general:JBF Social and ethical issues, thema EDItEUR:J Society and Social Sciences:JH Sociology and anthropology:JHM Anthropology:JHMC Social and cultural anthropology
File Description: application/octet-stream