n/a

The continuing size reduction of electronic devices imposes design challenges to optimize the performances of modern electronic systems, such as: wireless services, telecom and mobile computing. Fortunately, those design challenges can be overcome thanks to the development of Electronic Design Automation (EDA) tools. In the analog, mixed signal and radio-frequency (AMS/RF) domains, circuit optimization tools have demonstrated their usefulness in addressing design problems taking into account downscaling technological aspects. Recent advances in EDA have shown that the simulation-based sizing technique is a very interesting solution to the ‘complex’ modelling task in the circuit design optimization problem. In this paper we propose a multi-objective simulation-based optimization tool. A CMOS LC-VCO circuit is presented to show the viability of this tool. The tool is used to generate the Pareto front linking two conflicting objectives, namely the VCO Phase Noise and Power Consumption. The accuracy of the results is checked against HSPICE/RF simulations.

Prion protein (PrPC) biosynthesis involves a multi-step process that includes translation and post-translational modifications. While PrP has been widely investigated, for the homolog Doppel (Dpl), limited knowledge is available. In this study, we focused on a vital step of eukaryotic protein biosynthesis: targeting by the signal recognition particle (SRP). Taking the ovine Dpl (OvDpl(1-30)) peptide as a template, we studied its behavior in two different hydrophobic environments using CD and NMR spectroscopy. In both trifluoroethanol (TFE) and dihexanoyl-sn-glycero-3-phosphatidylcholine (DHPC), the OvDpl(1-30) peptide revealed to fold in an alpha-helical conformation with a well-defined central region extending from residue Cys8 until Ser22. The NMR structure was subsequently included in a computational docking complex with the conserved M-domain of SRP54 protein (SRP54M), and further compared with the N-terminal structures of mouse Dpl and bovine PrPC proteins. This allowed the determination of (i) common predicted N-terminal/SRP54M polar contacts (Asp331, Gln335, Glu365 and Lys432) and (ii) different N–C orientations between prion and Dpl peptides at the SRP54M hydrophobic groove, that are in agreement with each peptide electrostatic potential. Together, these findings provide new insights into the biosynthesis of prion-like proteins. Besides they also show the role of protein conformational switches in signalization toward the endoplasmic membrane, a key event of major significance in the cell cycle. They are thus of general applicability to the study of the biological function of prion-like as well as other proteins.

The paper analyses numerical solutions for the process leading to debonding failure of fiber reinforced polymers (FRP)-to-concrete interfaces in shear tests with the FRP plate subjected to a tensile load at one end. Any realistic local nonlinear bond-slip law can be used in the numerical analysis proposed in the present study. However, only a Popovics’ type expression is employed in the numerical process due to its use in different studies found in the literature. Effective bond length (Leff) is discussed and an expression depending on the Popovics’ constant (nP) is proposed to calculate it. Assuming a fracture in pure Mode II, the debonding process is analyzed in detail and distributions of bond stresses and strains in the FRP plate along the interface are presented. The load-displacement behaviour is also presented and the influence of the local bond-slip law on the debonding process is discussed.

The preferential binding of anions and cations in aqueous solutions of the ionic liquids (ILs) 1-butyl- 3-methylimidazolium ([C₄mim]⁺) and 1-ethyl-3-methylimidazolium ([C₂mim]⁺) chloride and dicyanamide (dca^-) with the small alpha-helical protein Im7 was investigated using a combination of differential scanning calorimetry, NMR spectroscopy and molecular dynamics (MD) simulations. Our results show that direct ion interactions are crucial to understand the effects of ILs on the stability of proteins and that an anion effect is dominant. We show that the binding of weakly hydrated anions to positively charged or polar residues leads to the partial dehydration of the backbone groups, and is critical to control stability, explaining why dca^- is more denaturing than Cl^-. Direct cation–protein interactions also mediate stability; cation size and hydrophobicity are relevant to account for destabilisation as shown by the effect of [C₄mim]⁺ compared to [C₂mim]⁺. The specificity in the interaction of IL ions with protein residues established by weak favourable interactions is confirmed by NMR chemical shift perturbation, amide hydrogen exchange data and MD simulations. Differences in specificity are due to the balance of interaction established between ion pairs and ion-solvent that determine the type of residues affected. When the interaction of both cation and anion with the protein is strong the net result is similar to a non-specific interaction, leading ultimately to unfolding. Since the nature of the ions is a determinant of the level of interaction with the protein towards denaturation or stabilisation, ILs offer a unique possibility to modulate protein stabilisation or even folding events.

