Works matching DE "BOOLEAN matrices"

Results: 254

Evaluation of the kangaroo method during the Covid-19 pandemic in two reference maternity hospitals in Pernambuco.

Published in:

Brazilian Journal of Mother & Child Health (BJMCH) / Revista Brasileira de Saude Materno Infantil (RBSMI), 2024, v. 24, p. 1, doi. 10.1590/1806-9304202400000064-en

By:

Alves Cândido, Joice Luiza;
Germano de Frias, Paulo;
Wanick Sarinho, Silvia

Publication type:

Article

Toward a boundary regional control problem for Boolean cellular automata.

Published in:

Natural Computing, 2018, v. 17, n. 3, p. 479, doi. 10.1007/s11047-017-9626-1

By:

Bagnoli, Franco;
El Yacoubi, Samira;
Rechtman, Raúl

Publication type:

Article

The computational power of membrane systems under tight uniformity conditions.

Published in:

Natural Computing, 2011, v. 10, n. 1, p. 613, doi. 10.1007/s11047-010-9244-7

By:

Murphy, Niall;
Woods, Damien

Publication type:

Article

On-the-fly model checking for extended action-based probabilistic operators.

Published in:

International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 5, p. 563, doi. 10.1007/s10009-018-0499-0

By:

Mateescu, Radu;
Requeno, José Ignacio

Publication type:

Article

Don’t care in SMT: building flexible yet efficient abstraction/refinement solvers.

Published in:

International Journal on Software Tools for Technology Transfer, 2010, v. 12, n. 1, p. 23, doi. 10.1007/s10009-009-0133-2

By:

Bauer, Andreas;
Leucker, Martin;
Schallhart, Christian;
Tautschnig, Michael

Publication type:

Article

A FETI B-differentiable equation method for elastic frictional contact problem with nonconforming mesh.

Published in:

Computational Mechanics, 2024, v. 73, n. 5, p. 1095, doi. 10.1007/s00466-023-02402-y

By:

Yin, Zhao;
Hu, Zhiqiang;
Gao, Hangduo;
Lin, Gao

Publication type:

Article

Reduction process based on proper orthogonal decomposition for dual formulation of dynamic substructures.

Published in:

Computational Mechanics, 2019, v. 64, n. 5, p. 1237, doi. 10.1007/s00466-019-01702-6

By:

Im, Sunyoung;
Kim, Euiyoung;
Cho, Maenghyo

Publication type:

Article

Geometrically minimal realizations of Boolean controlled systems.

Published in:

Automation & Remote Control, 2014, v. 75, n. 3, p. 503, doi. 10.1134/S0005117914030084

By:

Vasil'ev, O.

Publication type:

Article

ViSiBooL--visualization and simulation of Boolean networks with temporal constraints.

Published in:

Bioinformatics, 2017, v. 33, n. 4, p. 601, doi. 10.1093/bioinformatics/btw661

By:

Schwab, Julian;
Burkovski, Andre;
Siegle, Lea;
Müssel, Christoph;
Kestler, Hans A.

Publication type:

Article

Edge-based sensitivity analysis of signaling networks by using Boolean dynamics.

Published in:

Bioinformatics, 2016, v. 32, n. 17, p. i763, doi. 10.1093/bioinformatics/btw464

By:

Hung-Cuong Trinh;
Yung-Keun Kwon

Publication type:

Article

Inferring Boolean network structure via correlation.

Published in:

Bioinformatics, 2011, v. 27, n. 11, p. 1529, doi. 10.1093/bioinformatics/btr166

By:

Maucher, Markus;
Kracher, Barbara;
Kühl, Michael;
Kestler, Hans A.

Publication type:

Article

Inferring combinatorial association logic networks in multimodal genome-wide screens.

Published in:

Bioinformatics, 2010, v. 26, n. 12, p. i149, doi. 10.1093/bioinformatics/btq211

By:

De Ridder, Jeroen;
Gerrits, Alice;
Bot, Jan;
De Haan, Gerald;
Reinders, Marcel;
Wessels, Lodewyk

Publication type:

Article

A CoD-based reduction algorithm for designing stationary control policies on Boolean networks.

Published in:

