Browsing Complete repository Arts & humanities   Archaeology   Art & art history   Classical & oriental studies   History   Languages & linguistics   Literature   Performing arts   Philosophy & ethics   Religion & theology   Multidisciplinary, general & others Business & economic sciences   Accounting & auditing   Production, distribution & supply chain management   Finance   General management & organizational theory   Human resources management   Management information systems   Marketing   Strategy & innovation   Quantitative methods in economics & management   General economics & history of economic thought   International economics   Macroeconomics & monetary economics   Microeconomics   Economic systems & public economics   Social economics   Special economic topics (health, labor, transportation…)   Multidisciplinary, general & others Engineering, computing & technology   Aerospace & aeronautics engineering   Architecture   Chemical engineering   Civil engineering   Computer science   Electrical & electronics engineering   Energy   Geological, petroleum & mining engineering   Materials science & engineering   Mechanical engineering   Multidisciplinary, general & others Human health sciences   Alternative medicine   Anesthesia & intensive care   Cardiovascular & respiratory systems   Dentistry & oral medicine   Dermatology   Endocrinology, metabolism & nutrition   Forensic medicine   Gastroenterology & hepatology   General & internal medicine   Geriatrics   Hematology   Immunology & infectious disease   Laboratory medicine & medical technology   Neurology   Oncology   Ophthalmology   Orthopedics, rehabilitation & sports medicine   Otolaryngology   Pediatrics   Pharmacy, pharmacology & toxicology   Psychiatry   Public health, health care sciences & services   Radiology, nuclear medicine & imaging   Reproductive medicine (gynecology, andrology, obstetrics)   Rheumatology   Surgery   Urology & nephrology   Multidisciplinary, general & others Law, criminology & political science   Civil law   Criminal law & procedure   Criminology   Economic & commercial law   European & international law   Judicial law   Metalaw, Roman law, history of law & comparative law   Political science, public administration & international relations   Public law   Social law   Tax law   Multidisciplinary, general & others Life sciences   Agriculture & agronomy   Anatomy (cytology, histology, embryology...) & physiology   Animal production & animal husbandry   Aquatic sciences & oceanology   Biochemistry, biophysics & molecular biology   Biotechnology   Entomology & pest control   Environmental sciences & ecology   Food science   Genetics & genetic processes   Microbiology   Phytobiology (plant sciences, forestry, mycology...)   Veterinary medicine & animal health   Zoology   Multidisciplinary, general & others Physical, chemical, mathematical & earth Sciences   Chemistry   Earth sciences & physical geography   Mathematics   Physics   Space science, astronomy & astrophysics   Multidisciplinary, general & others Social & behavioral sciences, psychology   Animal psychology, ethology & psychobiology   Anthropology   Communication & mass media   Education & instruction   Human geography & demography   Library & information sciences   Neurosciences & behavior   Regional & inter-regional studies   Social work & social policy   Sociology & social sciences   Social, industrial & organizational psychology   Theoretical & cognitive psychology   Treatment & clinical psychology   Multidisciplinary, general & others      by title 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z or enter first few letters:    OK Showing results 83201 to 83220 of 124506     4156 4157 4158 4159 4160 4161 4162 4163 4164 4165 4166     Omega-regular model checkingBoigelot, Bernard ; Legay, A.; Wolper, Pierre in Lecture Notes in Computer Science (2004), 2988"Regular model checking" is the name of a family of techniques for analyzing infinite-state systems in which states are represented by words or trees, sets of states by finite automata on these objects ... [more ▼]"Regular model checking" is the name of a family of techniques for analyzing infinite-state systems in which states are represented by words or trees, sets of states by finite automata on these objects, and transitions by finite automata operating on pairs of state encodings, i.e. finite-state transducers. In this context, the central problem is then to compute the iterative closure of a finite-state transducer. This paper addresses the use of regular model-checking like techniques for systems whose states are represented by infinite (omega) words. Its main motivation is to show the feasibility and usefulness of this approach through a combination of the necessary theoretical developments, implementation, and experimentation. The iteration technique that is used is adapted from recent work of the authors on the iteration of finite-word transducers. It proceeds by comparing successive elements of a sequence of approximations of the iteration, detecting an "increment" that is added to move from one approximation to the next, and extrapolating the sequence by allowing arbitrary repetitions of this increment. By restricting oneself to weak deterministic Buchi automata, and using a number of implementation optimizations, examples of significant size can be handled. The proposed transducer iteration technique can just as well be exploited to compute the closure of a given set of states by the transducer iteration, which has proven to be a very effective way of using the technique. Examples such as a leaking gas burner in which time is modeled by real variables have been handled completely within the automata-theoretic setting. [less ▲]Detailed reference viewed: 50 (10 ULg) Omnipresent and Everlasting Imperialism: Race and Gender Oppression in Caryl Phillips's Cambridge and A Distant ShoreGillet, Lucie in Ledent, Bénédicte; Tunca, Daria (Eds.) Caryl Phillips: Writing in the Key of Life (2010)Detailed reference viewed: 133 (15 ULg) Omniscientis project-final reportOmniscientis, partenaires; Romain, Anne-Claude Conference (2014, December)The EU-funded 'Odour monitoring and information system based on citizen and technology innovative sensors' (http://www.omniscientis.eu/, OMNISCIENTIS) project has made significant inroads in this regard ... [more ▼]The EU-funded 'Odour monitoring and information system based on citizen and technology innovative sensors' (http://www.omniscientis.eu/, OMNISCIENTIS) project has made significant inroads in this regard with the aim of mitigating odour annoyance. To begin with, documents were developed describing the desired specifications for odour measurement, dispersion modelling and information technologies. In parallel, the needs and expectations of all stakeholders, including citizens, regulatory authorities and industrial bodies, were taken into consideration. Citizens' feedback on odour acceptability levels were gathered through smartphones and using the living lab approach. They were further combined with measurements from e-nose and odour dispersion models. Project members developed an Odour Information System that produces validated monitoring statistics and impact levels for local authorities to support environment-related decision-making and for citizens to give them feedback on their complaints. A mobile application is also available, used by citizens to perform odour related observations. Over 5000 observations were sent until now. Besides, two in-situ e-nose sensors and a meteorological station were installed and calibrated in the industrial site in Belgium, serving as pilot. Further 18 industrial parameters are collected in real time and 15 odour field surveys have been performed to understand odour sources and characteristics. The e-nose technology was optimised through tests and improvements to better understand relevant odour parameters at the second pilot site, a pig farm in Austria. Researchers adapted the GRAL-System pollutant dispersion model to develop a fast odour dispersion modelling system using harmonised real-time meteorological data and industrial emission measurements. It was validated with the odour emission rates, olfactometry campaigns and citizens observations. Most of the GRAL-solver components were implemented in Cuda with a speed improved by a factor superior of 100. Project activities were disseminated via project website and factsheets, 3 scientific papers, 13 international conferences and 3 user workshops involving selected citizens, technicians and authorities. Local environmental governance was enhanced through citizen empowerment via monthly meetings and specific methodologies. Better and timely feedback on undesirable odours arising from certain emissions will help in setting evidence-based acceptable odour limits. Ultimately, a particular attention have been addressed by all partners and in particular by involved SMEs in order to ensure the exploitation of the results and enabling the identification of concrete commercial opportunities that may be pursued after the project. [less ▲]Detailed reference viewed: 16 (0 ULg) Omogenitorialità: sfide e risorse per la terapia familiareD'Amore, Salvatore Scientific conference (2014, March 22)Detailed reference viewed: 19 (0 ULg) Omongwaite, Na2Ca5(SO4)6.3H2O, a new mineral from recent salt lake deposits, NamibiaMees, Florias; Hatert, Frédéric ; Rowe, R.in Mineralogical Magazine (2008), 72Detailed reference viewed: 40 (2 ULg) Omtrek en oppervlakte van pixelfigurenBogaert, Jan ; Rousseau, Rin Wiskunde en Onderwijs (1999), 25Detailed reference viewed: 3 (0 ULg) Omvang en samenstelling van het gemeenschappelijk vermogenLeleu, Yves-Henri in Verbeke, A.; Buyssens, F.; Derycke, H. (Eds.) Estate planning - Vermogensplanning met effect bij leven: huwelijk en samenwoning (2004)Detailed reference viewed: 22 (3 ULg) On (Omega-)regular model checkingLegay, Axel; Wolper, Pierre in ACM Transactions on Computational Logic (2010), 12(1), 46Checking infinite-state systems is frequently done by encoding infinite sets of states as regular languages. Computing such a regular representation of, say, the set of reachable states of a system ... [more ▼]Checking infinite-state systems is frequently done by encoding infinite sets of states as regular languages. Computing such a regular representation of, say, the set of reachable states of a system requires acceleration techniques that can finitely compute the effect of an unbounded number of transitions. Among the acceleration techniques that have been proposed, one finds both specific and generic techniques. Specific techniques exploit the particular type of system being analyzed, for example, a system manipulating queues or integers, whereas generic techniques only assume that the transition relation is represented by a finite-state transducer, which has to be iterated. In this article, we investigate the possibility of using generic techniques in cases where only specific techniques have been exploited so far. Finding that existing generic techniques are often not applicable in cases easily handled by specific techniques, we have developed a new approach to iterating transducers. This new approach builds on earlier work, but exploits a number of new conceptual and algorithmic ideas, often induced with the help of experiments, that give it a broad scope, as well as good performances. [less ▲]Detailed reference viewed: 41 (12 ULg) On a "Mathematical Neo-Aristotelism" in LeibnizBouquiaux, Laurence in Self-Organisation and Emergence in Life Sciences, Springer, Dordrecht (2006)Detailed reference viewed: 4 (0 ULg) On a class of micromechanical damage models with initial stresses for geomaterialsLevasseur, Séverine ; Collin, Frédéric ; Charlier, Robert et alin Mechanics Research Communications (2010), 37In this paper, we extend a class of micromechanical damage models by including initial stresses. The proposed approach is based on the solution of the Eshelby inhomogeneous inclusion problem in the ... [more ▼]In this paper, we extend a class of micromechanical damage models by including initial stresses. The proposed approach is based on the solution of the Eshelby inhomogeneous inclusion problem in the presence of a prestress (in the matrix), adapted for elastic voided media. The closed form expression of the corresponding energy potential is used as the basis of various isotropic damage models corresponding to three standard homogenization schemes. These models are illustrated by considering isotropic tensile loadings with different initial stresses. Finally, still in the isotropic context, we provide an interpretation of the macroscopic damage model formulated by Halm-Dragon (1996) by briefly connecting it to the present study. [less ▲]Detailed reference viewed: 35 (6 ULg) On a fundamental structure of gene networks in living cellsKravchenko-Balasha, Nataly; Levitzki, Alexander; Goldstein, Andrew et alin Proceedings of the National Academy of Sciences of the United States of America (2012), 109(12), 4702-4707Computers are organized into hardware and software. Using a theoretical approach to identify patterns in gene expression in a variety of species, organs, and cell types, we found that biological systems ... [more ▼]Computers are organized into hardware and software. Using a theoretical approach to identify patterns in gene expression in a variety of species, organs, and cell types, we found that biological systems similarly are comprised of a relatively unchanging hardware-like gene pattern. Orthogonal patterns of software-like transcripts vary greatly, even among tumors of the same type from different individuals. Two distinguishable classes could be identified within the hardware-like component: those transcripts that are highly expressed and stable and an adaptable subset with lower expression that respond to external stimuli. Importantly, we demonstrate that this structure is conserved across organisms. Deletions of transcripts from the highly stable core are predicted to result in cell mortality. The approach provides a conceptual thermodynamic-like framework for the analysis of gene-expression levels and networks and their variations in diseased cells. [less ▲]Detailed reference viewed: 15 (1 ULg) On a general decomposition of the error of an approximate stress field in elasticityDebongnie, Jean-François ; Beckers, Pierre in Computer Assisted Mechanics and Engineering Sciences [=CAMES] (2001), 8The errors of finite element approximations are analysed in a general frame, which is completely independent from the way through which the approximate solution was obtained. It is found that the error ... [more ▼]The errors of finite element approximations are analysed in a general frame, which is completely independent from the way through which the approximate solution was obtained. It is found that the error always admits decomposition in two terms, namely the equilibrium error and the compatibility error, which are orthogonal. Each of these admits upper and lower bound that can be computed in a post-processing scheme [less ▲]Detailed reference viewed: 32 (7 ULg) On a Lie Algebraic Characterization of Vector BundlesLecomte, Pierre ; Leuther, Thomas ; Zihindula Mushengezi, Elie in Symmetry, Integrability and Geometry: Methods and Applications [=SIGMA] (2012)We prove that a vector bundle E -> M is characterized by the Lie algebra generated by all differential operators on E which are eigenvectors of the Lie derivative in the direction of the Euler vector ... [more ▼]We prove that a vector bundle E -> M is characterized by the Lie algebra generated by all differential operators on E which are eigenvectors of the Lie derivative in the direction of the Euler vector field. Our result is of Pursell-Shanks type but it is remarkable in the sense that it is the whole f ibration that is characterized here. The proof relies on a theorem of [Lecomte P., J. Math. Pures Appl. (9) 60 (1981), 229{239] and inherits the same hypotheses. In particular, our characterization holds only for vector bundles of rank greater than 1. [less ▲]Detailed reference viewed: 48 (9 ULg) On a modified bilinear law to model bit/rock interaction in percussive drillingDepouhon, Alexandre ; Denoël, Vincent ; Detournay, Emmanuelin Proceedings of the Nonlinear Dynamics in Engineering Conference (2013, August 21)Detailed reference viewed: 35 (2 ULg) On a new species of Gregarina to be called Gregarina gigenteaVan Beneden, Édouard in Quarterly Journal of Microscopical Science (The) (1870), 2(10), 51-59Detailed reference viewed: 12 (0 ULg) On a purely lagrangian formulation of sloshing and fluid-induced vibrations of tanksDebongnie, Jean-François in Computer Methods in Applied Mechanics & Engineering (1986), 58(1), 1-18A general variational principle for fluid-structure interactions is obtained from a purely Lagrangian point of view, thus avoiding any difficulty at the fluid-structure interaction. This rather general ... [more ▼]A general variational principle for fluid-structure interactions is obtained from a purely Lagrangian point of view, thus avoiding any difficulty at the fluid-structure interaction. This rather general variational principle is shown to degenerate, when suitable restrictions are made, in two known formulations, whose range of applicability is defined with the aid of three nondimensional numbers. [less ▲]Detailed reference viewed: 26 (5 ULg) On a q-analogue of the spin-orbit couplingMicu, M.; Stancu, Floarea in Journal of Physics : A Mathematical & General (2000), A33Based on the tensor method, a $q$-analogue of the spin-orbit coupling is introduced in a $q$-deformed Schr\" odinger equation, previously derived for a central potential. Analytic expressions for the ... [more ▼]Based on the tensor method, a $q$-analogue of the spin-orbit coupling is introduced in a $q$-deformed Schr\" odinger equation, previously derived for a central potential. Analytic expressions for the matrix elements of the representations $j = \ell \pm 1/2$ are derived. The spectra of the harmonic oscillator and the Coulomb potential are calculated numerically as a function of the deformation parameter, without and with the spin-orbit coupling. The harmonic oscillator spectrum presents strong analogies with the bound spectrum of an Woods-Saxon potential customarily used in nuclear physics. The Coulomb spectrum simulates relativistic effects. The addition of the spin-orbit coupling reinforces this picture. [less ▲]Detailed reference viewed: 6 (1 ULg) On a three-body confinement force in hadron spectroscopyPepin, S.; Stancu, Floarea in Physical Review. D : Particles and Fields (2002), D65Recently it has been argued that a three-body colour confinement interaction can affect the stability condition of a three-quark system and the spectrum of a tetraquark described by any constituent quark ... [more ▼]Recently it has been argued that a three-body colour confinement interaction can affect the stability condition of a three-quark system and the spectrum of a tetraquark described by any constituent quark model. Here we discuss the role of a three-body colour confinement interaction in a simple quark model and present some of its implications for the spectra of baryons, tetraquarks and six-quark systems. [less ▲]Detailed reference viewed: 14 (3 ULg) On an Extended Irreversible Thermodynamic description of transient heat conduction in nano structuresLebon, Georgy ; Dauby, Pierre ; Grmela, M.in Proceedings of the 2d IEEES Conference (2005, July)Detailed reference viewed: 5 (0 ULg) On angle references in long-term time-domain simulationsFabozzi, Davide ; Van Cutsem, Thierry in IEEE Transactions on Power Systems (2011), 26(1), 483-484Abstract—In power system dynamic models the complex network equations and the various phasors are projected onto reference axes. After a short critical review of commonly chosen reference axes, this ... [more ▼]Abstract—In power system dynamic models the complex network equations and the various phasors are projected onto reference axes. After a short critical review of commonly chosen reference axes, this letter proposes to use the center-of-inertia at the previous integration time step. This approach is shown to combine the advantages of the center-of-inertia with a sparser Jacobian structure and an easier handling of network splits. [less ▲]Detailed reference viewed: 244 (50 ULg)