Works matching DE "BOOLEAN algebra"

Results: 2121

Comprehensive Modeling of Climate Risk in the Dominican Republic Using a Multivariate Simulator.

Published in:

Sustainability (2071-1050), 2025, v. 17, n. 10, p. 4638, doi. 10.3390/su17104638

By:

Torres Valle, Antonio;
Sala Rosario, Juan C.;
Abreu Rojas, Yanelba E.;
Jauregui Haza, Ulises

Publication type:

Article

Generating genus-n-to-m mesh morphing using spherical parameterization.

Published in:

Computer Animation & Virtual Worlds, 2006, v. 17, n. 3/4, p. 433, doi. 10.1002/cav.146

By:

Tong-Yee Lee;
Chih-Yuan Yao;
Hung-Kuo Chu;
Ming-Jen Tai;
Cheng-Chieh Chen

Publication type:

Article

QCA metoda u političkoj znanosti: ključne karakteristike, doprinosi i ograničenja.

Published in:

Politicka Misao: Croatian Political Science Review, 2013, v. 50, n. 1, p. 104

By:

DOLENEC, DANIJELA

Publication type:

Article

Screencasts and Standards: Connecting an Introductory Journalism Research Course with Information Literacy.

Published in:

Communication Teacher, 2014, v. 28, n. 3, p. 188, doi. 10.1080/17404622.2014.911335

By:

Kuban, Adam J.;
Mulligan, Laura MacLeod

Publication type:

Article

Google-eyed over Google!

Published in:

TechTrends: Linking Research & Practice to Improve Learning, 2004, v. 48, n. 2, p. 5, doi. 10.1007/BF02762534

By:

Descy, Don E.

Publication type:

Article

Domination problem for narrow orthogonally additive operators.

Published in:

Positivity, 2017, v. 21, n. 1, p. 23, doi. 10.1007/s11117-016-0401-9

By:

Pliev, Marat

Publication type:

Article

On natural density, orthomodular lattices, measure algebras and non-distributive $$L^p$$ spaces.

Published in:

Positivity, 2016, v. 20, n. 2, p. 399, doi. 10.1007/s11117-015-0363-3

By:

Talponen, Jarno

Publication type:

Article

Doob's optional sampling theorem in Riesz spaces.

Published in:

Positivity, 2011, v. 15, n. 4, p. 617, doi. 10.1007/s11117-011-0114-z

By:

Grobler, J.

Publication type:

Article

Continuous stochastic processes in Riesz spaces: the Doob-Meyer decomposition.

Published in:

Positivity, 2010, v. 14, n. 4, p. 731, doi. 10.1007/s11117-010-0088-2

By:

Grobler, J.

Publication type:

Article

Decomposable L-valued measures as measurable bundles.

Published in:

Positivity, 2010, v. 14, n. 3, p. 395, doi. 10.1007/s11117-009-0025-4

By:

Chilin, Vladimir;
Zakirov, Botir

Publication type:

Article

Erratum to: Computing maximal and minimal trap spaces of Boolean networks.

Published in:

2018

By:

Klarner, Hannes;
Bockmayr, Alexander;
Siebert, Heike

Publication type:

Correction Notice

Synchronism versus asynchronism in monotonic Boolean automata networks.

Published in:

Natural Computing, 2018, v. 17, n. 2, p. 393, doi. 10.1007/s11047-016-9608-8

By:

Noual, Mathilde;
Sené, Sylvain

Publication type:

Article

Nondeterministic seedless oritatami systems and hardness of testing their equivalence.

Published in:

Natural Computing, 2018, v. 17, n. 1, p. 67, doi. 10.1007/s11047-017-9661-y

By:

Han, Yo-Sub;
Kim, Hwee;
Ota, Makoto;
Seki, Shinnosuke

Publication type:

Article

Spatiotemporal pattern queries.

Published in:

GeoInformatica, 2011, v. 15, n. 3, p. 497, doi. 10.1007/s10707-010-0114-3

By:

Sakr, Mahmoud;
Güting, Ralf

Publication type:

Article

Sparse solution of nonnegative least squares problems with applications in the construction of probabilistic Boolean networks.

Published in:

Numerical Linear Algebra with Applications, 2015, v. 22, n. 5, p. 883, doi. 10.1002/nla.2001

By:

Wen, You‐Wei;
Wang, Man;
Cao, Zhiying;
Cheng, Xiaoqing;
Ching, Wai‐Ki;
Vassiliadis, Vassilios S.

Publication type:

Article

On context-aware distributed event dissemination.

Published in:

Personal & Ubiquitous Computing, 2011, v. 15, n. 3, p. 305, doi. 10.1007/s00779-010-0330-8

By:

Chen Lin;
Beihong Jin;
Zhenyue Long;
Haibiao Chen

Publication type:

Article

Optimal resource allocation enables mathematical exploration of microbial metabolic configurations.

Published in:

Journal of Mathematical Biology, 2017, v. 75, n. 6/7, p. 1349, doi. 10.1007/s00285-017-1118-5