Bioinformatics, 2010, v. 26, n. 12, p. 1556, doi. 10.1093/bioinformatics/btq225

By:

Ghaffari, Noushin;
Ivanov, Ivan;
Qian, Xiaoning;
Dougherty, Edward R.

Publication type:

Article

BoolNet—an R package for generation, reconstruction and analysis of Boolean networks.

Published in:

Bioinformatics, 2010, v. 26, n. 10, p. 1378, doi. 10.1093/bioinformatics/btq124

By:

Müssel, Christoph;
Hopfensitz, Martin;
Kestler, Hans A.

Publication type:

Article

The monoid of 2×2 triangular boolean matrices under skew transposition is non-finitely based.

Published in:

Semigroup Forum, 2020, v. 100, n. 1, p. 153, doi. 10.1007/s00233-019-10074-5

By:

Gao, Meng;
Zhang, Wen Ting;
Luo, Yan Feng

Publication type:

Article

Explicit formulae for the greatest least-squares and minimum norm g-inverses and the unique group inverse of matrices over commutative residuated dioids.

Published in:

Semigroup Forum, 2016, v. 92, n. 3, p. 541, doi. 10.1007/s00233-015-9771-8

By:

Hashemi, Behnam;
Tavakolipour, Hanieh;
Nasrollahi Shirazi, Mahsa

Publication type:

Article

A proof of Devadze's theorem on generators of the semigroup of Boolean matrices.

Published in:

Semigroup Forum, 2011, v. 83, n. 2, p. 281, doi. 10.1007/s00233-011-9305-y

By:

Konieczny, Janusz

Publication type:

Article

Application of Spatial Analysis Techniques to Select the Most Suitable Areas for Flood Spreading.

Published in:

Water Resources Management, 2013, v. 27, n. 8, p. 3071, doi. 10.1007/s11269-013-0333-0

By:

Moradi Dashtpagerdi, Mostafa;
Nohegar, Ahmad;
Vagharfard, Hassan;
Honarbakhsh, Afshin;
Mahmoodinejad, Vafa;
Noroozi, Akbar;
Ghonchehpoor, Diba

Publication type:

Article

Multifunctional Nanoionic Devices Enabling Simultaneous Heterosynaptic Plasticity and Efficient In-Memory Boolean Logic.

Published in:

Advanced Electronic Materials, 2017, v. 3, n. 7, p. n/a, doi. 10.1002/aelm.201700032

By:

Yang, Yuchao;
Yin, Minghui;
Yu, Zhizhen;
Wang, Zongwei;
Zhang, Teng;
Cai, Yimao;
Lu, Wei D.;
Huang, Ru

Publication type:

Article

A Word of Welcome From the Editor-in-Chief.

Published in:

Kyiv-Mohyla Humanities Journal, 2020, n. 7, p. V, doi. 10.18523/kmhj219640.2020-7.v-vii

By:

Morenets, Volodymyr

Publication type:

Article

Dualization Problem over the Product of Chains: Asymptotic Estimates for the Number of Solutions.

Published in:

Doklady Mathematics, 2018, v. 98, n. 3, p. 564, doi. 10.1134/S1064562418070086

By:

Djukova, E. V.;
Maslyakov, G. O.;
Prokofjev, P. A.

Publication type:

Article

Sparse probabilistic Boolean network problems: A partial proximal-type operator splitting method.

Published in:

Journal of Industrial & Management Optimization, 2019, v. 15, n. 4, p. 1881, doi. 10.3934/jimo.2018127

By:

Deng, Kangkang;
Peng, Zheng;
Chen, Jianli

Publication type:

Article

Exact and Robust (Self-)Intersections for Polygonal Meshes.

Published in:

Computer Graphics Forum, 2010, v. 29, n. 2, p. 397, doi. 10.1111/j.1467-8659.2009.01609.x

By:

Campen, Marcel;
Kobbelt, Leif

Publication type:

Article

Emergence of Bitcoin as an Investment Alternative: A Systematic Review and Research Agenda.

Published in:

International Journal of Business & Information, 2019, v. 14, n. 1, p. 47, doi. 10.6702/ijbi.201903_14(1).0003

By:

Sharma, Gagan Deep;
Jain, Mansi;
Mahendru, Mandeep;
Bansal, Sanchita;
Kumar, Gajendra

