Search - Archive ouverte HAL Access content directly

Filter your results

5 588 Results
Page :
sorted by

Personalized incentives as feedback design in generalized Nash equilibrium problems

 Filippo Fabiani , Andrea Simonetto , Paul J. Goulart
2022
Preprints, Working Papers, ... hal-03664775v1

Nonionic Homopolymeric Amphipols: Application to Membrane Protein Folding, Cell-Free Synthesis, and Solution Nuclear Magnetic Resonance

 Paola Bazzacco , Emmanuelle Billon-Denis , K Shivaji Sharma , Laurent Catoire , Sophie Mary et al.
Biochemistry, 2012, 51 (7), pp.1416-1430. ⟨10.1021/bi201862v⟩
Journal articles hal-02548360v1
Image document

Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems

 Paul Rousse , Julien Alexandre Dit Sandretto , Alexandre Chapoutot , Pierre-Loïc Garoche
9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, Oct 2019, New York, United States. pp.89-107, ⟨10.1007/978-3-030-41131-2_5⟩
Conference papers hal-03199339v1

Convolution quadrature methods for time-domain scattering from unbounded penetrable interfaces

 Ignacio Labarca , Luiz Faria , Carlos Pérez-Arancibia
Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, 2019, 475 (2227), pp.20190029. ⟨10.1098/rspa.2019.0029⟩
Journal articles hal-02429472v1

Reinforcement Learning for Variable Selection in a Branch and Bound Algorithm

 Marc Etheve , Zacharie Alès , Côme Bissuel , Safia Kedad-Sidhoum , Olivier Juan et al.
Integration of Constraint Programming, Artificial Intelligence, and Operations Research. CPAIOR: International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research, pp.176-185, 2020, ⟨10.1007/978-3-030-58942-4_12⟩
Book sections hal-02987320v1

Commande optimale en temps et en énergie d’un procédé biologique d’épuration de l’eau

 Walid Bouhafs , Nahla Abdellatif , Frédéric Jean , Jérôme Harmand
International Joint Conference CB-WR-MED Conference/ 2nd AOP’ Tunisia Conference for Sustainable Water Management, Apr 2013, Tunis, Tunisie
Conference papers hal-02744396v1

Optimizing hydrogen transportation system for mobility via compressed hydrogen trucks

 Amin Lahnaoui , Christina Wulf , Heidi Heinrichs , Didier Dalmazzone
International Journal of Hydrogen Energy, 2019, 44 (35), pp.19302-19312. ⟨10.1016/j.ijhydene.2018.10.234⟩
Journal articles hal-02187133v1
Image document

Physics-based auralization of wind turbine noise

 David Mascarenhas , Benjamin Cotté , Olivier Doaré
9th International Conference on Wind Turbine Noise Remote from Europe – 18th to 21st May 2021, May 2021, Remote, France
Conference papers hal-03389024v1
Image document

Femtosecond Resolution of the Nonballistic Electron Energy Transport in Warm Dense Copper

 A Grolleau , F Dorchies , N Jourdain , Kim Ta Phuoc , J Gautier et al.
Physical Review Letters, 2021, 127, ⟨10.1103/physrevlett.127.275901⟩
Journal articles hal-03519006v1
Image document

Dynamics and sound radiation of a dielectric elastomer membrane

 Emil Garnell , Corinne Rouby , Olivier Doaré
Journal of Sound and Vibration, 2019, 459, pp.114836. ⟨10.1016/j.jsv.2019.07.002⟩
Journal articles hal-02535335v1

Do finite-size neutrally buoyant particles cluster?

 L. Fiabane , R. Volk , J.F. Pinton , R. Monchaux , A. Cartellier et al.
Physica Scripta, 2013, T155, pp.6. ⟨10.1088/0031-8949/2013/T155/014056⟩
Journal articles hal-02606267v1

Generation of few-cycle laser pulses with high temporal contrast via nonlinear elliptical polarisation rotation in a hollow fibre compressor

 N Khodakovskiy , M Kalashnikov , V Pajer , A Blumenstein , P. Simon et al.
Laser Physics Letters, 2019, 16 (9), pp.095001. ⟨10.1088/1612-202X/ab3852⟩
Journal articles hal-02457668v1
Image document