By:

Tournier, Laurent;
Goelzer, Anne;
Fromion, Vincent

Publication type:

Article

An abort-aware model of transactional programming.

Published in:

International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 6, p. 537, doi. 10.1007/s10009-011-0203-0

By:

Etessami, Kousha;
Godefroid, Patrice

Publication type:

Article

Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking.

Published in:

International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 4, p. 319, doi. 10.1007/s10009-010-0168-4

By:

Sebastiani, Roberto;
Tonetta, Stefano;
Vardi, Moshe

Publication type:

Article

A survey of new trends in symbolic execution for software testing and analysis.

Published in:

International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 4, p. 339, doi. 10.1007/s10009-009-0118-1

By:

Păsăreanu, Corina;
Visser, Willem

Publication type:

Article

Approximating the safely reusable set of learned facts.

Published in:

International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 4, p. 325, doi. 10.1007/s10009-009-0117-2

By:

Babić, Domagoj;
Hu, Alan

Publication type:

Article

Automated verification of access control policies using a SAT solver.

Published in:

International Journal on Software Tools for Technology Transfer, 2008, v. 10, n. 6, p. 503, doi. 10.1007/s10009-008-0087-9

By:

Hughes, Graham;
Bultan, Tevfik

Publication type:

Article

A uniform framework for weighted decision diagrams and its implementation.

Published in:

International Journal on Software Tools for Technology Transfer, 2008, v. 10, n. 5, p. 425, doi. 10.1007/s10009-008-0069-y

By:

Ossowski, Jörn;
Baier, Christel

Publication type:

Article

CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems.

Published in:

International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 1, p. 37, doi. 10.1007/s10009-005-0194-9

By:

Mateescu, Radu

Publication type:

Article

The saturation algorithm for symbolic state-space exploration.

Published in:

International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 1, p. 4, doi. 10.1007/s10009-005-0188-7

By:

Ciardo, Gianfranco;
Marmorstein, Robert;
Siminiceanu, Radu

Publication type:

Article

Why you should definitely read this special section.

Published in:

International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 1, p. 1, doi. 10.1007/s10009-005-0199-4

By:

Garavel, Hubert;
Hatcliff, John

Publication type:

Article

On the effect of interactions beyond nearest neighbours on non-convex lattice systems.

Published in:

Calculus of Variations & Partial Differential Equations, 2017, v. 56, n. 2, p. 1, doi. 10.1007/s00526-017-1129-5

By:

Alicandro, Roberto;
Lazzaroni, Giuliano;
Palombaro, Mariapia

Publication type:

Article

Logical associative multiprocessor structure.

Published in:

Automation & Remote Control, 2012, v. 73, n. 10, p. 1648, doi. 10.1134/S0005117912100062

By:

Bondarenko, M.;
Hahanov, V.;
Litvinova, E.

Publication type:

Article

Boolean models and planning methods for parallel abstract programs.

Published in:

Automation & Remote Control, 2008, v. 69, n. 8, p. 1423, doi. 10.1134/S0005117908080146

By:

Oparin, G.;
Novopashin, A.

Publication type:

Article

Computing the failure flow parameter in logical-and-probabilistic models by the variable recursive growing method.

Published in:

Automation & Remote Control, 2007, v. 68, n. 9, p. 1618, doi. 10.1134/S0005117907090160

By:

Stepanyants, A. S.

Publication type:

Article

A Mechanism of Uncovering of Quantifiers in Boolean Variables.

Published in:

Automation & Remote Control, 2005, v. 66, n. 10, p. 1628, doi. 10.1007/s10513-005-0196-9

By:

Serikov, Yu.

Publication type:

Article

Boolean Reflexive Control Models and Their Application to Describe the Information Struggle in Socio-Economic Systems.

Published in:

Automation & Remote Control, 2004, v. 65, n. 11, p. 1834, doi. 10.1023/B:AURC.0000047897.05877.d0

By:

Taran, T. A.;
Shemaev, V. N.

Publication type:

Article

Large Systems of Boolean Functions: Realization by Modular Arithmetic Methods.

Published in:

Automation & Remote Control, 2004, v. 65, n. 6, p. 871, doi. 10.1023/B:AURC.0000030901.74901.44

By:

Fin'ko, O. A.

Publication type:

Article

Algorithms for Synthesis of Polynomials Implementing Weakly Specified Boolean Functions and Systems.

Published in:

Automation & Remote Control, 2004, v. 65, n. 6, p. 978, doi. 10.1023/B:AURC.0000030908.29984.ca

By:

Zakrevskii, A. D.

Publication type:

Article

Logical Equations with Applications to Automatic Design and Control.

Published in:

Automation & Remote Control, 2004, v. 65, n. 4, p. 660, doi. 10.1023/B:AURC.0000023543.02315.f5

By:

Zakrevskii, A. D.

Publication type:

Article

Multiplicative Properties of Spectral Walsh Coefficients of the Boolean Function.

Published in:

