Search results for "Enclosure"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
84	R. P. Krishnaswamy, Chul E. Kim	Problems of Posting Sentries: Variations on the Art Gallery Theorem.	SWAT	1988	DBLP DOI BibTeX RDF
72	Lars Arge, Vasilis Samoladas, Ke Yi 0001	Optimal External Memory Planar Point Enclosure.	Algorithmica	2009	DBLP DOI BibTeX RDF	Point enclosure, Data structures, External memory algorithms
62	Arnold Neumaier	A Simple Derivation of the Hansen-Bliek-Rohn-Ning-Kearfott Enclosure for Linear Interval Equations.	Reliab. Comput.	1999	DBLP DOI BibTeX RDF
56	Herb Villa	Innovative technologies III - Liquid cooling: a next generation data center strategy.	SC	2006	DBLP DOI BibTeX RDF
52	Thomas Hermann 0002, Jörg Peters 0001, Tim Strotman	A geometric criterion for smooth interpolation of curve networks.	Symposium on Solid and Physical Modeling	2009	DBLP DOI BibTeX RDF	C1 surface construction, Euler curvature constraint, local network interpolation, vertex enclosure constraint, splines
52	Wolfram Luther, Eva Dyllong, Daniela Fausten, Werner Otten, Holger Traczinski	Numerical Verification and Validation of Kinematics and Dynamical Models for Flexible Robots in Complex Environments.	Perspectives on Enclosure Methods	2001	DBLP DOI BibTeX RDF
52	Ulrich W. Kulisch	Advanced Arithmetic for the Digital Computer - Interval Arithmetic Revisited.	Perspectives on Enclosure Methods	2001	DBLP DOI BibTeX RDF
52	Jürgen Herzberger	How Fast can Moore's Interval Integration Method Really be?	Perspectives on Enclosure Methods	2001	DBLP DOI BibTeX RDF
52	Axel Facius	Highly Accurate Verified Error Bounds for Krylov Type Linear System Solvers.	Perspectives on Enclosure Methods	2001	DBLP DOI BibTeX RDF
52	Nedialko S. Nedialkov, Kenneth R. Jackson	A New Perspective on the Wrapping Effect in Interval Methods for Initial Value Problems for Ordinary Differential Equations.	Perspectives on Enclosure Methods	2001	DBLP DOI BibTeX RDF
52	Mitsuhiro T. Nakao, Nobito Yamamoto	A Guaranteed Bound of the Optimal Constant in the Error Estimates for Linear Triangular Elements.	Perspectives on Enclosure Methods	2001	DBLP DOI BibTeX RDF
52	Dietmar Ratz	Nonsmooth Global Optimization.	Perspectives on Enclosure Methods	2001	DBLP DOI BibTeX RDF
52	John L. Gustafson	The Mainstreaming of Interval Arithmetic.	Perspectives on Enclosure Methods	2001	DBLP DOI BibTeX RDF
52	Louis B. Rall, Thomas W. Reps	Algorithmic Differencing.	Perspectives on Enclosure Methods	2001	DBLP DOI BibTeX RDF
52	Andreas Frommer	Proving Conjectures by Use of Interval Arithmetic.	Perspectives on Enclosure Methods	2001	DBLP DOI BibTeX RDF
52	Günter Mayer, Ingo Warnke	On the Limit of the Total Step Method in Interval Analysis.	Perspectives on Enclosure Methods	2001	DBLP DOI BibTeX RDF
52	Bruno Lang	A Comparison of Techniques for Evaluating Centered Forms.	Perspectives on Enclosure Methods	2001	DBLP DOI BibTeX RDF
52	Henning Behnke, Ulrich Mertins	Bounds for Eigenvalues with the Use of Finite Elements.	Perspectives on Enclosure Methods	2001	DBLP DOI BibTeX RDF
52	Rudolf Lohner	On the Ubiquity of the Wrapping Effect in the Computation of Error Bounds.	Perspectives on Enclosure Methods	2001	DBLP DOI BibTeX RDF
52	J. Hartmut Bleher	Elements of Scientific Computing.	Perspectives on Enclosure Methods	2001	DBLP DOI BibTeX RDF
48	Lars Arge, Vasilis Samoladas, Ke Yi 0001	Optimal External Memory Planar Point Enclosure.	ESA	2004	DBLP DOI BibTeX RDF
48	Morten Willatzen, L. C. Lew Yan Voon	Quantum Dot and Acoustic Enclosure Problems in Lens-Shaped Structures.	ICCSA (2)	2003	DBLP DOI BibTeX RDF
48	Lubomir V. Kolev	Automatic Computation of a Linear Interval Enclosure.	Reliab. Comput.	2001	DBLP DOI BibTeX RDF
44	Li Tao, Fang Fang, Wang Xue Lei, Wu Chen Bo	Effect of Enclosure Culture on Water Quality: A Case Study in Lake Honghu, Hubei Province, China.	ESIAT (2)	2009	DBLP DOI BibTeX RDF	Enclosure culture, Lake Honghu, Spatial-temporal change, Water quality
44	Zhengyu Wang	Validation and enclosure of solutions of linear complementarity problems.	Computing	2007	DBLP DOI BibTeX RDF	validation of the solution, enclosure of the solution, H-matrix, interval analysis, Linear complementarity problem
44	Masaru Ikehata	An Inverse Transmission Scattering Problem and the Enclosure Method.	Computing	2005	DBLP DOI BibTeX RDF	transmission problem, sound wave, enclosure method, near field, one incident plane wave, fixed wave number, Helmholtz equation, Inverse scattering
42	Matthew Canton	The presence table: a reactive surface for ambient connection.	TEI	2011	DBLP DOI BibTeX RDF
42	Peter Hertling	A Limitation for Underestimation Via Twin Arithmetic.	Reliab. Comput.	2001	DBLP DOI BibTeX RDF
38	Ankit Mohan, Reynold J. Bailey, Jonathan Waite, Jack Tumblin, Cindy Grimm, Bobby Bodenheimer	Tabletop Computed Lighting for Practical Digital Photography.	IEEE Trans. Vis. Comput. Graph.	2007	DBLP DOI BibTeX RDF	enclosure lighting, handheld lighting, controllable lighting, digital photography, Image-based lighting
38	Yu Li, YongSen Xu, Gaoyan Xie, Zhiyuan Zhan	Strategies and Techniques of Freeze/Melt.	TOOLS (31)	1999	DBLP DOI BibTeX RDF	Freeze, Melt, Freeze-enclosure strategy, Semi-freeze strategy, Dynamic and static interaction technique
34	Jianfei Liu, Xiaopeng Zhang 0001	Enclosure Sphere Based Cell Visibility for Virtual Endoscopy.	IEEE Visualization	2005	DBLP DOI BibTeX RDF	Cell and Portal, Virtual Endoscopy, Visibility Analysis
34	Uwe Schäfer	Accelerated Enclosure Methods for Ordinary Free Boundary Problems.	Reliab. Comput.	2003	DBLP DOI BibTeX RDF
34	Misha Koshelev, Luc Longpré, Patrick Taillibert	Optimal Enclosure of Quadratic Interval Functions.	Reliab. Comput.	1998	DBLP DOI BibTeX RDF
34	R. Baker Kearfott	A Fortran 90 Environment for Research and Prototyping of Enclosure Algorithms for Nonlinear Equations and Global Optimization.	ACM Trans. Math. Softw.	1995	DBLP DOI BibTeX RDF	nonlinear algebraic systems, global optimization, symbolic computation, automatic differentiation, Fortran 90, Fortran 90
28	Ken Cheng	Geometry and Navigation.	Robotics and Cognitive Approaches to Spatial Mapping	2008	DBLP DOI BibTeX RDF
28	Eva Dyllong	Convex Polyhedral Enclosures of Interval-Based Hierarchical Object Representations.	Reliable Implementation of Real Number Algorithms	2008	DBLP DOI BibTeX RDF
28	Benoît Otjacques, Pierre Collin, Fernand Feltz, Monique Noirhomme-Fraiture	Visualizing consumption in weighted hierarchies.	ICDIM	2008	DBLP DOI BibTeX RDF
28	Toshihiko Komatsuzaki, Yoshio Iwata	Study on Acoustic Field with Fractal Boundary Using Cellular Automata.	ACRI	2008	DBLP DOI BibTeX RDF
28	Annie A. M. Cuyt, Stefan Becuwe	Towards Reliable Software for the Evaluation of a Class of Special Functions.	ICMS	2006	DBLP DOI BibTeX RDF
28	Roland Potthast	Sampling and Probe Methods - An Algorithmical View.	Computing	2005	DBLP DOI BibTeX RDF	reconstruction of physical parameters, survey article sampling- and probe methods, fixed wave number, shape reconstruction, Inverse scattering
28	Bo Hong, Thomas J. E. Schwarz, Scott A. Brandt, Darrell D. E. Long	Reliability of MEMS-Based Storage Enclosures.	MASCOTS	2004	DBLP DOI BibTeX RDF
28	Hartmut Schwandt	Synchronous and Asynchronous Interval Newton-Schwarz Methods for a Class of Large Systems of Nonlinear Equations.	Reliab. Comput.	2001	DBLP DOI BibTeX RDF
28	Ralf Hungerbühler, Jürgen Garloff	Bounds for the Range of a Bivariate Polynomial over a Triangle.	Reliab. Comput.	1998	DBLP DOI BibTeX RDF
28	Yves Deville, Micha Janssen, Pascal Van Hentenryck	Consistency Techniques in Ordinary Differential Equations.	CP	1998	DBLP DOI BibTeX RDF
24	Andy Kwok, Chung Keung Poon	Two-Dimensional Packet Classification and Filter Conflict Resolution in the Internet.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Filter conflict detection, Point enclosure, Persistent predecessor, Data structures, Packet classification
24	Jens M. Schmidt	Interval Stabbing Problems in Small Integer Ranges.	ISAAC	2009	DBLP DOI BibTeX RDF	interval stabbing, interval intersection, point enclosure, discrete, static
24	Kevin Leigh, Parthasarathy Ranganathan, Jaspal Subhlok	General-purpose blade infrastructure for configurable system architectures.	Distributed Parallel Databases	2007	DBLP DOI BibTeX RDF	Enclosure, Networking, Power, Data centers, Blade servers
24	Hartmut Schwandt	Two-Stage Interval Krawczyk-Schwarz Methods with Applications to Nonlinear Parabolic PDE.	ICCSA (3)	2007	DBLP DOI BibTeX RDF	almost linear parabolic problems, enclosure methods, Newton-like methods, Krawczyk operator, Schwarz Alternating Procedure, parallel methods, domain decomposition, nonlinear systems of equations
24	Vijay K. Vaishnavi	Computing Point Enclosures.	IEEE Trans. Computers	1982	DBLP DOI BibTeX RDF	VLSI artwork analysis, Augmented segment trees, dual range queries, inverse range queries, multilayered segment trees, point enclosure queries, S-trees, databases, segment trees
20	Natanael Ramos, Rafael G. Cano, Pedro J. de Rezende, Cid C. de Souza	Exact and heuristic solutions for the prize-collecting geometric enclosure problem.	Int. Trans. Oper. Res.	2024	DBLP DOI BibTeX RDF
20	Niloy Deb, Sumon Saha	Comment on "Numerical simulation of magnetohydrodynamic buoyancy-induced flow in a non-isothermally heated square enclosure" [Communications in nonlinear science and numerical simulation, 14(2009) 770-778].	Commun. Nonlinear Sci. Numer. Simul.	2024	DBLP DOI BibTeX RDF
20	Yunan Han, Zhaohan Liu, Qiang Cui, Xianbo Qiu	Shielding Effectiveness Evaluation of Enclosure on PCB by Nesting Cavities Test Method.	IEEE Trans. Instrum. Meas.	2023	DBLP DOI BibTeX RDF
20	Sapna Jain, Rama Bhargava	Natural convection flow on a bent wavy vertical enclosure filled with power-law nanofluid simulated by Element Free Galerkin method.	Math. Comput. Simul.	2023	DBLP DOI BibTeX RDF
20	Anil Kumar, Pentyala Srinivasa Rao	Numerical study of periodically heated wall effect on natural convection in an enclosure.	Math. Comput. Simul.	2023	DBLP DOI BibTeX RDF
20	Vinay Kumar, S. V. S. S. N. V. G. Krishna Murthy, B. V. Rathish Kumar	Multi-force effect on fluid flow, heat and mass transfer, and entropy generation in a stratified fluid-saturated porous enclosure.	Math. Comput. Simul.	2023	DBLP DOI BibTeX RDF
20	Moritz Link, Stefan Volkwein	Adaptive piecewise linear relaxations for enclosure computations for nonconvex multiobjective mixed-integer quadratically constrained programs.	J. Glob. Optim.	2023	DBLP DOI BibTeX RDF
20	Sayeda Fahmida Ferdousi, Md Abdul Alim	Effects on two semi-circular wall heaters in a rectangular enclosure containing trapezoidal heated obstacle in presence of MHD.	CoRR	2023	DBLP DOI BibTeX RDF
20	Rui Yan, Xiaoming Duan, Rui Zou, Xin He, Zongying Shi, Francesco Bullo	Multiplayer Homicidal Chauffeur Reach-Avoid Games: A Pursuit Enclosure Function Approach.	CoRR	2023	DBLP DOI BibTeX RDF
20	Abhijit Boruah, Nayan M. Kakoty, Tazid Ali, M. B. Malarvili	Shape oriented object recognition on grasp using features from enclosure based exploratory procedure.	Int. J. Intell. Robotics Appl.	2023	DBLP DOI BibTeX RDF
20	Pradeep G. Siddheshwar, Kanchana C., L. M. Pérez, David Laroze	Influence of symmetric/asymmetric boundaries on axisymmetric convection in a cylindrical enclosure in the presence of a weak vertical throughflow.	Commun. Nonlinear Sci. Numer. Simul.	2023	DBLP DOI BibTeX RDF
20	Ioan-Alexandru Sgârciu, Alin-Alexandru Nastase, Valentin Sgârciu	Experimental Study of Pressure Variation in a Constant Volume Enclosure.	CSCS	2023	DBLP DOI BibTeX RDF
20	Michele Quercio, Lorenzo Barlassina, Aldo Canova	Characterization of the shielding properties of a power transformer enclosure.	EUROCON	2023	DBLP DOI BibTeX RDF
20	Waseem Akram, Sanjeev Saxena	Point Enclosure Problem for Homothetic Polygons.	IWOCA	2023	DBLP DOI BibTeX RDF
20	Mike Louie Enriquez, Ronnie S. Concepcion, R.-Jay Relano, Kate Francisco, Adrian Genevie Janairo, Jonah Jahara Baun, Joseph Aristotle de Leon, Ryan Rhay Vicerra, Argel A. Bandala, Elmer P. Dadios	Analytical Hierarchy Process-based Selection of Underground Imaging Antenna Enclosure Material for Optimized Power Transfer.	IMCOM	2023	DBLP DOI BibTeX RDF
20	Smit N. Dalal, Mahavirsinh V. Gohel, Chintan R. Mehta	Analysis and Thermal Performance Implementation of MCCB with Aluminium Busbar and Enclosure.	ICCCNT	2023	DBLP DOI BibTeX RDF
20	Nanmanat Varisthanist, Thanapat Tardtong, Kittitach Jadee, Krittakom Srijiranon	An IoT-based Bearded Dragon Enclosure Integrating YOLO Object Detection for Monitoring Food and Cleanliness.	GCCE	2023	DBLP DOI BibTeX RDF
20	Mario Wallner, Michael Doneus, Ingrid Kowatschek, Alois Hinterleitner, Felix Köstelbauer, Wolfgang Neubauer	Interdisciplinary Investigations of the Neolithic Circular Ditch Enclosure of Velm (Lower Austria).	Remote. Sens.	2022	DBLP DOI BibTeX RDF
20	Mohammad Hemmat Esfe, Saeed Esfandeh, Mehdi Bahiraei	A two-phase simulation for investigating natural convection characteristics of nanofluid inside a perturbed enclosure filled with porous medium.	Eng. Comput.	2022	DBLP DOI BibTeX RDF
20	Malik Zaka Ullah, S. T. Hussain, Rizwan Ul Haq, A. Khamis Alzahrani, Fouad Mallawi	Thermal energy performance due to convection process of nanofluid in a porous medium due to split lid motion in a right triangular enclosure.	J. Comput. Des. Eng.	2022	DBLP DOI BibTeX RDF
20	Rony Emmenegger	Cartographic Enclosure and Urban Cadastral Mapping in the Ethiopian Somali Capital.	Cartogr. Int. J. Geogr. Inf. Geovisualization	2022	DBLP DOI BibTeX RDF
20	Mir Lodro, Gabriele Gradoni, Christopher Smartt, David Thomas, Steve Greedy	2x2 MIMO Prototype for BER and EVM Measurements in Metal Enclosure.	CoRR	2022	DBLP DOI BibTeX RDF
20	Xiaodi Wu, Song Zhou	Thermal Lattice Boltzmann Flux Solver for Natural Convection of Nanofluid in a Square Enclosure.	Entropy	2022	DBLP DOI BibTeX RDF
20	Jincheng Zhou, Xuetian Wang, Le Zou	A hybrid algorithm method for calculating electromagnetic shielding effectiveness of apertured enclosure with an arbitrary inner window.	IEICE Electron. Express	2022	DBLP DOI BibTeX RDF
20	Ashley Edward Roy Soosay, Muhammad Hamdi Mahmood, Mohd Saiful Bahari, Narayanan Kulathuramaiyer	TRIZ-Based Remodeling of Body Enclosure for Corpse.	TFC	2022	DBLP DOI BibTeX RDF
20	Mühenad Bilal, Christian Mayer, Sunil Kancharana, Markus Bregulla, Rafal Cupek, Adam Ziebinski	Damage Detection of Coated Milling Tools Using Images Captured by Cylindrical Shaped Enclosure Measurement Setup.	ICCCI (CCIS Volume)	2022	DBLP DOI BibTeX RDF
20	Sunay Güler, Sibel Yenikaya	Analysis of shielding effectiveness by optimizing aperture dimensions of a rectangular enclosure with genetic algorithm.	Turkish J. Electr. Eng. Comput. Sci.	2021	DBLP DOI BibTeX RDF
20	Onyu Jeon, Hyun-Guk Kim, Semyung Wang	Optimal Filter Design of a Virtual Mechanical Impedance Control System for Multifrequency Active Sound Power Reduction of Enclosure Panels.	IEEE Access	2021	DBLP DOI BibTeX RDF
20	Fahs Amin, Ali Zakeri, Adrien Wanko	Time-dependent solution for natural convection in a porous enclosure using the Darcy-Lapwood-Brinkman model.	Math. Comput. Simul.	2021	DBLP DOI BibTeX RDF
20	Abdolrahman Dadvand, Sina Hassanzadeh Saraei, Soheila Ghoreishi, Ali J. Chamkha	Lattice Boltzmann simulation of natural convection in a square enclosure with discrete heating.	Math. Comput. Simul.	2021	DBLP DOI BibTeX RDF
20	Nicola J. Bidwell	Rural Uncommoning: Women, Community Networks and the Enclosure of Life.	ACM Trans. Comput. Hum. Interact.	2021	DBLP DOI BibTeX RDF
20	Angela Xiao Wu, Harsh Taneja	Platform enclosure of human behavior and its measurement: Using behavioral trace data against platform episteme.	New Media Soc.	2021	DBLP DOI BibTeX RDF
20	Waseem Akram, Sanjeev Saxena	Point Enclosure Problem for Homothetic Polygons.	CoRR	2021	DBLP BibTeX RDF
20	Akash Unnikrishnan, Shantanu Shahane, Vinod Narayan, Surya Pratap Vanka	Shear-Driven Flow in an Elliptical Enclosure Generated by an Inner Rotating Circular Cylinder.	CoRR	2021	DBLP BibTeX RDF
20	Andreas Rauh, Auguste Bourgois, Luc Jaulin, Julia Kersten	Ellipsoidal Enclosure Techniques for a Verified Simulation of Initial Value Problems for Ordinary Differential Equations.	ICCAD	2021	DBLP DOI BibTeX RDF
20	Yasuyuki Kataoka, Hitonobu Tomoike	Spatial Feature Extraction of Vectorcardiography via Minimum Volume Ellipsoid Enclosure in Classifying Left Ventricular Hypertrophy.	EMBC	2021	DBLP DOI BibTeX RDF
20	Adrien Ghosn, Marios Kogias, Mathias Payer, James R. Larus, Edouard Bugnion	Enclosure: language-based restriction of untrusted libraries.	ASPLOS	2021	DBLP DOI BibTeX RDF
20	Julia Kersten, Andreas Rauh, Harald Aschemann	Verified Interval Enclosure Techniques for Robust Gain Scheduling Controllers.	Acta Cybern.	2020	DBLP DOI BibTeX RDF
20	S. Han Aydin, Münevver Tezer-Sezgin	Stabilizing subgrid FEM solution of the natural convection flow under high magnitude magnetic field on sinusoidal corrugated enclosure.	Int. J. Comput. Math.	2020	DBLP DOI BibTeX RDF
20	Jisheng Li, Zeyu He, Yu Wang 0076, Xiaoyue Chen, Yongcong Liu	Analysis of Discharge Faults Between Flanges Caused by Transient Enclosure Voltage.	IEEE Access	2020	DBLP DOI BibTeX RDF
20	Toshio Tagawa	Effect of the Direction of Uniform Horizontal Magnetic Field on the Linear Stability of Natural Convection in a Long Vertical Rectangular Enclosure.	Symmetry	2020	DBLP DOI BibTeX RDF
20	Yijing Wang 0002, Yuning Cheng, Sisi Zlatanova, Elisa Palazzo	Identification of physical and visual enclosure of landscape space units with the help of point clouds.	Spatial Cogn. Comput.	2020	DBLP DOI BibTeX RDF
20	Saladi Rahul	An (Almost) Optimal Solution for Orthogonal Point Enclosure Query in ℝ3.	Math. Oper. Res.	2020	DBLP DOI BibTeX RDF
20	Abdullah Khames Alzahrani, Sivanandam Sivasankaran, M. Bhuvaneswari	Numerical Simulation on Convection and Thermal Radiation of Casson Fluid in an Enclosure with Entropy Generation.	Entropy	2020	DBLP DOI BibTeX RDF
20	Ammar I. Alsabery, Tahar Tayebi, Rozaini Roslan, Ali J. Chamkha, Ishak Hashim	Entropy Generation and Mixed Convection Flow Inside a Wavy-Walled Enclosure Containing a Rotating Solid Cylinder and a Heat Source.	Entropy	2020	DBLP DOI BibTeX RDF
20	Rémy Garcia, Claude Michel, Michel Rueher	Rigorous Enclosure of Round-Off Errors in Floating-Point Computations.	VSTTE	2020	DBLP DOI BibTeX RDF
20	Samuli Siltanen, Takanori Ide	Electrical Impedance Tomography, Enclosure Method and Machine Learning.	MLSP	2020	DBLP DOI BibTeX RDF
20	Subhasree Dutta, Somnath Bhattacharyya	Effect of Heating Location on Mixed Convection of a Nanofluid in a Partially Heated Enclosure with the Presence of Magnetic Field Using Two-Phase Model.	ICMC	2020	DBLP DOI BibTeX RDF
20	Olivier Debauche, Saïd Mahmoudi, Sidi Ahmed Mahmoudi, Pierre Manneback, Frédéric Lebeau	Edge Computing and Artificial Intelligence Semantically Driven. Application to a Climatic Enclosure.	FNC/MobiSPC	2020	DBLP DOI BibTeX RDF
20	Igor V. Miroshnichenko, Mikhail A. Sheremet	Numerical Simulation of Heat Transfer in an Enclosure with Time-Periodic Heat Generation Using Finite-Difference Method.	ICCS (7)	2020	DBLP DOI BibTeX RDF
20	Lileana Saavedra Robles, Maikel Leyva Vázquez, Jesús Rafael Hechavarría Hernández	Application of Fuzzy Cognitive Maps in Critical Success Factors. Case Study: Resettlement of the Population of the Tres Cerritos Enclosure, Ecuador.	AHFE (13)	2020	DBLP DOI BibTeX RDF