On the justification of topological derivative for wave-based qualitative imaging of finite-sized defects in bounded media

 Marc Bonnet
Engineering Computations, 2022, 39 (1), pp.313-336. ⟨10.1108/EC-08-2021-0471⟩
Journal articles hal-03319821v1

An emotion regulation app for school inclusion of children with ASD: Design principles and evaluation

 Charles Fage , Charles Consel , Kattalin Etchegoyhen , Anouck Amestoy , Manuel Bouvard et al.
Computers and Education, 2019, 131, pp.1-21. ⟨10.1016/j.compedu.2018.12.003⟩
Journal articles hal-02124850v1
Image document

RESOLUTION OF FLUID-STRUCTURE COUPLED PROBLEMS WITH FLOW USING THE BOUNDARY ELEMENT METHOD

 Robin Le Mestre , Jean-Sébastien Schotté , Olivier Doaré
2021
Preprints, Working Papers, ... hal-03113414v1

Chaînages de code amont et aval à la simulation numérique du soudage pour optimiser les structures soudées

 Olivier Asserin , Philippe Gilles , Mansour Afzali , Philippe Bastid , Jean-Michel Carpreau et al.
Matériaux & Techniques, 2012, 100 (4), pp.289-290. ⟨10.1051/mattech/2012046⟩
Journal articles cea-02284961v1

Optimal Coordination of ADAS and Chassis Systems with Different Time-Delays

 Moad Kissai , Anh-Lam Do , Bruno Monsuez , Xavier Mouton , Adriana Tapus et al.
2020 IEEE Intelligent Vehicles Symposium (IV), Oct 2020, Las Vegas, United States. pp.253-258, ⟨10.1109/IV47402.2020.9304797⟩
Conference papers hal-03112207v1

1D/3D Finite-Volume coupling in conjunction with beam/shell elements coupling for fast transients in pipelines with fluid–structure interaction

 Frédéric Daude , P. Galon , T. Douillet-Grellier
Journal of Fluids and Structures, 2021, 101, pp.103219. ⟨10.1016/j.jfluidstructs.2021.103219⟩
Journal articles hal-03115119v1

NMR study of a membrane protein in detergent-free aqueous solution

 M. Zoonens , L. Catoire , F. Giusti , J.-L. Popot
Proceedings of the National Academy of Sciences of the United States of America, 2005, 102 (25), pp.8893-8898. ⟨10.1073/pnas.0503750102⟩
Journal articles hal-03011683v1
Image document

Aïana, le lecteur de Mooc qui offre une accessibilité sur mesure

 Pascal Guitton , Hélène Sauzéon
La collection numérique universitaire, AMUE, n° 9, 2020
Other publications hal-03116536v1

Sur les modèles structuraux de diffusion technologique

 Didier Lebert
Patent Analytics, Mar 2021, Paris, France
Conference papers halshs-03166033v1
Image document

Information transfer via temporal convolution in nonlinear optics

 Philippe Lassonde , Heide Ibrahim , Adrien Leblanc , José Azaña , Bruno Schmidt et al.
Scientific Reports, 2020, 10, pp.14969. ⟨10.1038/s41598-020-72170-9⟩
Journal articles hal-03021359v1

On Weyl's type theorems and genericity of projective rigidity in sub-Riemannian Geometry

 Frédéric Jean , Sofya Maslovskaya , Igor Zelenko
Geometriae Dedicata, 2021, 213 (1), pp.295-314. ⟨10.1007/s10711-020-00581-z⟩
Journal articles hal-02453709v1
Image document

Dynamique et stabilité d'une chaîne d'aimants. Application à la récupération d'énergie.

 Joosung Lee
Sciences de l'ingénieur [physics]. Université de Paris Saclay, 2016. Français. ⟨NNT : ⟩
Theses tel-03023587v1

Femtosecond X-ray sources from Laser Plasma Accelerators

 Kim Ta Phuoc
ELISS 2019, Aug 2019, Prague, Czech Republic
Conference papers hal-02464505v1

Laser-plasma guiding of ultra-intense laser pulses

 Kosta Oubrerie
Journée de l'Ecole doctorale de l'Institut Polytechnique, 2019, Palaiseau, France
Conference poster hal-02464671v1