Automation & Remote Control, 2003, v. 64, n. 12, p. 1938, doi. 10.1023/B:AURC.0000008432.39581.c1

By:

Yanushkevich, C. N.

Publication type:

Article

A Contribution to the Nonparametric Statistics of Particle Systems.

Published in:

ZAMM -- Journal of Applied Mathematics & Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik, 1998, v. 78, p. 941, doi. 10.1002/zamm.19980781543

By:

Heinrich, L.;
Werner, M.

Publication type:

Article

Logical Constraints: The Limitations of QCA in Social Science Research.

Published in:

Political Analysis, 2020, v. 28, n. 4, p. 552, doi. 10.1017/pan.2020.7

By:

Clarke, Kevin A.

Publication type:

Article

Qualitative Comparative Analysis: How Inductive Use and Measurement Error Lead to Problematic Inference.

Published in:

Political Analysis, 2013, v. 21, n. 2, p. 252, doi. 10.1093/pan/mps061

By:

Hug, Simon

Publication type:

Article

Enumeration and extension of non-equivalent deterministic update schedules in Boolean networks.

Published in:

Bioinformatics, 2016, v. 32, n. 5, p. 722, doi. 10.1093/bioinformatics/btv628

By:

Palma, Eduardo;
Salinas, Lilian;
Aracena, Julio

Publication type:

Article

A rate-distortion theory for gene regulatory networks and its application to logic gate consistency.

Published in:

Bioinformatics, 2013, v. 29, n. 9, p. 1166, doi. 10.1093/bioinformatics/btt116

By:

Facchetti, Giuseppe;
Iacono, Giovanni;
De Palo, Giovanna;
Altafini, Claudio

Publication type:

Article

Composition and abstraction of logical regulatory modules: application to multicellular systems.

Published in:

Bioinformatics, 2013, v. 29, n. 6, p. 749, doi. 10.1093/bioinformatics/btt033

By:

Mendes, Nuno D.;
Lang, Frédéric;
Le Cornec, Yves-Stan;
Mateescu, Radu;
Batt, Gregory;
Chaouiya, Claudine

Publication type:

Article

A qualitative continuous model of cellular auxin and brassinosteroid signaling and their crosstalk.

Published in:

Bioinformatics, 2011, v. 27, n. 10, p. 1404, doi. 10.1093/bioinformatics/btr158

By:

Sankar, Martial;
Osmont, Karen S.;
Rolcik, Jakub;
Gujas, Bojan;
Tarkowska, Danuse;
Strnad, Miroslav;
Xenarios, Ioannis;
Hardtke, Christian S.

Publication type:

Article

CompleteMOTIFs: DNA motif discovery platform for transcription factor binding experiments.

Published in:

Bioinformatics, 2011, v. 27, n. 5, p. 715, doi. 10.1093/bioinformatics/btq707

By:

Kuttippurathu, Lakshmi;
Hsing, Michael;
Liu, Yongchao;
Schmidt, Bertil;
Maskell, Douglas L.;
Lee, Kyungjoon;
He, Aibin;
Pu, William T.;
Kong, Sek Won

Publication type:

Article

Cancer therapy design based on pathway logic.

Published in:

Bioinformatics, 2011, v. 27, n. 4, p. 548, doi. 10.1093/bioinformatics/btq703

By:

Layek, Ritwik;
Datta, Aniruddha;
Bittner, Michael;
Dougherty, Edward R.

Publication type:

Article

State reduction for network intervention in probabilistic Boolean networks.

Published in:

Bioinformatics, 2010, v. 26, n. 24, p. 3098, doi. 10.1093/bioinformatics/btq575

By:

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

Publication type:

Article

Modeling and analyzing complex biological networks incooperating experimental information on both network topology and stable states.

Published in:

Bioinformatics, 2010, v. 26, n. 16, p. 2037, doi. 10.1093/bioinformatics/btq333

By:

Yi Ming Zou

Publication type:

Article

Sparse combinatorial inference with an application in cancer biology.

Published in:

Bioinformatics, 2009, v. 25, n. 2, p. 265, doi. 10.1093/bioinformatics/btn611

By:

Sach Mukherjee;
Steven Pelech;
Richard M. Neve;
Wen-Lin Kuo;
Safiyyah Ziyad;
Paul T. Spellman;
Joe W. Gray;
Terence P. Speed

Publication type:

Article

ایده آل های سرسخت n-لایه حالت در MV-جبرهای حالت.

Published in:

Mathematical Researches, 2024, v. 10, n. 3, p. 100

By:

فرشته فروزش;
محمد سالارباده;
علی دریجانی

Publication type:

Article

CUT-POLYTOPES, BOOLEAN QUADRATIC POLYTOPES AND NONNEGATIVE QUADRATIC PSEUDO-BOOLEAN FUNCTIONS.

Published in:

Mathematics of Operations Research, 1993, v. 18, n. 1, p. 245, doi. 10.1287/moor.18.1.245

By:

Boros, Endre;
Hammer, Peter L.

Publication type:

Article