Let \(\mathcal{M}(\mathbb{R}^n)\) be the class of bounded away from one and infinity functions \(p:\mathbb{R}^n\to[1,\infty]\) such that the Hardy-Littlewood maximal operator is bounded on the variable Lebesgue space \(L^{p(\cdot)}(\mathbb{R}^n)\). We show that if \(a\) belongs to the Hörmander class \(S_{\rho,\delta}^{n(\rho-1)}\) with \(0<\rho\le 1\), \(0\le\delta<1\), then the pseudodifferential operator \(\operatorname{Op}(a)\) is bounded on the variable Lebesgue space \(L^{p(\cdot)}(\mathbb{R}^n)\) provided that \(p\in\mathcal{M}(\mathbb{R}^n)\). Let \(\mathcal{M}^*(\mathbb{R}^n)\) be the class of variable exponents \(p\in\mathcal{M}(\mathbb{R}^n)\) represented as \(1/p(x)=\theta/p_0+(1-\theta)/p_1(x)\) where \(p_0\in(1,\infty)\), \(\theta\in(0,1)\), and \(p_1\in\mathcal{M}(\mathbb{R}^n)\). We prove that if \(a\in S_{1,0}^0\) slowly oscillates at infinity in the first variable, then the condition \[ \lim_{R\to\infty}\inf_{|x|+|\xi|\ge R}|a(x,\xi)|>0 \] is sufficient for the Fredholmness of \(\operatorname{Op}(a)\) on \(L^{p(\cdot)}(\mathbb{R}^n)\) whenever \(p\in\mathcal{M}^*(\mathbb{R}^n)\). Both theorems generalize pioneering results by Rabinovich and Samko [RS08] obtained for globally log-Hölder continuous exponents \(p\), constituting a proper subset of \(\mathcal{M}^*(\mathbb{R}^n)\).

Spreadsheets are being used with many different purposes that range from toy applications to complete information systems. In any of these cases, they are often used as data repositories that can grow significantly. As the amount of data grows, it also becomes more difficult to extract concrete information out of them. This paper focuses on the problem of spreadsheet querying. In particular, we propose an expressive and composable technique where intuitive queries can be defined. Our approach builds on a model-driven spreadsheet development environment, and queries are expressed referencing entities in the model of a spreadsheet instead of in its actual data. Finally, the system that we have implemented relies on Google's query function for spreadsheets.

This paper presents a tool, named QUERYSHEET, to query spreadsheets. We defined a language to write the queries, which resembles SQL, the language to query databases. This allows to write queries which are more related to the spreadsheet content than with current approaches.

Let k be a positive integer and G be a k-connected graph. An edge-coloured path is rainbow if its edges have distinct colours. The rainbow k-connection number of G, denoted by rc_k(G), is the minimum number of colours required to colour the edges of G so that any two vertices of G are connected by k internally vertex-disjoint rainbow paths. The function rc_k(G) was first introduced by Chartrand, Johns, McKeon, and Zhang in 2009, and has since attracted considerable interest. In this paper, we consider a version of the function rc_k(G) which involves vertex-colourings. A vertex-coloured path is vertex-rainbow if its internal vertices have distinct colours. The rainbow vertex k-connection number of G, denoted by rvc_k(G), is the minimum number of colours required to colour the vertices of G so that any two vertices of G are connected by k internally vertex-disjoint vertex-rainbow paths. We shall study the function rvc_k(G) when G is a cycle, a wheel, and a complete multipartite graph. We also construct graphs G where rc_k(G) is much larger than rvc_k(G) and vice versa so that we cannot in general bound one of rc_k(G) and rvc_k(G) in terms of the other.

Os sistemas de memória transacional distribuída atuais recorrem essencialmente à distribuição ou à replicação total para distribuir os seus dados pelos múltiplos nós do sistema. No entanto, estas estratégias de replicação de dados apresentam limitações. A distribuição não oferece tolerância a falhas e a replicação total limita a capacidade de armazenamento do sistema. Nesse contexto, a replicação parcial de dados surge como uma solução intermédia, que combina o melhor das duas anteriores com o intuito de mitigar as suas desvantagens. Esta estratégia tem sido explorada no contexto das bases de dados distribuídas, mas tem sido pouco abordada no contexto da memória transacional e, tanto quanto sabemos, nunca antes tinha sido incorporada num sistema de memória transacional distribuída para uma linguagem de propósito geral. Assim, neste artigo propomos e avaliamos uma infraestrutura para replicação parcial de dados para programas Java bytecode, que foi desenvolvida com base num sistema já existente de memória transacional distribuída. A modularidade da infraestrutura que apresentamos permite a implementação de múltiplos algoritmos e, por conseguinte, avaliar em que contextos de utilização (workloads, número de nós, etc.) a replicação parcial se apresenta como uma alternativa viável a outras estratégias de replicação de dados.