CEP and dispersion effects in laser-plasma acceleration

 Jérôme Faure
Laser and Plasma Accelerator Workshop, May 2019, Split, Croatia
Conference papers hal-02464284v1

Gamma-ray radiation in beam-plasma interaction as a diagnostics for emittance growth in PWFA and for beam filamentation instabilities

 P. San Miguel Claveria
2019 Laser Plasma Accelerator Workshop, 2019, Split, Croatia
Conference papers hal-02468075v1

Laser-plasma guiding of ultra-intense laser pulses

 Kosta Oubrerie
Plas@Par Jeunes Chercheurs, Jun 2019, Paris, France
Conference papers hal-02468104v1

Marginal Replay vs Conditional Replay for Continual Learning

 Timothée Lesort , Alexander Gepperth , Andrei Stoian , David Filliat
ICANN, 2019, Munich, Germany
Conference papers hal-02285835v1
Image document

Wave propagation in periodic media : mathematical analysis and numerical simulation

 Sonia Fliss
Analysis of PDEs [math.AP]. Université Paris Sud (Paris 11), 2019
Habilitation à diriger des recherches tel-02394976v1
Image document

d-extensibles de stables dans les graphes bipartis

 Grégoire Cotté , Marie-Christine Costa , Christophe Picouleau
ROADEF2017. 18ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, Université de Lorraine, Feb 2017, Metz, France
Conference papers hal-02462664v1
Image document

Kinked crack paths in polycarbonate samples printed by fused deposition modelling using criss-cross patterns

 Thomas Corre , Veronique Lazarus
International Journal of Fracture, 2021, pp.19-31. ⟨10.1007/s10704-021-00518-x⟩
Journal articles hal-03406973v1

Extended Iwan-Iai (3DXii) constitutive model for 1-directional 3-component seismic waves in liquefiable soils: application to the Kushiro site (Japan)

 Maria Paola Santisi d'Avila , Viet Ahn Pham , Luca Lenti , Jean François Semblat
Geophysical Journal International, 2018, 215 (1), 15 p. ⟨10.1093/gji/ggy266⟩
Journal articles hal-01855278v1

Resonances of an elastic plate coupled with a compressible confined flow

 Anne-Sophie Bonnet-Ben Dhia , Jean-François Mercier
Quarterly Journal of Mechanics and Applied Mathematics, 2009, 62 (2), pp.105-129. ⟨10.1093/qjmam/hbp004⟩
Journal articles hal-00873072v1

Direct computation of stresses in planar linearized elasticity

 Philippe G. Ciarlet , Patrick Ciarlet
Mathematical Models and Methods in Applied Sciences, 2009, 19 (7), pp.1043-1064. ⟨10.1142/s0218202509003711⟩
Journal articles hal-00873070v1
Image document

Local transparent boundary conditions for wave propagation in fractal trees (I). Method and numerical implementation

 Patrick Joly , Maryna Kachanovska
SIAM Journal on Scientific Computing, 2021, ⟨10.1137/20M1362334⟩
Journal articles hal-02462264v3
Image document

Recent human-specific spreading of a subtelomeric domain.

 S Monfouilloux , H Avet-Loiseau , V Amarger , I Balazs , C Pourcel et al.
Genomics, 1998, 51 (2), pp.165-76. ⟨10.1006/geno.1998.5358⟩
Journal articles hal-01160639v1

Diffraction of an acoustic wave by a plate in a uniform flow: A numerical approach

 Stéphane Job , Éric Lunéville , Jean-François Mercier
Journal of Computational Acoustics, 2005, 13 (4), pp.689-709. ⟨10.1142/s0218396x05002840⟩
Journal articles hal-00876240v1

The linear sampling method in a waveguide: A modal formulation

 Laurent Bourgeois , Éric Lunéville
Inverse Problems, 2008, 24 (1), ⟨10.1088/0266-5611/24/1/015018⟩
Journal articles istex hal-00876221v1

Two- and three-field formulations for wave transmission between media with opposite sign dielectric constants

 Anne-Sophie Bonnet-Ben Dhia , Patrick Ciarlet , Carlo Maria Zwölf
