Miracle-dz/UniFAR-FTUs huggingface dataset:
Infrared L-Band Observations of the Trapezium Cluster: A Census of Circumstellar Disks and Candidate Protostars

We report the results of a sensitive near-infrared JHKL imaging survey of the Trapezium cluster in Orion. We use the JHKL colors to obtain a census of infrared excess stars in the cluster. Of (391) stars brighter than 12th magnitude in the K and L bands, 80% ± 7% are found to exhibit detectable infrared excess on the J-H, K-L color-color diagram. Examination of a subsample of 285 of these stars with published spectral types yields a slightly higher infrared excess fraction of 85%. We find that 97% of the optical proplyds in the cluster exhibit excess in the JHKL color-color diagram indicating that the most likely origin of the observed infrared excesses is from circumstellar disks. We interpret these results to indicate that the fraction of stars in the cluster with circumstellar disks is between 80%–85%, confirming earlier published suggestions of a high disk fraction for this young cluster. Moreover, we find that the probability of finding an infrared excess around a star is independent of stellar mass over essentially the entire range of the stellar mass function down to the hydrogen burning limit. Consequently, the vast majority of stars in the Trapezium cluster appear to have been born with circumstellar disks and the potential to subsequently form planetary systems, despite formation within the environment of a rich and dense stellar cluster. We identify 78 stars in our sample characterized by K-L colors suggestive of deeply embedded objects. The spatial distribution of these objects differs from that of the rest of the cluster members and is similar to that of the dense molecular cloud ridge behind the cluster. About half of these objects are detected in the short wavelength (J and H) bands, and these are found to be characterized by extreme infrared excess. This suggests that many of these sources could be protostellar in nature. If even a modest fraction (i.e., ∼50%) of these objects are protostars, then star formation could be continuing in the molecular ridge at a rate comparable to that which produced the foreground Trapezium cluster.
Photochemical activation of MH3-B1/rGel: a HER2-targeted treatment approach for ovarian cancer

HER2-targeted therapy has been shown to have limited efficacy in ovarian cancer despite frequent overexpression of this receptor. Photochemical internalization (PCI) is a modality for cytosolic drug delivery, currently undergoing clinical evaluation. In the present project we studied the application of PCI in combination with the HER2-targeted recombinant fusion toxin, MH3-B1/rGel, for the treatment of ovarian cancer. The SKOV-3 cell line, resistant to trastuzumab- and MH3-B1/rGel- monotherapy, was shown to respond strongly to PCI of MH3-B1/rGel to a similar extent as observed for the treatment-sensitive SK-BR-3 breast cancer cells. Extensive hydrolytic degradation of MH3-B1/rGel in acidic endocytic vesicles was indicated as the mechanism of MH3-B1/rGel resistance in SKOV-3 cells. This was shown by the positive Pearson's correlation coefficient between Alexa488-labeled MH3-B1/rGel and Lysotracker in SKOV-3 cells in contrast to the negative Pearson's correlation coefficient in SK-BR-3 cells. The application of PCI to induce the release of MH3-B1/rGel was also demonstrated to be effective on SKOV-3 xenografts. Application of PCI with MH3-B1/rGel was further found highly effective in the HER2 expressing HOC-7 and NuTu-19 ovarian cancer cell lines. The presented results warrant future development of PCI in combination with MH3-B1/rGel as a novel therapeutic approach in preclinical models of ovarian cancer.
Sacral myeloid sarcoma involving multiple metastases to the brain: A case report

The presentation of myeloid sarcoma (MS) in the bone is common; however, rarely does the tumor occur in the sacral spine, and in a normal patient with no history of acute myeloid leukemia. The present study describes the rare case of a previously healthy 24-year-old male patient, who presented with a history of six months of repeated pain in the right leg and hip and limping for less than a month, who was diagnosed with sacral MS. Despite receiving surgical management and chemotherapy promptly subsequent to the diagnosis and undergoing close observation following the treatment, the patient still developed metastases to multiple sites of the brain. Taking into account the similar presentation of this rare disease to other entities, the early and accurate diagnosis of MS is vital, and the condition should be considered as a threatening manifestation with the possibility of metastasis to other sites of the body.
Testing DSM asic with static, /spl delta/IDDQ, and dynamic test suite: implementation and results

