Search results for "ample"

showing 10 items of 2398 documents

Rapid and eco-friendly synthesis of graphene oxide-silica nanohybrids

2014

The increasing interest in Graphene oxide (GO) is due to many issues: the presence of both sp2-conjugated atoms and oxygen-containing functional groups provides a strong hydrophilicity and the possibility to further functionalize it with other molecules (i.e. π-π interactions covalent attachment etc.) [1]. Furthermore since the GO is biocompatible and noncytotoxic many studies have been recently focused on the development of GO-based nanodevices for bioimaging DNA detection drug delivery. Due to their low cytotoxicity and large internal surface area silica nanoparticles have been taken into account as promising material for biolabeling and drug loading/delivery. Particular consideration has recently been demonstrated for GO-silica composites because of the potentialities for electrical applications their chemical inertia and stability toward ions exposure. The possibility to combine the extraordinary properties of GO and silica offers several advantages for the realization of nanoprobes for biological applications and of biosensor [12]. The strategy for the fabrication of GO-nanosilica nanohybrids can be schematized as follows: (i) synthesis of GO by oxidizing graphite powder with the method described by Marcano et al. [3] (ii) Preparation of oxygen-loaded silica nanoparticles by thermal treatments in controlled atmosphere in order to induce high NIR emission at 1272 nm from high purity silica nanoparticles. (iii) preparation of GrO-silica nanohybrid films via rapid solvent casting in water. The nanohybrids were tested by XPS FTIR Raman analysis UV photoluminescence analysis TGA Zeta potential measurements electrical tests AFM and SEM. Several nanohybrids were prepared by combining two different typologies of GO and two different samples of silica.
researchProduct

Integrazione di celle fotovoltaiche ibride nel vetromattone

2012

L’invenzione riguarda l’integrazione del vetromattone con celle solari ibride (organiche/inorganiche), conosciute come Dye-sensitized Solar Cell (DSC). La combinazione del vetromattone con le DSC consente di migliorare le prestazioni del prodotto originario rendendolo in grado di produrre energia pulita. Le caratteristiche di trasparenza e isolamento termo-acustico del prodotto possono essere regolate agendo sulla configurazione delle DSC. Il prodotto può essere assemblato a formare pannelli fotovoltaici per la realizzazione di facciate traslucide energeticamente “attive” in varie condizioni luminose (condizioni di luce diffusa o artificiale) e indipendentemente dall’angolo di radiazione so…

The integration of Dye-sensitized Solar Cell (DSC) with the glassblock is disclosed. The combination of the two technological elements the glassblock and the DSC module enhance their own peculiarities. The final complete product is ready-made for installation owns the qualities of the glassblock and produces sustainable energy at the same time. The transparency and the thermo-acoustic insulation may be modulated according to the specific requirements of each case of installation. The product may be used for example to create PV panels for glazed and translucent façades that are able to perform efficiently in all light conditions (even in diffuse light also converting internal artificial light) that are not dependant on the angle of the solar radiation and do not suffer from the high operative temperatures of functioning due to the peculiarities of the DSCs. DSCs are made of economic and biocompatible materials and are produced with low-cost and highly productive printing methods on rigid or flexible substrates. With the integration of DSC modules with the glassblock PV panels coincide with the envelope itself so that they do not need any further structures to be installed on and allow the possibility of subtract from the price of the panel the price of the substituted building element allowing further economies. DSCs can be printed in different colours and with various patterns offering to designers and customers the possibility of intervening on the glassblock aesthetical aspect also taking advantage of the peculiar modularity of the glassblock for larger compositions of drawings on the building’s façade. Seven Hypotheses of integration are discussed in order to obtain DSC-integrated glassblock ready for the construction of a precast and dry-assembled PV panel which can use the horizontal and vertical cavities between the glassblocks to house plastic profiles where the electric interconnections and the steel bars -useful for improve the mechanical resistance of the panel- are integrated.Settore ICAR/10 - Architettura Tecnica
researchProduct

Abitare nel reale. Dalla crisi della periferia alla tessitura di nuove relazioni contestuali

2019

I progetti redatti per “Palermo Sud-Est” sono il risultato di un Laboratorio di Laurea strutturatosi attraverso incontri, seminari, comunicazioni specialistiche, esposizioni critiche, che – in una strategia condivisa – ha visto ogni studente elaborare il proprio lavoro nel confronto con gli altri attori del Laboratorio stesso. La ricerca sui “progetti urbani” è stata impostata di modo che ogni laureando fosse messo a conoscenza dei progetti svolti nello stesso ambito territoriale dai colleghi che l’avevano preceduto, così da poter operare in continuità e contribuire a formulare un ragionamento unitario, nel quale ogni progetto costituisse continuazione, verifica o anche variante dei precede…