The use of agar-based biomaterials for the development of emerging areas, such as tissue engineering or ‘smart materials’ production has recently gained great interest. Understanding how these gel-forming polysaccharides self-organise in aqueous media and how these associations can be tuned to meet the specific needs of each application is thus of great relevance. As an extension of previous pioneering research concerning the application of the microwave-assisted extraction (MAE) technique in the recovery of native (NA) and alkali-modified (AA) agars, this article focuses on the different molecular assemblies assumed by these novel NA and AA when using different MAE routes. The molecular architectures in dilute (5, 10, 50 and 100 mg mL
1) and concentrated (1.5% (w/w)) aqueous media were imaged by AFM and cryoSEM, respectively. Relevant structural and physicochemical properties were investigated to support the microscopic data. Different extraction routes led to polysaccharides with unique properties, which in turn resulted in different molecular assemblies. Even at 5 mg mL
1, AFM images included individual fibers, cyclic segments, aggregates and local networks. At higher polymer concentrations, the structures further aggregated forming multilayer polymeric networks for AA. The more compact and denser 3D networks of AA, imaged by cryoSEM, and their higher resistance to large deformations matched the 2D-shapes observed by AFM. Depending on the nature of the AA chains, homogeneous or heterogeneous growth of assemblies was seen during network formation. The obtained results support well the view of double helix formation followed by intensive double helix association proposed for agar gelation.

n/a

Non-catalytic cellulosomal carbohydrate-binding modules (CBMs) are responsible for increasing the catalytic efficiency of cellulosic enzymes by selectively putting the substrate (a wide range of poly- and oligosaccharides) and enzyme into close contact. In the present work we carried out an atomistic rationalization of the molecular determinants of ligand specificity of a family 11 CBM from thermophilic C. thermocellum (CtCBM11), based on a NMR and molecular modeling approach. We have determined the NMR solution structure of CtCBM11 at 25 and 50 ºC and derived information on the residues of the protein involved in ligand recognition and on the influence of the length of the saccharide chain on binding. We obtained models of the CtCBM11/cellohexaose and CtCBM11/cellotetraose complexes by docking in accordance with the NMR experimental data. Specific ligand/protein CH-π and Van der Waals interactions were found to be determinant for the stability of the complexes and for defining specificity. Using the order parameters derived from backbone dynamics analysis in the presence and absence of ligand and at 25 and 50 ºC, we determined that the protein’s backbone conformational entropy is slightly positive. This data in combination with the negative binding entropy calculated from ITC studies supports a selection mechanism where a rigid protein selects a defined oligosaccharide conformation.

This work aimed to study the effect of different pre-treatments applied to a potato peel residue, in a thermophilic Anaerobic Digestion (AD) process. All samples were subjected to a mechanical pre-treatment through milling to a particle size below 2 mm. The thermal pre-treatments applied consisted of autoclaving the residue at a gauge pressure of 1.2 bar, under a temperature of 122°C, and for 20, 35 and 55 minutes: assays E122.20, E122.35 and E122.55, respectively. The control assay was performed on a ground residue, which was not submitted to any thermal pre-treatment. All pre-treated residues were subjected to an AD process in a CSTR reactor at 49±1°C. The experimental data showed that the highest methane percentages were very similar (about 92% v/v) for all samples submitted to the thermal pre-treatments. For the control assay, the highest percentage of methane was 87.9% (v/v). The highest biogas yields were recorded in the trial E122.35 (646±50 cm3.g-1 CODremoved), against only 250±20 cm3.g-1 CODremoved for the control assay. The highest biogas yields for VSremoved were attained in the assays E122.55 and E122.35, with values of 646±48 cm3.g-1 VSremoved and 634±59 cm3.g-1 VSremoved, respectively. Globally, the yields registered for the assay E122.35 were similar to those determined in the assay E122.55. Due to the lower energy consumption during the pre-treatment performed in the assay E122.35, this was considered to be the most suitable pre-treatment for this type of residue.