This paper presents the implementation and results of the test suite for DSM ASIC consisting of static, \DeltaIddq, and dynamic patterns based on scan, and quantitatively reports the advantages of dynamic pattern over AC static pattern, even at a low frequency, and advantages of \DeltaIddq test over traditional Iddq. A defect level calculation method is presented which decomposes the defect level into, and considers interaction between, static, \DeltaIddq, dynamic, and memory BIST defects. Defect density and defect level are also reported based on the new method.
Cross-linguistic similarities aid third language learning in bilinguals

Learning a new language involves significant vocabulary acquisition. Learners can accelerate this process by relying on words with native-language overlap, such as cognates. For bilingual third language learners, it is necessary to determine how their two existing languages interact during novel language learning. A scaffolding account predicts transfer from either language for individual words, whereas an accumulation account predicts cumulative transfer from both languages. To compare these accounts, twenty English-German bilingual adults were taught an artificial language containing 48 novel written words that varied orthogonally in English and German wordlikeness (neighborhood size and orthotactic probability). Wordlikeness in each language improved word production accuracy, and similarity to one language provided the same benefit as dual-language overlap. In addition, participants’ memory for novel words was affected by the statistical distributions of letters in the novel language. Results indicate that bilinguals utilize both languages during third language acquisition, supporting a scaffolding learning model.
Scalable Access Control in Content-Based Publish-Subscribe Systems

Content-based publish-subscribe (pub-sub) systems are an emerging paradigm for building a large number of distributed systems. Access control in a pub-sub system refers to secure distribution of events to clients subscribing to those events without revealing its secret attributes to the unauthorized subscribers. To provide confidentiality guarantees the secret attributes in an event is encrypted so that only authorized subscribers can read them. However, in a content-based pub-sub system, every event can potentially have a different set of authorized subscribers. In the worst case, for NS subscribers, there are 2 subgroups, and each event can potentially go to a different subgroup. Hence, efficient key management is a big challenge for implementing access control in pub-sub systems. In this paper, we describe efficient and scalable key management algorithms for securely implementing access control rules in pub-sub systems. We ensure that the key management cost is linear in the number of subscriptions and completely independent of the number of subscribers NS. We present a concrete implementation of our proposal on an operational pub-sub system. An experimental evaluation of our prototype shows that our proposal meets the security requirements while maintaining the scalability and performance of the pub-sub system.
Japan 3-D Map Building in Dynamic Environments by a Mobile Robot Equipped with Two Laser Range Finders

When an autonomous mobile robot acts in constructed environments, a map that has the information about obstacles is necessary for the mobile robot. Even if a map is given, however, the mobile robot cannot start its action without the information of its present location on the map. Therefore, techniques of map generation and self-localization are important for mobile robots. In this paper, we propose 3-D SLAM (Simultaneous Localization and Mapping) method by a mobile robot equipped with two LRFs (Laser Range Finders). The robot measures the distance between obstacles around it with LRFs at multiple positions, and generates a map by integrating these range information. The integration is realized by using an odometry (dead-reckoning method) and ICP (Iterative Closest Point) algorithm. Experimental results have shown the validity of the proposed method.
A semantic web approach to feature modeling and verification

Abstract. Feature models are widely used in domain engineering to capture common and variant concepts among systems in a particular domain. However, the lack of a formal semantics of feature models has hindered the development of this area. This paper presents a Semantic Web environment for modeling and verifying feature diagrams using ontologies. We use OWL DL (a decidable dialect of OWL) to precisely capture the relationships among features in feature diagrams and configurations. OWL reasoning engines such as RACER are deployed to check for the inconsistencies of feature configurations fully automatically. As part of the environment, we also develop a CASE tool to facilitate the visual development, interchange and reasoning of feature diagrams represented as ontologies.
A novel level shifter with clock gating technique

The Stand-in supremacy states to the power-driven facility expended by electronic and electrical purposes whereas they are bartered off or in a stand-in mode. The Retention Flip-flop clamps the figures in bonus approach. Custody registers are distinct stumpy leakage flip-flops used to hold the data of main catalog of the power gated block. The Stand-in power sipping becomes graver as the process expertise scales down because the leakage recent increases exponentially with the scaling threshold current and the oxide thickness. The RFF tolerates the energy regulator that crafts the core supply voltage to be turned off in the stand-in mode. The endorsed RFF does not require additional governor pointers for power mode transitioning. By using clock technique, we can diminish the power intake. The proposed strategy significantly reduces the short circuit current in conventional cross-coupled topology, civilizing the transient power consumption. In this phase small numbers of transistors are used, so we can reduce the circuit area.
A Structured Approach to Designing Interleaved Workflow and Groupware Tasks