The projects prepared for "Palermo South-East" are the result of a Graduate Laboratory structured through meetings seminars specialist communications critical exhibitions which - in a shared strategy - saw each student elaborate their work in comparison with others actors of the same Laboratory. The research on "urban projects" was set so that each graduating student was made aware of the projects carried out in the same geographical area by the colleagues who had preceded it so as to be able to operate in continuity and contribute to formulating a unitary reasoning in which each project constituted continuation verification or even variant of the previous ones. These coordinated works have pursued two fundamental objectives: the strengthening of infrastructures and the establishment of specialized public buildings with superior functions aimed at requalifying and regenerating various critical situations with particular attention to the relationship between context and life scenarios. Thus each designer while dealing with a main functional program simultaneously deals with various issues such as the rationalization of the road system the redevelopment of existing buildings the design and refunctionalization of urban services (for example the transformed Central Station in the hotel or the project of a great Mosque)several degree theses have addressed as the main theme or as a question in the background the design of a new bed for the Oreto river and the relative establishment of a park facing it. In this desire to "patch up the wounds" in the different areas of "Palermo South-East" in close relationship with the vicissitudes of the place there is a continuous reference to architectures of all time and some questions involving the functional program are suggested - that identifies the character (or perhaps "type") of what is to be inserted in a given context - and the qualities of living reality as a pivotal material in the design process.Settore ICAR/14 - Composizione Architettonica E Urbana
researchProduct

Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement

2017

Abstract We present a counterexample-guided abstraction refinement ( CEGAR) approach for the verification of safety properties of linear hybrid automata with large discrete state spaces, such as naturally arising when incorporating health state monitoring and degradation levels into the controller design. Such models can – in contrast to purely functional controller models – not be analyzed with hybrid verification engines relying on explicit representations of modes, but require fully symbolic representations for both the continuous and discrete part of the state space. The presented abstraction methods directly work on a symbolic representation of arbitrary non-convex combinations of line…

Theoretical computer scienceComputer science020207 software engineering02 engineering and technologyAutomatonHybrid system0202 electrical engineering electronic engineering information engineeringState space020201 artificial intelligence & image processingState (computer science)Representation (mathematics)Boolean data typeSoftwareInterpolationCounterexampleScience of Computer Programming
researchProduct

Some models of inductive syntactical synthesis from sample computations

2005

The paper is a survey of several models of inductive program synthesis from sample computations. Synthesis tools are basically syntactical: the synthesis is based on the detection of "regular" fragments related with "shuffled" arithmetical progressions. Input sample computations are supposed to be "representative": they have to "reflect" all loops occurring in the target program. Programs are synthesized in nontraditional form of "generalized" regular expressions having Cleene stars and unions for loops and CASE-like operators. However, if input samples are somehow "annotated" (we consider two different approaches), then loops can be synthesized in more traditional WHILE-form, where loop co…

Theoretical computer scienceLOOP (programming language)ComputationSample (material)Arithmetic functionRegular expressionProgram synthesisMathematics
researchProduct

Quantum Real - Time Turing Machine

2001

The principles of quantum computation differ from the principles of classical computation very much. Quantum analogues to the basic constructions of the classical computation theory, such as Turing machine or finite 1-way and 2-ways automata, do not generalize deterministic ones. Their capabilities are incomparable. The aim of this paper is to introduce a quantum counterpart for real - time Turing machine. The recognition of a special kind of language, that can't be recognized by a deterministic real - time Turing machine, is shown.

TheoryofComputation_COMPUTATIONBYABSTRACTDEVICESTheoretical computer scienceQuantum Turing machineDTIMEComputer scienceProbabilistic Turing machine2-EXPTIMESuper-recursive algorithmComputationDescription numberDSPACElaw.inventionsymbols.namesakeTuring machineTuring completenessNon-deterministic Turing machinelawAlgorithm characterizationsQuantumPSPACEQuantum computerFinite-state machineTuring machine examplesNSPACETheoryofComputation_GENERALAutomatonTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESTuring reductionTheory of computationsymbolsUniversal Turing machineTime hierarchy theoremAlternating Turing machineComputer Science::Formal Languages and Automata TheoryRegister machine
researchProduct

Space-Efficient 1.5-Way Quantum Turing Machine

2001

1.5QTM is a sort of QTM (Quantum Turing Machine) where the head cannot move left (it can stay where it is and move right). For computations is used other - work tape. In this paper will be studied possibilities to economize work tape space more than the same deterministic Turing Machine can do (for some of the languages). As an example language (0i1i|i ≥ 0) is chosen, and is proved that this language could be recognized by deterministic Turing machine using log(i) cells on work tape , and 1.5QTM can recognize it using constant cells quantity.

