Works matching DE "BOOLEAN algebra"

Results: 2131

Undercut Free Parting Direction Determination for Injection Molded Parts Using Surface Based Accessibility Analysis.

Published in:

Computer-Aided Design & Applications, 2010, v. 7, n. 5, p. 621, doi. 10.3722/cadaps.2010.621-637

By:

Bassi, Rajnish;
Bedi, Sanjeev;
Bolaños, Gerardo Salas

Publication type:

Article

Efficient Boolean Operation on Manifold Mesh Surfaces.

Published in:

Computer-Aided Design & Applications, 2010, v. 7, n. 3, p. 405, doi. 10.3722/cadaps.2010.405-415

By:

Ming Chen;
Xiao Yu Chen;
Kai Tang;
Yuen, Matthew M. F.

Publication type:

Article

A Virtual Sculpting System Based on Triple Dexel Models with Haptics.

Published in:

Computer-Aided Design & Applications, 2009, v. 6, n. 5, p. 645, doi. 10.3722/cadaps.2009.645-659

By:

Xiaobo Peng;
Weihan Zhang

Publication type:

Article

Sketch Based Design of 2D and 3D Freeform Geometry.

Published in:

Computer-Aided Design & Applications, 2009, v. 6, n. 2, p. 157, doi. 10.3722/cadaps.2009.157-166

By:

Nikolski, Masha;
Elber, Gershon

Publication type:

Article

Boolean Set Operations with Cubic Algebraic Patches.

Published in:

Computer-Aided Design & Applications, 2008, v. 5, n. 5, p. 730, doi. 10.3722/cadaps.2008.730-742

By:

Bajaj, Chandrajit;
Paoluzzi, Alberto;
Portuesi, Simone;
Na Lei;
Wenqi Zhao

Publication type:

Article

Extracting Geometric Features from Clouds of Points Using Sweeping.

Published in:

Computer-Aided Design & Applications, 2008, v. 5, n. 1-4, p. 17, doi. 10.3722/cadaps.2008.17-29

By:

Yoon, David;
Ohou, Evrard;
Shen, Jie;
Shou, Huahao

Publication type:

Article

Robust and Error Controllable Boolean Operations on Free-Form Solids Represented by Catmull-Clark Subdivision Surfaces.

Published in:

Computer-Aided Design & Applications, 2007, v. 4, n. 1-4, p. 487, doi. 10.1080/16864360.2007.10738568

By:

Shuhua Lai;
Cheng, Fuhua (Frank)

Publication type:

Article

Subdivision Depth Computation for Catmull-Clark Subdivision Surfaces.

Published in:

Computer-Aided Design & Applications, 2006, v. 3, n. 1-4, p. 485, doi. 10.1080/16864360.2006.10738487

By:

Fuhua (Frank) Cheng;
Jun-Hai Yong

Publication type:

Article

Multi-Resolution Modelling for Feature-Based Solid Models Using the Effective Volumes of Features.

Published in:

Computer-Aided Design & Applications, 2004, v. 1, n. 1-4, p. 603, doi. 10.1080/16864360.2004.10738304

By:

Sang Hun Lee

Publication type:

Article

COUNTERFACTUAL DEPENDENCE, BOUNDARY AND RESOURCE DEPENDENCE.

Published in:

Journal of International Studies (1823-691X), 2025, v. 21, n. 1, p. 15, doi. 10.32890/jis2025.21.1.2

By:

Mandrinos, Symeon;
Lin, Constance Liew Sat

Publication type:

Article

On Weakly Coholographic Structures.

Published in:

Siberian Mathematical Journal, 2025, v. 66, n. 3, p. 641, doi. 10.1134/S0037446625030048

By:

Bazhenov, N. A.;
Kasymkhanuly, B.;
Morozov, A. S.

Publication type:

Article

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