Miracle-dz/UniFAR-FTUs huggingface dataset:
Emergence of a Novel Catalytic Radical Reaction: Titanocene-Catalyzed Reductive Opening of Epoxides

The preparatively important catalytic opening of epoxides to β-titanoxy radicals via single-electron transfer (SET) is described. These radicals can be reduced to alcohols or participate in C−C bond-forming reactions. A key step in the catalytic cycle is the conceptually novel protonation of titanium−oxygen and −carbon bonds. Our method combines the advantages of radical reactions, e.g., high functional group tolerance and stability of radicals under protic conditions, with the ability of organometallic complexes to determine the course of transformations in reagent-controlled reactions.
Heterogeneous Reaction of NO3 with Ice and Sulfuric Acid Solutions: Upper Limits for the Uptake Coefficients

Using a Knudsen cell reactor, we have studied the uptake kinetics of the nitrate radical, NO 3, on ice and on sulfuric acid solutions. The experiments on ice were carried out over the temperature range 170 < T/K < 200. Experiments with liquid sulfuric acid were performed over the concentration range 60-95 wt % H2SO4. Nitrate radical is detected by laser-induced fluorescence. Measures had to be taken to characterize the fluorescence quenching by water vapor, for which we found a bimolecular rate constant of (6.9 ( 0.5) 10 -10 cm 3 molecule -1 s -1 . Also, the rate of NO3 disappearance on the walls of the Teflon-coated reactor is determined and accounted for in the kinetic analysis. We find that, within the detection limit of our apparatus, there is no interaction between NO3 and these surfaces, allowing us to report the upper limit for the uptake coefficient of A < 10 -3 .
Provably-efficient adaptive scheduling of multiprocessors for performance and energy

Performance and energy are two crucial but conflicting objectives in the design of modern high-performance computing systems. This thesis considers efficient scheduling of parallel applications on multiprocessors to optimize performance and energy consumption. We mainly focus on a two-level framework and dynamic speed scaling with minimal or no assumption about the characteristics of the jobs, such as their release time, remaining work and parallelism profile. Both processor allocations and processor speeds (if possible) are periodically readjusted based on the estimates of a job’s parallelism and the scheduling policy of the operating system. We present a novel adaptive scheduler that calculates parallelism estimations for a job using an adaptive controller and allocates processors based on the dynamic equi-partitioning policy. Compared to an existing adaptive scheduler proposed under the same two-level framework but experiences feedback instability, we show that our scheduler achieves stable feedback along with other desirable control-theoretic properties, such as zero steady-state error, zero overshoot and a user-configurable convergence rate. Moreover, we analyze from algorithmic perspective the performances of our scheduler and its variants with respect to several objective functions, including total response time, makespan and set response time on fixed speed processors, as well as total response time plus energy on variable speed processors. We show that our algorithms achieve optimal or nearly optimal performances with respect to these objectives. The simulation results, which are obtained based on malleable parallel jobs constructed with a set of internal parallelism variations, further confirmed the advantage of our scheduler in terms of both control-theoretic properties and algorithmic performances under a wide range of workloads. Furthermore, we consider adaptive scheduling where exact parallelism of a job is available to the scheduler at any time. We show that such information significantly improves performance and energy on variable speed processors. In particular, we present algorithms that effectively utilize this information and achieve optimal performances with respect to either total response time plus energy or makespan plus energy. To the best of our knowledge, this thesis presents the first study on multiprocessor scheduling that offers both desirable control-theoretic properties and optimal algorithmic performance guarantees.
On the impact of computer science outreach events on K-12 students

Lakanen, Antti-Jussi On the Impact of Computer Science Outreach Events on K-12 Students Jyväskylä: University of Jyväskylä, 2016, 74 p. (+included articles) (Jyväskylä Studies in Computing ISSN 1456-5390; 236) ISBN 978-951-39-6633-1 (nid.) ISBN 978-951-39-6634-8 (PDF) Finnish summary Diss. Many countries have begun to adopt computer science (CS) and computational thinking (CT) into national curricula of compulsory education and upper secondary education. It is argued that learning rigorous CS concepts not only secures a workforce for the future’s digital industries but also benefits all students by improving their problem-solving and logical reasoning skills. However, the popularity of CS as a university major declined in the beginning of the 21st century, resulting in the development of a range of student outreach activities to engage young students in the study of computing. This thesis originated from this need to attract and retain students in the CS field. The focus of this research is in understanding how the outreach impacts student’s development of an interest in computer science and engineering studies. The impact is considered from both long-term (from 3 months to 3–5 years) and short-term (ca. 1 week) perspectives. There were two contexts in this study: game programming workshops organized during summer holidays, and technology and programming club events. This dissertation comprises six articles that consider the impact using mixed methods: while qualitative methods were dominant, quantitative methods were also used. The impact of outreach seems to be two-fold. On one hand, this study indicates that the outreach indeed impacts positively on students’ interest towards computer science and engineering studies from the long-term perspective. This positive impact was either “confirmatory” (confirms earlier career aspirations) or “emergent” (individual interest emerges due to participation). On the other hand, there were students whose plans were not affected by the outreach, or, moreover, were disengaged from CS due to the workshop. This latter finding can also be seen as a positive result as the students can make better informed choices due to these experiences. The results suggest that to be able to affect student interest in pursuing CS degrees, it is important to expose students to rigorous CS concepts in a hands-on manner. It is also important for the content to be engaging but at the same time comprehensible to all students. The results also call for more long-term evaluation of student outreach impact on interest development.
Analysis Of The Future Professionals' Ples As Lifelong Learning Basic Skill: Presenting The Capple Project

Prendes, P. & Castaneda, L. (2013). Analysis of The Future Professionals' PLEs as Lifelong Learning Basic Skill: Presenting The CAPPLE Project. In: Proceedings of the The PLE Conference 2013, 12th - 15th July 2013.
Assessing the Role of Assessment in Business Simulations

This study looks at the role that simulations play in assessment. Schools of Business are under increasing pressure to demonstrate that they have in place protocols and policies that provide an assurance of learning (AoL) in their courses and their programs. Business simulations have a potentially powerful role in facilitating the assurance of learning process. This study examines that role by first listing the more popular simulations used in business schools and then reviewing the AoL capabilities of these simulations. Forty nine simulations were scrutinized and an attempt was made to determine to what extent use of the simulations and the materials accompanying these simulations might be a viable component of an AoL program. Information for the study was obtained from simulation websites as well as from contact persons associated with or representing various simulations. Results indicate that while many simulation providers offer AoL modules as part of their simulation packages, they do not always correspond neatly to the learning goals of business schools' programs or courses.
Ion Transport and the True Transference Number in Nonaqueous Polyelectrolyte Solutions for Lithium Ion Batteries

Nonaqueous polyelectrolyte solutions have been recently proposed as high Li+ transference number electrolytes for lithium ion batteries. However, the atomistic phenomena governing ion diffusion and migration in polyelectrolytes are poorly understood, particularly in nonaqueous solvents. Here, the structural and transport properties of a model polyelectrolyte solution, poly(allyl glycidyl ether-lithium sulfonate) in dimethyl sulfoxide, are studied using all-atom molecular dynamics simulations. We find that the static structural analysis of Li+ ion pairing is insufficient to fully explain the overall conductivity trend, necessitating a dynamic analysis of the diffusion mechanism, in which we observe a shift from largely vehicular transport to more structural diffusion as the Li+ concentration increases. Furthermore, we demonstrate that despite the significantly higher diffusion coefficient of the lithium ion, the negatively charged polyion is responsible for the majority of the solution conductivity at all concentrations, corresponding to Li+ transference numbers much lower than previously estimated experimentally. We quantify the ion–ion correlations unique to polyelectrolyte systems that are responsible for this surprising behavior. These results highlight the need to reconsider the approximations typically made for transport in polyelectrolyte solutions.
Control Of Fuel Cell Power Systems Principles Modeling Analysis And Feedback Design

Thank you for downloading control of fuel cell power systems principles modeling analysis and feedback design. As you may know, people have look hundreds times for their favorite books like this control of fuel cell power systems principles modeling analysis and feedback design, but end up in infectious downloads. Rather than reading a good book with a cup of tea in the afternoon, instead they juggled with some malicious bugs inside their laptop.
Crystallization of MIGe2(PO4)3 (MI – Na, K, Ag) from molten phosphate media

A number of NASICON‐related MIGe2(PO4)3 (MI – Na, K, Ag) have been prepared using a high‐temperature solution method in the molten system MI‐Ge‐P‐O (MI – Na, K) based on the solubility data for GeO2 at 1123 K for the Na‐P‐O system and 1173 K for the K‐P‐O one. The single crystals of AgGe2(PO4)3 were obtained after crystallization of a melt with Ag/P = 1.4. It crystallizes in the trigonal system, space group R‐3, cell parameters a = 8.06340(1) Å, c = 21.8385(4) Å, Z = 6. The framework is built up from two GeO6 units that are isolated from each other by PO4 tetrahedra to form the main building block of the structure [Ge2(PO4)3]−. Two types of silver cations M1 and M2 are found to have different coordination requirements shown by the bond valence sum calculations.
Message Passing Approaches to Compressive Inference Under Structured Signal Priors

Across numerous disciplines, the ability to generate high-dimensional datasets is driving an enormous demand for increasingly efficient ways of both capturing and processing this data. A promising recent trend for addressing these needs has developed from the recognition that, despite living in high-dimensional ambient spaces, many datasets have vastly smaller intrinsic dimensionality. When capturing (sampling) such datasets, exploiting this realization permits one to dramatically reduce the number of samples that must be acquired without losing the salient features of the data. When processing such datasets, the reduced intrinsic dimensionality can be leveraged to allow reliable inferences to be made in scenarios where it is infeasible to collect the amount of data that would be required for inference using classical techniques. To date, most approaches for taking advantage of the low intrinsic dimensionality inherent in many datasets have focused on identifying succinct (i.e., sparse) representations of the data, seeking to represent the data using only a handful of “significant” elements from an appropriately chosen dictionary. While powerful in their own right, such approaches make no additional assumptions regarding possible relationships between the significant elements of the dictionary. In this dissertation, we examine ways of incorporating knowledge of such relationships into our sampling and processing schemes. One setting in which it is possible to dramatically improve the efficiency of sampling schemes concerns the recovery of temporally correlated, sparse time series, and
Learning words and syntactic cues in highly ambiguous contexts

The cross-situational word learning paradigm argues that word meanings can be approximated by word-object associations, computed from co-occurrence statistics between words and entities in the world. Lexicon acquisition involves simultaneously guessing (1) which objects are being talked about (the ”meaning”) and (2) which words relate to those objects. However, most modeling work focuses on acquiring meanings for isolated words, largely neglecting relationships between words or physical entities, which can play an important role in learning. Semantic parsing, on the other hand, aims to learn a mapping between entire utterances and compositional meaning representations where such relations are central. The focus is the mapping between meaning and words, while utterance meanings are treated as observed quantities. Here, we extend the joint inference problem of word learning to account for compositional meanings by incorporating a semantic parsing model for relating utterances to non-linguistic context. Integrating semantic parsing and word learning permits us to explore the impact of word-word and concept-concept relations. The result is a joint-inference problem inherited from the word learning setting where we must simultaneously learn utterance-level and individual word meanings, only now we also contend with the many possible relationships between concepts in the meaning and words in the sentence. To simplify design, we factorize the model into separate modules, one for each of the world, the meaning, and the words, and merge them into a single synchronous grammar for joint inference. There are three main contributions. First, we introduce a novel word learning model and accompanying semantic parser. Second, we produce a corpus which allows us to demonstrate the importance of structure in word learning. Finally, we also present a number of technical innovations required for implementing such a model.
Synthesis of 4,7-Dihydro-2H-isoindole Derivatives via Diels-Alder Reaction of Tosylacetylene

Diels-Alder reaction of ethynyl p-tolyl sulfone with 1,3-dienes gave the corresponding tosyl-1,4-cyclohexadienes. The resulting adducts could be converted into 4,7-dihydro-2H-isoindole derivatives including bicyclo[2.2. 2]ocatadiene(BCOD)-fused pyrrole as an isoindole equivalent.
Superpixel-based active contour model for unsupervised change detection from satellite images

ABSTRACT This study proposes a superpixel-based active contour model (SACM) for unsupervised change detection from satellite images. The accuracy of change detection produced by the traditional active contour model suffers from the trade-off parameter. The SACM is designed to address this limitation through the incorporation of the spatial and statistical information of superpixels. The proposed method mainly consists of three steps. First, the difference image is created with change vector analysis method from two temporal satellite images. Second, statistical region merging method is applied on the difference image to produce a superpixel map. Finally, SACM is designed based on the superpixel map to detect changes from the difference image. The SACM incorporates spatial and statistical information and retains the accurate shapes and outlines of superpixels. Experiments were conducted on two data sets, namely Landsat-7 Enhanced Thematic Mapper Plus and SPOT 5, to validate the proposed method. Experimental results show that SACM reduces the effects of the trade-off parameter. The proposed method also increases the robustness of the traditional active contour model for input parameters and improves its effectiveness. In summary, SACM often outperforms some existing methods and provides an effective unsupervised change detection method.
Learning to Ride a Unicycle: Coordinating Balance and Propulsion

We investigated the coordination of balance and propulsion processes in learning to ride a unicycle through a principal component analysis (PCA) of the nature and number of functional degrees of freedom (DOF) in the movement coordination patterns. Six participants practiced unicycle riding on an indoor track for 28 sessions over separate days. The movement time and performance outcomes were recorded for each trial and body segment kinematics were collected from the first and every succeeding 4th session. The first appearance of no-hand-support performance varied across participants from the 5th practice session to the 22nd session. The PCA showed that initially in practice the 39 kinematic time series could be represented by 6–9 components that were reduced over practice to 4–7 components. The loadings of the PCA that reflected balance and propulsion processes became more coupled as a function of successfully riding the unicycle. The findings support the proposition that learning to ride the unicycle is a.
Joins And Intersections

Thank you very much for downloading joins and intersections. As you may know, people have look hundreds times for their favorite readings like this joins and intersections, but end up in infectious downloads. Rather than enjoying a good book with a cup of tea in the afternoon, instead they cope with some malicious virus inside their laptop. joins and intersections is available in our book collection an online access to it is set as public so you can download it instantly. Our digital library saves in multiple countries, allowing you to get the most less latency time to download any of our books like this one. Merely said, the joins and intersections is universally compatible with any devices to read.
Channel coherence in the low SNR regime

The effect of channel coherence on the capacity and energy efficiency of noncoherent fading channels at low SNR is studied. A simple characterization is given, and a new approach is developed, which can be used to study a wide variety of problems for communications over a wideband channel. The flat block fading channel is studied, which transmits one scalar symbol per symbol time distorted by a multiplicative fading coefficient and the additive Gaussian noise.
A giant quiescent solar filament observed with high-resolution spectroscopy

A giant, quiet-Sun filament was observed with the high-resolution Echelle spectrograph at the Vacuum Tower Telescope at Observatorio del Teide on 2011 November 15. A mosaic of spectra (10 maps of 100" X 182") was recorded simultaneously in the chromospheric absorption lines H-alpha and Na I D2. Physical parameters of the filament plasma were derived using Cloud Model (CM) inversions and line core fits. The spectra were complemented with full-disk filtergrams (He I 10830 A, H-alpha, and Ca II K) of the Chromspheric Telescope (ChroTel) and full-disk magnetograms of HMI. The filament had extremely large linear dimensions (817"), which corresponds to about 658 Mm along a great circle on the solar surface. A total amount of 175119 H-alpha contrast profiles were inverted using the CM approach. The inferred mean line-of-sight (LOS) velocity, Doppler width, and source function were similar to previous works of smaller quiescent filaments. However, the derived optical thickness was larger. LOS velocity trends inferred from the H-alpha line core fits were in accord, but smaller, than the ones obtained with CM inversions. Signatures of counter-streaming flows were detected in the filament.The largest conglomerates of brightenings in the line core of Na I D2 coincided well with small-scale magnetic fields as seen by HMI. Mixed magnetic polarities were detected close to the ends of barbs. The computation of photospheric horizontal flows based on HMI magnetograms revealed flow kernels with a size of 5-8 Mm and velocities of 0.30-0.45 km/s at the ends of the filament. The physical properties of extremely large filaments are similar to their smaller counterparts, except for the optical thickness which in our sample was found to be larger. We found that a part of the filament, which erupted the day before, is in the process of reestablishing its initial configuration.
The Design of a Network Automatic Scoring System for IT Skills

With the development and popularization of information technology,the computer-assisted evaluation theory for IT skills has been developed continuously;computer-assisted assessment systems based on this have also been widely expanded and used.That article first analyzed the advantages and disadvantages of the existing systems at home and abroad,then improved and perfected the stand-alone computer-assisted assessment systems for IT skills,and finally designed and developed a network automatic scoring system for IT skills,the network system improves both the accuracy and the efficiency of the scoring by using multiple computers working in one local area network,can also provide a good feedback and great help for learners.
The verb cluster in mennonite low German : A new approach to an old topic

The objective of this article is twofold: From a theoretical point of view its main goal is to combine a variationist approach to clause final verb clusters in 12.000 embedded Low German clauses with a generativist analysis of the structure of these clusters. From a more concrete point of view the article describes and inter-relates the different sequences of one, two, and three verbal elements) and their complements. After analyzing the data collected in five Mennonite colonies in North and South America, three different types of speakers could be identified, their behavior suggesting that Mennonite Low German verb phrases are, contrary to modern syntactic theory, head-final and left-branching. All clusters surfacing as more parsing-friendly right-branching structures are considered to be the result of (multiple) raising and adjoining of verb phrases to the right of a head-final functional projection.
A History Of Modern Indonesia C 1300 To The Present

a history of modern indonesia c 1300 to the present is available in our book collection an online access to it is set as public so you can download it instantly. Our book servers hosts in multiple locations, allowing you to get the most less latency time to download any of our books like this one. Merely said, the a history of modern indonesia c 1300 to the present is universally compatible with any devices to read.