Modern organizations are investing in organizational process coordination tools such as groupware and workflow systems for better decision-making and business process execution. However, these systems are deployed in a standalone manner with the result that business processes that span these systems are highly fragmented. Processes are designed and managed independently for each system, resulting in large administration overheads to coordinate activities in business processes that use these systems. This paper reports on the development of a unified framework to design distributed organizational processes that interleave both individual and group activities for a seamless flow of information, promote efficient information sharing and effective task execution and improve the quality of decision making. Though process modeling for workflow and groupware systems has been treated as separate tasks in the extant literature, we provide a declarative AI planning based framework for enabling organizational process design based on recent developments of thinkLets for collaborative engineering and case-based reasoning for workflow design. We illustrate our framework in the context of designing processes to support new product development and describe a prototype system currently under development.
Efficient modular grasping: An iterative approach

This paper introduces a new modular approach to robotic grasping that allows for finding a trade off between a simple gripper and more complex human like manipulators. The modular approach to robotic grasping aims to understand human grasping behavior in order to replicate grasping and skilled in-hand movements with an artificial hand using simple, robust, and flexible modules. In this work, the design of modular grasping devices capable of adapting to different requirements and situations is investigated. A novel algorithm that determines effective modular configurations to get efficient grasps of given objects is presented. The resulting modular configurations are able to perform effective grasps that a human would consider “stable”. Related simulations were carried out to validate the efficiency of the algorithm. Preliminary results show the versatility of the modular approach in designing grippers.
Only-Knowing Meets Nonmonotonic Modal Logic

Only-knowing was originally introduced by Levesque to capture the beliefs of an agent in the sense that its knowledge base is all the agent knows. When a knowledge base contains defaults Levesque also showed an exact correspondence between only-knowing and autoepistemic logic. Later these results were extended by Lakemeyer and Levesque to also capture a variant of autoepistemic logic proposed by Konolige and Reiter's default logic. One of the benefits of such an approach is that various nonmonotonic formalisms can be compared within a single monotonic logic leading, among other things, to the first axiom system for default logic. In this paper, we will bring another large class of nonmonotonic systems, which were first studied by McDermott and Doyle, into the only-knowing fold. Among other things, we will provide the first possible-world semantics for such systems, providing a new perspective on the nature of modal approaches to nonmonotonic reasoning.
Numerical Simulation of the Construction for Concrete Crane Beam on Rock Wall and the Thermal Parameters Inversion

In order to reflect the true temperature field and stress field of concrete crane beam, it is necessary to simulate the construction course. Some of the parameters in numerical simulation have to be obtained by site measuring temperature and inversion. According to the characteristics of concrete temperature field, the basic accelerating genetic algorithm is improved. The improved accelerating genetic algorithm has the merits of high precision and fast calculation. On the base of measured data from a prototype experiment for concrete crane beam on rock wall, some important concrete thermal parameters are inversed by numerical simulation and the improved accelerating genetic algorithm. The calculation temperature and measured value are very close. It shows the method is efficiency. By this way, the later poured beam concrete temperature is controlled well and the beams appear no crack in recent one year. The successful application shows that the back analysis and simulation of concrete temperature field can reflect the factual performance of concrete and give important direction to engineering construction.
Analysis of video streaming performance in vehicular networks

Vehicular Ad-hoc Networks (VANETs) have been mainly motivated for safety applications, but non-safety applica- tions can also be very helpful to impulse vehicular networks. Among non-safety applications, video streaming services can provide attractive features to many applications and can attract a great number of users. However, VANETs high mobility characteristics and packet loss during communications blackouts difficult the deployment of video services in vehicular networks. In this paper, the performance of a video streaming service has been analyzed to study the deployability of a video on demand service in a highway environment for vehicular users. It has been analyzed the packet loss produced by network reconfiguration during handoffs and its influence in the video streamed quality. Using Mobile IP without and with fast handoffs we have gauge the effects of mobility over the video transmission. We show that although fast handoffs techniques minimize blackouts, they limit the deployment of video streaming services in vehicular networks. Index Terms—vehicular network emulation, mobility manage- ment, video streaming.
ANALYSING THE MACROORGANISATIONAL STRUCTURE OF THE REVIEW ARTICLE GENRE IN APPLIED LINGUISTICS