Journal of Computational and Applied Mathematics, 2007, 204 (2 SPEC. ISS.), pp.408-417. ⟨10.1016/j.cam.2006.01.046⟩
Journal articles hal-00876230v1

Influence coefficients for variational integral equations

 Marc Lenoir
Comptes Rendus. Mathématique, 2006, 343 (8), pp.561-564. ⟨10.1016/j.crma.2006.09.020⟩
Journal articles istex hal-00876238v1
Image document

Calibration-Free BCI Based Control

 Jonathan Grizou , Iñaki Iturrate , Luis Montesano , Pierre-Yves Oudeyer , Manuel Lopes et al.
Twenty-Eighth AAAI Conference on Artificial Intelligence, Jul 2014, Quebec, Canada. pp.1-8
Conference papers hal-00984068v1

A new approach for approximating linear elasticity problems

 Philippe G. Ciarlet , Patrick Ciarlet
Comptes Rendus. Mathématique, 2008, 346 (5-6), pp.351-356. ⟨10.1016/j.crma.2008.01.014⟩
Journal articles istex hal-00876220v1
Image document

Scaling-up Knowledge for a Cognizant Robot

 Thomas Degris , Joseph Modayil
AAAI Spring Symposium on Designing Intelligent Robots: Reintegrating AI., Mar 2012, Stanford, United States
Conference papers hal-00764289v1
Image document

The Interaction of Maturational Constraints and Intrinsic Motivations in Active Motor Development

 Adrien Baranes , Pierre-Yves Oudeyer
ICDL - EpiRob, Aug 2011, Frankfurt, Germany
Conference papers hal-00646585v1
Image document

The inactivation principle: mathematical solutions minimizing the absolute work and biological implications for the planning of arm movements.

 Bastien Berret , Christian Darlot , Frédéric Jean , Thierry Pozzo , Charalambos Papaxanthis et al.
PLoS Computational Biology, 2008, 4 (10), pp.e1000194. ⟨10.1371/journal.pcbi.1000194⟩
Journal articles inserm-00705805v1

On traces for functional spaces related to Maxwell's equations Part I: An integration by parts formula in Lipschitz polyhedra

 Annalisa Buffa , Patrick Ciarlet
Mathematical Methods in the Applied Sciences, 2001, 24 (1), pp.9-30. ⟨10.1002/1099-1476(20010110)24:1(9::aid-mma191)3.0.co;2-2⟩
Journal articles istex hal-00878223v1
Image document

Real-Time Visual Loop-Closure Detection

 Adrien Angeli , Stéphane Doncieux , Jean-Arcady Meyer , David Filliat
International Conference on Robotics and Automation, May 2008, Pasadena, United States. pp.1842 - 1847, ⟨10.1109/ROBOT.2008.4543475⟩
Conference papers hal-00647371v1

A remark on Lipschitz stability for inverse problems

 Laurent Bourgeois
Comptes rendus hebdomadaires des séances de l'Académie des sciences, 2013, 351, pp.187--190. ⟨10.1016/j.crma.2013.04.004⟩
Journal articles hal-00939437v1

Effects of halothane on the membrane potential in skeletal muscle of the frog

 Martin-Pierre Sauviat , H.-P. Frizelle , A. Descorps-Declère , J.-X. Mazoit
British Journal of Pharmacology, 2000, 130 (3), pp.619-624. ⟨10.1038/sj.bjp.0703330⟩
Journal articles hal-00838174v1
Image document

A Formal Approach to Social Learning: Exploring Language Acquisition Through Imitation

 Thomas Cederborg
Interface homme-machine [cs.HC]. Université Sciences et Technologies - Bordeaux I, 2013. Français. ⟨NNT : ⟩
Theses tel-00937615v2

A channel-based statistical approach to antenna performance in UWB communications

 Alain Sibille , Christophe Roblin , S. Bories , Anne Claire Lepage
IEEE Transactions on Antennas and Propagation, 2006, 54 (11), pp.3207-3215. ⟨10.1109/tap.2006.883993⟩
Journal articles hal-00847915v1

Statistical mechanics of Beltrami flows in axisymmetric geometry: Theory reexamined

 Aurore Naso , Romain Monchaux , Pierre-Henri Chavanis , Bérengère Dubrulle