Publication type:

Article

INFORMACIONA BEZBEDNOST I RANJIVOST "PAMETNIH" ELEKTROENERGETSKIH MREŽA.

Published in:

InfoM, 2012, n. 42, p. 13

By:

Jovanović, Slobodan

Publication type:

Article

Universal Design for Learning (UDL) in Library Instruction.

Published in:

College & Undergraduate Libraries, 2012, v. 19, n. 1, p. 33, doi. 10.1080/10691316.2012.652549

By:

Zhong, Ying

Publication type:

Article

Creativity, innovation and future - the key points regarding the "architecture" for the production of agro-textiles.

Published in:

Industria Textila, 2019, v. 70, n. 6, p. 547, doi. 10.35530/IT.070.06.1624

By:

CÂRPUŞ, EFTALEA;
DOROGAN, ANGELA;
MATACHE, MIHAI-GABRIEL;
VLĂDUT, VALENTIN;
MUSCALU, ADRIANA

Publication type:

Article

Simultaneous G‐Quadruplex DNA Logic.

Published in:

Chemistry - A European Journal, 2018, v. 24, n. 19, p. 4820, doi. 10.1002/chem.201800756

By:

Bader, Antoine;
Cockroft, Scott L.

Publication type:

Article

Construction and learnability of canonical Horn formulas.

Published in:

Machine Learning, 2011, v. 85, n. 3, p. 273, doi. 10.1007/s10994-011-5248-5

By:

Arias, Marta;
Balcázar, José

Publication type:

Article

Combining Swap Structures: The Case of Paradefinite Ivlev-Like Modal Logics Based on FDE.

Published in:

Studia Logica, 2025, v. 113, n. 2, p. 273, doi. 10.1007/s11225-024-10121-5

By:

Coniglio, Marcelo E.

Publication type:

Article

Proof-Theoretic Aspects of Paraconsistency with Strong Consistency Operator.

Published in:

Studia Logica, 2025, v. 113, n. 2, p. 419, doi. 10.1007/s11225-023-10089-8

By:

Arce Pistone, Victoria;
Figallo, Martín

Publication type:

Article

Stefano Bonzio, Francesco Paoli, Michele Pra Baldi, Logics of Variable Inclusion, vol. 59 of Trends in Logic, Springer, 2022, pp. 221+x; ISBN: 978-3-031-04296-6 (Hardcover) 106.99€, ISBN: 978-3-031-04299-7 (eBook) 85.59€.

Published in:

2023

By:

Zamperlin, Nicolò

Publication type:

Book Review

有限FI代数的矩阵表示.

Published in:

Journal of South China Normal University (Natural Science Edition) / Huanan Shifan Daxue Xuebao (Ziran Kexue Ban), 2022, v. 54, n. 6, p. 102, doi. 10.6054/j.jscnun.2022091

By:

韦安丽;
李莹;
赵建立;
丁文旭

Publication type:

Article

Detection and isolation of false data injection attack via adaptive Kalman filter bank.

Published in:

Journal of Control & Decision, 2024, v. 11, n. 1, p. 60, doi. 10.1080/23307706.2022.2139299

By:

Luo, Xiaoyuan;
Zhu, Minggao;
Wang, Xinyu;
Guan, Xinping

Publication type:

Article

Postbuckling behaviour of graphene-reinforced plate with interfacial effect.

Published in:

Archives of Mechanics, 2018, v. 70, n. 1, p. 3

By:

SRIVASTAVA, A. KUMAR;
KUMAR, D.

Publication type:

Article

Quantum annealing algorithms for Boolean tensor networks.

Published in:

Scientific Reports, 2022, v. 12, n. 1, p. 1, doi. 10.1038/s41598-022-12611-9

By:

Pelofske, Elijah;
Hahn, Georg;
O'Malley, Daniel;
Djidjev, Hristo N.;
Alexandrov, Boian S.

Publication type:

Article

Boolean Operators to Improve Multi-Objective Evolutionary Algorithms for Designing Optical Networks.

Published in:

Journal of Microwaves, Optoelectronics & Electromagnetic Applications, 2016, v. 15, n. 4, p. 319, doi. 10.1590/2179-10742016v15i4678