TheoryofComputation_COMPUTATIONBYABSTRACTDEVICESTheoretical computer scienceQuantum Turing machineSuper-recursive algorithmComputer scienceProbabilistic Turing machineComputationDescription numberMultitape Turing machineDSPACElaw.inventionTuring machinesymbols.namesakeNon-deterministic Turing machinelawAlgorithm characterizationsPSPACEWolfram's 2-state 3-symbol Turing machineTuring machine examplesNSPACETuring reductionsymbolsUniversal Turing machineTime hierarchy theoremAlternating Turing machineRegister machine
researchProduct

On the classification of large residential buildings stocks by sample typologies for energy planning purposes

2014

Local and central administrations are often called to properly allocate economic resources intended for the territorial energy planning, on the basis of the performances achieved by implementing energy conservation measures. Particularly in the residential sector, that represents one of the most relevant sector for the energy demand, effective and reliable evaluation tools are required for this aim. Unfortunately, building stocks are characterized by a very large number of buildings that are referred to different construction periods and are equipped with a variety of appliances and tools, other than with different heating and cooling systems. This means that the whole energy consumption of…

Thermal consumptionEngineeringOfficial statisticsSettore ING-IND/11 - Fisica Tecnica Ambientalebusiness.industryMechanical EngineeringLarge numbersBuilding and ConstructionEnergy consumptionManagement Monitoring Policy and LawEnvironmental economicsEnergy planningCivil engineeringElectric applianceEnergy accountingEnergy policyEnergy conservationGeneral EnergySample typologieBuildings stockbusinessEnergy policyStock (geology)Applied Energy
researchProduct

Influence of sample pan on the thermal behaviour of KSCN measured with TG

2003

Abstract In this study, the influence of the sample pan on the thermal behaviour of potassium thiocyanate (KSCN) was investigated. The measurements were performed with thermogravimetry (TG) and the two sample pans used were a platinum pan and a ceramic crucible. The samples were heated to 400–950 °C and the thermal products were identified by powder diffraction. The thermal behaviour of KSCN was found to be dependent on the sample pan used. With the platinum sample pan KSCN reacted in the first step into a mixture of K 2 SO 4 and potassium tetracyanoplatinate (K 2 Pt(CN) 4 ). In the second step, the mixture reacted further to pure K 2 SO 4 . In the ceramic sample crucible, however, the reac…

ThiocyanateAnalytical chemistrychemistry.chemical_elementCondensed Matter PhysicsAlkali metalRubidiumThermogravimetrychemistry.chemical_compoundchemistryPotassium thiocyanateSample preparationPhysical and Theoretical ChemistryPlatinumThermal analysisInstrumentationThermochimica Acta
researchProduct

(Supplementary Table 1) 230Th/U results for stalagmite Cuba Grande (CG) from Pinar del Rio

2010

We present 22 U-series ages for a stalagmite from north-western Cuba based on multi-collector inductively coupled plasma mass spectrometry (MC-ICPMS) and thermal ionisation mass spectrometry (TIMS). Our results reveal that the stalagmite continuously grew within the last ~1400a. Low uranium content of the sample and thus, extremely low 230Th concentrations limit the precision and accuracy of 230Th/U-dating by TIMS. Samples measured by MC-ICPMS show a high variability of 232Th content along the growth axis with some sections significantly affected by initial 230Th from a detrital phase. An a-priori bulk earth ratio for (238U/232Th) cannot be used to accurately account for this initial 230Th.…

Thorium 230 Uranium 238 ratioUranium-234 standard deviationIntegrierte Analyse zwischeneiszeitlicher Klimadynamik INTERDYNAMIKUranium 238Thorium 230 Uranium 238 activity ratioUranium-238Thorium-230/Uranium-238 activity ratio standard deviationAge commentUranium 234Integrierte Analyse zwischeneiszeitlicher Klimadynamik (INTERDYNAMIK)commentAge dateddateddated standard deviationAgeAge dated standard deviationThorium-232 standard deviationThorium-230/Uranium-238 ratioMulti collector inductively coupled plasma mass spectrometer MC ICP MSThorium-230/Thorium-232 activity ratioThorium 232Uranium-238 standard deviationSpeleothem sampleThorium 230 Thorium 232 activity ratioUranium-234/Uranium-238 activity ratioUranium 234 Uranium 238 activity ratioThorium-232DISTANCEEarth System ResearchMulti-collector inductively coupled plasma mass spectrometer (MC-ICP-MS)standard deviationThorium-230/Thorium-232 activity ratio standard deviation
researchProduct