Physical Review E : Statistical, Nonlinear, and Soft Matter Physics, 2010, 81 (6), pp.066318. ⟨10.1103/PhysRevE.81.066318⟩
Journal articles hal-00646796v1
Image document

Validation of a two-fluid model on unsteady water-vapour flows

 Fabien Crouzet , Frédéric Daude , Pascal Galon , Jean-Marc Hérard , Olivier Hurisse et al.
Computers and Fluids, 2015, 119, pp.131-142. ⟨10.1016/j.compfluid.2015.06.035⟩
Journal articles hal-01242983v1

Zone grise d'emploi, pouvoir de l'employeur et espace public : une illustration à partir du cas Uber

 Christian Azaïs , Patrick Dieuaide , Donna Kesselman
Relations Industrielles / Industrial Relations, 2017, vol. 72 (n° 3), pp. 433-456. ⟨10.7202/1041092ar⟩
Journal articles hal-01970074v1
Image document

A dual-primal coupling technique with local time step for wave propagation problems

 Eliane Bécache , Patrick Joly , Jeronimo Rodriguez
Eccomas thematic conference/ COUPLED PROBLEMS 2005 M. Papadrakakis, E. Onate and B. Schrefler (Eds) CIMNE, Barcelona, 2005, 2005
Book sections hal-01853635v1
Image document

Apprentissage de la pensée informatique : de la formation des enseignant·e·s à la formation de tou·te·s les citoyen·ne·s

 Corinne Atlan , Jean-Pierre Archambault , Olivier Banus , Frédéric Bardeau , Amélie Blandeau et al.
Revue de l'EPI (Enseignement Public et Informatique), 2019
Journal articles hal-02145478v1
Image document

Apprentissage de la pensée informatique : de la formation des enseignant·e·s à la formation de tou·te·s les citoyen·ne·s

 Corinne Atlan , Jean-Pierre Archambault , Olivier Banus , Frédéric Bardeau , Amélie Blandeau et al.
EIAH Wokshop 2019 - Apprentissage de la pensée informatique de la maternelle à l’Université : retours d’expériences et passage à l’échelle, Jun 2019, Paris, France
Conference papers hal-02145480v1
Image document

Prospects on Solving an Optimal Control Problem with Bounded Uncertainties on Parameters using Interval Arithmetics

 Etienne Bertin , Elliot Brendel , Bruno Hérissé , Julien Alexandre Dit Sandretto , Alexandre Chapoutot et al.
Acta Cybernetica, 2021, pp.1-25. ⟨10.14232/actacyb.285798⟩
Journal articles hal-03142715v1
Image document

Editorial: Modeling Play in Early Infant Development

 Patricia Shaw , Mark Lee , Qiang Shen , Kathy Hirsh-Pasek , Karen E Adolph et al.
Frontiers in Neurorobotics, 2020, 14, ⟨10.3389/fnbot.2020.00050⟩
Journal articles hal-03120631v1
Image document

DREAM Architecture: a Developmental Approach to Open-Ended Learning in Robotics

 Stephane Doncieux , Nicolas Bredeche , Léni Kenneth Le Goff , Benoît Girard , Alexandre Coninx et al.
2020
Preprints, Working Papers, ... hal-02562103v1
Image document

SpatialSim: Recognizing Spatial Configurations of Objects with Graph Neural Networks

 Laetitia Teodorescu , Katja Hofmann , Pierre-Yves Oudeyer
2021
Preprints, Working Papers, ... hal-03117819v1
Image document

The Tornado Project: An Automated Driving Demonstration in Peri-Urban and Rural Areas

 Vicente Milanés , David González , Francisco Navas , Imane Mahtout , Alexandre Armand et al.
IEEE Intelligent Transportation Systems Magazine, 2021, ⟨10.1109/MITS.2021.3068067⟩
Journal articles hal-03400571v1
Image document

Multi-sensor semantic mapping and exploration of indoor environments

 Islem Jebari , Stéphane Bazeille , Emmanuel Battesti , Hassène Tekaya , Markus Klein et al.
3rd International Conference on Technologies for Practical Robot Applications (TePRA), 2011, United States. pp.151 - 156, ⟨10.1109/TEPRA.2011.5753498⟩
Conference papers hal-00652471v1

