Browsing Artículos, Comunicaciones, Libros by Title
Now showing items 10341-10360 of 11843
-
Tableaux and Sequent Calculi for CTL and ECTL: Satisfiability Test with Certifying Proofs and Models
(Elservier, 2022-10-21)Certifying proofs are automated deductive proofs obtained as outcomes of a formal verification of temporal properties, where model checking is one of the most promi- nent approaches. The satisfiability problem for the ... -
Tableaux for Realizability of Safety Specifications
(Springer, 2023-03-03)We introduce a tableau decision method for deciding realizability of specifications expressed in a safety fragment of LTL that includes bounded future temporal operators. Tableau decision procedures for temporal and modal ... -
Tackling Sexual Violence in Higher Education. reflections and Learnings from the Basque Country
(Peter Lang, 2019)The persistence and reproduction of sexual violence in our societies is one of the great challenges that we must face in the search for social justice. On the basis of the experience backed by the Universities Supporting ... -
Tactical Analysis According to Age-level Groups during a 4 vs. 4 Plus Goalkeepers Small-sided Game
(MDPI, 2020-03-04)This study aimed to compare the collective dynamics of three different age-level groups (i.e., U13, U15 and U18) during a 4 vs. 4 plus goalkeepers small-sided game (SSG). Fifty-four male outfield soccer players aged between ... -
Tailor-Made Synthesis of Hydrosilanols, Hydrosiloxanes, and Silanediols Catalyzed by di-Silyl Rhodium(III) and Iridium(III) Complexes
(ACS, 2023-02)Siloxanes and silanols containing Si–H units are important building blocks for the synthesis of functionalized siloxane materials, and their synthesis is a current challenge. Herein, we report the selective synthesis of ... -
Tailored Biodegradable and Electroactive Poly(Hydroxybutyrate-Co-Hydroxyvalerate) Based Morphologies for Tissue Engineering Applications
(MDPI, 2018-08)Polymer-based piezoelectric biomaterials have already proven their relevance for tissue engineering applications. Furthermore, the morphology of the scaffolds plays also an important role in cell proliferation and ... -
Tailored CO2-philic Anionic Poly(ionic liquid) Composite Membranes: Synthesis, Characterization and Gas Transport Properties
(ACS, 2020-03-25)Polymeric membranes either containing, or built from, ionic liquids (ILs) are of great interest for enhanced CO2/light gas separation due to the stronger affinity of ILs toward quadrupolar CO2 molecules, and hence, high ... -
Tailoring magnetism in silicon-doped zigzag graphene edges
(Nature, 2022)Recently, the edges of single-layer graphene have been experimentally doped with silicon atoms by means of scanning transmission electron microscopy. In this work, density functional theory is applied to model and characterize ... -
Tailoring Mechanical Properties of Rigid Polyurethane Foams by Sorbitol and Corn Derived Biopolyol Mixtures
(ACS, 2015-10-28)Sorbitol arises to be a strong candidate for renewably sourced polyol synthesis. Moreover, processes for extracting sorbitol directly from cellulosic materials are effective, and materials such as agroforestry residues ... -
Tailoring of a Phenothiazine Core for Electrical Conductivity and Thermal Stability: Hole-Selective Layers in Perovskite Solar Cells
(ACS Publications, 2021-07-07)Hole-selective layers are an indispensable component for the fabrication of effective perovskite solar cells. We designed and developed two phenothiazine-based hole transport materials: PTADAnCBZ with an electron-donating ... -
Tailoring of Magnetic Softness and Magnetoimpedance of Co-Rich Microwires by Stress Annealing
(Wiley, 2021-06)glass-coated microwires are provided. As-prepared microwire presents linear hysteresis loops, moderate GMI ratio with double-peak magnetic field dependence and low coercivity (4 A m(-1)), typically observed for wires with ... -
Tailoring of Textural Properties of 3D Reduced Graphene Oxide Composite Monoliths by Using Highly Crosslinked Polymer Particles toward Improved CO2 Sorption
(American Chemical Society, 2022-12)The main constraint on developing a full potential for CO2 adsorption of 3D composite monoliths made of reduced graphene oxide (rGO) and polymer materials is the lack of control of their textural properties, along with the ... -
Tailoring physicochemical properties of collagen-based composites with ionic liquids and wool for advanced applications
(Elsevier, 2022-06)Wool, choline dihydrogen phosphate ([Ch][DHP]) or choline serinate ([Ch][Seri) ionic liquids (ILs) were incorporated into native collagen formulations and films were prepared by compression molding. Scanning electron ... -
Tailoring the isothermal crystallization kinetics of isodimorphic poly (butylene succinate-ran-butylene azelate) random copolymers by changing composition
(Elsevier, 2019-10-07)A detailed isothermal crystallization study of biobased and biodegradable isodimorphic poly (butylene succinate-ran-butylene azelate) random copolyesters (PBS-ran-PBAz) with a wide composition range has been carried out ... -
Tailoring the magnetocaloric, magnetic and thermal properties of Dy6(Fe,Mn)X2 intermetallics (X==Sb, Te, Bi)
(Elsevier, 2022-01-15)[EN] The structural, magnetic, magnetocaloric (MCE) and thermal properties of seven Fe2P-type Dy6(Fe,Mn)X2 (X=Sb, Bi, Te) intermetallics (space group P 6 over line 2 m, N 189, hP9) have been experimentally studied. They ... -
Tailoring the nucleation and crystallization rate of polyhydroxybutyrate by copolymerization
(ACS, 2023-10)In the polyester family, the biopolymer with the greatest industrial potential could be poly(3-hydroxybutyrate) (PHB), which can be produced nowadays biologically or chemically. The scarce commercial use of PHB derives ... -
Tailoring the physical properties of hybrid magnetic quinuclidine-based plastic compounds via weak interactions
(Royal Society of Chemistry, 2023)Herein we explore the opportunities arising from combining bicyclic amine cations with halometallate anions to build organic–inorganic hybrid materials. We will use the crystal engineering approach in these materials, ... -
Tailoring thermomechanical treatment of Ni-Fe-Ga melt-spun ribbons for elastocaloric applications
(Elsevier, 2019-09)In the present work, the structural, mechanical and shape memory properties of Ni55Fe16Ga29 (at.%) melt-spun ribbons have been studied with a prospective of application in the elastocaloric devises. Particularly, a special ... -
Taking Advantage of Phosphate Functionalized Waterborne Acrylic Binders to Get Rid of Inhibitors in Direct-to-Metal Paints
(MDPI, 2022-01-13)In this paper, two phosphate functionalized acrylic binders are formulated to yield direct-to-metal paints without using corrosion inhibitors. The difference between both binders is the addition of polystearylacrylate ... -
Taking advantage of the excess of thermal naphthas to enhance the quality of FCC unit products
(Elsevier B.V., 2020-09-26)Today, many European refineries finish up with excess of low-quality thermal naphthas that are hard to be marketed and, commonly, end being absorbed by catalytic naphthas at the expense of their higher quality. In this ...