Authors: Sangiorgi, Daniela, Vink, Josina Elizabeth, Farr, Michelle C, Mulvale, Gillian, Warwick, Laura
Superior Title: Sangiorgi , D , Vink , J E , Farr , M C , Mulvale , G & Warwick , L 2022 , ' Designing as negotiating across logic multiplicity : The case of mental healthcare transformation toward co-design and co-production ' , International Journal of Design , vol. 16 , no. 1 , pp. 35-54 . https://doi.org/10.57698/v16i1.03
Subject Terms: Co-design, Mental Health, Logic Multiplicity, Co-Production Regimes, Institutional Logics
File Description: application/pdf
Relation: https://research-information.bris.ac.uk/en/publications/4834ac30-0f5f-4d22-bc37-3b5bc5d3b7a8
Authors: Jones, Eddie C, Ong, Luke, Ramsay, Steven
Contributors: Jhala, Ranjit, Dillig, Isil
Superior Title: Jones , E C , Ong , L & Ramsay , S 2022 , CycleQ : An Efficient Basis for Cyclic Equational Reasoning . in R Jhala & I Dillig (eds) , PLDI 2022 : Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation . Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) , Association for Computing Machinery (ACM) , pp. 395-409 , The 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation , San Diego, California , United States , 13/06/22 . https://doi.org/10.1145/3519939.3523731
Subject Terms: /dk/atira/pure/core/keywords/programming_languages, name=Programming Languages, Theory of computation, Equational logic and rewriting, Logic and verification
File Description: application/pdf
Relation: https://research-information.bris.ac.uk/en/publications/427ccfbc-5dc6-4de6-9e47-4c1ba2dac2ab; urn:ISBN:9781450392655
Authors: Yang, F, Singh, Manikant, Uren, Michael J, Martin, Trevor, Hirshy, Hassan, Casbon, Michael A., Tasker, Paul J., Kuball, Martin H H
Superior Title: Yang , F , Singh , M , Uren , M J , Martin , T , Hirshy , H , Casbon , M A , Tasker , P J & Kuball , M H H 2022 , ' Study of Drain Injected Breakdown Mechanisms in AlGaN/GaN-on-SiC HEMTs ' , IEEE Transactions on Electron Devices , vol. 69 , no. 2 , pp. 525-530 . https://doi.org/10.1109/TED.2021.3138841
Subject Terms: Electric breakdown, Voltage measurement, Current measurement, Logic gate, MODFETs, Iron, HEMTs
File Description: application/pdf
Authors: Pansera, Mario, Marsh, Alex D, Owen, Richard, Lopez, Jesus Arturo Flores, Ulloa, Jessica De Alba
Superior Title: Pansera , M , Marsh , A D , Owen , R , Lopez , J A F & Ulloa , J D A 2022 , ' Exploring citizen participation in smart city development in Mexico City: an institutional logics approach ' , Organization Studies . https://doi.org/10.1177/01708406221094194
Subject Terms: Smart Cities, Mexico City, digital governance, global south, institutional logics
File Description: application/pdf
Relation: https://research-information.bris.ac.uk/en/publications/30976db7-bc69-4670-afc2-799559af0157
Availability:
https://doi.org/10.1177/01708406221094194
https://hdl.handle.net/1983/30976db7-bc69-4670-afc2-799559af0157
https://research-information.bris.ac.uk/en/publications/30976db7-bc69-4670-afc2-799559af0157
https://research-information.bris.ac.uk/ws/files/317459825/Organization_Studies_Smart_Cities_Institutional_Logics_Accepted_Manuscript.pdf
Superior Title: Gratzer , D , Cavallo , E , Kavvos , G A , Guatto , A & Birkedal , L 2022 , ' Modalities and Parametric Adjoints ' , ACM Transactions on Computational Logic , vol. 23 , no. 3 , 18 , pp. 1-29 . https://doi.org/10.1145/3514241
Subject Terms: /dk/atira/pure/core/keywords/programming_languages, Programming Languages, modal logic, category theory, type theory
File Description: application/pdf
Authors: Kavvos, G. A.
Superior Title: Kavvos , G A 2020 , ' Dual-Context Calculi for Modal Logic ' , Logical Methods in Computer Science (LMCS) , vol. 16 , no. 3 , pp. 10:1–10:66 . https://doi.org/10.23638/LMCS-16(3:10)2020
Subject Terms: /dk/atira/pure/core/keywords/programming_languages, Programming Languages, modal logic, Curry-Howard, lambda calculus, modal type theory, category theory, categorical logic
File Description: application/pdf
Authors: Kavvos, G. A., Gratzer, Daniel, Nuyts, Andreas, Birkedal, Lars
Superior Title: Kavvos , G A , Gratzer , D , Nuyts , A & Birkedal , L 2021 , ' Multimodal Dependent Type Theory ' , Logical Methods in Computer Science (LMCS) , vol. 17 , no. 3 , pp. 11:1-11:67 . https://doi.org/10.46298/lmcs-17(3:11)2021
Subject Terms: /dk/atira/pure/core/keywords/programming_languages, Programming Languages, modality, modal types, type theory, category theory, proof assistant, modal logic
File Description: application/pdf
Availability:
https://doi.org/10.46298/lmcs-17(3:11)2021
https://hdl.handle.net/1983/96782a92-5a78-4625-b5b6-9f2a171a9e50
https://research-information.bris.ac.uk/en/publications/96782a92-5a78-4625-b5b6-9f2a171a9e50
https://research-information.bris.ac.uk/ws/files/283422581/2011.15021.pdf
https://lmcs.episciences.org/7713
Authors: Qian, Zesen, Kavvos, G. A., Birkedal, Lars
Superior Title: Qian , Z , Kavvos , G A & Birkedal , L 2021 , ' Client-Server Sessions in Linear Logic ' , Proceedings of the ACM on Programming Languages , vol. 5 , no. ICFP , 62 . https://doi.org/10.1145/3473567
Subject Terms: /dk/atira/pure/core/keywords/programming_languages, Programming Languages, session types, linear logic, propositions as sessions, Curry-Howard, calculus, coexponential modality, client-server architecture
File Description: application/pdf
Availability:
https://doi.org/10.1145/3473567
https://hdl.handle.net/1983/8657a83e-507c-4ccf-b39b-a0b2ff29b7d3
https://research-information.bris.ac.uk/en/publications/8657a83e-507c-4ccf-b39b-a0b2ff29b7d3
https://research-information.bris.ac.uk/ws/files/286405141/icfp21main_p4_p_590b69bc2d_52744_final.pdf
Authors: Tahko, Tuomas E
Superior Title: Tahko , T E 2019 , ' A Survey of Logical Realism ' , Synthese , vol. 198 , no. 5 , pp. 4775-4790 . https://doi.org/10.1007/s11229-019-02369-5
Subject Terms: Philosophy, Logic, Metaphysics, Metaphysics of Logic, Logical Realism
File Description: application/pdf
Availability:
https://doi.org/10.1007/s11229-019-02369-5
https://hdl.handle.net/1983/16699396-9fab-42be-9570-9298015378db
https://research-information.bris.ac.uk/en/publications/16699396-9fab-42be-9570-9298015378db
https://research-information.bris.ac.uk/ws/files/279796039/Tahko2021_Article_ASurveyOfLogicalRealism.pdf
Authors: Antrobus, Rob, Green, Benjamin, Frey, Sylvain, Rashid, Awais
Superior Title: Antrobus , R , Green , B , Frey , S & Rashid , A 2019 , ' The Forgotten I in IIoT : A Vulnerability Scanner for Industrial Internet of Things ' , Paper presented at Living in the Internet of Things , London , United Kingdom , 1/05/19 - 2/05/19 .
Subject Terms: /dk/atira/pure/core/keywords/cyber_security, Cyber Security, security vulnerabilities, industrial control systems, cyber-physical systems, industrial IoT, Programmable logic controllers
File Description: application/pdf
Authors: Liu, Dawei, Dymond, Harry C P, Hollis, Simon J, Wang, Jianjing, Mcneill, J N, Stark, Bernard H, Pamunuwa, I D B
Superior Title: Liu , D , Dymond , H C P , Hollis , S J , Wang , J , Mcneill , J N , Stark , B H & Pamunuwa , I D B 2020 , ' Full custom design of an arbitrary waveform gate driver with 10 GHz waypoint rates for GaN FETs ' , IEEE Transactions on Power Electronics , pp. 8267 - 8279 . https://doi.org/10.1109/TPEL.2020.3044874
Subject Terms: /dk/atira/pure/core/keywords/faculty_of_enigneering/photonics_and_quantum, name=Photonics and Quantum, Clocks, Logic gates, Gate drivers, Transient analysis, Gallium nitride, Integrated circuits, Switches
File Description: application/pdf
Relation: https://research-information.bris.ac.uk/en/publications/d97465a7-ff0b-422b-a71e-6527cd0b5d56
Authors: Bernardi, Roberta, Exworthy, Mark
Superior Title: Bernardi , R & Exworthy , M 2020 , ' Clinical managers' identity at the crossroad of multiple institutional logics in IT innovation : the case study of a healthcare organisation in England ' , Information Systems Journal , vol. 30 , no. 3 , pp. 566-595 . https://doi.org/10.1111/isj.12267
Subject Terms: /dk/atira/pure/core/keywords/digital_societies, name=Digital Societies, /dk/atira/pure/core/keywords/health_science_and_technology, name=Health and Wellbeing, /dk/atira/pure/core/keywords/public_management, name=MGMT Public Management, /dk/atira/pure/core/keywords/innovation_studies_and_technology, name=MGMT Innovation Studies and Technology, IT innovation, health care, institutional logics, professional identities, telehealth
File Description: application/pdf
Relation: https://research-information.bris.ac.uk/en/publications/51b68a58-78b6-4e93-b69e-442273c34c59
Authors: Pettigrew, Richard G
Superior Title: Pettigrew , R G 2020 , ' Logical ignorance and logical learning ' , Synthese . https://doi.org/10.1007/s11229-020-02699-9
Subject Terms: Bayesian epistemology, Logical omniscience, Epistemology of logic, Probabilism, Conditionalization, Bayesian updating, Dutch Book arguments, Accuracy dominance arguments, Accuracy-first epistemology, Epistemic utility theory
File Description: application/pdf
Relation: https://research-information.bris.ac.uk/en/publications/89bd60cb-aeb5-49a6-b622-f12b7f7741c2
Authors: Jahdi, Saeed
Superior Title: Jahdi , S 2020 , Performance of Wide-Bandgap Gallium Nitride vs Silicon Carbide Cascode Transistors . in 2020 IEEE Energy Conversion Congress and Exposition (ECCE) . Institute of Electrical and Electronics Engineers (IEEE) , pp. 239-245 , 12th Annual IEEE Energy Conversion Congress and Exposition, ECCE 2020 , Virtual, Detroit , United States , 11/10/20 . https://doi.org/10.1109/ecce44975.2020.9236187
Subject Terms: Gallium nitride, Silicon carbide, Logic gates, HEMTs, Silicon, MOSFET, Switches
File Description: application/pdf
Authors: Ozan, Sarmad H O, Nair, Manish, Cappello, Tommaso, Beach, Mark A
Superior Title: Ozan , S H O , Nair , M , Cappello , T & Beach , M A 2020 , Low-Noise Amplifier with Wideband Feedforward Linearisation for Mid-Band 5G Receivers . in 2020 IEEE Asia Pacific Conference on Circuits and Systems (APCCAS) . Institute of Electrical and Electronics Engineers (IEEE) . https://doi.org/10.1109/APCCAS50809.2020.9301695
Subject Terms: Wideband, Transistors, Logic gates, Linearity, Topology, Noise measurement, Radio frequency, Cascode, feedforward, fifth-generation (5G), linearisation, low noise amplifier, third-order intercept point (IP3), third-order intermodulation (IM3)
File Description: application/pdf
Availability:
https://doi.org/10.1109/APCCAS50809.2020.9301695
https://hdl.handle.net/1983/bb1ba5cb-c9cb-45b5-8ebe-ea86d438f0b5
https://research-information.bris.ac.uk/en/publications/bb1ba5cb-c9cb-45b5-8ebe-ea86d438f0b5
https://research-information.bris.ac.uk/ws/files/258681088/camera_ready_manuscript.pdf
Authors: Mcneill, J N, Jin, Bosen, Yuan, Xibo, Laird, Ian
Superior Title: Mcneill , J N , Jin , B , Yuan , X & Laird , I 2020 , ' Evaluation of the off-State Base-Emitter Voltage Requirement of the SiC BJT With a Regenerative Proportional Base Driver Circuit and Their Application in an Inverter ' , IEEE Transactions on Industrial Electronics , vol. 67 , no. 9 , pp. 7179 - 7189 . https://doi.org/10.1109/TIE.2019.2938492
Subject Terms: Silicon carbide, Driver circuits, Logic gates, Integrated circuits, Current transformers, Silicon, MOSFET, Base driver, d $v$ /d $t$, power converter, SiC bipolar junction transistor (BJT), simultaneous conduction
File Description: application/pdf
Authors: Alilou, Hossein, Moghaddam Nia, Alireza, Saravi, Mohsen Mohseni, salajegheh, ali, Han, Dawei, Bakhtiarienayat, Bahram
Superior Title: Alilou , H , Moghaddam Nia , A , Saravi , M M , salajegheh , A , Han , D & Bakhtiarienayat , B 2019 , ' A novel approach for selecting sampling points locations to river water quality monitoring in data-scarce regions ' , Journal of Hydrology , vol. 573 , pp. 109-122 . https://doi.org/10.1016/j.jhydrol.2019.03.068
Subject Terms: /dk/atira/pure/core/keywords/water_and_environmental_engineering, name=Water and Environmental Engineering, ANP, Fuzzy logic, Mixing length procedure, Siting sampling locations, TPPS, Water quality monitoring network
File Description: application/pdf
Relation: https://research-information.bris.ac.uk/en/publications/b0c1f430-12b7-433a-9ce2-d02c41c50582
Availability:
https://doi.org/10.1016/j.jhydrol.2019.03.068
https://hdl.handle.net/1983/b0c1f430-12b7-433a-9ce2-d02c41c50582
https://research-information.bris.ac.uk/en/publications/b0c1f430-12b7-433a-9ce2-d02c41c50582
https://research-information.bris.ac.uk/ws/files/193340741/Manuscript_of_Alilou_et_al._submitted.pdf
http://www.scopus.com/inward/record.url?scp=85063393674&partnerID=8YFLogxK
Authors: Hu, Tai-Wei, Kaneko, Mamoru, Suzuki, Nobuyuki
Superior Title: Hu , T-W , Kaneko , M & Suzuki , N 2019 , ' Small Infinitary Epistemic Logics ' , Review of Symbolic Logic . https://doi.org/10.1017/S1755020319000029
Subject Terms: /dk/atira/pure/core/keywords/econ_microeconomic_theory, ECON Microeconomic Theory, Infinitary Epistemic Logic, Completeness, Rasiowa-Sikorski Lemma, Tanaka-Ono Lemma, Common knowledge, Explicit Definability, Game Theory, Rationalizability
File Description: application/pdf
Authors: Tatton-Brown, Oliver M W
Superior Title: Tatton-Brown , O M W 2019 , ' Primitive Recursion and Isaacson's Thesis ' , Thought: A Journal of Philosophy , vol. 8 , no. 1 , pp. 4-15 . https://doi.org/10.1002/tht3.399
Subject Terms: Arithmetic, Double Ancestral, Ancestral Logic, Incompleteness, Nominalism
File Description: application/pdf
Availability:
https://doi.org/10.1002/tht3.399
https://hdl.handle.net/1983/1ac9590c-d7f8-445c-b5f8-f56c4335b2ca
https://research-information.bris.ac.uk/en/publications/1ac9590c-d7f8-445c-b5f8-f56c4335b2ca
https://research-information.bris.ac.uk/ws/files/186678229/Prim.pdf
http://www.scopus.com/inward/record.url?scp=85057896433&partnerID=8YFLogxK
Authors: Horsten, Leon, Speranski, Stanislav O.
Superior Title: Horsten , L & Speranski , S O 2019 , ' Reasoning about Arbitrary Natural Numbers from a Carnapian Perspective ' , Journal of Philosophical Logic , vol. 48 , no. 4 , pp. 685-707 . https://doi.org/10.1007/s10992-018-9490-1
Subject Terms: Arbitrary objects, Generic structures, Individual concepts, Quantified modal logic
File Description: application/pdf
Availability:
https://doi.org/10.1007/s10992-018-9490-1
https://hdl.handle.net/1983/fe6e0342-802e-4805-9a6b-05101c34f425
https://research-information.bris.ac.uk/en/publications/fe6e0342-802e-4805-9a6b-05101c34f425
https://research-information.bris.ac.uk/ws/files/205917958/Full_text_PDF_accepted_author_manuscript_.pdf
http://www.scopus.com/inward/record.url?scp=85055956089&partnerID=8YFLogxK