An UWB-UHF semi-passive RFID System for localization and tracking applications

 Raffaele d'Errico , Marco Bottazzi , Federico Natali , Enrico Savioli , Stefania Bartoletti et al.
IEEE International Conference on RFID-Technologies and Applications (RFID-TA), Nov 2012, Nice, France. pp.18-23
Conference papers hal-02411955v1
Image document

Wavelength dependence of photoelectron spectra in above-threshold ionization

 T Marchenko , H G Muller , K J Schafer , M J J Vrakking
Journal of Physics B: Atomic, Molecular and Optical Physics, 2010, 43 (18), pp.185001. ⟨10.1088/0953-4075/43/18/185001⟩
Journal articles hal-00569831v1

Realistic numerical modeling of human head tissues exposure to electromagnetic waves from mobiles phones

 Gilles Scarella , Olivier Clatz , Stéphane Lanteri , Grégory Beaume , Steve Oudot et al.
Seventh International Conference on Mathematical and Numerical Aspects of Wave Propagation, 2005, Brown University, Rhode Island, United States
Conference papers inria-00616013v1

Extremal varieties 3-rationally connected by cubics, quadro-quadric Cremona transformations and rank 3 Jordan algebras

 Luc Pirio , Francesco Russo
2011
Preprints, Working Papers, ... hal-00709668v1
Image document

A probabilistic algorithm approximating solutions of a singular PDE of porous media type

 Nadia Belaribi , François Cuvelier , Francesco Russo
2010
Preprints, Working Papers, ... inria-00535806v1
Image document

Variance Optimal Hedging for discrete time processes with independent increments. Application to Electricity Markets

 Stéphane Goutte , Nadia Oudjane , Francesco Russo
2012
Preprints, Working Papers, ... inria-00473032v2
Image document

Acting up: An approach to the study of cognitive development

 Giovanni Pezzulo , Gottfried Vosgerau , Uta F Frith , Antonia Hamilton , Cecilia Heyes et al.
Andreas K. Engel; Karl J. Friston; Danica Kragic. The Pragmatic Turn: Toward Action-Oriented Views in Cognitive Science, 18, MIT Press Scholarship Online, 2016, Strüngmann Forum Reports
Book sections hal-01404503v1
Image document

Alignment to the Actions of a Robot

 Anna-Lisa Vollmer , Katharina J. Rohlfing , Britta Wrede , Angelo Cangelosi
International Journal of Social Robotics, 2015, ⟨10.1007/s12369-014-0252-0⟩
Journal articles hal-01249226v1
Image document

Receptive field estimation in large visual neuron assemblies using a super-resolution approach

 Daniela Pamplona , Gerrit Hilgen , Matthias H Hennig , Bruno Cessac , Evelyne Sernagor et al.
Journal of Neurophysiology, 2022, 127 (5), pp.1334--1347. ⟨10.1152/jn.00076.2021⟩
Journal articles hal-03564179v1

A decomposition technique for pursuit evasion games with many pursuers

 Adriano Festa , Richard Vinter
52nd IEEE Control and Decision Conference (CDC), 2013, Florence, Italy
Conference papers hal-00916864v1
Image document

A Model for Synthesizing a Combined Verbal and Nonverbal Behavior Based on Personality Traits in Human-Robot Interaction

 Amir Aly , Adriana Tapus
The 8th ACM/IEEE Human-Robot Interaction Conference (HRI), Mar 2013, Tokyo, Japan. ⟨10.1109/HRI.2013.6483606⟩
Conference papers hal-01284708v2

Construction of an Operational Concept of Technological Military/Civilian Duality

 François-Xavier Meunier
Journal of innovation economics, 2019, n°29 (1), pp.159. ⟨10.3917/jie.029.0159⟩
Journal articles halshs-02131696v1

Overheating dependent undercooling in a hypoeutectic Co–B alloy

 Jun Wang , Yixuan He , Jinshan Li , Rui Hu , Hongchao Kou et al.
Materials Chemistry and Physics, 2015, 149-150, pp.17-20. ⟨10.1016/j.matchemphys.2014.11.010⟩
Journal articles hal-02064590v1
Image document

Logical Differential Constraints Based on Interval Boolean Tests