By:

da S. Lima, Nadja J.;
Bastos-Filho, Carmelo J. A.;
Araújo, Danilo R. B.

Publication type:

Article

Interval numbers BON<sup>r,q</sup>‐OWA operator and its application to multiattribute decision‐making.

Published in:

International Journal of Intelligent Systems, 2021, v. 36, n. 11, p. 6531, doi. 10.1002/int.22559

By:

Zeng, Shijing;
Lv, Wangyong;
Li, Tingting;
Zhou, Jiao

Publication type:

Article

Computational properties of finite PNmatrices.

Published in:

Journal of Logic & Computation, 2022, v. 32, n. 8, p. 1694, doi. 10.1093/logcom/exac073

By:

Filipe, Pedro;
Marcelino, Sérgio;
Caleiro, Carlos

Publication type:

Article

Accelerating LTL satisfiability checking by SAT solvers.

Published in:

Journal of Logic & Computation, 2018, v. 28, n. 6, p. 1011, doi. 10.1093/logcom/exy013

By:

Li, Jianwen;
Pu, Geguang;
Zhang, Lijun;
Vardi, Moshe Y;
He, Jifeng

Publication type:

Article

From (Quantified) Boolean Formulae to Answer Set Programming.

Published in:

Journal of Logic & Computation, 2009, v. 19, n. 4, p. 565, doi. 10.1093/logcom/exn041

By:

STÉPHAN, IGOR;
DA MOTA, BENOIT;
LERIA, PASCAL NICOLAS

Publication type:

Article

A Trend Analysis of Information Retrieval Models.

Published in:

International Journal of Advanced Research in Computer Science, 2017, v. 8, n. 5, p. 531

By:

Balamurugan, M.;
Iyswarya, E.

Publication type:

Article

Integrating Geographical Information Systems, Fuzzy Logic and Analytical Hierarchy Process in Modelling Optimum Sites for Locating Water Reservoirs. A Case Study of the Debub District in Eritrea.

Published in:

2011

By:

Tsiko, Rodney G.;
Haile, Tesfalem S.

Publication type:

Case Study

On Tensor Products of Boolean Semi-modules and Their Term Rank Preservers.

Published in:

Southeast Asian Bulletin of Mathematics, 2019, v. 43, n. 3, p. 419

By:

Sassanapitax, L.;
Pianskool, S.;
Siraworakun, A.

Publication type:

Article

Formal Psychological Assessment in Evaluating Depression: A New Methodology to Build Exhaustive and Irredundant Adaptive Questionnaires.

Published in:

PLoS ONE, 2015, v. 10, n. 4, p. 1, doi. 10.1371/journal.pone.0122131

By:

Serra, Francesca;
Spoto, Andrea;
Ghisi, Marta;
Vidotto, Giulio

Publication type:

Article

Using Synchronous Boolean Networks to Model Several Phenomena of Collective Behavior.

Published in:

PLoS ONE, 2014, v. 9, n. 12, p. 1, doi. 10.1371/journal.pone.0115156

By:

Kochemazov, Stepan;
Semenov, Alexander

Publication type:

Article

On Augmented OBDD and Performability for Sensor Networks.

Published in:

International Journal of Performability Engineering, 2010, v. 6, n. 4, p. 331

By:

Herrmann, Johannes U.;
Soh, Sieten;
Rai, Suresh;
West, Geoff

Publication type:

Article

A Boolean System for Biochemical Data Analysis.

Published in:

International Journal of Performability Engineering, 2009, v. 5, n. 3, p. 291

By:

Locks, Mitchell O.

Publication type:

Article

Bounded Boolean Powers and Free Product of GMV-Algebras.

Published in:

International Journal of Theoretical Physics, 2010, v. 49, n. 7, p. 1595, doi. 10.1007/s10773-010-0342-1

By:

Dvurečenskij, Anatolij;
Hyčko, Marek

Publication type:

Article

Genuine paracomplete logics.

Published in:

Logic Journal of the IGPL, 2023, v. 31, n. 5, p. 961, doi. 10.1093/jigpal/jzac060

By:

Macías, Verónica Borja;
Coniglio, Marcelo E;
Hernández-Tello, Alejandro

Publication type:

Article