The aim of this research is (1) to analyse the macro-organisational structure and (2) to investigate and describe the analytical sections of the data. The data, drawn from a randomly selected corpus of 32 review articles, was analysed following Swales’ (1990) genre analysis to describe and investigate the schematic structure of the review article genre. The findings revealed that the CARS model was often observed in this genre. Moreover, although both review articles and research articles have been considered sub-genres of the research genre, there is a significant variation among them in terms of the schematic structure, rhetorical strategies, and functions. The schematic structure and functions of the review article genre were further investigated by consulting the specialist informants. The macroorganisational structure of this genre proposed hence provide the instructive guidance for EFL graduates and junior researchers how to review the developments critically during their research writing. Keywords: academic review genres, review article genre, macro-organisational structure, analytical sections of review article genre
Creating a Climate for Change: Toward the social tipping point: creating a climate for change

The need for effective communication, public outreach, and education to increase support for policy, collective action, and behavior change is everpresent, and is perhaps most pressing in the context of anthropogenic climate change. This book is the first to take a comprehensive look at communication and social change specifically targeted to climate change. Creating a Climate for Change is a unique collection of ideas examining the challenges associated with communicating climate change in order to facilitate societal response. It offers well-founded, practical suggestions on how to communicate climate change and how to approach related social change more effectively. The contributors of this book come from a range of backgrounds, from government and academia to non-governmental and civic sectors of society. Each chapter goes beyond posing problems or discussing the difficulties, and offers constructive suggestions for improving communication and social change efforts. The book concludes that re-envisioning communication strategies and exploring new approaches are necessary if we are to effectively facilitate action on climate change. The book is accessibly written, and any specialized terminology is explained. Creating a Climate for Change will be of great interest to academic researchers and professionals in climate change, environmental policy, science communication, psychology, sociology, and geography. Susanne Moser is a research scientist at the National Center for Atmospheric Research’s (NCAR) Institute for the Study of Society and Environment, Boulder, Colorado. She is an Aldo Leopold Leadership Program fellow and an associate of the International Human Dimensions Program (IHDP) Core Project on Global Environmental Change and Human Security (GECHS). Lisa Dilling is a visiting fellow at the Center for Science and Technology Policy Research of the Cooperative Institute for Research in Environmental Sciences (CIRES), University of Colorado at Boulder. She has been awarded a visiting fellowship by CIRES, a John A. Knauss National Sea Grant fellowship, and a National Science Foundation graduate fellowship.
A Scalable Algorithm for Light Computation

Models of forest ecosystems are needed to understand how cli mate and land-use change impact carbon storage and biodiversity. Light is the primar y resource that controls the germination, growth and survival of trees in a forest. However, ex isting models cannot capture the details of forest light without large sacrifices in efficienc y, thus limiting their ability to explore large spatial and temporal domains. In this paper we describ e a forest light model based on a novel graphics-processor algorithm that reduces runtime by two orders of magnitude over conventional ray tracing algorithms without sacrificing fin e-scale detail in understory light conditions. These algorithms allow us to simulate large lan dscapes for long periods of time without loss of accuracy. We also present experimental resu ts that compares the uncertainty in our light predictions to the (much larger) inherent variabi lity n the ecological processes driven by understory light, seed germination and seedling growth. Finally, we compare our results to previous attempts to speed up conventional ray tracing mode ls, which are based on reducing the range of zenith angles considered, and find that such appr o ches consistantly overpredict light in forest gaps and edges, precisely the places where 3D ray tracing models are required over simpler 1D models.
Contrast enhancement and smoothing of CT images for diagnosis

Medical sciences currently rely on the imaging technology and post processing of these medical images in order to diagnose the diseases. The acquisition of such images may get affected by inherent noise which can lead to false perception of the diagnostic image. To perceive these images correctly the effective image enhancement techniques are the foremost requirement to improve the quality and level of perception. In this paper we apply various image enhancement techniques on CT images. Resultant images are inspected visually by radiologists for performance evaluation. Median filter removes noise and smoothen CT images effectively and outperforms other Filtering techniques. While as adaptive histogram equalization enhances the contrast and outperforms other contrast enhancement techniques.
Wavelet-based cooking phase detection for time series of pot temperature

Reviewing cooking activities in a restaurant kitchen is useful for improving staff skills. This paper proposes a method for detecting the cooking phase in a time series of pot temperatures. The proposed method is based on a feature vector extracted by a wavelet transformation. A support vector machine (SVM) uses a feature vector that classifies every second as being in a "cooking" or "not-cooking" phase. Additional post processing consisting of erosion and dilation is carried out to reduce noise. An experiment with an actual dataset to evaluate the accuracy of the proposed method was conducted. The rate for correct classifications was 85%.